算法归纳设计策略与循环不变式

分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性.     

拟共形映照的几个极值问题

本文给出拟共形映照的几个极值问题，所得结果是最佳的。     

二阶线性微分方程在李群之下的不变式

本文讨论线性二阶(常的与偏的)微分方程(非抛物型的),按照李群定义其不变式,证明了关系式λ(x,ε)(?)_o(x,x_o;ε)=λ(x_o,ε)W_o(x,x_o;ε),(?)及当h=i,1≤i≤m_1时,J_h(x,y;x_o,y_o;ε)=J_1.1(x,x_o;ε)当h=m_1+k,1≤k≤m_2时,J_h(x,y;x_o,y_o;ε)=J_2,k(y,y_o;ε)。     

关于《Willmore 猜测的推广》的注记

本文把马志圣《Willmore 猜测的推广》一文中的定理3和定理4推广到任意 n 成立;并且对任意n,计算出了共形不变积分式的极小值 C(n,k).     

关于Clifford交比及其应用

本文定义了Clifford交比,得到了n维空间的同胚为保向Mobius变换的充要条件和n维空间中四点共圆(或直线)的充要条件,并证明了Clifford交比的实部是n维保向Mobius变换的一个不变量.     

高阶变系数线性微分方程的不变量组解法

利用高阶变系数线性微分方程的不变量组解法直接给出方程的一种新解法。     

一类局部orbifold Gromov-Witten不变量的计算

Gromov-Witten不变量是研究辛几何、代数几何的重要工具.对于一般流形,它的Gromov-Witten不变量的计算则是一项艰巨的任务,现在常用的计算方式一是利用流形的退化及退化公式,一是利用局部化技巧,以及两种方法混合.本文作者利用维数分析和局部化技巧将所考虑的orbifold Calabi-Yau模型Ws={(x,y,z,w)×[p,q]∈C4 × P1 |x/z=w/y=p/q}/μr(1,-1,b,-b)上的3-点orbifold Gromov-Witten不变量的计算简化到一些特殊的不变量的计算,并计算了其中一类.     

基于改进粒子滤波算法的水下目标跟踪 

针对复杂水下环境中声探测传感器获得的运动目标信息具有不确定性和模糊性等问题,提出了基于声探测传感器特点的高斯粒子滤波水下目标跟踪方法.基于粒子滤波理论,采用一阶自回归模型作为运动目标状态转移的依据,设计了由目标区域的面积特征和不变矩特征相融合的观测模型,解决了目标跟踪中的粒子权值的选取问题,克服了传统粒子滤波重采样问题,提高了复杂环境下目标跟踪结果的准确率.展示了应用高斯粒子滤波实现水下目标跟踪的过程.试验结果表明,该方法具有较好的鲁棒性和实时性,是复杂水下环境中目标跟踪的一种高效可行的新方法.     

拓扑流体力学及其新近发展

拓扑流体力学是理性力学的一个重要研究方向,在理论上具有重要价值,在实践中日益显出独特的作用.本文试对该方向进行综述性介绍,目的是吸引更多的国内科研工作者进入这一重要领域.本文的重点放在流体螺度(Helicity)的拓扑内涵方面.除了列出螺度与数学纽结场论的关系(即与互缠绕、自缠绕数以及作者近年来发展出来的流体纽结多项式拓扑不变量之间的关系),还介绍了国际上在流体纽结复杂系综的能量-结构复杂性关系方面的研究.最后,通过超流涡旋纽结/链环重联的具体实例,展示了这一领域当中典型的数值计算方法.我们希望通过这种理论推导与数值计算同时呈现的方式,使读者对这一国际前沿交叉领域的核心问题、研究方法以及科研中可能面对的技术困难获得一个整体的了解和把握.