C76、C78、C82、C84和C90的π电子磁化率

采用规范不变分子轨道方法,计算了Ｄ_２—Ｃ_（７６）、Ｃ_（２ｖ）￣－和Ｄ_３—Ｃ_（７８）、Ｃ_２—Ｃ_（８２）、Ｄ_２—和Ｄ_（２ｄ）—Ｃ_（８４）以及Ｃ_２—Ｃ_（９０）的л电子磁化率。其结果表明这些纯碳原子团簇分子具有较大的抗磁磁化率。反映出这些分子具有一定的芳香性及其л电子有较大的共有化运动程度。     

基于灰色预测的时敏军事任务调度模型

为有效利用栅格化军事信息系统硬件冗余资源,提高系统运行时效,保证时敏军事任务执行效果,基于灰色理论的GM(1,1),提出了一种时敏军事任务调度模型。构建了基于主动式主/副本机制的调度流程,并针对普通(阈值)调度模型和模糊控制调度模型中调度触发的滞后和调度价值不确定的问题,设计了预测型调度时间窗口,有效优化了调度触发机制。最后通过仿真实验,考察了3种调度模型的有效性,结果表明模型虽然耗费了较大的调度开销,但在降低总体任务用时上作用明显。     

稳像式火控系统实弹射击训练控制装置设计与应用

通过对装甲兵传统的枪代炮射击训练进行分析,并结合稳像式火控系统射击的特点,得出射手要减小瞄准操作误差、提高射击密集度,必须掌握平稳跟踪目标的动作要领。由于缺乏训练和检验该动作要领的手段,设计并制作了实弹射击训练控制装置,提出检验训练合格的标准,从而使射手较好地掌握平稳跟踪目标的动作要领,提高了小型射击场的训练效率。经过部队和院校多轮训练使用,效果良好,且该装置已配发装甲兵部队。     

信号分割修正聚类的星座图恢复算法

通过分析载波估计频偏、信号长度对星座图恢复的影响,采用将长信号分割为短信号的方法减小频偏对星座图恢复的干扰,并通过旋转叠加修正的方法解决了由信号长度减小导致码元失去历遍性而带来的星座图恢复不完整问题,最后根据信噪比大小选取不同聚类算法进行聚类并再次修正,实现了星座图对称的幅相调制信号的星座图完整恢复。多次仿真表明,该算法对频偏估计精度的要求可以降低1~2个数量级,减小了参数估计的工作量,使因参数估计精度不高而带来的信号后续分析困难问题得到了良好解决。     

无动力运载器出水过程误差分析

无动力运载器在出水过程中受海浪的扰动作用,运动参数会产生一定的偏差。针对海浪随机性的特点,应用波能谱理论,在P-M谱基础上构建了随机海浪模型,并使用四元数法建立运载器水弹道数学模型,解决了运载器垂直出水姿态角存在的奇异性问题,通过采用二元切片法给出波浪力的计算公式。最终在Matlab/Simulink仿真工具箱下建立了运载器仿真模型,就不同海况与主浪向角影响下运载器出水的运动参数偏差进行了仿真计算,分析了其变化规律。仿真结果表明,运载器在4级海况以下各项运动参数都满足出水要求,对运载器的设计与使用具有一定的参考意义。     

海军装备技术体系中的系统成熟度评价方法研究

采用系统成熟度评价方法能够有效控制武器装备研制的技术风险。文章详细阐述了海军装备技术体系中的系统成熟度评价需求,总结了国内外系统成熟度评价的研究前沿和应用情况,分析了系统成熟度评价的算法模型,提出了与我军装备发展过程相适应的评价等级定义,为系统成熟度评价方法的推广应用提供了参考。     

3D打印技术对武器装备发展的影响

3D打印在三维结构的快速和自由制造方面具有显著的优势,广泛应用于小批量制造和复杂设备的制造,在武器装备研制、制造和维修等方面具有广泛的应用前景,已成为世界军事强国关注和争夺的焦点。文章全面梳理了3D打印技术发展及军事应用现状,深入研究了3D打印技术对武器装备发展的影响。     

基于光流传感器的四旋翼飞行器悬停校正

由于低成本的惯性测量单元存在较大漂移,四旋翼飞行器难以稳定地悬停在固定区域,基于此,提出了一种基于光流传感器的四旋翼飞行器悬停校正方法。将光流传感器安装在四旋翼飞行器底部,利用光流信息检测四旋翼飞行器相对地面的水平移动速度,对姿态估计进行补偿,实现悬停校正。试验结果表明:该方法能够有效地提高四旋翼飞行器的悬停稳定性,从而保证飞行器能够执行战场侦察、校正射击、干扰敌人等多种军事任务。     

计划中的时序偏好表示和非单调推理

针对行动序列计划中的时序偏好问题开展研究,重点关注时序偏好集合内部存在不一致性时完成行动计划的方法。论文的难点和创新点体现在两个方面。针对时序偏好的表示问题,建立了一种二元描述结构,能够实现对时序约束和时序偏好的归一化描述。使用计算辩论技术建立推理框架,用以排除约束/偏好集合中的冲突关系,获得具有最大一致性的约束/偏好子集。在此基础上建立了一种新的计划生成策略,通过映射的方法得到行动序列片段,组合这些片段后形成完整的行动序列计划。通过实例验证了方法的可行性。     

一类分数形式的Einstein(α,β)-度量

爱因斯坦的(α,β)-度量一直是一个重要问题,但由于其具体度量形式不确定,使得研究工作面临重重困难。主要研究了一类度量形式为F=αφ(β/α),φ(s)=1/p(s)的(α,β)-度量,这里p(s)是关于s的k(k≥1)次多项式,α是一个黎曼度量,β是一个1-形式。利用多项式方程和代数整除原理,并结合Maple程序运算,讨论了这类度量成为Einstein度量的充分必要条件,得出这类度量是爱因斯坦度量当且仅当它们是Ricci平坦的。