欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.
英文摘要：
State/Event Fault Tree （SEFI？） 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, SEFF can only be quantitatively analyzed after its semantics being precise- ly described. In this paper, we present a quantitative analysis method of SEFF 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 SEFF is described based on Interface-IMC. Thirdly, a quantitative analysis method is pre- sented based on formal semantic model of SEFF. Finally, the method in this paper is illustrated by modeling and quanttafively analyzing SEFF of aircraft landing gear system.
同期刊论文项目
同项目期刊论文
期刊信息
位置：