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.
文摘目的洪水是影响尾矿库安全的重要因素,明晰洪水对尾矿库的风险传导路径有利于帮助识别关键风险因素,优化防控措施。方法结合文献计量法和专家决策筛选出尾矿库洪水风险的重要影响指标,利用解释结构模型(interpretative structural modeling,ISM)对指标层次进行划分,最后基于事故树分析(fault tree analysis,FTA)解析灾害的演化路径,并提出相应预防措施。结果结果表明:(1)基于文献计量法总共筛选出24个尾矿库洪水风险影响因素,结合平均权重值与专家经验确定10个相对重要的尾矿库洪水风险影响因素;(2)基于ISM计算得出10个影响因素和洪水风险间的相互影响关系,确定尾矿库洪水灾害的直接、间接和最根本影响因素;(3)结合ISM和事故案例,建立尾矿库洪水灾害事故树,通过布尔代数运算得出18种致灾路径和9种预防事故的路径;(4)分析事故树的结构重要度后发现对尾矿库洪水风险影响最大的事件是排洪能力不足、洪峰流量大和初始浸润线埋深浅。结论提出的文献计量法、ISM与FTA相结合的方法不仅实现了客观指标筛选与系统建模的融合,而且为尾矿库防洪实现从“被动应对”向“主动阻断”的转变提供了理论支撑。
