DIS/HLA的发展及其在武器系统开发中的应用

本文针对分布交互仿真作了概述,介绍了DIS发展的早期阶段及其下一代HLA的发展状况,并对其在武器系统中的应用进行了讨论。     

分布式BGP协议体系结构

随着Internet规模的扩展和连接密度的增加,作为域间路由标准的BGP协议面临严峻挑战。集群路由器的出现,其分布式的计算资源、存储资源以及体系结构上的高度可扩展,有利于解决BGP协议面临的这些问题。在分析BGP协议体系结构无法适应集群路由器分布式特点的基础上,通过对BGP协议功能的解耦合,提出一种新的、分布式的BGP协议体系结构。与传统方式相比,分布式BGP体系结构能够充分利用集群路由器的分布式的计算资源和存储资源,在协议可靠性、管理维护成本、协议多维可扩展性和简化BGP网络设计等方面具有极大优势。     

美国反弹道导弹的预警系统

反弹道导弹的预警系统是用于早期发现攻击的弹道导弹、测定弹道参数、判定发身阵地和导弹将要攻击的目标,为国家战略防御决策提供预先警报信息的系统,弹道导弹预警系统是反弹道导弹战略防御体系中预警系统、指挥控制系统、拦截武器系统三大支柱之一。     

基于OpenFlow的SDN中链路层拓扑发现的优化

在基于OpenFlow的软件定义网络中,控制器需要对全局网络状态保持全面并且实时的掌握,怎样快速地获取当前网络的拓扑状态成为了重要前提。而SDN的拓扑发现协议OFDP虽然已经将控制权交给了控制器,但是仍采用洪泛式的拓扑发现消息发送机制来进行拓扑发现,没有达到全局最优,增加了不必要的开销。因此,提出一种基于OFDP的改进机制,在控制器中添加新的拓扑发现功能模块,通过减少重复端口发现的方式,来减少网络中的拓扑发现消息的数量。仿真实验结果表明,改进机制在加快了网络拓扑的生成的同时,减轻了控制器的负载。     

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

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

基于LEACH协议的研究与改进

无线传感器网络中如何节能是一个关键问题。对经典的LEACH协议做研究与改进,并提出了一种新型的动态网络转换机制。该算法通过综合考虑候选节点的地理位置、剩余能量等参数来进行网络协议的选择,从而有效地降低了低能量与位置不佳的节点被选为簇首的可能性,进一步保证网络内节点能量负载的均衡性。仿真结果表明,新型的动态网络协议机制能够有效平衡节点的能量消耗分布,延长节点与网络的寿命。     

加强新形势下的帮教转化工作

新形势下社会环境日益开放,各种信息不断渗透,部队官兵思想日趋活跃,遇到现实矛盾、思想和心理等问题的官兵明显增多,个别人的发现、控制、转化难度加大。如何积极有效地做好个别人工作,及时消除不安全因素,预防事故案件的发生,对确保部队安全稳定具有十分重要的意义。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。