基于扩展标记变迁模型的时钟同步协议正确性验证

时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。     

C~4ISR体系结构框架及设计方法

描述了美军体系结构设计框架的演变过程,包括最新《国防部体系结构框架》1.5版(DODAF1.5)的基本情况和《国防部体系结构框架》制定的最新进展。深入分析并比较了常用的几种体系结构设计方法的特点和它们各自的适用范围,讨论了体系结构开发中的一些共性因素和发展规律,最后对我军体系结构设计发展提出了一些建议。     

全局收敛策略静止目标纯距离测量下的参数估计方法

将全局收敛策略与高斯-牛顿法相结合,得到了解决非线性最小二乘问题的改进高斯-牛顿法;并将该方法应用于静止目标纯距离测量下的参数估计问题;仿真试验表明,改进后的高斯-牛顿方法对测量误差不敏感,具有更快的收敛速度和更高的精度。     

基于鲁棒高阶滑模的电动舵机伺服控制

电动舵机伺服系统是导弹飞行控制不可缺少的组成部分,按照指令模型装置或敏感元件输出的电信号来操纵舵面,实现角运动或航迹运动的自动稳定和控制。系统的静、动态性能、鲁棒性等对飞行控制非常重要。滑模控制以其强鲁棒性受到广泛关注,然而却存在抖颤问题,介绍一种克服抖颤的高阶滑模控制原理及设计方法,并针对电动舵机设计了相应的控制器。实验结果表明,尽管系统存在参数不确定和有界扰动,系统仍具有较强的鲁棒性以及较高的控制精度。     

神经网络PID在空空导弹自动驾驶仪中的应用

采用改进型BP神经网络与传统PID相结合作为控制器,应用于空空导弹自动驾驶仪的设计中。BP神经网络算法的运用,使得所设计的自动驾驶仪能够针对非线性、时变的气动特性自适应地调整控制参数,利用MATLAB软件对系统进行仿真,给出了相应的仿真结果。实现对PID控制器参数的寻优整定,简化了设计过程。     

美军技术研究与试验建模体系结构(MATREX)

技术研究与试验建模体系结构(以下简称MATREX)项目是美国陆军最重要的分布式建模与仿真环境,提供了统一的建模仿真架构、辅助工具以及基础设施,使得具有各种分辨率的真实、虚拟和构造的军事应用之间的集成和使用非常方便。首先概括介绍了MATREX项目的一些背景情况和基本原理;接着深入剖析了该项目的核心体系结构、各种构件工具、集成设施服务和系统参考模型。最后简要地介绍了使用MATREX环境二次开发的两个军事应用,分别用在未来战斗系统主系统集成商的系统集成实验室和跨司令部协作项目。     

多机编队指控决策一体化系统概念模型研究

多机编队指挥控制决策一体化系统是未来提高多机编队信息化协作水平的重要途径。通过研究国内外军事领域的发展趋势,并结合网络中心战及C4KISR概念,对该系统进行了需求分析和总体设计,提出了多机编队指挥控制决策一体化系统概念模型。最后将其应用于基于HLA和分布式仿真技术的多机编队指挥控制决策一体化系统仿真环境。     

基于FEDEP的相控阵雷达仿真系统开发

首先简要介绍了HLA联邦开发与运行过程.然后以导弹防御系统中的相控阵雷达为研究背景,重点讨论了导弹突防对抗仿真系统联邦的设计,主要包括对象类、交互类设计和联邦设计;最后给出了联邦开发实例,包括联邦想定、联邦成员仿真模型实例、联邦测试和联邦执行结果.联邦开发实践表明,该系统具有良好的可扩充性和可重用性,可以实现联邦目标.     

反潜直升机吊放声纳搜潜效能

吊放声纳是反潜直升机搜潜的主要武备之一。在分析吊放声纳搜潜过程的基础上,对仿真环境进行假设,并建立吊放声纳搜潜蒙特卡洛法模型,通过仿真试验对反潜直升机在一定条件下搜潜时吊放声纳间隔系数、螺旋系数、探测点数和搜索阵型进行研究,得出的相关结论对提高反潜直升机作战运用水平具有较大的实际应用价值。     

基于灰色关联决策的地面防空部署方案

地面防空部署方案的评价是一个多属性决策问题。基于灰色关联决策理论,建立了地面防空部署方案的评价模型与优选算法。该方法能充分利用主客观信息,避免求取属性权重估计值的计算,并能反应指挥员对部署方案的偏好,使得部署方案的评价易于编程计算。