一种改进的指数型序贯抽样检验方法

针对指数型产品的可靠性验收问题,通过分析总结两次序贯概率比检验和序贯网图检验的思想,提出了一种改进的序贯抽样检验方法。通过构造验收风险的马尔可夫链模型,研究了改进的指数型序贯抽样检验方案的风险计算方法。在此基础上,给出了指数型序贯抽样检验方案的制定程序。实例分析表明:改进的指数型序贯抽样检验方案在保证截尾时间的条件下,明显降低了美军标MIL-STD-781C标准方案的验收风险,可以更好地满足双方的风险要求。     

以“四剂良方”根治“四种不良症状”

<正>新的赶考路上,基层干部是巩固党的执政根基的"桥头堡",是抓好党的理论和路线方针政策末端落实的"主力军",是推动基层高质量发展的"火车头"。当前,受多元社会文化、多样价值观念等因素影响,在基层干部中存在一些不容忽视的思想和行为倾向。这些不良倾向,危害极大,必须以"四剂良方"来根治。     

善于处理好“三对关系” 提高贯彻民主集中制质量

<正>习主席指出,坚持民主集中制是保证党的创造力、凝聚力、战斗力,保证党的团结统一的重要法宝。《中国共产党军队党的建设条例》第十七条也明确,军队必须贯彻党的民主集中制原则。民主集中制是军队各级党委议事的根本,也是抓班子、带队伍的有效方法。工作实践中,要善于处理好"三对关系",提高贯彻民主集中制质量。一、处理好"民主"与"集中"的关系,做到民主与集中的有机结合《中国共产党章程》指出,"民主集中制是民主基础上的集中和集中指导下的民主相结合"。贯彻民主集中制,必须辩证地认识民主与集中的关系,其具体包含三层含义:一是民主基础上的集中。     

存在工作历程产品的加速寿命试验统计分析

加速寿命试验(ALT)可在较短时间内获得产品的寿命及可靠性信息.利用ALT对产品的剩余寿命进行评估时,常常将已工作过的产品进行抽样并投入试验,在这一类样本的ALT数据统计分析时如何处理初始工作时间,成为ALT应用中的一个重要问题.工程实际中评估此类样本的剩余寿命时常常忽略初始工作时间,将其视为"用后如新"或"无记忆性"产品.但此假设必须以产品寿命服从指数分布为前提,而大部分机电产品的寿命服从Weibull分布,因而该方法在应用时必然会产生较大误差.针对这一问题提出了一种新的基于时间折算的ALT数据统计分析方法,并利用Monte Carlo仿真对其估计特性进行对比研究,结果表明此方法能有效评估存在初始工作历程产品的剩余寿命,估计精度优于原方法.     

一种高效的显式模型检验方法

随着软硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.在显式模型检验工具Murphi的基础上,针对其可达状态空间组织存在的问题进行改进,提出了基于整型指针与Fibonacci散列的可达状态空间组织方法,实现了一个高效的显式模型检验原型系统,在确保验证正确的同时有效缩短了验证时间,并能在系统规范不可满足的情况下给出反例,有助于系统设计人员快速定位错误.理论分析和实验结果表明了本方法的有效性.     

布尔函数的Walsh谱绝对值分布及其性质研究

提出并研究了布尔函数的Walsh谱绝对值分布.指出布尔函数Walsh谱绝对值分布在仿射变换下的不变性,计算了n(n≤5)元布尔函数的Walsh谱绝对值分布,研究了Walsh谱绝对值分布与Walsh谱支撑和Walsh谱中非零取值个数以及其他一些密码学难题的联系,最后研究了布尔函数的Walsh谱绝对值分布的大小.     

关于半鞅向量随机积分的两个结果

首先利用半鞅Girsanov定理与闭图像定理证明了:若{Xn}是带滤基的完备概率空间(Ω,F,F,P)中的一列半鞅,其中滤基F=(Ft)t≥0满足通常条件,且{Xn}在关于P的Emery拓扑空间中收敛于X,则当概率测度Q相似文献   

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

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

过渡流区圆柱体驻点热流的工程计算

以流动分区的界限为Knudsen数的变化区间,使用线性插值和调节参数进行校正的方法,提出一种计算过渡流区热流的桥函数形式,并且确定了端面迎风的圆柱体的调节参数.使用DSMC方法对计算结果进行验证并与其他形式的桥函数进行比较.结果表明该桥函数在马赫数大于10的情况下,能比较准确地计算驻点热流的值,可以为飞行器初步设计提供一定的参考依据.