CAJ | 학술논문

状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术，对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径。由于状态事件故障树是半形式化模型，需先精确描述其语义才能进行定量分析。为此，本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法。首先，通过将交互马尔可夫链的交互动作精化为输入和输出动作，提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述。然后，在此形式语义的基础上设计了一种状态事件故障树定量分析方法。最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究。
상태사건고장수시일충괄합우묘술복잡계통중실효인과련적건모기술，대계통실효결과적개솔특성진행정량분석시획득계통안전성삼수적일충중요도경。유우상태사건고장수시반형식화모형，수선정학묘술기어의재능진행정량분석。위차，본문제출일충기우교호마이가부련적상태사건고장수정량분석방법。수선，통과장교호마이가부련적교호동작정화위수입화수출동작，제출접구교호마이가부련모형용우상태사건고장수적형식어의묘술。연후，재차형식어의적기출상설계료일충상태사건고장수정량분석방법。최후급출료일개비궤기락가수방계통적상태사건고장수건모급개솔특성정량분석적실례연구。
State/Event Fault Tree (SEFT) is a modeling technique for describing the causal chains which lead to failure in complex systems .One important way for capturing the safety parameters of systems is quantitatively analyzing the probabilistic char-acteristic of system failures .As lack of precise semantics ,SEFT can only be quantitatively analyzed after its semantics being precise-ly described .In this paper ,we present a quantitative analysis method of SEFT based on Interactive Markov Chain (IMC) .Firstly ,In-terface Interactive Markov Chain (Interface-IMC) is proposed based on refining the interactive action of IMC into input and output actions .Secondly ,the precise semantics of SEFT is described based on Interface-IMC .Thirdly ,a quantitative analysis method is pre-sented based on formal semantic model of SEFT .Finally ,the method in this paper is illustrated by modeling and quantitatively ana-lyzing SEFT of aircraft landing gear system .