一阶非线性脉冲边值问题解的存在性

研究一阶非线性脉冲周期边值问题，应用微分不等式和Schaefer不动点定理，得到了脉冲边值问题解存在的充分性判据，并给出了相应的Green函数。     

光顺样条函数的再生核表示与计算

光顺样条是散乱数据拟合的理想函数,是噪声数据最优平滑的重要工具。因此,光顺样条的数学表示和计算的研究具有重要的意义。本文在一般的线性微分算子和线性泛函的情况下讨论光顺样条函数的构造和计算,通过构造一个适当的再生核Hilbert空间,使得所讨论的微分算子光顺样条成为该空间中的最小范数问题,再利用投影理论建立了光顺样条函数的再生核表示方法,并得到了插值偏差表达式。作为特例,还给出了奇次多项式光顺样条函数新的简洁的计算方法。     

微分对策界栅理论在舰艇作战能力评估中的应用

作战能力是表征战斗舰艇战术技术性能的一项重要指标,如何正确评价舰艇的作战能力一直是军事运筹研究的热点.利用定性微分对策的界栅理论研究了一类作战问题,通过构造捕获区面积和咽喉区域面积,并以此作为动态评估舰艇作战能力的衡量指标.研究结果可为综合评价舰艇作战能力提供一条新途径.     

舰载雷达零位标校新法

对目前现有舰载火控雷达零位标校的方法和技术做了简单概述,提出了一种基于差分GPS、CCD、激光经纬仪等技术相结合的零位标校新法,给出了系统硬件组成和算法原理,对系统误差影响因素做了分析。实践标明此系统可以有效的克服由于舰体的摆动而对测量精度的影响,并极大的改善了标校的灵活性与机动性。标校系统测量真值位置精度优于50 cm,相应真值角度精度优于0.05 mrad,满足舰载雷达标校精度要求。     

仿生机器人运动建模与控制研究进展

综述了几何方法在仿生机器人运动建模和控制中应用的最新成果,探讨了在统一框架下处理多种机器人运动问题的可行性.     

非自伴情形下时滞抛物方程的惯性流形

利用Lyapunov-Perron方法在适当的谱间隙条件和适当小的时滞假设下,证明了一类非自伴算子情形下半线性时滞抛物方程惯性流形的存在性。     

具有拟周期外力的非自治发展方程的时滞惯性流形与近似惯性流形

研究了一类具有拟周期外力的非自治发展方程,通过延伸相平面将非自治系统转化为自治系统,再证明相应的自治系统的时滞惯性流形的存在性,并在时滞惯性流形的基础上构造了非自治发展方程的近似惯性流形。     

差分跳频码性能检验研究

差分跳频是一种新的扩展频谱通信技术.在介绍差分跳频基本原理的基础上,将差分跳频的频率跳变过程建模成齐次马尔可夫链.分析了G函数的功能,重点讨论了差分跳频码性能的检验方法,包括不可约性、频隙滞留、均匀性和随机性检验,其中频隙滞留是首次提出应用于差分跳频码性能的检验.这些检验方法对于差分跳频G函数的设计具有一定的指导意义.     

一类非线性时滞双曲型偏微分方程的振动性

研究一类非线性时滞双曲型偏泛函微分方程解的振动性,利用微分不等式方法和广义Riccati变换,获得了该类方程在第一类边值条件下振动的新的充分条件,所得结果通过实例加以阐明.     

基于流场特性的管内检测机器人的外形优选研究

管道内检测机器人的结构形状是影响其运动学、动力学特性的关键因素,在机器人设计中占有重要地位。在合理提出一些基本假设后,用二阶迎风差分格式离散管道内检测机器人附近流场的控制方程,并用SIMPLE算法求解,得到了7种不同形状的管道内检测机器人所受的差压驱动力及其周围的流场信息,并对这几种结构的CFD特性作了比较。最后综合空化条件、驱动力、腔内有效体积和加工难度等因素,确定了上游半球形结构为设计形状。