CN110390147A - 基于无关覆盖模型的多阶段任务系统可靠性分析方法 - Google Patents

基于无关覆盖模型的多阶段任务系统可靠性分析方法 Download PDF

Info

Publication number
CN110390147A
CN110390147A CN201910602956.1A CN201910602956A CN110390147A CN 110390147 A CN110390147 A CN 110390147A CN 201910602956 A CN201910602956 A CN 201910602956A CN 110390147 A CN110390147 A CN 110390147A
Authority
CN
China
Prior art keywords
component
stage
unrelated
phased mission
mission systems
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.)
Granted
Application number
CN201910602956.1A
Other languages
English (en)
Other versions
CN110390147B (zh
Inventor
向剑文
杨明
赵冬冬
叶璐瑶
周四维
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Wuhan University of Technology WUT
Original Assignee
Wuhan University of Technology WUT
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Wuhan University of Technology WUT filed Critical Wuhan University of Technology WUT
Priority to CN201910602956.1A priority Critical patent/CN110390147B/zh
Publication of CN110390147A publication Critical patent/CN110390147A/zh
Application granted granted Critical
Publication of CN110390147B publication Critical patent/CN110390147B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00—Computer-aided design [CAD]
    • G06F30/20—Design optimisation, verification or simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
    • G06Q10/063—Operations research, analysis or management
    • G06Q10/0639—Performance analysis of employees; Performance analysis of enterprise or organisation operations
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/10—Office automation; Time management
    • G06Q10/103—Workflow collaboration or project management
    • Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
    • Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
    • Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
    • Y02P90/30—Computing systems specially adapted for manufacturing

Landscapes

  • Business, Economics & Management (AREA)
  • Engineering & Computer Science (AREA)
  • Human Resources & Organizations (AREA)
  • Strategic Management (AREA)
  • Theoretical Computer Science (AREA)
  • Entrepreneurship & Innovation (AREA)
  • Physics & Mathematics (AREA)
  • Economics (AREA)
  • General Physics & Mathematics (AREA)
  • Tourism & Hospitality (AREA)
  • Educational Administration (AREA)
  • Operations Research (AREA)
  • General Business, Economics & Management (AREA)
  • Marketing (AREA)
  • Quality & Reliability (AREA)
  • Development Economics (AREA)
  • Data Mining & Analysis (AREA)
  • Game Theory and Decision Science (AREA)
  • Computer Hardware Design (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • Test And Diagnosis Of Digital Computers (AREA)

Abstract

本发明公开了一种多阶段任务系统可靠性分析方法，包括以下步骤：S1、根据对多阶段任务系统中各组件于各阶段的最小无关触发事件MIT进行定义，找到组件在各个阶段从无关变为相关的触发条件；S2、根据系统类型及使用场景，选择合适的无关触发策略，包括阶段覆盖策略和任务覆盖策略；S3、在相应的无关触发策略下，分析得到组件在各个阶段发生覆盖、非覆盖失效以及未失效时的一般化的逻辑表达式；S4、根据组件阶段内和阶段间的逻辑关系得到整个任务发生失效的逻辑表达式；S5、根据整个任务发生失效的逻辑表达式，利用不相交乘积和SDP技术，计算多阶段任务系统中考虑组件的无关覆盖时的可靠性。本发明加入了对无关组件的覆盖。

Description

基于无关覆盖模型的多阶段任务系统可靠性分析方法
技术领域
本发明属于系统可靠性分析领域，具体涉及一种基于无关覆盖模型的多阶段任务系统可靠性分析方法。
背景技术
在多阶段任务系统(PMS)中，无论其他组件的状态如何，各个阶段的未覆盖组件故障都会直接导致任务失败，其可靠性可以使用传统的不完全覆盖模型(IFCM)分析(如图1所示)。但是，IFCM的覆盖考虑范围仅限于故障组件。最初相关的组件也可能由于其他组件的覆盖故障而成为无关组件，而无关组件的非覆盖故障也会威胁到整个任务。最近，提出了一种不相关覆盖模型(ICM)来覆盖故障组件和无关组件，但该分析仅限于非多阶段任务系统(single-phased mission system)，无法用于多阶段任务系统中。
发明内容
为了在多阶段系统中解决无关组件带来的可靠性问题，本发明提供一种新的基于无关覆盖模型的多阶段任务系统可靠性分析方法。
本发明解决其技术问题所采用的技术方案是：
提供一种多阶段任务系统可靠性分析方法，包括以下步骤：
S1、根据对多阶段任务系统中各组件于各阶段的最小无关触发事件MIT进行定义，找到组件在各个阶段从无关变为相关的触发条件；
S2、根据系统类型及使用场景，选择合适的无关触发策略，包括阶段覆盖策略和任务覆盖策略；
S3、在相应的无关触发策略下，分析得到组件在各个阶段发生覆盖、非覆盖失效以及未失效时的一般化的逻辑表达式；
S4、根据组件阶段内和阶段间的逻辑关系得到整个任务发生失效的逻辑表达式；
S5、根据整个任务发生失效的逻辑表达式，利用不相交乘积和SDP技术，计算多阶段任务系统中考虑组件的无关覆盖时的可靠性。
接上述技术方案，步骤S1中，定义在多阶段任务系统中的MIT：
计算方法：
上式中，表示组件在阶段i之前发生覆盖故障，表示第i个阶段的系统逻辑表达式，PPI是布尔逻辑中的主从蕴含项；根据该计算方法得到组件在各个阶段的MIT，将组件在各个阶段的逻辑表达式看成单个任务系统，调用上式对非多阶段任务系统求解MIT。
接上述技术方案，所述阶段覆盖策略具体为：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时成为无关组件，若检测到，则立即将该组件进行覆盖隔离，但覆盖时间仅限制在当前阶段，在下个阶段开始时将其释放。
接上述技术方案，所述任务覆盖策略具体为：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时成为无关组件，若检测到，则立即将该组件进行覆盖隔离，覆盖时间从当前直到整个任务结束为止，都不释放该组件。
本发明还提供了一种多阶段任务系统可靠性分析系统，包括：
MIT定义模块，用于根据对多阶段任务系统中各组件于各阶段的最小无关触发事件MIT进行定义，找到组件在各个阶段从无关变为相关的触发条件；
无关触发策略选择模块，用于根据系统类型及使用场景，选择合适的无关触发策略，包括阶段覆盖策略和任务覆盖策略；
逻辑表达式分析模块，用于在相应的无关触发策略下，分析得到组件在各个阶段发生覆盖、非覆盖失效以及未失效时的一般化的逻辑表达式；
总逻辑表达式推导模块，用于据组件阶段内和阶段间的逻辑关系得到整个任务发生失效的逻辑表达式；
可靠性计算模块，用于根据整个任务发生失效的逻辑表达式，利用不相交乘积和SDP技术，计算多阶段任务系统中考虑组件的无关覆盖时的可靠性。
接上述技术方案，MIT定义模块具体定义在多阶段任务系统中的MIT：
计算方法：
上式定义中，表示组件A在阶段i之前发生覆盖故障，表示第i个阶段的系统逻辑表达式，PPI是布尔逻辑中的主从蕴含项，得到组件在各个阶段的MIT，将组件在各个阶段的逻辑表达式看成单个任务系统，调用上式对非多阶段任务系统求解MIT。
接上述技术方案，所述阶段覆盖策略具体为：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时成为无关组件，若检测到，则立即将该组件进行覆盖隔离，但覆盖时间仅限制在当前阶段，在下个阶段开始时将其释放。
接上述技术方案，所述任务覆盖策略具体为：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时成为无关组件，若检测到，则立即将该组件进行覆盖隔离，覆盖时间从当前直到整个任务结束为止，都不释放该组件。
本发明还提供了一种计算机程序存储介质，其计算机程序可被处理器执行，该计算机程序执行上述多阶段任务系统可靠性分析方法。
本发明产生的有益效果是：本发明针对于多阶段任务系统(PMS)，相较于已有的基于不完全覆盖模型(IFCM)的可靠性分析，加入了对无关组件的覆盖。包括对多阶段任务系统中组件的最小无关触发事件的分析及定义；给出对多阶段任务系统中组件的无关触发策略；在相应的无关触发策略下，分析得到组件在各个阶段发生覆盖、非覆盖失效以及未失效(正常工作)时的一般化的逻辑表达式；通过阶段内和阶段间的逻辑关系得到整个任务发生失效的逻辑表达式；最后利用不相交乘积和(SDP)技术，计算多阶段任务系统中考虑组件的无关覆盖时的可靠性。因为已有的方法未考虑组件的无关性，本发明的可靠性分析方法相较于已有的方法可以得到更高的系统可靠性。
附图说明
下面将结合附图及实施例对本发明作进一步说明，附图中：
图1为本发明实施例的不完全覆盖结构图；
图2为本发明实施例的多阶段任务系统例图；
图3为本发明实施例的多阶段任务系统可靠性分析方法流程图；
图4为本发明实施例的可靠性对比分析结果表格。
具体实施方式
为了使本发明的目的、技术方案及优点更加清楚明白，以下结合附图及实施例，对本发明进行进一步详细说明。应当理解，此处所描述的具体实施例仅用以解释本发明，并不用于限定本发明。
前提假设，对于传统PMS模型，有：
1.某个阶段失效直接导致整个任务(系统)失效。
2.某个阶段的组件发生非覆盖失效直接导致整个任务(系统)失效。
3.组件不可修，若组件在任意阶段失效，其失效状态会一直保持到后续阶段直至任务结束。
4.各个阶段持续时间是确定不变的。
符号表示及说明：
对于图2中的多阶段任务系统，该系统包含两个阶段，有三个组件A，B，C，在阶段1中，三个组件都参与工作；在阶段2中，A，B两个组件参与工作，C组件未工作(即C在该阶段为无关组件)。为了计算方便，这里我们将每个组件在各个阶段的失效率都设置为0.1，将覆盖率设置为0.9。
如图3所示，本发明实施例的多阶段任务系统可靠性分析方法包括以下步骤：
S1、需要对多阶段任务系统中组件的最小无关触发事件(MIT)进行定义，即找到组件在各个阶段从无关变为相关的触发条件。现有的无关覆盖模型只定义了在非多阶段任务系统模型下的MIT及其计算方法。
对非多阶段任务系统F，对其组件A，有：
计算公式为：
PPI为布尔逻辑中定义的主从蕴含项，关于上式的详细定义及证明请参考文献[1]。由上式可得到非多阶段任务系统各个组件的MIT，但是在多阶段任务系统中，该式并不适用，因为各个阶段内的组件间的组合连接方式(即逻辑关系)都不相同，因此这里重新定义在多阶段任务系统中的MIT，并给出其计算方法。
定义：
计算方法：
上式中，表示组件在阶段i之前发生覆盖故障，表示第i个阶段的系统逻辑表达式，PPI是布尔逻辑中的主从蕴含项；上式定义得到组件在各个阶段的MIT，将组件在各个阶段的逻辑表达式看成单个任务系统，调用上式对非多阶段任务系统求解MIT的方法即可。MIT通俗意义上是指组件由相关变为无关的触发条件，这是在多阶段任务系统中分析组件的无关性极为重要的一环。
针对例子，我们得到三个组件在各个阶段的MIT，
Phase 1:
Phase 2:
上式中，MIT计算为0代表组件在该阶段没有无关触发事件，MIT为1代表组件在该阶段不参与工作，即在该阶段开始至阶段结束时组件与系统无关。
S2、得到组件的无关触发之后，我们这里提供两种无关组件的覆盖策略：
1.阶段覆盖策略：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时(此时组件成为无关组件)，系统检测到立即将该组件进行覆盖隔离，但覆盖时间仅限制在当前阶段，在下个阶段开始时将其释放。
2.任务覆盖策略：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时(此时组件成为无关组件)，系统检测到立即将该组件进行覆盖隔离，覆盖时间从当前直到整个任务结束为止，都不释放该组件。
根据系统类型及使用场景，我们也可以制定更为适合的覆盖策略以达到更高的系统可用性。
S3、对于该多阶段任务系统，我们这里以”阶段覆盖策略”为例进行分析，得到A，B，C三个组件在2个阶段考虑无关覆盖时发生覆盖故障、非覆盖故障，以及正常工作的逻辑表达式如下所示：
上式中，一个组件在阶段内发生非覆盖失效不再为独立事件，而受其MIT影响，需要在其MIT不发生的情况下，组件才会发生非覆盖失效。
S4、通过阶段内组件的连接关系(and以及or连接等)，得到各个阶段失效的逻辑表达式如下：
两个阶段用or逻辑连接，通过该逻辑关系得到整个任务失效的逻辑表达式(经过近似处理)：
S5、最后我们利用布尔逻辑中的不相交乘积和(SDP)技术，如下：
经过SDP，得到整个系统失效的逻辑表达式的不相交和的形式后，直接通过求得每项互斥事件的概率，将其累加即得到其可靠性(reliability)。计算结果展示在图4中，并且与已有的多阶段任务系统可靠性分析方法进行了对比。
在使用SDP过程中，我们有如下的消去规则，在计算过程中进行化简：
a i·a j＝0
以上实例为简单的多阶段任务系统的基于无关覆盖的可靠性分析，本发明适用于更复杂系统的可靠性分析，并通过计算机进行快速分析计算。
本发明实施例多阶段任务系统可靠性分析系统，包括：
MIT定义模块，用于根据对多阶段任务系统中各组件于各阶段的最小无关触发事件MIT进行定义，找到组件在各个阶段从无关变为相关的触发条件；
无关触发策略选择模块，用于根据系统类型及使用场景，选择合适的无关触发策略，包括阶段覆盖策略和任务覆盖策略；
逻辑表达式分析模块，用于在相应的无关触发策略下，分析得到组件在各个阶段发生覆盖、非覆盖失效以及未失效时的一般化的逻辑表达式；
总逻辑表达式推导模块，用于据组件阶段内和阶段间的逻辑关系得到整个任务发生失效的逻辑表达式；
可靠性计算模块，用于根据整个任务发生失效的逻辑表达式，利用不相交乘积和SDP技术，计算多阶段任务系统中考虑组件的无关覆盖时的可靠性。
MIT定义模块具体定义在多阶段任务系统中的MIT：
计算方法：
上式定义得到组件在各个阶段的MIT，将组件在各个阶段的逻辑表达式看成单个任务系统，调用上式对非多阶段任务系统求解MIT。
所述阶段覆盖策略具体为：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时成为无关组件，若检测到，则立即将该组件进行覆盖隔离，但覆盖时间仅限制在当前阶段，在下个阶段开始时将其释放。
所述任务覆盖策略具体为：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时成为无关组件，若检测到，则立即将该组件进行覆盖隔离，覆盖时间从当前直到整个任务结束为止，都不释放该组件。
本发明的计算机程序存储介质，其计算机程序可被处理器执行，该计算机程序执行上述实施例的多阶段任务系统可靠性分析方法。
应当理解的是，对本领域技术或研究人员来说，可以根据上述说明加以改进或变换，而所有这些改进和变换都应属于本发明所附权利要求的保护范围。

Claims (9)

1.一种多阶段任务系统可靠性分析方法，其特征在于，包括以下步骤：
S1、根据对多阶段任务系统中各组件于各阶段的最小无关触发事件MIT进行定义，找到组件在各个阶段从无关变为相关的触发条件；
S2、根据系统类型及使用场景，选择合适的无关触发策略，包括阶段覆盖策略和任务覆盖策略；
S3、在相应的无关触发策略下，分析得到组件在各个阶段发生覆盖、非覆盖失效以及未失效时的一般化的逻辑表达式；
S4、根据组件阶段内和阶段间的逻辑关系得到整个任务发生失效的逻辑表达式；
S5、根据整个任务发生失效的逻辑表达式，利用不相交乘积和技术，计算多阶段任务系统中考虑组件的无关覆盖时的可靠性。
2.根据权利要求1所述的多阶段任务系统可靠性分析方法，其特征在于，步骤S1中，定义在多阶段任务系统中的MIT：
计算方法：
上式中，表示组件在阶段i之前发生覆盖故障，表示第i个阶段的系统逻辑表达式，PPI是布尔逻辑中的主从蕴含项；根据该计算方法得到组件在各个阶段的MIT，将组件在各个阶段的逻辑表达式看成单个任务系统，调用上式对非多阶段任务系统求解MIT。
3.根据权利要求1所述的多阶段任务系统可靠性分析方法，其特征在于，所述阶段覆盖策略具体为：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时成为无关组件，若检测到，则立即将该组件进行覆盖隔离，但覆盖时间仅限制在当前阶段，在下个阶段开始时将其释放。
4.根据权利要求1所述的多阶段任务系统可靠性分析方法，其特征在于，所述任务覆盖策略具体为：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时成为无关组件，若检测到，则立即将该组件进行覆盖隔离，覆盖时间从当前直到整个任务结束为止，都不释放该组件。
5.一种多阶段任务系统可靠性分析系统，其特征在于，包括：
MIT定义模块，用于根据对多阶段任务系统中各组件于各阶段的最小无关触发事件MIT进行定义，找到组件在各个阶段从无关变为相关的触发条件；
无关触发策略选择模块，用于根据系统类型及使用场景，选择合适的无关触发策略，包括阶段覆盖策略和任务覆盖策略；
逻辑表达式分析模块，用于在相应的无关触发策略下，分析得到组件在各个阶段发生覆盖、非覆盖失效以及未失效时的一般化的逻辑表达式；
总逻辑表达式推导模块，用于据组件阶段内和阶段间的逻辑关系得到整个任务发生失效的逻辑表达式；
可靠性计算模块，用于根据整个任务发生失效的逻辑表达式，利用不相交乘积和SDP技术，计算多阶段任务系统中考虑组件的无关覆盖时的可靠性。
6.根据权利要求5所述的多阶段任务系统可靠性分析系统，其特征在于，MIT定义模块具体定义在多阶段任务系统中的MIT：
计算方法：
上式定义中，表示组件A在阶段i之前发生覆盖故障，表示第i个阶段的系统逻辑表达式，PPI是布尔逻辑中的主从蕴含项，得到组件在各个阶段的MIT，将组件在各个阶段的逻辑表达式看成单个任务系统，调用上式对非多阶段任务系统求解MIT。
7.根据权利要求5所述的多阶段任务系统可靠性分析系统，其特征在于，所述阶段覆盖策略具体为：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时成为无关组件，若检测到，则立即将该组件进行覆盖隔离，但覆盖时间仅限制在当前阶段，在下个阶段开始时将其释放。
8.根据权利要求5所述的多阶段任务系统可靠性分析系统，其特征在于，所述任务覆盖策略具体为：当组件在某阶段开始时即为无关组件，或在某阶段的无关触发发生时成为无关组件，若检测到，则立即将该组件进行覆盖隔离，覆盖时间从当前直到整个任务结束为止，都不释放该组件。
9.一种计算机程序存储介质，其特征在于，其计算机程序可被处理器执行，该计算机程序执行如权利要求1-4中任一项所述的多阶段任务系统可靠性分析方法。
CN201910602956.1A 2019-07-05 2019-07-05 基于无关覆盖模型的多阶段任务系统可靠性分析方法 Active CN110390147B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201910602956.1A CN110390147B (zh) 2019-07-05 2019-07-05 基于无关覆盖模型的多阶段任务系统可靠性分析方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201910602956.1A CN110390147B (zh) 2019-07-05 2019-07-05 基于无关覆盖模型的多阶段任务系统可靠性分析方法

Publications (2)

Publication Number Publication Date
CN110390147A true CN110390147A (zh) 2019-10-29
CN110390147B CN110390147B (zh) 2023-05-23

Family

ID=68286221

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201910602956.1A Active CN110390147B (zh) 2019-07-05 2019-07-05 基于无关覆盖模型的多阶段任务系统可靠性分析方法

Country Status (1)

Country Link
CN (1) CN110390147B (zh)

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112613269A (zh) * 2020-12-28 2021-04-06 武汉理工大学 一种基于无关性覆盖模型的系统最佳冗余度计算方法
CN113219936A (zh) * 2021-03-26 2021-08-06 武汉理工大学 一种考虑内外在故障的基于不完全覆盖的可靠性分析方法
CN113656288A (zh) * 2021-07-30 2021-11-16 武汉理工大学 基于无关性覆盖模型的动态故障树可靠性分析方法
CN115098395A (zh) * 2022-07-15 2022-09-23 武汉理工大学 基于无关性覆盖模型的多状态系统可靠性分析方法

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050125218A1 (en) * 2003-12-04 2005-06-09 Nitendra Rajput Language modelling for mixed language expressions
CN106650076A (zh) * 2016-12-14 2017-05-10 武汉理工大学 基于三元决策图的容错系统通用分析方法
CN109063264A (zh) * 2018-07-03 2018-12-21 中国人民解放军陆军勤务学院 一种多阶段任务系统可靠性建模与分析方法

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20050125218A1 (en) * 2003-12-04 2005-06-09 Nitendra Rajput Language modelling for mixed language expressions
CN106650076A (zh) * 2016-12-14 2017-05-10 武汉理工大学 基于三元决策图的容错系统通用分析方法
CN109063264A (zh) * 2018-07-03 2018-12-21 中国人民解放军陆军勤务学院 一种多阶段任务系统可靠性建模与分析方法

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
范文亮: "基于加权BDD的飞行器多阶段任务系统可靠性分析", 《机械研究与应用》 *

Cited By (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112613269A (zh) * 2020-12-28 2021-04-06 武汉理工大学 一种基于无关性覆盖模型的系统最佳冗余度计算方法
CN112613269B (zh) * 2020-12-28 2023-02-24 武汉理工大学 一种基于无关性覆盖模型的系统最佳冗余度计算方法
CN113219936A (zh) * 2021-03-26 2021-08-06 武汉理工大学 一种考虑内外在故障的基于不完全覆盖的可靠性分析方法
CN113219936B (zh) * 2021-03-26 2024-08-20 武汉理工大学 一种考虑内外在故障的基于不完全覆盖的可靠性分析方法
CN113656288A (zh) * 2021-07-30 2021-11-16 武汉理工大学 基于无关性覆盖模型的动态故障树可靠性分析方法
CN113656288B (zh) * 2021-07-30 2024-03-08 武汉理工大学 基于无关性覆盖模型的动态故障树可靠性分析方法
CN115098395A (zh) * 2022-07-15 2022-09-23 武汉理工大学 基于无关性覆盖模型的多状态系统可靠性分析方法
CN115098395B (zh) * 2022-07-15 2024-10-18 武汉理工大学 基于无关性覆盖模型的多状态系统可靠性分析方法

Also Published As

Publication number Publication date
CN110390147B (zh) 2023-05-23

Similar Documents

Publication Publication Date Title
CN110390147A (zh) 基于无关覆盖模型的多阶段任务系统可靠性分析方法
Xie et al. A study of the modeling and analysis of software fault‐detection and fault‐correction processes
US8464102B2 (en) Methods and systems for diagnosing hardware and software faults using time-stamped events
JP5699206B2 (ja) データセンターにおけるアプリケーション依存パスを求めるシステムおよび方法
US10861610B2 (en) Abnormality diagnosis system
US10384689B2 (en) Method for operating a control unit
WO1997007456A1 (en) Method and apparatus for handling processing errors in telecommunications exchanges
JP2006209565A (ja) 情報処理装置および情報処理方法
CN104509035B (zh) 用于can通信的错误诊断的方法
CN114563804B (zh) 一种gnss/ins紧组合导航系统的自适应容错方法
EP2221723A1 (en) Dual core processor and a method of error detection in a dual core processor
US20070271486A1 (en) Method and system to detect software faults
Athanasopoulou et al. Probabilistic approaches to fault detection in networked discrete event systems
CN107038095A (zh) 用于冗余地处理数据的方法
US8799701B2 (en) Systems and methods of providing high availability of telecommunications systems and devices
Ranganathan et al. Performance evaluation of rollback-recovery techniques in computer programs
CA2258859A1 (en) Arrangement for operating two functionally parallel processors
Rezaee et al. A confidence-based software voter for safety-critical systems
CN115130059A (zh) 一种用于车辆功能安全的共因失效风险度量方法
Jockenhövel-Barttfeld et al. Modelling Software Failures of Digital I&C in Probabilistic Safety Analyses Based on the TELEPERM® XS Operating Experience
Avresky et al. Evaluation of software-implemented fault-tolerance (sift) approach in gracefully degradable multi-computer systems
US11755436B2 (en) Computer system installed on board a carrier implementing at least one service critical for the operating safety of the carrier
Mahdian et al. Considering faults in service-oriented architecture: A graph transformation-based approach
Peti et al. A diagnostic framework for integrated time-triggered architectures
US20210216641A1 (en) Profile-Based Monitoring for Dual Redundant Systems

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