A logic fault tree of mine spontaneous combustion of sulphide ores was built by the fault tree analysis (FTA) based on a lot of mechanism investigation of sulphide ore spontaneous combustion in more than ten mines an...A logic fault tree of mine spontaneous combustion of sulphide ores was built by the fault tree analysis (FTA) based on a lot of mechanism investigation of sulphide ore spontaneous combustion in more than ten mines and review of a great amount of relevant展开更多
A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and ...A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.展开更多
By using the fault tree analysis in reliability theory as the systematical analysis approach, the dust suppression mechanism in a spray system with wetting agent is shown in a logic tree and some graphical models. Fro...By using the fault tree analysis in reliability theory as the systematical analysis approach, the dust suppression mechanism in a spray system with wetting agent is shown in a logic tree and some graphical models. From these diagrams, all factors related to the spray system and their cause and effect relationship can be seen clearly. Based on the built logic tree, several mathematical models and new ideas for expressing the dust suppressing efficiency in the spray system are put forward. The significance of all factors related to the efficiency of suppressing dust is qualitatively described. Furthermore, the new concepts, such as, the effective reaction time between dust particle and droplet, the expansion phenomenon of laden dust droplet, the functions of volatile and the relative size distribution efficiency of wetting agent are presented. All this richenes the existing mechanism of dust abatement by spraying wetting agent. At last, several problems that need to be further investigated are also suggested in the paper.展开更多
针对风力发电机组频发的火灾事故,首先从人-机-环-管角度出发,通过统计分析近20年来全球81起风力发电机组火灾事故案例,得到了21项风力发电机组火灾事故的影响因素;然后通过事故树分析(fault tree analysis,FTA)法演绎推理得到了风力发...针对风力发电机组频发的火灾事故,首先从人-机-环-管角度出发,通过统计分析近20年来全球81起风力发电机组火灾事故案例,得到了21项风力发电机组火灾事故的影响因素;然后通过事故树分析(fault tree analysis,FTA)法演绎推理得到了风力发电机组火灾事故各基本事件的逻辑关系,并根据结构重要度进行了火灾事故致因的定性分析;接着采用模糊层次分析(fuzzy analytic hierarchy process,FAHP)法,将事故树的基本事件从人、机、环、管4个方面整合,构建出风力发电机组火灾事故致因评价指标体系,并以结构重要度系数的顺序为模糊判断矩阵的赋值依据,进行了火灾事故致因的定量分析;最后,根据综合分析结果提出了风力发电机组火灾事故的对策措施。结果表明:机和环境的不安全因素是引发火灾事故的主要致因;电气设备故障和雷击是最主要因素。该研究成果可为风力发电机组的火灾防治提供理论参考。展开更多
文摘A logic fault tree of mine spontaneous combustion of sulphide ores was built by the fault tree analysis (FTA) based on a lot of mechanism investigation of sulphide ore spontaneous combustion in more than ten mines and review of a great amount of relevant
基金supported by the National Natural Science Foundation of China(11832012)
文摘A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.
文摘By using the fault tree analysis in reliability theory as the systematical analysis approach, the dust suppression mechanism in a spray system with wetting agent is shown in a logic tree and some graphical models. From these diagrams, all factors related to the spray system and their cause and effect relationship can be seen clearly. Based on the built logic tree, several mathematical models and new ideas for expressing the dust suppressing efficiency in the spray system are put forward. The significance of all factors related to the efficiency of suppressing dust is qualitatively described. Furthermore, the new concepts, such as, the effective reaction time between dust particle and droplet, the expansion phenomenon of laden dust droplet, the functions of volatile and the relative size distribution efficiency of wetting agent are presented. All this richenes the existing mechanism of dust abatement by spraying wetting agent. At last, several problems that need to be further investigated are also suggested in the paper.
