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

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

一种基于博弈论的无线网状网络路由与信道分配联合优化算法

无线网络中的路由与信道分配可极大地影响网络的性能.为了解决无线网状网络中的路由与信道分配问题,提出并研究了一种称为CRAG(基于博弈论的无线网状网络路由与信道分配联合优化)的方法.CRAG采用协同博弈的方式将网络中的每个节点模型化为一个弈者,每个弈者的策略为与其相关的路由与信道分配方案,收益函数为给定流量需求矩阵下的成功传输流量.弈者通过协同博弈来优化收益函数以最大化网络的吞吐量.基于NS3的仿真结果表明,CRAG在收敛性、时延、丢包率和吞吐量方面优于其他当前的算法,从而证明了协同博弈的方法可以用于无线网状网络的路由与信道分配联合优化,并有效地改进网络性能.     

固液火箭冲压发动机推力调节的一种方法

推力调节是整体式固液火箭冲压发动机研究的一项关键技术.基于发动机推力调节工作原理,推导了一种推力调节方法,数字仿真结果证明了该方法的可行性.     

当代资本主义发展的历史趋势

西方资本主义在新的历史条件下 ,发生了许多有待认识的新的变化。本文坚持马克思主义社会基本矛盾分析方法 ,实事求是地分析了资本主义的新特点及其固有本质 ,揭示了当代资本主义灭亡的必然性和历史过程的长期性 ,对正确认识其发展历程有启示意义     

晚清军品走私及其屡禁不止之缘由

鸦片战争以后,中国国门洞开,清廷腐败无能、内陆沿海民变频起,军品走私猖獗。走私方式主要有夹带和隐藏两种;走私主体既有混迹于中国的各国洋人,也有实力雄厚的各洋行,还有中国本土的各种反清组织、商人、匪徒、官僚等。港澳地区和与之毗邻的广东地区是军品走私的重灾区,上海、天津、东北等地区也是军品走私多发之地。晚清军品走私屡禁不止,根本上缘于低效的缉私体制和列强的长期掣肘。     

防空导弹武器系统动态组网方式研究

网络化作战已成为当前的发展趋势,传统的组网方式已不能满足空防对抗的需要,使得防空系统也必须做出相应的调整.在分析传统组网方式的基础上,提出了分布式与集中式结构相结合的动态组网方式,实现了整个网络的开放、扁平、指控节点可变,系统的作战效能大大提高.     

试论渡江战役与中美关系

渡江战役是解放战争中极为重要的一次战役,不仅在中国人民解放军历史上书写了浓墨重彩的一页,也是中美关系史上不可忽视的一个转折点。渡江战役标志着美国扶蒋反共政策的彻底破产,是美国以台制华策略的肇始。渡江战役前后中共中央的对美斗争为中华人民共和国处理中美关系积累了经验,有着重要的历史意义和现实意义。     

防空导弹武器系统对目标群射击效能分析

针对当前空中来袭目标的主要特点,选择单个目标群作为研究对象,探索防空导弹武器系统的射击效能问题.一定假设条件下,以杀伤全部来袭目标的概率为效能指标,通过对防空导弹武器系统射击过程的分析,建立了拦截循环次数模型和多个拦截循环的射击效能模型,由这两个模型可以计算出对目标群的射击效能.通过仿真计算,分别分析目标通道数、来袭目标数、拦截循环次数、目标速度对防空导弹武器系统射击效能的影响,结果符合实际,验证了拦截循环次数模型的适用性和采用多个拦截循环射击效能模型的合理性.