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

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

一种新的进化规划算法

参考高斯变异算子和柯西变异算子,提出了基于学生概率分布变异的进化规划算法。学生概率分布能够衔接高斯分布和柯西分布,其性能通过改变参数n来获得。通过仿真得到了学生概率分布变异的规律。仿真表明,基于学生概率分布变异的进化算法具有较好的性能。     

不用标准弹和弹道炮进行弹药弹道性能检验研究

本文针对目前实行的弹药弹道性能检验中遇到的困难,分析了弹药弹道性能检验中引起弹道性能变化的诸因素,提出了不用标准弹、不用弹道炮进行弹药弹道性能检验的新方法,依此设想,以130mm加农炮0号装药为试验对象进行了试验研究。     

Weibull型产品的可靠性验证

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

汽车空调制冷系统的优化分布原则研究

本文结合汽车空调系统的装修实践,以热舒适条件为评判标准,根据空调制冷系统的性能计算和车箱热载荷计算,提出了汽车空调制冷系统的选用依据及其优化分布的若干基本原则。     

关于舰用机电产品可靠性分布问题探讨

在失效机理分析的基础上,着重从理论上探讨了舰用机电产品在使用中的可靠性分布类型,并给出了简化的计算方法。     

恒加试验的最优线性不变估计

给出了恒加试验的最优线性无偏估计与最优线性不变估计。与有关文献给出的二步估计相比,这两个估计有较大改进,并且在计算上简单可行。     

军用分布式交互仿真的基础及相关技术

本文在分析介绍国内外军事训练仿真中的几种模式基础上 ,重点介绍了最新的发展方向 ,即分布交互仿真 (DIS)技术。文中对该技术的发展过程及技术特点作了具体分析 ,并针对开发我军自身的DIS系统的关键技术作了仔细分析和探讨。     

三点后方交会法的检验方法的改进

本文对现行的三点后方交会法的检验方法提出质疑,并通过测试数据计算分析,证实此法存在问题,在此基础上,对三点后方交会法提出了新的检验方法,并在考核场地进行检验,证实此法正确可靠。