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

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

一种联合作战兵力模型求解方法

通过对联合作战兵力的合理选取和配置,在满足作战需要的基础上,实现作战资源消耗的优化是联合作战筹划要解决的重点问题。在规范交战模式和兵力势能的基础上,提出了基于资源约束的联合作战兵力势比模型,并提出了基于Matlab动态规划的模型求解方法。应用案例结果表明,该模型和方法能够较好地解决联合作战兵力规划问题。     

某型导发架通用测试系统软件复用性设计

测试软件的复用性是摆在测试界面前亟待解决的重要问题。运用统一建模语言(Unified Modeling Language,UML)对测试软件进行建模,包括:测试系统的类图、软件功能分解、功能子系统的上下文模型、测试软件需求特征树以及软件功能子系统的顺序交互视图。在Visual C++6.0环境中,采用"应用程序框架+可复用构件"开发方式,实现了基于可复用构件的某型导发架测试系统应用软件组装,成功解决了导发架测试领域内同一系列产品间测试软件的可复用问题。     

复杂系统的MTTR建模研究

现代武器系统的结构越来越复杂,在进行系统修复前,系统往往发生多个故障的情况,致使原来的维修性模型不能完全地反映系统的维修性水平。针对多重故障的维修,推导出一种能反映这种情况下的维修性预计的平均修复时间(MTTR)数学模型。模型中的一次维修事件由原来的只进行单一故障维修扩展到可以对多个不同故障进行维修的情况,更好地反映了复杂系统的实际维修情况。通过实例验证了该模型能实际地反映出复杂系统的维修性情况,从而更加准确地预计出系统的维修性水平。     

脊状表面降噪特性研究

采用大涡模拟湍流模型(LES)仿真计算V型脊状面的湍流边界层流噪声,研究了V型脊状结构高宽比对降噪特性的影响。计算结果表明,大高宽比脊状结构降噪效果更加突出,其高频区的声压密度及峰值处的频率较其他两种尺寸都有明显减少,其中声压级最大减小量5dB。通过比较其上部区域流场的涡量及湍流脉动强度,发现如果脊峰更加"尖削",则脊状表面抑制涡发展、"稳定"湍流脉动的能力增强,而这就是其获得更好降噪效果的主要原因之一。     

复杂军事网络的鲁棒性分析

分析了复杂军事网络具有BA复杂网络模型的特性,通过基于MATLAB语言对BA复杂网络模型的仿真,发现了网络中最大簇大小和簇参数对于不同攻击类型的变化规律,分析结论是辨认和停止基于局部拓扑信息的选择性攻击,可有效防护对于复杂军事网络的分布式攻击。     

海战场作战仿真系统的雷达建模与仿真

兵力实体建模是海战场作战仿真的关键环节。以海战场作战仿真系统,根据雷达系统工作原理,结合工程实际,建立了雷达系统的相关功能数学模型。深入研究了雷达的截获概率模型、测量误差模型和滤波计算模型。仿真结果表明所建立的雷达模型的有效性,满足仿真试验的要求。     

空袭兵器战损率计算模型

结合局部战争中空袭的新特点,对传统的空袭兵器战损率计算模型进行了拓展,通过对空袭兵器的损失原因、使用方式等因素的分析研究,探讨了信息化条件下空袭兵器战损率的确定方法,构建了新的空袭兵器战损率计算模型,并给出了算例。     

基于DEA的空降方案评价与优化

空降作战是高难度、高风险的空地一体作战,研制空降兵模拟作战指挥训练系统是平时进行空降作战指挥模拟训练的有效方法。为空降兵模拟作战指挥训练系统的理论预研部分内容,从空降摩步团的作战特点出发,进行团空降方案的评价与优化的系统研究,建立评价团空降方案的指标体系及指标解析模型,探索新的作战方案优选、优化方法——DEA方法,有助于提高空降作战决策的科学性,促进空降兵模拟作战指挥训练系统的开发。