CN112613269B - 一种基于无关性覆盖模型的系统最佳冗余度计算方法 - Google Patents
一种基于无关性覆盖模型的系统最佳冗余度计算方法 Download PDFInfo
- Publication number
- CN112613269B CN112613269B CN202011587720.4A CN202011587720A CN112613269B CN 112613269 B CN112613269 B CN 112613269B CN 202011587720 A CN202011587720 A CN 202011587720A CN 112613269 B CN112613269 B CN 112613269B
- Authority
- CN
- China
- Prior art keywords
- failure
- component
- series
- coverage
- minimum
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/39—Circuit design at the physical level
- G06F30/398—Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2119/00—Details relating to the type or aim of the analysis or the optimisation
- G06F2119/02—Reliability analysis or reliability optimisation; Failure analysis, e.g. worst case scenario performance, failure mode and effects analysis [FMEA]
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Hardware Redundancy (AREA)
Abstract
本发明公开了一种基于无关性覆盖模型的系统最佳冗余度计算方法,首先对系统进行定性分析,计算各个组件的最小无关触发事件MIT;然后根据无关性覆盖模型中系统失效定义结合MIT进一步分析得到系统发生失效的逻辑表达式;接着利用不相交乘积和SDP技术,计算得到系统可靠性表达式;最后利用定义法分析可靠性表达式的单调性,从而得到系统可靠性取得极大值时组件的个数,即为最佳冗余度。当系统结构满足条件时,能实现最佳冗余度的快速求解。本发明所基于的无关性覆盖模型,是对传统不完全覆盖模型的改进,加入了对无关组件的覆盖,能进一步提升系统的可靠性。
Description
技术领域
本发明属于软件可靠性工程领域,具体涉及一种基于无关性覆盖模型的系统最佳冗余度计算方法。
背景技术
未覆盖失效是指无法被系统检测、定位、处理的一类失效事件,其发生一般会导致系统直接失效。也正是由于未覆盖失效的存在,当系统的冗余程度超过一定阈值时系统的可靠性反而会降低。
传统针对系统最佳冗余度的计算大都是基于不完全覆盖模型的,该模型假设系统中的组件总是和系统相关,然而相关研究表明,初始时和系统相关的组件,在后续系统运行过程中可能会由于其他组件的失效而变为无关组件,即其正常与否不影响系统的运行。这说明了传统基于不完全覆盖模型计算得到的最佳冗余度存在一定的缺陷。
发明内容
本发明要解决的技术问题是:提供一种基于无关性覆盖模型的系统最佳冗余度计算方法,考虑对无关组件的覆盖,进一步提高系统可靠性。
为了解决上述技术问题本发明所采用的技术方案为:一种基于无关性覆盖模型的系统最佳冗余度计算方法,包括:
步骤1,计算静态系统中各组件的最小无关触发;其中,所述静态系统所包含的逻辑门为AND门和OR门;所述最小无关触发是使得对应组件变为无关组件的其他组件状态的组合;
步骤2,根据所述最小无关触发得到所述静态系统失效的逻辑表达式,利用SDP技术计算所述失效逻辑表达式的概率;
步骤3,使用定义法判断所述失效逻辑表达式概率的单调性,得到可靠性取得极大值时所述静态系统组件个数,即所述静态系统的最佳冗余度。
其中,失效逻辑表达式是以组件个数为变量的函数,根据定义法计算差值得到静态系统失效概率随组件个数变化而变化的趋势,从而计算出系统失效概率最低时组件个数,即为最佳冗余度。
其中,系统可靠性表达式是基于无关性覆盖模型计算得到的,在该模型中,当某个组件由于其他组件失效变为无关组件时,对其进行隔离操作,后续不再考虑该组件的未覆盖失效。
其中,静态系统的布尔逻辑表达式表示为:
f=(x11+x12+x13+…+x1n)·(x21+x22+x23+…+x2n)…(xm1+xm2+xm3+…+xmn)
式中xij表示第i个子系统中第j个组件;
所述静态系统中组件的最小无关触发表示为:
表示当组件xij外任意一个组件发生覆盖失效后,所述静态串联子系统都将无法继续正常工作,xij则会变为无关组件。
本发明的有益效果在于:由于传统针对系统最佳冗余度的计算并未考虑系统中组件的相关性,计算出的结果存在一定误差,因此本发明结合无关性覆盖模型计算系统的最佳冗余度,其最终结果能够进一步提升系统的可靠性。
附图说明
下面将结合附图及实施例对本发明作进一步说明,附图中:
图1是本发明提供的一种基于无关性覆盖模型的系统最佳冗余度计算方法的流程示意图。
图2是本发明提供的一种基于无关性覆盖模型的系统最佳冗余度计算方法中无关性覆盖模型原理图。
图3是本发明提供的一种基于无关性覆盖模型的系统最佳冗余度计算方法的一般化系统结构图。
图4是本发明提供的一种基于无关性覆盖模型的系统最佳冗余度计算方法的最佳结构图。
图5是本发明提供的一种基于无关性覆盖模型的系统最佳冗余度计算方法的系统失效概率曲线图。
具体实施方式
为了对本发明的技术特征、目的和效果有更加清楚的理解,现对照附图详细说明本发明的具体实施方式。
如图1所示,本发明提供了一种基于无关性覆盖模型的系统最佳冗余度计算方法,包括:
步骤1,计算静态系统中各组件的最小无关触发;所述最小无关触发是使得对应组件变为无关组件的其他组件状态的组合;
在本发明中,假设系统为静态系统,即只包含AND门和OR门;组件有三种状态,分别为未失效、覆盖失效、未覆盖失效。无关性覆盖模型的特点就体现在最小无关触发。
当系统中某个组件的最小无关触发发生时,该组件就变为无关组件,可以安全的将其从系统中隔离,后续就不用考虑该组件的未覆盖失效对系统的影响,达到提升系统可靠性的目的。据此在系统失效表达式中对未覆盖失效进行了约束,即未覆盖失效必须发生在组件最小无关触发之前,否则该组件将被隔离,无须考虑其未覆盖失效。
步骤2,根据所述最小无关触发得到所述静态系统失效的逻辑表达式,利用SDP技术计算所述失效逻辑表达式的概率;
步骤3,使用定义法判断所述是失效逻辑表达式概率的单调性,得到可靠性取得极大值时所述静态系统组件个数,即所述静态系统的最佳冗余度。
其中,失效逻辑表达式是以组件个数为变量的函数,根据定义法计算差值得到静态系统失效概率随组件个数变化而变化的趋势,从而计算出系统失效概率最低时组件个数,即为最佳冗余度。
其中,系统可靠性表达式是基于无关性覆盖模型计算得到的,在该模型中,当某个组件由于其他组件失效变为无关组件时,对其进行隔离操作,后续不再考虑该组件的未覆盖失效。
其中,静态系统的布尔逻辑表达式表示为:
f=(x11+x12+x13+…+x1n)·(x21+x22+x23+…+x2n)…(xm1+xm2+xm3+…+xmn)
式中xij表示第i个子系统中第j个组件;
所述静态系统中组件的最小无关触发表示为:
表示当组件xij外任意一个组件发生覆盖失效后,所述静态串联子系统都将无法继续正常工作,xij则会变为无关组件。
具体的,图2为无关性覆盖模型原理图,设一个系统由A、B、C三个组件组成,若B组件中产生一个故障,经过系统恢复机制等操作后,最终有三种可能的结果。如果系统的恢复机制能够检测到该故障并能将其修复则称为Rexit,系统恢复到原状态;如果系统的恢复机制能够检测到该故障但并无法修复,此时系统会将B组件进行隔离,又由于A组件和B组件是串联关系,当B组件被隔离时,A、B所处的子系统对于整个系统来说都已断开连接,因此A组件对于整个系统来说是无关的,所以A组件也被隔离,称为覆盖失效,对应C exit;如果系统的恢复机制无法检测到B组件中的故障,该故障最终会导致整个系统的失效,称为单点失效,对应S exit。
下面针对图3所示的串并联系统结合上述步骤计算其最佳冗余度。为方便计算,假设该串并联系统中的所有组件是相同的,且组件失效是相互独立的。
步骤1,计算系统中各组件的最小无关触发。
该系统对应的布尔逻辑表达式为
f=(x11+x12+x13+…+x1n)·(x21+x22+x23+…+x2n)…(xm1+xm2+xm3+…+xmn)
,由最小无关触发定义可知,MIT(x,f)=PPI(g)\PI(f),且其中PI表示质蕴含项,PPI表示只包含正项的质蕴含项,f[1/x]表示将逻辑表达式f中变量x取值为1,f[0/x]表示将逻辑表达式f中变量x取值为0。由于该系统特殊性,可以得到该系统中组件的最小无关触发的一般形式为其中表示第i个子系统中第n个组件发生覆盖失效。该最小无关触发的具体含义为,在某个串联子系统中,当组件xij外任意一个组件发生覆盖失效后,该串联子系统都将无法继续正常工作,xij则会变为无关组件。
步骤2,根据步骤1中的最小无关触发得到系统失效的逻辑表达式,利用SDP技术计算该逻辑表达式的概率。
该串并联系统在无关覆盖模型下的失效事件如下:
将步骤1中计算得到的最小无关触发带入上式中,得到:
其中
是由覆盖失效事件组合得到的系统失效事件。下面计算该失效表达式的概率。
取i=j=1,
下面分别计算两部分的概率。
根据假设,该系统中所有组件是相同的,即其失效率、覆盖率等参数是相同的,设组件可靠性为p,覆盖率为c,则Pr=p,Pc=(1-p)·c,Ps=(1-p)·(1-c)。由SDP算法可知:
令
则
在计算第二部分时,可以把每个串联子系统当作一个整体。针对第一个串联子系统,有:
令
则:
综上,该串并联系统失效概率为:
步骤3,使用定义法判断概率表达式的单调性,得到可靠性取得极大值时系统组件个数,即系统的最佳冗余度。
对a与b的范围进行讨论,由于
am·(a-1)+(1-b)m·b≥0
(1-b)m·b≥am·(1-a)
两边同时取对数:
当m<m0时,系统失效概率单调递减,当m≥m0时,系统失效概率单调递增。因为串联子系统数m为整数,得到该系统最佳冗余度为:
当串联子系统个数为m*时,系统失效率最小,即系统可靠性最高。
考虑一个具体实例,假设系统参数分别设置为c=0.7,p=0.8,n=2,即系统覆盖率为0.7,组件的可靠性为0.8,每个串联子系统中含有两个组件。根据上述得到最佳冗余度计算式,可分别计算a=1-(1-Pc)n=0.2604,则最佳冗余度即当并联的子系统个数为2时,整个系统的可靠性达到最大值,此时系统结构如图4所示。系统失效概率随并联子系统个数变化曲线如图5所示,可以发现当系统并联子系统个数为2时,系统的不可靠度最低(可靠性最高),也验证了本发明中推导出的最佳冗余度计算式的正确性。
以上实施例仅用于说明本发明的设计思想和特点,其目的在于使本领域内的技术人员能够了解本发明的内容并据以实施,本发明的保护范围不限于上述实施例。所以,凡依据本发明所揭示的原理、设计思路所作的等同变化或修饰,均在本发明的保护范围之内。
Claims (3)
1.一种基于无关性覆盖模型的系统最佳冗余度计算方法,其特征在于,包括:
步骤1,计算静态系统中各组件的最小无关触发;所述最小无关触发是使得对应组件变为无关组件的其他组件状态的组合;静态系统为串并联系统,串并联系统由m组串联模块并联组成,第一组串联模块由x11、x12、x13....x1n串联,第二组串联模块由x21、x22、x23....x2n串联,第m组串联模块由xm1、xm2、xm3....xmn串联,该系统对应的布尔逻辑表达式为:
f=(x11+x12+x13+…+x1n)·(x21+x22+x23+…+x2n)…(xm1+xm2+xm3+…+xmn)
由最小无关触发定义可知,MIT(x,f)=PPI(g)\PI(f),且其中PI表示质蕴含项,PPI表示只包含正项的质蕴含项,f[1/x]表示将逻辑表达式f中变量x取值为1,f[0/x]表示将逻辑表达式f中变量x取值为0;得到该系统中组件的最小无关触发的形式为其中表示第i个子系统中第n个组件发生覆盖失效,该最小无关触发的具体含义为:在某个串联子系统中,当组件xij外任意一个组件发生覆盖失效后,该串联子系统都将无法继续正常工作,xij则会变为无关组件;
步骤2,根据所述最小无关触发得到所述静态系统失效的逻辑表达式,利用SDP技术计算所述失效的逻辑表达式的概率;
所述串并联系统在无关覆盖模型下的失效事件如下:
将步骤1中计算得到的最小无关触发带入上式中,得到:
其中
是由覆盖失效事件组合得到的系统失效事件,下面计算该系统失效概率;
取i=j=1,
下面分别计算两部分的概率:
根据假设,该系统中所有组件是相同的,即其失效率、覆盖率参数是相同的,设组件可靠性为p,覆盖率为c,则Pr=p,Pc=(1-p)·c,Ps=(1-p)·(1-c),由SDP算法可知:
令
则
在计算第二部分时,可以把每个串联子系统当作一个整体,针对第一个串联子系统,有:
令
则:
综上,该串并联系统失效概率为:
步骤3,使用定义法判断所述失效逻辑表达式概率的单调性,得到可靠性取得极大值时所述静态系统组件个数,即所述静态系统的最佳冗余度;
对a与b的范围进行讨论,由于
令Δ≥0:
am·(a-1)+(1-b)m·b≥0
(1-b)m·b≥am·(1-a)
两边同时取对数:
2.根据权利要求1所述一种基于无关性覆盖模型的系统最佳冗余度计算方法,其特征在于,所述失效逻辑表达式是以组件个数为变量的函数,根据定义法计算差值得到静态系统失效概率随组件个数变化而变化的趋势,从而计算出系统失效概率最低时组件个数,即为最佳冗余度。
3.根据权利要求1所述一种基于无关性覆盖模型的系统最佳冗余度计算方法,其特征在于,系统可靠性表达式是基于无关性覆盖模型计算得到的,在该模型中,当某个组件由于其他组件失效变为无关组件时,对其进行隔离操作,后续不再考虑该组件的未覆盖失效。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011587720.4A CN112613269B (zh) | 2020-12-28 | 2020-12-28 | 一种基于无关性覆盖模型的系统最佳冗余度计算方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202011587720.4A CN112613269B (zh) | 2020-12-28 | 2020-12-28 | 一种基于无关性覆盖模型的系统最佳冗余度计算方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN112613269A CN112613269A (zh) | 2021-04-06 |
CN112613269B true CN112613269B (zh) | 2023-02-24 |
Family
ID=75248588
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202011587720.4A Active CN112613269B (zh) | 2020-12-28 | 2020-12-28 | 一种基于无关性覆盖模型的系统最佳冗余度计算方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN112613269B (zh) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113656288B (zh) * | 2021-07-30 | 2024-03-08 | 武汉理工大学 | 基于无关性覆盖模型的动态故障树可靠性分析方法 |
Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2014083589A1 (en) * | 2012-11-28 | 2014-06-05 | Nec Corporation | A System, Method, and Program for Identifying Irrelevancy Triggers of Components |
WO2015104733A1 (en) * | 2014-01-07 | 2015-07-16 | Nec Corporation | Persistence of relevance identifying system, method, and program |
CN106708714A (zh) * | 2016-12-13 | 2017-05-24 | 武汉理工大学 | 一种计算系统首次被无关触发概率的方法 |
CN110298126A (zh) * | 2019-07-04 | 2019-10-01 | 北京航空航天大学 | 一种基于失效物理的多元Copula功率器件可靠性评价方法 |
CN110390147A (zh) * | 2019-07-05 | 2019-10-29 | 武汉理工大学 | 基于无关覆盖模型的多阶段任务系统可靠性分析方法 |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20150143176A1 (en) * | 2012-05-17 | 2015-05-21 | Nec Corporation | Identification system, identification method, and program |
-
2020
- 2020-12-28 CN CN202011587720.4A patent/CN112613269B/zh active Active
Patent Citations (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2014083589A1 (en) * | 2012-11-28 | 2014-06-05 | Nec Corporation | A System, Method, and Program for Identifying Irrelevancy Triggers of Components |
WO2015104733A1 (en) * | 2014-01-07 | 2015-07-16 | Nec Corporation | Persistence of relevance identifying system, method, and program |
CN106708714A (zh) * | 2016-12-13 | 2017-05-24 | 武汉理工大学 | 一种计算系统首次被无关触发概率的方法 |
CN110298126A (zh) * | 2019-07-04 | 2019-10-01 | 北京航空航天大学 | 一种基于失效物理的多元Copula功率器件可靠性评价方法 |
CN110390147A (zh) * | 2019-07-05 | 2019-10-29 | 武汉理工大学 | 基于无关覆盖模型的多阶段任务系统可靠性分析方法 |
Non-Patent Citations (2)
Title |
---|
万靖.计算机联锁系统容错技术.《科学咨询(科技管理)》.2010,(第06期),第78-79页. * |
鄢民强等.不完全覆盖的模糊多状态系统可靠性计算方法.《西安交通大学学报》.2011,(第10期),第115-120页. * |
Also Published As
Publication number | Publication date |
---|---|
CN112613269A (zh) | 2021-04-06 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
WO2021204010A1 (zh) | 一种时序异常检测方法、装置、计算机设备及存储介质 | |
US6910173B2 (en) | Word voter for redundant systems | |
EP1691462A2 (en) | Group-based BCU methods for on-line dynamical security assessments and energy margin calculations of practical power systems | |
CN112613269B (zh) | 一种基于无关性覆盖模型的系统最佳冗余度计算方法 | |
CN110568358A (zh) | 一种基于马尔科夫模型电机系统可靠性定量评估方法 | |
WO2017041391A1 (zh) | 一级马尔科夫模型开关磁阻电机系统可靠性定量评估方法 | |
CN110018390B (zh) | 基于综合变权的分层模糊petri网电网故障诊断方法 | |
Matsumoto et al. | Evaluating the fault tolerance of stateful TMR | |
CN106130780A (zh) | 一种基于静态贝叶斯模型的ip网络故障定位方法 | |
Hu et al. | A probabilistic method for certification of analytically redundant systems | |
CN105607974A (zh) | 高可靠性多核处理系统 | |
CN111176881A (zh) | 一种基于线性编码的并行线性处理系统的容错方法 | |
CN115098395A (zh) | 基于无关性覆盖模型的多状态系统可靠性分析方法 | |
Matsumoto et al. | Stateful TMR for transient faults | |
US20150341055A1 (en) | Double bit error correction in a code word with a hamming distance of three or four | |
Roelke et al. | Analytical models for the performance of von Neumann multiplexing | |
Chow | Availability of some repairable computer systems | |
CN113219936A (zh) | 一种考虑内外在故障的基于不完全覆盖的可靠性分析方法 | |
CN110851177A (zh) | 一种基于软件故障传播的软件系统关键实体挖掘方法 | |
Jiao et al. | Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams | |
CN107957269B (zh) | 一种惯导系统故障特性判定及测试性预计方法 | |
JP7364263B2 (ja) | 多重化回路装置及びエラー修復方法 | |
CN114781760B (zh) | 一种基于大数据的故障预测方法 | |
CN109271282B (zh) | 一种单粒子多位错自主修复三冗余流水线及设计方法 | |
CN106708714A (zh) | 一种计算系统首次被无关触发概率的方法 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |