一种面向Agent的概念化建模方法*

面向Agent的建模方法为基于Agent系统的概念化描述提供了一种新的技术.针对多Agent系统分析与建模问题,扩展并规范了面向Agent概念化建模过程,定义了Agent模型及其扩展模型,并给出了形式化描述.同时,给出面向Agent的分析和设计过程,为其具体建模提供了一种高层指导.最后,与其它现有面向Agent的方法在应用方面进行了类比分析,为该方法的广泛和深入地应用研究打下基础.     

基于鱼雷航程实时预报的潜射线导鱼雷可攻性判断

针对新型潜射线导鱼雷可攻性判断的决策需求,在分析传统的鱼雷可攻性判断方法不足的基础上,提出以鱼雷航程实时预报作为线导鱼雷可攻性判断的决策依据.并对线导方位导引法进行了深入分析,给出了概略目标运动要素情况下鱼雷航程实时预报的解析模型,该模型可实时预报线导鱼雷航程和鱼雷线导段航行时间.经大量仿真计算验证.解析模型预报结果作为鱼雷可攻性判断依据是具有合理性的,该方法能较好地满足线导鱼雷攻击决策的需求.     

UML在电子战仿真建模中的应用研究*

创建电子战装备、规则、过程、地理和电磁环境等的模型是电子战仿真的一项基础活动.规范化建模方法是高质量、高效率开发电子战仿真系统的技术基础,是提高电子战仿真模型可校验性、可重用性和互操作性的必要条件.本文首先分析了统一建模语言在电子战仿真结构建模、行为建模和交互建模中的可应用性,以预警雷达仿真建模、雷达信号处理功能仿真建模和对象交互仿真建模为示例,展示了基于UML的电子战仿真建模方法,表明了统一建模语言可以为全面、准确地描述电子战仿真对象模型提供丰富的、表达能力强的建模手段.     

城市战场目标分群的组合聚类方法

为了消除或减少城市作战中灰色情报信息对态势评估中目标分群的影响,提出一种基于Chameleon算法的组合聚类方法.根据目标属性间的区间灰数关联度和目标间的距离系数得到相似度矩阵,利用Chameleon算法对目标进行初始分群,然后,对分群中各目标的属性历史数据和分群中心的属性历史数据分别进行区间灰数向量关联分析,实现了目标分群的动态维护.通过算例验证了方法的有效性.     

基于FLAMES和HLA的联合作战仿真研究

主要研究基于FLAMES和HLA解决联合作战分布式仿真问题,首先介绍了基于FLAMES进行联合作战仿真开发的优点,然后剖析了基于FLAMES和HLA进行联合作战中的仿真实体之间的信息交互的机制,最后以简单的空地对抗仿真实例,探讨了基于FLAMES和HLA的开发过程,验证了基于FLAMES和HLA开发的联合作战分布式仿真的实用性.应用该仿真平台进行联合作战仿真不仅较大地减少了仿真开发的工作量,提高仿真系统开发的速度,而且能够充分表现出联合作战中多实体交互的特性.     

基于DXC的军事传送网恢复策略研究

可靠性对于军事传送网而言显得尤为重要。数字交叉连接(DXC)设备提供了一个灵活的冗余和保护以满足用户的需求,有利于最小化服务中断时间。文中首先介绍了DXC设备及其应用;其次,讨论了基于DXC设备的恢复应该考虑的问题;最后,结合军事传送网的特点,提出了恢复策略,并对此进行了讨论。     

基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

Spherical-cymbal换能器静水压性能研究

对Spherical-cymbal换能器的静水压性能进行了研究。采用有限元法计算了该换能器在静水压下的米塞斯等效应力,找出了其所能承受的极限静水压。研究了金属端帽几何尺寸及端帽材料对Spherical-cymbal换能器耐压极限的影响,结果表明,空腔深度、端帽厚度及端帽材料对该换能器耐压性能影响显著;对比研究表明,参考尺寸下的Spherical-cymbal换能器比传统Cymbal换能器具有更高的耐压极限。     

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

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

基于抗差Kalman滤波的航空发动机测试数据预处理技术

针对使用标准Kalman滤波算法不能准确处理包含粗差的航空发动机测试数据的问题,在分析标准Kalman滤波算法准则和观测误差对滤波估计结果影响的基础上,采用动态调整观测信息在滤波估计结果中权重的方法,给出了基于抗差M估计理论的抗差Kalman滤波准则和递推公式。对不同的发动机测试数据分别采取序列滤波的方法,减少了运算量。基于常加速度模型,建立了测量参数的状态空间方程和测量方程。以包含粗差的某型涡扇发动机稳定工作过程的模拟测量数据为例,采用所设计的抗差Kalman滤波器对其进行预处理,与标准Kalman滤波算法处理的结果对比表明,在模型误差一定的情况下,抗差Kalman滤波算法具有更好的估计精度。