Estimating failure time distribution and its parameters based on intermediate data from a Wiener degradation model

Instead of measuring a Wiener degradation or performance process at predetermined time points to track degradation or performance of a product for estimating its lifetime, we propose to obtain the first‐passage times of the process over certain nonfailure thresholds. Based on only these intermediate data, we obtain the uniformly minimum variance unbiased estimator and uniformly most accurate confidence interval for the mean lifetime. For estimating the lifetime distribution function, we propose a modified maximum likelihood estimator and a new estimator and prove that, by increasing the sample size of the intermediate data, these estimators and the above‐mentioned estimator of the mean lifetime can achieve the same levels of accuracy as the estimators assuming one has failure times. Thus, our method of using only intermediate data is useful for highly reliable products when their failure times are difficult to obtain. Furthermore, we show that the proposed new estimator of the lifetime distribution function is more accurate than the standard and modified maximum likelihood estimators. We also obtain approximate confidence intervals for the lifetime distribution function and its percentiles. Finally, we use light‐emitting diodes as an example to illustrate our method and demonstrate how to validate the Wiener assumption during the testing. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008     

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

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

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

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

战场空间本体构建方法研究

从构建战场空间知识基础设施,进而形成一体化的知识处理平台、获取知识优势出发,将本体思想引入战场空间知识建模领域,提出了战场空间本体体系,即战场空间本体包括上层本体、领域本体、应用本体;并重点研究了一种战场空间领域本体的构建方法BOC,包括基于上层本体BUO的领域本体构建方法,基于上层本体BUO的领域本体合并方法.基于本体的战场空间知识建模从根本上解决了战场空间中知识系统之间的知识共享和重用问题,便于知识系统的集成.     

开展系统化训练,促进新装备形成战斗力

随着高新技术的迅猛发展和我军一大批高新技术装备陆续配发部队,如何发挥新装备的使用效能,使之真正形成战斗力,已成为军队装备建设中一个亟待解决的问题。结合装备建设实际,以系统的观点,阐述了搞好装备人才训练的途径和基本做法,旨在从根本上保证新装备迅速形成战斗力。     

基于证据组合的直觉模糊群决策方法

对于属性权重已知,属性值以直觉模糊值形式给出的多属性群决策问题进行了研究,提出了基于证据理论的直觉模糊群决策方法。首先在计算直觉模糊值相似度的基础上,并考虑专家的信任度,给出了专家基本概率分配函数的计算方法。然后基于证据组合理论合成对单个属性以及综合属性的决策群体基本概率分配函数。通过计算方案效用值,来进行方案的排序。通过一个算例说明了该方法的有效性。     

高功率微波对 YBCO 超导材料临界电流密度Jc 的影响

用固相反应法制备了三组123相YBCO超导块材,利用高功率微波对三组样品进行辐照处理,分别测量其临界电流密度Jc,实验结果表明,适当的微波辐照有利于提高超导样品的临界电流密度Jc,一次照射与未照射的样品相比较,Jc提高了近一个数量级.     

燃气轮机仿真软件构造方法综述

从方法论的角度综述了燃气轮机仿真软件的研究现状,分析了过程式方法和过程式模块化方法的不足,阐明采用面向对象方法的必要性,并对未来的发展方向作了初步探讨.     

试论我国高校就业指导体系的建构问题

从二十世纪八十年代开始,我国对普通高校教育体制进行改革,并取得很大成绩,使高等教育的规模有了跨越式的发展,质量与效益也同时大幅度提高。1999年开始的连续几年高校扩招使我国的高等教育从"精英化高等教育"快速步入"大众化高等教育"时代,但同时也使扩招后毕业生的就业成为亟待解决的问题。高校毕业生就业率成为对高校培养人才质量的检验指标,以及对高校社会适应性的检验指标,与学校的生存与发展紧密相连。面对产业结构的调整和高校毕业生大幅度增加的双重压力,高校就业指导工作日显重要,建立一支高水准,高效率的就业指导队伍成为高校建设中应优先解决的问题之一。     

脉冲激光测距机测程指标的自动快速检测

分析了目前验收脉冲激光测距机测程指标所采用的方法——“消光法”存在的不足,并在“消光法”的基础上,通过采用计算机技术、准激光技术和延时模拟空间距离的方法,实现了测程指标自动、快速和不解体检测