建模与仿真VV&A工具设计与实现

在深入研究VV&A过程模型的基础上,建立了仿真和建模VV&A工具设计方案,详细介绍了各个模块的功能、相互之间的关系及工作流程.应用ODBC互连技术实现接口问的通信,将VV&A工具应用于实际工程中,取得了令人满意的结果,从而有效提高了仿真VV&A过程的经济性和快捷性.     

基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

电子装备可靠性指标提出的有关问题

本文从抽样检查的要求出发,论述了可靠性指标提出的有关问题,包括定量指标及其它要求的提出。     

Weibull型产品的可靠性验证

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

论管理协议细栈MTS的构造

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

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

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

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

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

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

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

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

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

岩土材料屈服准则的可靠度解析

视岩土材料强度参数为正态分布随机变量,以可靠度理论为基础,推导了Drucker-Prager准则和Mohr-Coulomb准则可靠度判别的解析表达式,并通过Monte-Carlo法和一次可靠度方法验证了其正确性.应用所得到的可靠度解析公式分析了岩土材料强度参数的均值和变异性对屈服准则判别结果的影响.结果表明,强度参数的变异性对Drucker-Prager准则和Mohr-Coulomb准则可靠概率的影响程度不尽相同,在变异系数较大的情况下,它们对可靠概率的影响显著,不可忽略.该研究结果为岩土材料屈服的可靠度判别提供了一条新思路.