Weibull型产品的可靠性验证

讨论了Weibull型产品的可靠性验证问题 ,首先分析了Weibull型产品分布参数的无信息验前分布问题 ,利用验前信息可以得到分布参数的验前概率密度函数 ,进而分析了产品的可靠性验证问题 ,顾及了使用方利益和生产方利益。仿真算例表明 ,使用方利益和生产方利益是相互折衷的。     

论管理协议细栈MTS的构造

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

数字

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

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

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

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

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

卫星固态存储器数据容错设计与机制

卫星数据传输系统的可靠性面临着空间粒子效应、信道干扰等多重威胁。在介绍数据传输系统关键设备星载大容量固态存储器设计与实现的基础上,从管理信息、数据位流、星地链路、文件传输四个方面构建容错机制,综合应用汉明编译码、RS编译码、低密度奇偶校验码编码等数据检纠错技术,增强存储器管理信息、存储数据、信道传输的容错性能。在实际型号任务固态存储器的基础上,结合CCSDS文件传输协议提出基于自动重传机制的文件可靠传输设计,提高数据传输全流程的容错性能。固态存储器使用多级流水写入、总线并行扩展等技术,吞吐率理论上接近900Mbps,容量达到256Gb。     

向时间自动机转换的军事电子信息系统性质验证

日益复杂的军事电子信息系统面临正确性验证挑战,形式化验证方法如模型检验技术成为必需.给出基于时间Petri网表示的军事电子系统模型PMES的定义,然后给出PMES模型转换为时间自动机网的步骤,利用已有的基于时间自动机的模型检验工具对系统性质进行验证;系统的性质要求用时序逻辑语言CTL或TCTL公式表示.雷达干扰机系统说明了该方法的实际应用效果.     

军事科学院军队建设研究部与中国兵器科学研究院签署战略合作协议

为认真贯彻落实胡锦涛主席关于军民融合式发展的重大战略思想,建立军队建设与兵器工业技术创新发展的直通式高端交流平台,经过充分论证与精心准备,2011年8月24日,军事科学院军队建设研究部与中国兵器科学研究院在京共同签署了战略合作协议。双方商定,     

基于仿真的水面舰艇作战能力评价研究

水面舰艇作战能力评价研究目前多沿用静态分析的综合指数法,应用作战仿真可以对装备作战能力进行全面的动态分析.提出了基于作战想定和其仿真结果的评价体系,构建了水面舰艇作战仿真模型体系,并给出调用关系.介绍了以STAGE为平台进行作战仿真开发的用户模型开发和脚本开发方法,建立了基于仿真统计结果的作战能力计算模型.最后,以一组服役驱逐舰作战能力分析的仿真实例验证了评价方法,结果表明该评价方法是合理的.     

协同仿真平台下鱼雷仿真模型设计与实现

针对系统仿真建模可重用的需求,采用组件对象建模的思想对鱼雷进行建模,通过分析鱼雷模型的特点,完成了协同仿真平台下由鱼雷动力学、运动学模块、动力系统模块、控制系统模块、弹道解算系统模块、自导系统模块、引信系统模块、尾流自导模块、误差模块所组成的鱼雷层次结构模型设计,并已实现协同仿真环境中不同粒度的可重用模型的程序开发.通过对鱼雷仿真模型的测试与应用,验证了协同仿真环境下组件对象建模方法具有建模过程快捷、灵活、适应性高、可重用性好和利于跨平台移植的优点.