事件驱动过程链在军事信息系统建模中的应用

要实现军事信息系统的合理设计必须进行有效的系统建模.通过分析事件驱动的过程链(EPC)和Petri网的特点,提出两者相结合的建模方法,着重研究了基于EPC的系统过程描述方法,在EPC模型中引入组织描述和数据流描述,并分析了控制流、数据流相结合的结构合理性验证方法.设计实现了系统建模工具,并通过实例介绍建模过程,验证方法...     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

一种基于神经网络调整权值的雷达信号识别法

研究了一种基于神经网络训练修改权值的加权M距离法用于雷达信号的识别,通过仿真试验验证了此法的正确性和有效性,并对试验结果进行了分析和讨论。     

一种用于直线度测量的多功能,简单,低成本电容传感器

线性运动在精密工程中被广泛应用。由于寄生运动的存在,要实现线性工作台或轴承完美无缺的直线运动几乎是不可能的。这些寄生运动包括:两个方向的平动(y和z),三个方向的转动,即滚动(Φ_x),垂直俯仰(Φ_y),水平晃动(Φ_z)。使用机械元件,这些寄生运动的数量级分别为1μm和1mrad。修改机械设计来增加直线运动的精度通常是困难的而     

C3I系统仿真及仿真环境研究

首先讨论了C3I系统开发中存在的问题并提出解决这些问题的重要性,然后从C3I系统描述模型和仿真环境两个方面,介绍了国内外对于C3I系统仿真的研究现状和发展趋势.最后介绍了我们正在研制的基于对象Petri网的仿真演示环境的特点以及设计和实现方法.     

指挥控制参考模型研究进展

介绍指挥控制参考模型领域取得的最新进展。在理论上分析了该模型体系结构的不足,引入了逻辑端口的概念。在应用上讨论了建模过程中层次的分拆、组合的原则,并将使用实例图引入该模型的理论研究和对实际系统的建模,取得了若干重要结论。     

无人战斗机飞向未来海空战

近年来,随着美国国防部对无人驾驶战斗机的兴趣日益增长,研究无人战斗机已不再是纸上谈兵,而是进入了实质性的计划研究阶段。美国海军有关部门对此进行了专门研究,并启动了一项被称为“高机动致命飞行器”(HMLV)的无人驾驶战斗机的研制计划。     

多传感器数据融合导论

多传感器数据融合是一项新涌现出的技术,可应用于国防领域,如自动化目标识别、战场监视、自治式运载器制导与控制;也可应用于非国防领域,如复杂机械监视、医疗诊断和新式建筑物。多传感器融合技术源于人工智能、模式识别、统计估计等广泛领域。本论文为数据融合提供了指导,它介绍了数据融合的应用、过程模型和对可应用技术的鉴别,并就数据融合方面的技术发展水平作了评述。     

在GPS/INS综合中的最佳非线性滤波

本文介绍了最佳非线性/非高斯滤波应用到临界情况的INS/GPS综合的问题。用所谓质点滤波的新技术使这种方法成为可能,并且当与诸如广义卡尔曼滤波这种经典的次最佳技术比较时,表现出优越性能。介绍了质点滤波理论并讨论了GPS/INS综合仿真结果。     

宙斯盾首创的和未来的最终综合诊断系统

宙斯盾武器系统的战备状态测试系统(ORTS)是当前综合诊断系统的前驱。它由成本有效的诊断混合建模和分析演变而来,把当代的诊断设备与宙斯盾武器最优化地综合在一起。由于这个系统的目标是21世纪,它能够达到更完整的集成,一个综合诊断系统能为整艘舰艇提供服务,包括武器系统,船体机械和电气系统以及推进系统。