基于灰色AHP方法的综合航电系统效能

针对在对综合航电系统效能进行评估的过程中经常遇到多指标度量效能的情况,提出了一种将层次分析法和灰色系统理论相结合的效能评估方法,对航空电子系统中多指标度量效能进行评估.最后,通过实例计算表明使用这种方法获得的评估结果更加客观、科学,对综合航空电子系统效能的评估具有一定的参考价值.     

融合可修性度量和双线学习的反导预案修正

对反导预案应用中基于预案推理的预案修正技术进行了研究,提出了一种新的反导预案修正方法。首先,在定义预案属性否决权和修正裕度的基础上,设计了一种考虑预案可修性的相似度计算方法;然后,以其为预案检索和修正规则学习的导向,融合离线预案库学习和在线实时学习策略,给出了预案修正规则的双线学习方法;建立了融合预案可修性度量和双线学习的反导预案修正模型,并对规则的归纳学习策略进行了研究;最后,进行了实例验证,结果证明了新修正方法的可行性和有效性。     

基于双层Soar框架的数字化士兵行为建模方法

针对数字化战场仿真中高分辨率数字化士兵行为建模需求,改进了行为建模的Soar框架,提出了基于双层Soar框架的数字化士兵行为建模方法。围绕双层Soar框架的感知、决策、行动3要素,提出了增强视距感知和超视距感知的概念,建立了数字化士兵感知模型;根据数字化士兵的决策特点,建立了基于策略的决策模型;在分析数字化士兵行动特点的基础上,建立了基于行动元的数字化士兵行动模型。最后,对4种行为建模方法进行了比较,并通过仿真试验验证了基于双层Soar框架的数字化士兵行为建模方法的有效性和所建立模型的可行性。     

一类对偶平坦的黎曼度量

给出了黎曼度量局部对偶平坦的一个充分条件:黎曼度量的Spray所满足的方程。同时,指出该条件是非必要的,并给出了相关反例。进一步,对满足条件的这类黎曼度量的性质进行了研究。具体地,讨论了这类度量成为Einstein度量的条件。从黎曼曲率着手,通过计算发现:当空间维数n3,这类黎曼度量是Einstein度量,当且仅当它是欧氏度量;但是,这个结论对n=2的情形不适用。     

VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

基于信息论的C3I系统决策性能的评价

信息熵是描述信息系统的一种比较成功的方法.采用信息论的方法对决策系统进行描述,在考虑了决策者的有界合理性限制和达到满意性能指标的要求下,分析了单人指挥决策系统的系统性能,并在此基础上分析了多人指挥决策系统的系统性能,最后得出采用决策系统的误差概率P和相互一致性度量Q作为评价C3I系统决策性能标准的结论.     

防空预警雷达阵地配置及其物元分析

防空预警雷达阵地配置是防空兵战前决策的重要内容。首先分析了影响和决定防空预警雷达阵地配置的战术因素、生存因素和地形因素,总结了防空预警雷达阵地配置的约束条件,然后依据整体探测效能最优的原则提出了防空预警雷达阵地配置的基本模型,探讨了通过调整约束参数来自动生成方案及控制方案数量的问题,最后运用物元分析法对配置方案的合理性进行了分析评判,并对配置方案进行排序,以辅助指挥员决策。     

基于分数阶S面模型的四旋翼轨迹跟踪控制

四旋翼无人机具有欠驱动、非线性、强耦合的特点。针对四旋翼无人机轨迹跟踪控制中跟踪精度低,抗外界干扰能力弱的特点,通过对四旋翼无人机进行四元数建模,使用误差四元数作为控制器输入,消除了无人机在机动角度过大时的奇点问题,提出了一种分数阶S面的控制方法,即将分数阶PID控制与S面控制融合,作为一个新的控制器。轨迹跟踪试验表明,分数阶S面控制器在四旋翼无人机控制模型中的累计误差明显小于分数阶PID,证明了该方法具有抗风扰能力强、跟踪精度高的特点。     

软件维护性度量和评价研究

分析了软件维护性度量的若干定性定量方法 ,介绍了用于软件维护性评价的技术和工具 ,指出了软件维护性度量和评价的进一步研究方向 ,对于提高软件的维护性具有一定的理论和工程意义。     

计算机磁信息安全理论探究

由于计算机磁信息复制容易且不留任何痕迹,以及存在残留信息的复现问题,使得计算机磁信息安全问题更加突出。通过对磁介质存储与抹除的原理研究,从理论上探讨磁信息安全的保密与保护措施。