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

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

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

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

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

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

装备剩余寿命预测平行仿真中模型动态演化方法

装备平行仿真中的一个重要概念是实时数据驱动的模型动态演化,但是至今仍缺乏具体应用领域的实现方法。以带未知离散冲击的混合退化装备剩余寿命预测为背景,以多态Wiener状态空间模型为演化对象,提出一种装备平行仿真中模型动态演化方法,包括基于交互多模型强跟踪滤波的模型软切换和基于期望最大化算法的模型参数在线估计,并实现了基于平行仿真的装备剩余寿命实时预测。利用某轴承退化数据进行实例研究,结果表明该方法能有效提高仿真逼真度,剩余寿命预测的准确度较高、不确定性较小,具有较高工程应用价值。     

舰载雷达零位标校新法

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

纹理影像特征选择及K-means聚类优化方法

Gabor变换和K-means算法是最为常用的纹理分析方法。然而,采用Gabor变换得到的纹理特征向量具有较高的维数,影响算法的运行效率;K-means算法也易受初始类中心的影响而导致分类精度下降。因此,通过Relief算法对采用Gabor变换所提取的纹理特征进行选择,得到合适的纹理特征子集。进一步采用差分进化算法,对K-means算法的聚类中心进行优化从而提高纹理识别精度和效率。实验结果表明:提出的方法所需用到的纹理特征向量的维数相对于原始特征集有大幅降低,较之基本的K-means算法,纹理识别的精度也有较明显的提高。     

装备技术体系结构演化和超网络建模

装备技术体系结构演化模型是把握装备技术发展规律和制定发展战略的基础。文章系统梳理装备技术发展的体系特征,深入分析了其体系演化动力、要素和过程,将演化实体与关系抽象为超网络的节点和边,可以给前沿技术探测和装备技术体系评估提供新思路。     

论英语疑问句变化折射的语言生物进化现象

无论是古英语还是现代英语,其构成疑问句时,主语之前必须有填充词。在古英语中,填充词直接由动词v从屈折语素I位经连续提升进入补语连词位来构成疑问句。发展到现代英语,一部分动词虚化变成了情态动词,充当填充词,没有情态动词则出现了用助动词do作为填充词构成疑问句的现象。虽然转换生成语法的句法理论,对于疑问句结构的这种变化作了句法运算方面静态的描述,认为这种变化与转换生成句法构成的经济原则吻合,但本文认为疑问句的这种变化从另一个角度折射出语言的生物进化现象。     

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

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

军队律师若干问题研究

军队律师,是专门为其所在部队、部队官兵及军属提供法律服务,保障依法治军的专业法律工作者,具有军人和律师的双重身份。建立和完善军队律师制度,不仅是完善我国律师制度体系的内在要求,也是依法治军,建设社会主义法治国家的必然要求。