考虑了表决机构的TMR系统的可靠性分析

一、模型和假定 本文在下列假定下讨论图1所示的TMR系统。其中三个相同部件和表决机构的故障时间分别服从参数为 和 的指数分布,而修理时间分别服从分布函数为G1(t)和G2(t)的一般分布,其均值分别为u1和　　2,以上的分布函数假定是相互独立的。又假设只有一个修理工且当表决机构在部件的修理过程中出现故障时,表决机构要等到部件修理完了之后再进行修理,当有两个部件出现故障或当表决机构出现故障时,系统故障。 系统各状态的定义如下: 状态0:三个部件和表决机构部正常;状态1:有一个部件出现了故障并立刻开始修理,另外两个部件和表决机构在…     

改进的多版本软件扩展表决系统

本文提出了一种改进的扩展表决系统，该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N模块冗余(N Modular Redundancy NMR)及N版本编程(N version Programming)，应用表决技术，可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题，本文提出一种基于多数(plurality)的扩展表决系统：使用构造决策树的方法和进行DFT遍历作为自动化的计算工具；通过对基本的多数表决系统进行模型扩展，加入指导性规则对决策树进行重构，以自动计算工具的结果作为参考，从而选择更加可靠的表决结果作为输出。最终的模拟测试表明，所提出的扩展表决系统能够提高系统输出的正确率。     

改进的多版本软件扩展表决系统

本文提出了一种改进的扩展表决系统，该系统是利用自动分析表决系统可靠性等参数的工具来构建的。在软件容错中采用N-模块冗余（N-Modular Redundancy-NMR）及N-版本编程（N-version Programming），应用表决技术，可以屏蔽整个软件系统中出错的部分。在实践中直接应用理论的表决模型会发现很难得到理论分析的结果。针对这样的问题，本文提出一种基于多数（plurality）的扩展表决系统：使用构造决策树的方法和进行DFT遍历作为自动化的计算工具；通过对基本的多数表决系统进行模型扩展，加入指导性规则对决策树进行重构，以自动计算工具的结果作为参考，从而选择更加可靠的表决结果作为输出。最终的模拟测试表明，所提出的扩展表决系统能够提高系统输出的正确率。     

微电脑出勤统计机

简述了微电脑出勤统计机的特点及功能，介绍了硬件原理和软件系统，并给出主要程序框图。     

C个修理工的k/n(G)表决可修系统

假定部件的寿命和部件故障后的修理时间均服从指数分布的条件下，讨论了有C个修理工的k／n（G）表决可修系统，研究了系统故障部件的有关排队指标和可靠性指标，得到了一些重要的结果，如稳态队长分布、等待修理时间分布、稳态可用度．     

基于液压表决的汽轮机保安系统

本文提出了一个三重冗余的汽轮机保安系统,它且有三个安全独立的超速保护电液控制通道,三个通道的输出压力经一个三中取二液压表决器表决处理,表决结果再由一个高可靠及高响应平板式液压阀进行液压放大,最终利用这个放大了的液压信号去控制汽轮机进汽口的快关阀图３,参２     

基于三重容错自校验按字表决算法

表决逻辑算法决定了容错型控制器是否能准确判断通道的故障信息。针对按位表决算法容错性差的特点,提出了一种按字表决的算法。按字表决算法对系统通道中每一个输出字进行比较,可以解决按位表决算法只能产生异常无法输出结果的问题。在开发三重容错控制器的应用研究中,以按字表决算法为基础,同时在控制器中增加了自动转换环节、自校验监测电路,进一步提高了系统的可靠性。研究结果表明:按字表决算法的可靠性比按位表决算法高,提高了系统的容错性能。     

单元服从Gamma退化过程的共载表决系统可靠性

针对共载表决系统中单元服从Gamma退化过程的情况,根据Gamma退化过程的特性,将系统各单元在各载荷阶段的寿命过程通过退化等效模型折合到后续寿命过程中,给出了基于退化等效的共载表决系统可靠性模型表达式,并根据Gamma退化过程尺度参数的不同与原有共载表决系统可靠性模型进行了对比,建立了系统可靠性的蒙特卡罗仿真方法.算例证明了可靠性模型及算法的可行性,并分析了公式方法与仿真方法在计算时间和精度方面的特点.     

一类带重尾潜在索赔额的风险模型的随机时间的破产概率

针对一类基于客户来到过程的风险模型,研究当索赔额为负相依分布的重尾随机变量序列。并且假定在假设随机时间服从指数分布情况下,索赔额服从分布F∈L∩D族得到破产概率的一个渐进表达式。     

三值光学处理器三模冗余表决系统设计与实验

计算机处理器的可靠性设计非常重要.设计了三值光学处理器(ternary optical processor, TOP)三模冗余(triple module redundancy, TMR)光电表决系统,针对三值光学处理器运算单元设计了光电表决器,提出了在三值光学处理器上构建表决系统架构的具体步骤.对于一位的三值光学处理器,设计并测试了108个表决实验用例,并对m位的重构运算器的可靠性进行了简要分析.实验结果与可靠性分析表明,针对三值光学处理器进行三模冗余表决的方案,能有效提高系统的可靠性及运行效率.     

多模块软件系统的可靠性分配

从软件模块的角度对软件系统的可靠性做出分析,讨论了多模块软件系统的可靠性表达方式,然后用一个简单的例子说明了不同模块对于软件系统总体可靠性不同的影响,最后引用了一个线性的软件成本函数,并借此来讨论如何分配软件模块的故障率,从而能够使用最小的成本达到预定的可靠性目标。     

基于灰色理论的软件可靠性预计新模型

本文讨论了一些已有的软件可靠性模型,指出了它们的不足之处。并进一步探讨了软件失效过程的持点,将其当作一个灰色过程,从而从另一途径建立了一个基于灰色系统理论的软件可靠性预计模型,该模型能够克服已有模型的缺点。     

Evaluation method of software reliability based on SPN model

As a significant measure of software security evaluation, software reliability evaluation is also the basis of software safe operation. Traditional software system security evaluation methods are qualitative evaluation based on the functional and structural measurements, and it often ignores quantitative research based on invalidity and fault. This paper propose a stochastic transition function as a measure parameters of the reliability of stochastic Petri nets (SPN) theory. By calculating the probability of stability of the system, failure and mean time to first failure, it establishes an evaluation and measurement method for software reliability. With example analysis, the method can conduct effective evaluation on the software reliability index quickly and accurately, and meanwhile provides a new method for the software security evaluation.     

Early Stage Software Reliability Estimation with Stochastic Reward Nets

IntroductionMost software reliability growth models (SRGM) arefailure-based growth models .The“black box”approach of theSRGMrequires alarge number of failures , while these failurescannot be available until the late stages in the softwaredevelopment process .It is i mportant to be able to esti mate thereliability growth at the early stage,and this can demonstratethat the systemdesignis ontrackfor meeting requirements ,sothat appropriate planning regarding the release ti me,price andadditi…     

有备件串联系统的可靠性分析模型

针对复杂机械系统求解可靠性指标困难的问题,提出一种有备件串联系统的可靠性分析模型.该模型中机械系统可以等效为由冷贮备系统串联而成的系统.当构成系统各部件的寿命分布和故障后修理时间分布均为指数分布时,这样的系统就可以用马尔科夫过程来描述.在部件寿命不相互独立、维修时间相互独立并且故障部件可以修复如新的情况下,建立该系统的模型.通过状态转移率矩阵,给出了系统可用度、可靠度及首次故障前平均时间等指标的计算方法.通过讨论说明该模型同样适用于不可修复的系统.     

Singularity of some software reliability models and parameter estimation method

According to the principle, “The failure data is the basis of software reliability analysis”, we built a software reliability expert system (SRES) by adopting the artificial intelligence technology. By reasoning out the conclusion from the fitting results of failure data of a software project, the SRES can recommend users “the most suitable model” as a software reliability measurement model. We believe that the SRES can overcome the inconsistency in applications of software reliability models well. We report investigation results of singularity and parameter estimation methods of experimental models in SRES. Foundation item: Supported by the National Natural Science Foundation of China Biography: XU Ren-zuo (1946-), male, Professor, research interests include software engineering software reliability engineering, software quality guarantee technology, reliability theory, software safety and security.     

考虑失效模式相关性的机械系统可靠性分析

考虑失效模式相关性对机械系统可靠性的影响,提出了一种基于FORM(first order reliability methods)近似的系统可靠性分析方法及其实施流程.采用FORM计算系统各失效模式的可靠度和灵敏度,在此基础上,获得用于衡量失效模式相关性的相关系数矩阵.将系统可靠性模型求解转化为多维正态积分计算,进而采用高效的近似方法获得系统可靠度.给出失效模式灵敏度和随机变量灵敏度的定义及其相应的计算方法.算例结果表明:该方法能够获得较为准确的系统可靠度,且具有较高的计算效率,能够有效识别关键失效模式和随机影响因素.     

软件系统可靠性分析的Vague集方法

本文介绍了软件状态不仅有正常、失效状态，还有文中提到的失常状态，因此引入Vague集分析软件系统可靠性，在顺序和选择结构系统中通过三角形的Vague集方法运算证实，该方法可以更灵活、更智能有效地分析软件系统可靠性，建立成熟的人性化模型，使软件系统更加稳定。     

具有对外服务的有两类失效状态串联可修系统

研究了修理工可对外服务的n部件串联可修系统,每个部件有两类失效状态.假定部件寿命分布、顾客到达间隔时间分布均为指数分布,其余分布均为一般连续分布,通过使用补充变量法、向量Markov过程理论和Laplace变换工具,得到了系统的可靠性指标.     

Singularity of software reliability models LVLM and LVQM

According to the principle, “The failure data is the basis of software reliabilityanalysis”, we built a software reliability expert system (SRES) by adopting the artificialtechnology. By reasoning out the conclusion from the fitting results of failure data of asoftware project, the SRES can recommend users “the most suitable model” as a softwarereliability measurement model. We believe that the SRES can overcome the inconsistency inapplications of software reliability models well. We report investigation results of singularity and parameter estimation methods of models, LVLM and LVQM. Foundation item: Supported by the National Natural Science Foundation of China Biography: Biography: XU Ren-zuo (1946-), male, Professor, Research interests include software engineering, software reliability engineering, software quality guarantee technology, reliability theory, software safety and security.