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

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

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

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

作战仿真中指挥Agent的实现

为达到作战行动和效果仿真的逼真性,在作战仿真系统中,指挥控制决策过程模型的实现非常重要。利用多Agent的建模方法在复杂系统建模方面的优势,描述了一种基于指挥Agent的指挥控制(C2)系统的结构体系,并分析了指挥Agent的组织和内部逻辑结构及其仿真实现,通过仿真框架内不同层次的指挥Agent间的交互可有效地实现作战仿真中的指挥决策过程。     

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

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

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

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

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

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

农用车怎样省油？

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

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

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

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

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

着力推动法律服务工作“四个转变”

近年来,部队官兵涉法问题越来越多,对法律服务的需求越来越大,要求越来越高。但当前不少单位法律服务工作还局限于“上几堂课、送几本书、发几张函”的旧套路,与部队实际结合不紧,效果不明显,官兵不是很满意。部队法律服务工作必须按照“三个紧贴”的时代要求,着眼当前形势任务的发展变化,着力在提高能力素质、创新方法手段、增强服务效果上下功夫,切实在维护官兵合法权益、促进部队安全稳定上发挥积极作用。