参数化系统二维抽象框架

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

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

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

一种基于组的访问控制方法

卫星通信网运控系统是一个大型的分布式系统,它使用CORBA中间件来解决分布式系统的异构问题。在研究DAC、MAC、RBAC等访问控制模型的基础上,提出并实现了一种基于组的用户访问控制(GBAC)策略,提高了运控系统的访问控制效率。     

基于EPA的分布式控制系统研究与设计

在模拟信号控制的数控系统基础上,设计了基于EPA标准的分布式控制系统;介绍了EPA标准,研究了确定性通信调度机制和精确时钟同步协议的应用这两个关键技术,设计了控制系统中通信模块和嵌入式转接电路板,并对试验结果进行了演示.结果表明,该系统运行稳定,各项性能满足应用需求,对军用控制系统的研究提供了较好的借鉴经验.     

模型三组元喷嘴雾化SMD变化规律

为了充分研究新型三组元喷嘴的内混腔雾化特性 ,设计了模型喷嘴进行多工况试验。试验发现 ,维持气体或液体压降不变 ,改变另一种介质的压降 ,会得到不同的雾化平均直径随气体压降或液体压降 ,以及气液比ALR的变化曲线 ,这些曲线有着明显的规律。大量试验表明 ,虽然平均直径SMD随气体压降或液体压降的变化曲线明显不同 ,但其随气液比的变化规律却趋于相同     

通用化、系列化、组合化(模件化、组件化)概念的研究

“三化”中应包括组合化的两种类型:模件化和组件化。并对各“化”的概念、工作内容及相互关系作了论述。     

着眼实践 注重质量——军队院校大学英语阅读课堂教学改革

进行大学英语阅读的课堂教学改革,把以教员为中心的填鸭式教学转变为以学生为中心的语言实践.从实际出发,以教学内容和教学要求为基点,把握质量,注重实效.本文从军队院校的特殊性入手,探讨了大学英语阅读课堂实践活动中的几个关键性问题.     

论管理协议细栈MTS的构造

开放系统互连管理 OSIM 是 OSI 参考模型中定义的特定应用服务元素 SASE 之一,也是唯一涉及全部七层协议的服务元素。OSIM 在控制和协调 Multivendor 和 Multidomain系统中所起的作用已使它成为改进网络性能和服务水平的关键性因素。并非所有开放系统均能提供全七层支持,因此,本文提出一种管理协议细栈 MTS(Management Thin Stack)结构,讨论了它自身的构造性特及其在上述管理环境下的作用。     

数字

123亿 巴西和法国9月7日正式签署了一项总金额达123亿美元的军售协议。根据协议，法国将帮助巴西建造1艘核动力潜艇，这将使巴西成为全球少数几个拥有核潜艇的国家之一。     

协议测试中测试序列生成方法综述

文章在介绍协议一致性测试基本概念的基础上,重点列举了测试序列的几种生成方法。对目前广泛采用的形式化描述模型,重点介绍其中基于有限状态机模型的测试序列生成方法,同时对基于扩展有限状态机以及确定有限状态机的测试序列生成方法也进行了介绍。文章对每一种方法介绍了其原理并分析了其使用中的局限。文章最后指出了在协议测试中面临的问题和进一步研究的方向。