反电动势对无扰载荷航天器精确定向的影响

无扰载荷航天器中非接触式作动器反电动势会引起有效载荷模块与支持模块之间的耦合,影响有效载荷模块的精确定向性能。通过建立无扰载荷航天器的耦合动力学模型,分析非接触式作动器反电动势对有效载荷模块精确定向性能的影响。考虑六支杆立方构型无扰载荷接口,结合拉格朗日方程和牛顿欧拉方法建立有效载荷模块平台动力学模型。推导非接触式作动器的输出力模型,并引入有效载荷模块平台动力学模型,给出考虑非接触式作动器反电动势的耦合动力学模型。将支持模块上飞轮动静不平衡引起的谐振作为干扰力矩,建立了无扰载荷航天器在轨定向状态的Simulink仿真模型。仿真结果表明,反电动势系数越大,干扰力矩对有效载荷模块的影响越大,有效载荷模块精确定向精度越低。     

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

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

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

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

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

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

复杂系统的MTTR建模研究

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

脊状表面降噪特性研究

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

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

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

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

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

空袭兵器战损率计算模型

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