基于BOM的HLA仿真系统可信性研究

可信性是系统仿真的关键要素.基于BOM的HIA仿真系统可以从仿真模型层次上提高系统的重用性和互操作性.为了确保该类仿真系统的可信性,在建模与仿真全生命周期中开展VV&A研究,十分必要.介绍了基于BOM的HLA仿真系统的FEDEP模型,并简要提出其VV&A过程,重点对用户模型、仿真模型组件及联邦成员的V&V展开研究,最后将这些研究应用于×××反舰导弹突防联邦仿真中.结果表明:提出的VV&A过程切实可行,保障了系统的可信性.     

流的大小与传输速率相结合的双门限检测算法

提出基于流传输速率与数据量的双门限检测算法。为满足高速网络传输的性能要求,使用Hash表存储流检测的数据结构,将Hash表的冲突处理与基于流速率的缓存替换相结合以实现高效的大流检测,通过限制Hash桶的容量,确保报文的处理性能。真实网络数据的仿真测试结果表明:所提算法在相近的存储开销下,保持了较高的处理性能,准确性优于基于最近最少使用算法的大流检测及其派生算法以及基于统计计数的紧凑型空间节省算法。     

基于最大流理论的网络对抗效能评估模型及应用

网络对抗的飞速发展使得网络对抗效能量化评估问题日益凸显。基于最大流理论分析了网络的最大流与最小割容量所具有的特性，提出了网络压制系数的概念，建立了一个通用的网络对抗综合效能评估模型。     

宁夏R＆D资源清查数据分析

经国务院批准、由科技部、国家统计局牵头,七部委联合进行的全国全社会R＆D资源清查工作顺利完成。此次全社会R＆D资源清查是继1985年全国科技普查以来规模最大的科技统计调查,是一次重要的国情国力调查,获得了反映全社会科技资源状况的丰富数据资料,取得了重要成果。R＆D活动是科技创新的核心,在科技创新活动中起着关键性作用。此次全社会R＆D清查获得“九五”末期宁夏全社会全面、系统、准确的科技活动情况数据,为准确掌握宁夏R＆D活     

一类反向混合单调算子方程组解的存在惟一性

运用锥与半序理论和非对称迭代方法,讨论半序Banach空间一类反向混合单调算子方程组解的存在惟一性,并给出了迭代序列收敛于解的误差估计,同时推广讨论了非反向混合单调算子方程组解的存在惟一性.所得结果改进和推广了混合单调算子方程某些已知的结果.     

基于SVM-UPF的雷达弱小目标检测前跟踪算法

针对低信噪比条件下雷达弱小目标的检测与跟踪,提出了基于支持向量机和无迹粒子滤波的检测前跟踪算法。该算法采用无迹卡尔曼滤波生成粒子滤波的重要性密度函数,提高了粒子的使用效率,在此基础上将支持向量机引入到粒子重采样步骤中,通过构建状态的后验概率密度函数来获得多样性的新粒子,有效解决了粒子贫化问题,仿真结果表明,该算法提高了目标的检测概率和跟踪精度。     

装备可测性设计与评估技术综述

可测性设计对于提高装备的测试水平、缩短故障检测和隔离时间，进而降低使用保障费用具有重要的意义。论文综述了装备可测性技术的国内外发展现状，阐述了可测性的技术体系，对其关键技术进行了分析研究，提出了目前亟待解决的关键问题和难点问题，并对进一步的研究发展给出了建议。     

“陆军作战实验理论与实践专题研讨会”简讯

2009年7月25日至27日，军事系统工程专业委员会与蚌埠坦克学院在蚌埠坦克学院联合召开了“陆军作战实验理论与实践专题研讨会”。会议由蚌埠坦克学院具体承办，来自军事科学院、总参军训和兵种部、总参61683部队、空军指挥学院、海军兵种指挥学院、二炮装备研究院、南京陆军指挥学院、石家庄陆军指挥学院、解放军理工大学、解放军电子工程学院、防空兵指挥学院、炮兵学院、徐州工程兵指挥学院、昆明陆军学院、南昌陆军学院、西安陆军学院、石家庄机械化步兵学院和蚌埠坦克学院的领导和专家出席了会议。