2. 辽宁工程技术大学 工商管理学院,辽宁 葫芦岛 125105
2. School of Business Administration, Liaoning Technical University, Huludao 125000, China
系统故障演化过程存在于当今各行各业。系统指自然系统和人工系统,自然系统灾害演化过程是自然灾害按照自然规律发生发展的过程,与人是否参与无关;人工系统故障演化过程是人们根据既定目的,按照事物的自然属性所建立系统发生失效的过程。他们都可归结为系统故障演化过程。而研究系统故障演化过程主要在于过程的表示、分析和治理。但由于系统故障演化过程宏观逻辑过程和微观因果关系的复杂性,加之影响因素众多,导致演化过程具有多样性,给故障演化过程深入研究带来困难。
对系统故障演化过程的表示和分析方法研究不多,但近年来正在迅速增加。主要研究了机械系统故障[1]、网格级联故障[2]、多焦点策略优化[3]、竞争故障[4]、混合故障[5]、多策略演化[6],交通系统[7],企业系统[8]和行为过程[9]等演化机理。在医疗[10]、项目管理[11]、软件评估[12]、健康分析[13]和并行结构分析[14]等领域也出现了系统演化过程的表示方法研究。这些研究都有很强的专业背景,形成的表示分析方法都具有针对性,难以相互借鉴,更难以建立通用的系统故障演化过程表示和分析方法。
崔铁军等[15-30]提出了空间故障树理论(space fault tree, SFT),用于分析系统可靠性与因素关系。进一步在研究系统故障演化过程中提出了SFN[31-35],研究演化过程中原因事件、结果事件、因果关系和影响因素的关系。但已有研究都是将SFN根据转化规则转化为SFT,再使用SFT已有方法进行分析。但SFT方法对SFN的网络结构缺乏较好的针对性。为此又提出了SFN的结构化表示方法,借助矩阵表示SFN,这有利于计算机智能处理。在结构化表示方法中需要解决多原因事件以不同逻辑关系导致结果事件的情况。因为演化过程中事件的逻辑关系较为复杂,不止存在“与”、“或”关系,更存在其他逻辑关系。因此本文借助何华灿教授提出的柔性逻辑处理模式,转化得到事件发生逻辑关系,最终得到演化过程分析式和演化过程计算式,为SFN的结构化表示和计算机智能处理奠定基础。
1 空间故障网络及其结构化表示SFN是SFT研究的第三阶段,用于研究系统故障演化过程。目前系统故障演化过程研究面临的问题很多,比如引起故障演化过程的原因很多,但难以确定他们之间的关系、原因事件到最终事件的演化是复杂的网络结构、网络结构不能使用化简方法删除事件及其关系、原因事件存在多种逻辑关系导致结果事件、影响演化原因和演化进程的因素很多、各种因素和各种原因是否独立或相互联系,SFN理论力求解决这些问题。由于SFN基于SFT,因此可分析多因素影响下的系统故障演化过程。通过事件间的网络结构表示他们的因果逻辑关系,可在无损状态下对网络进行化简并得到故障演化模式。虽然具有先进性,但SFN分析方法仍存在问题。
原有SFN分析方法是将得到的SFN网络,通过SFN与SFT的转化规则转化为等效SFT。虽然增加了一些表示方法,但转化SFT使用原有方法仍然存在问题。主要是SFT方法并不针对SFN网络特征,导致定性定量分布不当,效用较低。因此非常需要一种针对SFN网络特点研究的独立方法。
综合研究一些智能推理和数据处理方法,作者提出了SFN的结构化表示方法I。将SFN结构转化矩阵,使用矩阵操作表示故障演化过程。这样做的优势在于计算机易于对矩阵进行处理,可使用计算机智能处理SFN表示的系统故障演化过程。但其仍存在问题,即当多原因事件以不同逻辑关系导致结果事件时不易处理。由于建立的因果结构矩阵I中只有原因事件和结果事件,因此无法表示上述复杂因果关系。因此进一步对结构化表示方法进行改进,提出结构化表示方法II,添加了事件间逻辑关系,将逻辑关系等效为事件,称为关系事件。形成的因果结构矩阵II如图1所示。
![]() |
Download:
|
图 1 SFN的因果结构矩阵(II) |
定义1 因果结构矩阵(matrix of cause event and result event, CERE)(II)用于SFN的结构化表示,记为
定义2 因果关系组(II):存储了CERE中所有事件及关系事件的逻辑关系,记为
$ \begin{array}{c} {\mathit{ \Gamma }} = \{ {s_{{\rm{caus}}{{\rm{e}}_n}}} \to {s_{{\rm{rsl}}{{\rm{t}}_m}}},{s_{{\rm{caus}}{{\rm{e}}_n}}} \to {s_{{\rm{rsl}}{{\rm{t}}_l}}},{s_{{\rm{rsl}}{{\rm{t}}_l}}} \to {s_{{\rm{rsl}}{{\rm{t}}_m}}},{s_{{\rm{rla}}{{\rm{t}}_l}}} \to {s_{{\rm{rla}}{{\rm{t}}_l}}}^\prime , \\ \;\;\;\;\;\;{S_{{\rm{cause}}}} + {S_{{\rm{rlat}}}} \to {s_{{\rm{rla}}{{\rm{t}}_l}}}|{p_{{\rm{tran}}{{\rm{s}}_{n \to m}}}} \times {s_{{\rm{caus}}{{\rm{e}}_n}}} = {s_{{\rm{rsl}}{{\rm{t}}_m}}},{p_{{\rm{tran}}{{\rm{s}}_{l \to n}}}} \times \\ \;\;\;\;\;\; {s_{{\rm{caus}}{{\rm{e}}_n}}} = {s_{{\rm{rla}}{{\rm{t}}_l}}},{s_{{\rm{rla}}{{\rm{t}}_l}}} = {s_{{\rm{rla}}{{\rm{t}}_l}}}^\prime ,{s_{{\rm{rla}}{{\rm{t}}_l}}} = {s_{{\rm{rsl}}{{\rm{t}}_m}}},{s_{{\rm{rla}}{{\rm{t}}_l}}} = \\ \;\;\;\;\;\;{{{S}}_{\rm{rslt + rlat}}} \times {{{C}}_{{\rm{CERE}}{s_{{\rm{rsl}}{{\rm{t}}_l}}}}} \\ \end{array} $ |
式中:
因果关系组中所有关系的前件都是原因事件,后件都是结果事件。
使用图1可表示SFN中的全部事件和全部逻辑关系。图中以粗实线为分界,左侧和右侧分析方法不同。左侧为事件关系的处理方法;右侧为关系事件的关系处理方法。最终综合整个矩阵得到因果关系组,得到最终事件演化过程分析式和计算式,请参见作者相关文献[15-30],这里不再列出,本文主要研究多原因事件导致结果事件的逻辑关系。
2 事件逻辑关系与柔性逻辑模式SFN的结构化表示方法基础是因果结构矩阵,用于表示所有事件和他们之间的逻辑关系。
如图2表示故障演化的等效转化过程。事件为a、b、c、d、e;关系事件为X1、X2、X3。事件b、c其一发生则导致下一步事件发生,是“或”关系;事件d与事件b、c结果同时发生导致事件e发生,是“与”关系。那么关键问题是类似“与”、“或”这类逻辑关系有多少种类。
![]() |
Download:
|
图 2 故障演化的等效转化过程 |
根据何华灿教授提出的泛逻辑学理论,给出了柔性信息处理模式。将关系模式、关系模式分类标准及逻辑描述进行了等价研究和分析。在完备的布尔信息处理逻辑关系基础上,增加了参数
![]() |
表 1 逻辑关系对应表 |
表1给出了何华灿教授得到的20种不同逻辑表达形式的对应关系[36-37],即前4列,包括关系模式、关系模式分类标准及逻辑描述。但这些逻辑关系表示和系统故障演化过程的事件逻辑关系有所差别,不能用于SFN的结构化表示方法。因此需要解决SFN中已知事件故障概率分布(多因素下原因事件与结果事件的发生关系,即事件对象在多因素情况下发生故障的情况)情况时的最终事件故障概率计算方法。那么需要将上述20种逻辑关系等效为原因事件的故障概率分布之间的叠加关系,确定最终事件计算方法。首先需要明确的是,任何复杂的逻辑关系操作都可化简为2个事件之间的逻辑关系操作(假设为二元逻辑关系)。因此以如下2个事件为例,进行20种关系与事件故障概率之间的等效转化。
在故障演化过程中,最经典的关系是“与”、“或”关系。根据经典故障树逻辑关系与故障概率计算方法,设“与”关系:Z=x∧y
Z≡1
Z=x∨y
Z=x®y
Z=y→x
1−(1−qx)(1−(1−qy))=1−(1−qx)qy=1−qy+qxqy
Z=x
Z=x→y
1−(1−qy)(1−(1−qx))=1−(1−qy)qx=1−qx+qxqy
Z=y
Z=x↔y
Z=x©e’y
$ \left\{ \begin{array}{l} P \leqslant {q_x}{q_y},{q_x},{q_y} > e' \\ P \geqslant 1 - (1 - {q_x})(1 - {q_y}) = {q_x} + {q_y} - {q_x}{q_y},{q_x},{q_y} < e' \\ {q_x}{q_y} \leqslant P \leqslant {q_x} + {q_y} - {q_x}{q_y},{q_x} = {q_y} = e' \end{array} \right. $ |
Z=x∧y
Z=¬(x∧y)
Z=¬(x©e’y)
$ \left\{ \begin{array}{l} P \leqslant 1 - {q_x}{q_y},{q_x},{q_y} > e' \\ P \geqslant (1 - {q_x})(1 - {q_y}) = 1 - {q_x} - {q_y} + {q_x}{q_y},{q_x},{q_y} < e' \\ 1 - {q_x}{q_y} \leqslant P \leqslant 1 - {q_x} - {q_y} + {q_x}{q_y},{q_x} = {q_y} = e' \end{array} \right. $ |
Z=¬(x↔y)
Z=¬y
Z=¬(x→y)
1−(1−(1−(1−qx))(1−qy))=(1−(1−qx))(1−qy)=qx− qxqy
Z=¬x
Z=¬(y→x)
1−(1−(1−(1−qy))(1−qx))=(1−(1−qy))(1−qx)=qx− qxqy
Z=¬(x®y)
Z=¬(x∨y)
1−(1−(1−qx)(1−qy))=1−qx−qy+qxqy
Z≡□0
在上述过程中,存在“≤”、“≥”。考虑到故障演化过程中的事件逻辑关系,事件的故障概率分布P(qx,qy)取极限值,即取等号情况。但由于Z=¬(x©e'y)和Z=x©e'y得到的P(qx,qy)是分段函数,保留原始推导形式。最终这20种事件发生逻辑关系如表1最后一列所示。
3 实例分析使用图2进行上述20种事件故障逻辑关系计算举例。以原因事件b,e导致结果事件d为例进行说明。
Z=x∧y,与关系:Pd(qb,qe)=qbqe;
Z=x→y,蕴含:Pd(qb,qe)=1−qb+qbqe;
Z=¬(x®y),非平均:Pd(qb,qe)=1−(qb/2+qe/2);
Z=x©e’y,组合:设
$ \begin{array}{l} {P_{\rm{d}}}\left( {{q_{\rm{b}}},{q_{\rm{e}}}} \right) \geqslant {q_{\rm{b}}} + {q_{\rm{e}}} - {q_{\rm{b}}}{q_{\rm{e}}}({q_{\rm{b}}},{q_{\rm{e}}} < e') = \\ \;\;\;\;\;\;\;\;\;0.4 + 0.4 - 0.4 \times 0.4 = 0.64。\end{array} $ |
当然上述关系实际上是关系事件X3的计算,即
在上述条件下,使用事件发生概率逻辑关系(SFN中为事件故障概率分布)进行分析。SFN可使用SFT的事件(元件)故障概率分布[15]。那么在SFT系统中选择2个元件x1和x2[15],将他们的故障概率分布分别等同于事件b和事件e。那么b和e对于使用时间t和使用温度T的特征函数分别为
![]() |
表 2 qb和qe的特征函数 |
根据SFT的基本事件故障发生概率,得到事件b和e的故障概率分布[15–16]
$P(t,T) = 1 - (1 - {P^t}(t))(1 - {P^T}(T))$ | (1) |
根据式(1),在使用时间[0,100] d,使用温度[0,50]℃绘制事件b和e的故障概率分布,及他们的¬(qb ® qe)逻辑的故障概率分布,如图3所示。
![]() |
Download:
|
图 3 使用元件故障概率的逻辑关系 |
图3(a)和(b)是由文献[15]得到的,相当于SFN的边缘事件;而图3(c)是使用¬(qb®qe)逻辑关系得到的结果事件故障概率分布,相当于SFN的最终事件。当然上述过程传递概率假设为1。可见不同原因事件根据不同逻辑关系导致结果事件的故障概率分布不同,可使用这20种逻辑关系配合事件故障概率分布得到。进而在演化过程中研究多因素影响下的多逻辑结果事件故障概率分布。
将这20种事件发生逻辑关系组成逻辑关系集合B。演化过程的不同层次原因事件根据这些逻辑关系得到本层次结果事件;在下层次中,将这些结果事件作为原因事件,再根据这些逻辑关系得到结果事件。以此类推,最终得到边缘事件与最终事件的演化过程分析式和演化过程计算式。
论文将柔性逻辑关系转化为事件概率逻辑关系,便于SFN演化过程的定量计算。这20种逻辑关系包括了目前已知的事件故障演化逻辑关系,为更全面地描述故障演化过程逻辑关系、SFN定性分析和定量计算奠定了坚实基础;另一方面也为SFN结构化表示方法进行智能处理奠定了逻辑关系基础。
4 结论1)论文提出了柔性逻辑处理模式与事件发生逻辑关系的等效转化方法。考虑故障树经典“与”、“或”逻辑关系,研究认为柔性逻辑处理模式中“与”、“或”关系与故障演化过程中“与”、“或”关系是等价的。事件故障概率分布计算方式也是等价的。
2)本文推导了20种柔性逻辑在系统故障演化过程中的表达方式,并给出了过程。通过实例说明了逻辑关系的使用和计算方法。
3)本文得到了边缘事件与最终事件的演化过程分析式和演化过程计算式。为故障演化过程逻辑描述和SFN结构化方法的计算机智能处理奠定基础。
[1] |
谭晓栋, 罗建禄, 李庆, 等. 机械系统的故障演化测试性建模及预计[J]. 浙江大学学报(工学版), 2016, 50(3): 442-448, 459. DOI:10.3785/j.issn.1008-973X.2016.03.007 (![]() |
[2] |
郝泽龙. 基于复杂网络理论的电网连锁故障模型研究[D]. 厦门: 厦门理工学院, 2015.
(![]() |
[3] |
王文彬, 赵斐, 彭锐. 基于三阶段故障过程的多重点检策略优化模型[J]. 系统工程理论与实践, 2014, 34(1): 223-232. DOI:10.12011/1000-6788(2014)1-223 (![]() |
[4] |
沈安慰, 郭基联, 王卓健. 竞争性故障模型可靠性评估的非参数估计方法[J]. 航空动力学报, 2016, 31(1): 49-56. (![]() |
[5] |
王建华. 具有混合故障模型系统的可靠性分析[D]. 沈阳: 沈阳师范大学, 2011.
(![]() |
[6] |
李艳. 网络上的多策略演化动力学研究[D]. 南京: 南京航空航天大学, 2015.
(![]() |
[7] |
刘新民, 孙峥, 孙秋霞. 基于Logistic模型的城市交通系统演化研究[J]. 重庆交通大学学报(自然科学版), 2016, 35(1): 156-161, 166. (![]() |
[8] |
ZYLBERSZTAJN D. Agribusiness systems analysis: origin, evolution and research perspectives[J]. Revista de administração, 2017, 52(1): 114-117. DOI:10.1016/j.rausp.2016.10.004 (![]() |
[9] |
FUXJAGER M J, SCHUPPE E R. Androgenic signaling systems and their role in behavioral evolution[J]. The journal of steroid biochemistry and molecular biology, 2018, 184: 47-56. DOI:10.1016/j.jsbmb.2018.06.004 (![]() |
[10] |
POLZER N, GEWALD H. A structured analysis of smartphone applications to early diagnose Alzheimer´s disease or dementia[J]. Procedia computer science, 2017, 113: 448-453. DOI:10.1016/j.procs.2017.08.293 (![]() |
[11] |
POLLACK J, BIESENTHAL C, SANKARAN S, et al. Classics in megaproject management: a structured analysis of three major works[J]. International journal of project management, 2018, 36(2): 372-384. DOI:10.1016/j.ijproman.2017.01.003 (![]() |
[12] |
AKATSU S, FUJITA Y, KATO T, et al. Structured analysis of the evaluation process for adopting open-source software[J]. Procedia computer science, 2018, 126: 1578-1586. DOI:10.1016/j.procs.2018.08.131 (![]() |
[13] |
HU M A, MACDERMID J C, KILLIP S, et al. Health information on firefighter websites: structured analysis[J]. Interactive journal of medical research, 2018, 7(2): e12. DOI:10.2196/ijmr.9369 (![]() |
[14] |
MARIA R B, FRAULOB H M, CHIAKI A, et al. Concurrent structured analysis SE method applied to a solar irradiance monitor satellite[J]. INCOSE international symposium, 2016, 26(1): 630-644. DOI:10.1002/j.2334-5837.2016.00183.x (![]() |
[15] |
崔铁军, 马云东. 多维空间故障树构建及应用研究[J]. 中国安全科学学报, 2013, 23(4): 32-37, 62. (![]() |
[16] |
CUI Tiejun, LI Shasha. Deep learning of system reliability under multi-factor influence based on space fault tree[J]. Neural computing and applications, 2019, 31(9): 4761-4776. DOI:10.1007/s00521-018-3416-2 (![]() |
[17] |
崔铁军, 马云东. DSFT的建立及故障概率空间分布的确定[J]. 系统工程理论与实践, 2016, 36(4): 1081-1088. DOI:10.12011/1000-6788(2016)04-1081-08 (![]() |
[18] |
崔铁军, 马云东. 离散型空间故障树构建及其性质研究[J]. 系统科学与数学, 2016, 36(10): 1753-1761. (![]() |
[19] |
崔铁军, 马云东. DSFT中因素投影拟合法的不精确原因分析[J]. 系统工程理论与实践, 2016, 36(5): 1340-1345. DOI:10.12011/1000-6788(2016)05-1340-06 (![]() |
[20] |
CUI Tiejun, LI Shasha. Study on the construction and application of discrete space fault tree modified by fuzzy structured element[J]. Cluster computing, 2019, 22(3): 6563-6577. DOI:10.1007/s10586-018-2342-5 (![]() |
[21] |
崔铁军, 马云东. DSFT下模糊结构元特征函数构建及结构元化的意义[J]. 模糊系统与数学, 2016, 30(2): 144-151. (![]() |
[22] |
崔铁军, 汪培庄, 马云东. 01SFT中的系统因素结构反分析方法研究[J]. 系统工程理论与实践, 2016, 36(8): 2152-2160. DOI:10.12011/1000-6788(2016)08-2152-09 (![]() |
[23] |
崔铁军, 马云东. 因素空间的属性圆定义及其在对象分类中的应用[J]. 计算机工程与科学, 2015, 37(11): 2169-2174. DOI:10.3969/j.issn.1007-130X.2015.11.026 (![]() |
[24] |
崔铁军, 马云东. 基于因素空间中属性圆对象分类的相似度研究及应用[J]. 模糊系统与数学, 2015, 29(6): 56-63. (![]() |
[25] |
LI Shasha, CUI Tiejun, LIU Jian. Study on the construction and application of Cloudization Space Fault Tree[J]. Cluster computing, 2019, 22(3): 5613-5633. DOI:10.1007/s10586-017-1398-y (![]() |
[26] |
崔铁军, 李莎莎, 马云东, 等. SFT下云化因素重要度和因素联合重要度的实现与认识[J]. 安全与环境学报, 2017, 17(6): 2109-2113. (![]() |
[27] |
CUI Tiejun, WANG Peizhuang, LI Shasha. The function structure analysis theory based on the factor space and space fault tree[J]. Cluster computing, 2017, 20(2): 1387-1398. DOI:10.1007/s10586-017-0835-2 (![]() |
[28] |
崔铁军, 李莎莎, 王来贵. 完备与不完备背景关系中蕴含的系统功能结构分析[J]. 计算机科学, 2017, 44(3): 268-273, 306. DOI:10.11896/j.issn.1002-137X.2017.03.055 (![]() |
[29] |
崔铁军, 李莎莎, 王来贵. 基于属性圆的多属性决策云模型构建与可靠性分析应用[J]. 计算机科学, 2017, 44(5): 111-115. DOI:10.11896/j.issn.1002-137X.2017.05.020 (![]() |
[30] |
崔铁军, 李莎莎, 马云东, 等. 不同元件构成系统中元件维修率分布确定[J]. 系统科学与数学, 2017, 37(5): 1309-1318. (![]() |
[31] |
崔铁军, 李莎莎. 空间故障树与空间故障网络理论综述[J]. 安全与环境学报, 2019, 19(2): 399-405. (![]() |
[32] |
LI Shasha, CUI Tiejun, LIU Jian. Research on the clustering analysis and similarity in factor space[J]. International journal of computer systems science & engineering, 2018, 33(5): 397-404. (![]() |
[33] |
CUI Tiejun, LI Shasha. Research on basic theory of space fault network and system fault evolution process[J]. Neural computing and applications, 2020, 32(6): 1725-1744. DOI:10.1007/s00521-019-04247-0 (![]() |
[34] |
崔铁军, 马云东. 考虑点和线的有向无环网络连通可靠性研究[J]. 计算机应用研究, 2015, 32(11): 3315-3318. DOI:10.3969/j.issn.1001-3695.2015.11.026 (![]() |
[35] |
崔铁军, 李莎莎, 朱宝艳. 含有单向环的多向环网络结构及其故障概率计算[J]. 中国安全科学学报, 2018, 28(7): 19-24. (![]() |
[36] |
何华灿. 重新找回人工智能的可解释性[J]. 智能系统学报, 2019, 14(3): 393-412. (![]() |
[37] |
何华灿. 泛逻辑学理论——机制主义人工智能理论的逻辑基础[J]. 智能系统学报, 2018, 13(1): 19-36. (![]() |