基于截断正态概率模型的改进目标跟踪算法

在应用NIFPAT算法对机动目标跟踪时存在计算量大和要求网络训练两个弱点。分析了截断正态概率模型和NIFPAT算法后 ,把截断正态概率模型与NIFPAT算法思想相结合 ,提出了基于截断正态概率模型的改进目标跟踪算法。该算法根据目标机动情况自动调整系统方差 ,在附加较小计算量的情况下 ,能取得较好的跟踪效果。仿真实验表明 ,该算法能有效地提高对机动目标的跟踪精度。     

一类特殊的奇异级数

讨论了华林问题中一类特殊的奇异级数，在分析的范围内用代数数论的方法对它的下界作出一个估计，从而改进了Vaughan的结果。     

一类用内积表达的函数凸性

本文研究用内积表达的某些函数,分析它们的凸性,其主要的结论如下:由一个实的半正定矩阵 An×n 及属于 n 维欧氏空间的向量 a,x 构成[x,Ax]+[a,x]+b(b 为常量)型关于向量 x 的一类内积函数,则此类函数为n 维欧氏空间上的凸函数。A,B 均为 n×n 阶实矩阵、a,x 均属于 n 维欧氏空间向量,那么由 Bx+a,A(Bx+a)构成关于 x 的内积函数,该函数在 n 维欧氏空间上凸的充分条件是 B为任意,A 为半正定的。     

关于第四类超Cartan域上的Bloch函数

给出了第四类超Cartan域上的Bloch函数的充分条件以及必要条件。     

分形插值函数与分形平移曲面

本文在R~3中构造一平移曲面,使其为通过N+1个给定点的xog坐标面上一矩形域上的连续分形插值函数的图,并为某个双曲迭代函数系的吸收子,进而讨论了与该迭代函数系相关的码空间、抽象动力系和分形插值函数的动差,而且就一类特殊情况讨论了分形曲面的分形维数.最后,我们讨论了与一类非双曲迭代函数系相关的分形插值函数、分形曲面.     

一阶零点邻域反函数存在定理

证明了实变函数与解析函数在一阶零点邻域内反函数存在定理     

周期摄动保守系统的存在性定理

本文利用全局反函数定理讨论了一类非线性边值问题解的存在性与唯一性.     

带有非局部源项的发展方程全局解的不存在性

通过试验函数法,本文讨论了具有形如‖u‖p或‖ Du‖p的非局部源项的发展方程全局解的不存在性.     

Lyapunov稳定性逆定理的另一种证明

Lyapunov方法是研究非线性控制问题的重要手段,而Lyapunov稳定性逆定理又是应用此方法的主要定理,但其证明却非常烦琐.利用直接取指数函数的方法,简化了Lyapunov稳定性逆定理中关键函数G的构造,给出了Lyapunov稳定性逆定理的另一种简单的证明方法.     

火箭发射分布式仿真系统中信息交互方式设计

回顾了分布式仿真系统中交互协议的发展,在此基础上深入研究了四种应用最广泛的数据交互方式,结合工程实践对其在分布式系统中的优缺点进行了总结。针对火箭发射分布式仿真系统实用、高效的数据通讯的需要,选择了HLA和串行通讯相结合作为信息交互方式。重点研究了多线程串行实时通信的方法。系统运行证明在设计分布式系统信息交互方式时,针对实际灵活地选择合适的交互协议,是完全可以满足设计要求的。