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

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

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

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

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

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

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

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

数字式自动驾驶仪控制电路设计方法与实现

自动驾驶仪是某飞行器制导控制系统中的重要组成部分,为了适应飞行器小型化的发展趋势,采用软件与硬件相结合的设计方法对自动驾驶仪的控制电路进行设计,解决了纯软件或硬件设计带来的资源紧张难题。     

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

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

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

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

农用车怎样省油？

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

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

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

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

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