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

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

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

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

坦克炮身管温度变化对射击精度的影响

应用非结构化网格离散结构,建立了具有太阳辐射及背景辐射与对流换热的坦克炮身管温度场的简化模型和身管弯曲计算的简化模型,对仅受太阳辐射以及背景辐射与对流换热相耦合的身管温度场进行了计算,求得身管径向的温度-时间曲线,并分析了身管外表面温度的变化规律。以温度场模型为基础,计算了坦克身管的弯曲量与温度场变化的关系,并提出减小此射击误差的措施。该模型对提高坦克射击精度具有实用价值。     

不确定信息远程火力战法贝叶斯设计方法

在获取具有统计特征的不确定信息的情况下,开发最优远程火力打击战法是联合作战规划中必须解决的重要难题,借助仿真、概率统计以及贝叶斯博弈分析的混合方法,通过对不确定信息进行贝叶斯统计分析,构建了在不确定信息条件下全局最优的远程火力打击战法设计的理论模型,为解决该问题提供了可行方法,对该模型的初步研究表明:在不确定信息条件下,全局最优的远程火力打击战法比局部最优的远程火力打击战法更能满足复杂多变的战场需求,取得更好的战果。     

水下高速航行器壳体振动特性分析

随着超空化技术被用于水下航行器减阻提速,水下高速航行器的结构设计也成为热点。为了确保在设计范围内航行器不发生颤振,对水下高速航行器壳体的振动特性进行了研究。采用有限元分析软件ANSYS建立了三维有限元模型。考虑到实际问题的复杂性,在建模时做了适当简化,忽略对整体结构影响不大的小孔、小圆角、小倒角;将各段壳体间的连接视为刚性连接,建模时将其视为一体。采用分块Lanczos法对模型进行模态分析和研究,一共提取了前25阶自由振动模态。经过分析比较,排除零模态、合并相同模态,最终给出了其前11阶的固有频率和振型。分析结果表明壳体结构整体刚度较好,在理论上证明了壳体结构设计方案的可行性,为航行器壳体的结构设计提供了理论依据。     

非对消解耦方法在硬式空中加油管控制中的应用

研究了硬式空中加油管的控制问题,基于对伸缩管模型的分析,得出伸缩管必须进行解耦才可有效控制的结论;基于模型存在S右半平面零点的特征,提出了利用非对消解耦方法解决硬式空中加油管的控制问题。通过Matlab/Simulink进行仿真,结果表明该方法可以有效地消除系统间的耦合作用,能够满足伸缩管的控制需要。     

创新政治教育体系 增强民兵教育活力

新时期,抓好民兵政治教育要坚持从实际出发,立足基层工作实际,从更新民兵思想政治教育的方法手段人手,增强教育的知识性、趣味性和教育的感染力．并适应新形势新任务的需要,建立长效保障机制,努力增强民兵教育的活力,提高教育的时效。     

农用车怎样省油？

为了节约成本,提高经济效益,有几种方法可使农用车省油： 一、确保轮胎气压正常。轮胎气压不足或过高,都会增加耗油量。 二、定期检查驾驶盘和轮胎是否调整正确。车辆使用时间长了．轮胎和驾驶盘往往会因磨损使自由度增大,这也会多耗油。     

“福特”级航母的虚拟设计与建造

1964年,美国开始设计"尼米兹"级航母,但在此之后的30多年时间里,美国没有设计过新航母,直到1996年启动下一代新航母的设计。新一代航母"福特"级采用了与以往截然不同的设计方法,借助虚拟现实技术,能够在三维模拟的状态下完成整艘航母的设计,并且这些三维设计图纸可以直接用于建造。美国防务作家诺亚·沙切特曼将带领我们进入这个航母设计的虚拟世界。     

金维森实现“四个转变”扎实推进学习型党组织建设

建设学习型党组织是新的历史条件下加强党的建设的新创造、新探索,具有丰富的内涵和鲜明的特征,要求各级党组织要紧紧围绕服务中心任务,创新学习方法,丰富学习内容,完善学习制度。但受主客观因素影响,有的基层党组织还存有认识不到位、组织管理粗放、检查考核不严、学习成果转化不够等情况,一定程度上影响着学习型党组织建设的健康发展。对此,需要在“四个转变”上下功夫。