一种复杂表决系统的可靠性建模与解算方法，其步骤如下：1，搜索可靠性框图中的全部最小路集，生成全系统结构函数φ＝α+β，β为包含表决器VM的最小路集项；2，将β子图独立出来，并以表决器VM为节点分为两个子图，β＝η+θ，η称为广义表决结构；3，搜索η中起的S到各表决模块的最小路集，生成各表决模块的等效布尔结构函数λi；4，根据每个表决模块的λi，将广义表决结构转换为等效简单表决结构；5，采用表决系统结构函数法求解等效简单表决结构，即求解广义表决系统的结构函数η；6，用最小路集法求解VM到终点T的结构函数θ；7，分别求得β和φ，对φ进行BDD不交化求得不交化结构函数，进而求出系统可靠度R(φ)。本发明专利技术在系统可靠性建模与仿真技术领域里有良好的应用前景。
【技术实现步骤摘要】
本专利技术涉及，具体说，涉及一种基于可扩展网络可靠性框图的复杂表决系统的可靠性建模与解算的方法，属于系统可靠性建模 与仿真
技术介绍
可靠性是指产品或系统在规定条件下和规定时间内完成规定功能的能力。产品或系统可靠带来的成功经验，产品或系统不可靠带来的失败和教训，使人们逐渐加深了对可靠性问题的认识。目前，可靠性已经成为产品或系统质量的重要指标，产品或系统的可靠性水平成为一个国家工业发展水平的重要标志，受到世界各国的高度重视。在对产品或系统进行可靠性分析和设计时，为了预计、估算和评定其可靠性，首先就是要建立合适的系统可靠性模型，所以模型的好坏直接影响着产品或系统的可靠性分析和设计的效率和准确性，在产品或系统可靠性工程中起着非常重要的作用。随着社会的进步和科学技术的发展，现代工业系统正向着功能综合化、设备多样化、信息集成化方向发展，导致系统规模越来越大，结构越来越复杂，其在可靠性模型特征上表现为要求描述复杂关联、结构网络化等。但传统的系统可靠性模型难以同时方便灵活地描述和表达复杂系统的这些特点，正因为如此，对使用更好的建模及解算方法的工程需求也就愈来愈强烈。近年来，国外在复杂系统可靠性建模及分析领域有了长足的发展，并在国际范围内的工程应用也日趋广泛。反观国内工业领域，尤其在军工领域，一方面，随着其产品水平不断向国际水平迈进，对质量可靠性的要求越来越高，同时，随着科技的迅速发展，产品功能、结构日益复杂，对复杂系统可靠性建模和解算方法的需求日益迫切；另一方面，国内复杂系统可靠性建模的技术还相对落后，相关建模工具的自主研发能力比较有限，很难解决实际可靠性工程应用中的一些问题。其中复杂系统的网络化构造、复杂表决系统、复杂贮备系统等的可靠性建模与解算/仿真是国内可靠性建模与仿真学科发展中遇到的一些难题，影响着可靠性工程技术的发展。本专利技术在国内外现有建模和仿真技术的基础上，根据复杂表决系统结构自身的特点——每个表决模块追本溯源总能找到他们共同的源点，给出了适用于复杂表决系统的可靠性建模与解算方法，为含复杂表决系统的产品可靠性预计、估算和评定提供了一种高效的方法；同时，为今后可靠性建模仿真工具的开发提供了资源。
技术实现思路
I 目的本专利技术的目的是提供了，它克服了现有技术的不足，能够准确高效的预计和估算含有复杂表决系统的产品的可靠性。2技术方案首先引入几个基本定义定义I :表决器判断k/n (G)系统部件工作情况及决定整个k/n (G)系统是否工作的装置或功能模块。定义2 :表决模块即k/n (G)系统中的η个起表决作用的部件或模块。exRBD中的k/n(G)因其表决模块的具体特征可分为两类，简单k/n(G)和复杂k/n (G)。定义3 :当表决系统中所有表决模块的源节点和汇节点分别一致时，我们称这种k/n(G)系统为简单k/n(G)系统(如图I所示)。定乂 4 :当表决系统中存在表决I旲块的源节点或汇节点不一致时，该k/n(G)系统为复杂k/n(G)系统(如图2所示)。 本专利技术，其步骤如下步骤1，搜索可靠性框图中的全部最小路集，生成全系统结构函数Φ = α+β，β为包含表决器VM的最小路集项；步骤2，将β子图独立出来，并以表决器VM为节点分为两个子图，β = η+θ, η称为广义表决结构；步骤3，搜索η中起的S到各表决模块的最小路集，生成各表决模块的等效布尔结构函数入i ；步骤4，根据每个表决模块的λ i，将广义表决结构转换为等效简单表决结构；步骤5，采用表决系统结构函数法求解等效简单表决结构，即求解广义表决系统的结构函数n；步骤6，用最小路集法求解VM到终点T的结构函数Θ ；步骤7，分别求得β和φ，对φ进行BDD不交化求得不交化结构函数，进而求出系统可靠度Ι (Φ)。其中，步骤I中所述的可靠性框图为所分析产品相应层次的可靠性框图网络，最小路集搜索方法为节点遍历法，结构函数为布尔结构函数。其中，步骤2中所述的广义表决结构η为传统表决结构的扩展结构，由β中起点S到表决器VM中的模块和表决器VM构成，Θ由β中表决器VM及其之后的模块组成。其中，步骤3中所述的λ i为与表决器直接相连的表决模块i的等效布尔结构函数，表决模块i的等效布尔结构函数为β中起点S到模块i的布尔结构函数。其中，步骤4中所述的等效简单表决结构为由全部λ i和表决器VM组成的简单表决结构。其中，步骤5中所述的结构函数η为布尔结构函数。其中，步骤6中所述的结构函数Θ为布尔结构函数。其中，步骤7中所述的BDD不交化为二元决策树不交化，该结构函数为布尔结构函数。3本专利技术与现有技术相比有如下优点第一，该方法能够准确高效的解决复杂表决系统的可靠性预计和估算问题，填补了国内在复杂表决系统可靠性解算方面的空白。第二，本方法从建模入手简化模型，并使用了替换的思想，从而使其具有很高的效率，便于工程应用。第三，模型能够很方便的转换为计算机语言，便于软件程序的开发。附图说明图I为简单表决系统的结构图；图2为复杂表决系统的结构图；图3(a)为表决结构图；图3(b)为网络等效图；图4为复杂表决系统整体处理方法流程图；图5(a)为β子图分解出的广义表决结构图；图5(b)为β子图分解剩余结构图；图6(a)为广义表决结构的等效简单表决结构图；图6(b)为等效简单表决结构的等效网络图；图7为合并被包容路集项算法图8为结构函数Φ "的BDD树图具体实施例方式本专利技术，其流程如图4所示，结合如图2中的实例，阐述求解复杂表决系统可靠度的表决系统结构函数法。其步骤如下步骤1，搜索整个网络系统的最小路集，生成系统的布尔结构函数Φ，消去所有包含表决器VM的项，并用β替代，其他项用α替代，则有Φ = α+β。实例中结果如下φ = α +β(I)α = AHJK+ABJGK+ACGJK(2)步骤2，将β子图独立出来，并以表决器VM为分割点，将β子图分为两部分。从起点A到VM(含)部分子图称之为广义表决结构，用η替代(如图5-a所示)；从VM至终点K的部分用Θ替代(如图5-b所示)。步骤3，搜索η (图5_a)中起点到每个表决模块的最小路集，生成广义表决结构各表决模块的等效布尔逻辑函数λ 。实例中各模块等效结构函数如下λ G = ABG+ACG(3)Xc = AC(4)λ Ε = ACE+ADE(5)λ F = ADF(6)步骤4，依据步骤3中生成的个表决模块的等效逻辑函数λ i，将广义表决结构转换为等效简单表决结构(图3-a为简单表决系统(图I)中的简单表决结构)，实例中如图6-a所示。步骤5，采用表决系统结构函数法求解等效简单表决结构，即求解广义表决系统的结构函数H ;简单表决结构(如图3-a)可以等效为网络等效结构(如图3-b)，同理，广义 表决结构的等效简单表决结构(如图6-a)可以等效为广义网络等效结构(如图6-b)。表决系统结构函数法如果简单K/N(G)中的表决模块是相同的，即各模块可靠度均为R，则K/N(G)可靠度表达式为权利要求1.，其特征在于该方法具体步骤如下 步骤1，搜索可靠性框图中的全部最小路集，生成全系统结构函数Φ = α+β，β为包含表决器VM的最小路集项； 步骤2，将β子图独立出来，并以表决器VM为节点分为两个子图，β = η+θ, η称为广义表决结构； 步本文档来自技高网...
【技术保护点】
【技术特征摘要】
【专利技术属性】
技术研发人员：孙宇锋，常增柱，许健，赵广燕，
申请(专利权)人：北京航空航天大学，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。