概念模型验证方法研究综述

概念模型验证是保证和提高仿真可信性的重要手段,是建模与仿真VV＆A中的重点和难点．首先将概念模型的验证方法划分为非形式化方法、静态方法、动态方法和形式化方法4类,并提出了一种基于本体推理的概念模型验证方法,然后对各种方法的基本思想、基本原理、基本过程、适用对象、优缺点进行全面的分析总结,明确了各种方法的优缺点和适用范围,为如何选用各种验证方法提供参考,也明确了下一步应重点研究的问题．     

一种针对HIGHT的改进差分故障的分析

为评估HIGHT轻型分组密码抗故障攻击能力,基于单字节故障模型,提出一种改进的HIGHT故障攻击方法．首先在HIGHT最后1轮注入单字节故障恢复SK124和SK1262个轮密钥,然后增加故障注入深度,在HIGHT倒数第5轮注入单字节故障恢复HIGHT另外10个轮密钥,从而恢复HIGHT的全部主密钥．实验结果表明：仅需22次故障注入即可恢复HIGHT全部128位主密钥,优于现有故障攻击方法所需的32次故障注入．     

单小批量武器装备保障的质量屋模型研究

摘要：针对单小批量武器装备保障的特殊需求,对传统的质量屋模型进行了改进,建立了基于装备保障需求与保障规则的质量屋模型,利用整数规划技术进行求解,使得单小批量武器的装备保障规则按照实际保障需求重新排列优先次序,并通过对某型火炮保障方案的筛选验证了模型的正确性．新的质量屋模型发展完善了质量屋的理论与方法,有助于提高单小批量武器的装备保障能力．     

基于方位线性预测的远距离目标机动检测方法

随着拖曳线列阵声纳的应用,水下声探测的范围成倍增大,纯方位目标定位与跟踪技术面临严峻的挑战,特别是在对抗条件下的目标机动检测与跟踪问题难度更大。本文针对基于拖曳线列阵声纳探测的远距离目标机动检测问题,通过对以往纯方位目标机动检测方法的适用性分析,结合远距离目标方位变化的特点,提出了基于方位序列线性预测的累积和机动检测模型,解决了远距离、大误差、纯方位量测条件下的目标机动检测问题。实验室仿真验证结果表明,算法对幅度稍大的目标转向机动,具有较灵敏的机动检测效果及较强的鲁棒性。     

战略战役兵棋系统中的被动声纳探测仿真

针对海战反潜作战实际,结合战略战役兵棋特点,设计了被动声纳探测仿真流程框架。为模拟探测时间的随机性,提出了被动声纳探测时间模型,并确立了探测时间与探测噪声的关系方程。从舰艇声源特性和战场环境对噪声传播的影响两方面考虑,建立了舰艇声源方程和噪声传播模型。最后,在某模拟系统上进行了验证,结果表明模型符合战略战役模拟实际。     

一种用于GAF协议的优化邻居表算法

GAF协议是一种基于地理信息的无线传感器网络路由协议,由于采用多跳传输,将导致热区的产生。提出了一种优化邻居表算法,可以有效辨识GAF虚拟网格内的节点密度,从而选择密度大的网格通行,以均衡热区能耗,延长网络寿命。仿真结果验证了该算法的可行性。     

动物飞行控制技术在军事中的应用

半机械动物飞行器代表了微型飞行器的未来方向。文中对动物飞行控制技术仅作简要介绍,对半机械动物飞行器在军事领域中的应用价值和应用前景作了重点讨论．综述了近年来动物飞行控制技术的重要研究动态,结合甲虫机器人介绍了本实验室的近期研究成果。最后,基于动物飞行控制技术的研究瓶颈给出了动物飞行控制技术未来的研究方向。     

基于遗传算法的准维燃烧模型修正方法

针对目前准维燃烧模型不能客观反映高原柴油机工作过程的问题,提出了一种基于计算机智能仿真模型修正方法.采用正交试验的极差分析,计算并识别出准维燃烧模型的经验参数对柴油机性能影响的主次顺序,并确定为待修正参数.基于遗传算法,以试验数据为依据,对柴油机准维燃烧模型进行修正.修正后的柴油机工作过程模型误差在4％以内,为深入开展高原环境柴油机性能研究奠定了基础.     

阈下知觉研究的三个层面

阈下知觉的研究有三个层面,第一是阈下知觉的存在及影响效果研究;第二是阈下知觉的心理机制的研究;第三是阈下知觉的应用研究.在这三个层面中,阈下知觉的存在及影响效果研究最为成熟,实验范式最为完善,数据最有说服力;阈下知觉的心理机制研究属于偏理论性的研究,争议还比较多,需要进一步探讨;阈下知觉的应用研究具有广阔的发展前景,社会价值高.基于这三个层面建立阈下知觉研究的体系不仅具有理论研究的意义,也具有实践应用的意义.     

信息化条件下的军备控制

军备控制的目的是维护国家的安全和减少国家安全威胁.随着现代科学技术的发展和世界经济一体化进程的加快,国家安全威胁的因素与国家军事能力同步增长.尤其是现代信息技术的快速渗透和发展,不仅带来了安全隐患的增加,也加速了武器装备的更新换代,对国际军备控制产生了广泛的影响.