Ro-Ro vessels for cargo and passengers （RoPax） are a relatively new concept that has proven to be popular in the Mediterranean region and is becoming more widespread in Northern Europe. Due to its design characteris...Ro-Ro vessels for cargo and passengers （RoPax） are a relatively new concept that has proven to be popular in the Mediterranean region and is becoming more widespread in Northern Europe. Due to its design characteristics and amount of passengers, although less than a regular passenger liner, accidents with RoPax vessels have far reaching consequences both for economical and for human life. The objective of this paper is to identify hazards related to casualties of RoPax vessels. The terminal casualty events chosen are related to accident and incident statistics for this type of vessel. This paper focuses on the identification of the basic events that can lead to an accident and the performance requirements. The hazard identification is carried out as the first step of a Formal Safety Assessment （FSA） and the modelling of the relation between the relevant events is made using Fault Tree Analysis （FTA）. The conclusions of this study are recommendations to the later steps of FSA rather than for decision making （Step 5 of FSA）. These recommendations will be focused on the possible design shortcomings identified during the analysis by fault trees throughout cut sets. Also the role that human factors have is analysed through a sensitivity analysis where it is shown that their influence is higher for groundings and collisions where an increase of the initial probability leads to the change of almost 90% of the accident occurrence.展开更多
现有测试性模型对复杂装备进行分层建模时,不仅需要每层装备的故障模式、影响和危害性分析(failure mode,effects and criticality analysis,简称FMECA),还需要确定各故障模式之间的联系,增加了实际工作量和建模难度,与实际故障诊断脱...现有测试性模型对复杂装备进行分层建模时,不仅需要每层装备的故障模式、影响和危害性分析(failure mode,effects and criticality analysis,简称FMECA),还需要确定各故障模式之间的联系,增加了实际工作量和建模难度,与实际故障诊断脱节。为解决上述问题,提出一种基于Petri网的建模方法,将测试性模型与故障诊断模型相结合。首先,采用广义随机Petri网建立装备系统级的测试性模型,采用模糊Petri网(fuzzy Petri net,简称FPN)建立子系统的故障诊断模型,完成系统到子系统的传递;其次,根据FMECA信息对故障统计数据进行处理,通过神经网络对参数进行调整学习和优化;然后,采用正向推理实现故障的准确预测,逆向推理结合最小割集完成故障定位;最后,以涡扇发动机风扇部件模型为例进行建模分析,并通过故障树和统计数据验证了模型的正确性和有效性。展开更多
Because of the stochastic property of fault occurrence and fuzziness offault phenomenon, machine fault diagnosis technique in use, such as fault tree analysis,cause consequence tree method, etc., cannot exactly descri...Because of the stochastic property of fault occurrence and fuzziness offault phenomenon, machine fault diagnosis technique in use, such as fault tree analysis,cause consequence tree method, etc., cannot exactly describe the properties of fault phe-nomenon and coherence of fault space. In this paper, based on the theory of generalPetri net, fault tree technique and theory of fuzzy set, a theory system of fuzzy Petri net(FPN) suitable for fault diagnosis is established, which is applied to an example of faultdiagnosis for FMS. This method has the properties of of rbjectivity, strong expressionability, easy inference, etc., which can solve the problems of stochastic property andfuzziness of fault.展开更多
Safety Critical Systems (SCS) are those systems that may cause harm to the user(s) and/or the environment if operating outside of their prescribed specifications. Such systems are used in a wide variety of domains, su...Safety Critical Systems (SCS) are those systems that may cause harm to the user(s) and/or the environment if operating outside of their prescribed specifications. Such systems are used in a wide variety of domains, such as aerospace, automotive, railway transportation and healthcare. In this paper, we propose an approach to integrate safety analysis of SCSs within the Model Driven Engineering (MDE) system development process. The approach is based on model transformation and uses standard well-known techniques and open source tools for the modeling and analysis of SCSs. More specifically, the system modeled with the OMG’s standard systems modeling language, SysML, is automatically transformed in Fault Tree (FT) models, that can be analyzed with existing FT tools. The proposed model transformation takes place in two steps: a) generate FTs at the component level, in order to tackle complexity and enable reuse;and b) generate system level FTs by composing the components and their FTs. The approach is illustrated by applying it to a simplified industry-inspired case study.展开更多
文摘Ro-Ro vessels for cargo and passengers （RoPax） are a relatively new concept that has proven to be popular in the Mediterranean region and is becoming more widespread in Northern Europe. Due to its design characteristics and amount of passengers, although less than a regular passenger liner, accidents with RoPax vessels have far reaching consequences both for economical and for human life. The objective of this paper is to identify hazards related to casualties of RoPax vessels. The terminal casualty events chosen are related to accident and incident statistics for this type of vessel. This paper focuses on the identification of the basic events that can lead to an accident and the performance requirements. The hazard identification is carried out as the first step of a Formal Safety Assessment （FSA） and the modelling of the relation between the relevant events is made using Fault Tree Analysis （FTA）. The conclusions of this study are recommendations to the later steps of FSA rather than for decision making （Step 5 of FSA）. These recommendations will be focused on the possible design shortcomings identified during the analysis by fault trees throughout cut sets. Also the role that human factors have is analysed through a sensitivity analysis where it is shown that their influence is higher for groundings and collisions where an increase of the initial probability leads to the change of almost 90% of the accident occurrence.
文摘现有测试性模型对复杂装备进行分层建模时,不仅需要每层装备的故障模式、影响和危害性分析(failure mode,effects and criticality analysis,简称FMECA),还需要确定各故障模式之间的联系,增加了实际工作量和建模难度,与实际故障诊断脱节。为解决上述问题,提出一种基于Petri网的建模方法,将测试性模型与故障诊断模型相结合。首先,采用广义随机Petri网建立装备系统级的测试性模型,采用模糊Petri网(fuzzy Petri net,简称FPN)建立子系统的故障诊断模型,完成系统到子系统的传递;其次,根据FMECA信息对故障统计数据进行处理,通过神经网络对参数进行调整学习和优化;然后,采用正向推理实现故障的准确预测,逆向推理结合最小割集完成故障定位;最后,以涡扇发动机风扇部件模型为例进行建模分析,并通过故障树和统计数据验证了模型的正确性和有效性。
文摘Because of the stochastic property of fault occurrence and fuzziness offault phenomenon, machine fault diagnosis technique in use, such as fault tree analysis,cause consequence tree method, etc., cannot exactly describe the properties of fault phe-nomenon and coherence of fault space. In this paper, based on the theory of generalPetri net, fault tree technique and theory of fuzzy set, a theory system of fuzzy Petri net(FPN) suitable for fault diagnosis is established, which is applied to an example of faultdiagnosis for FMS. This method has the properties of of rbjectivity, strong expressionability, easy inference, etc., which can solve the problems of stochastic property andfuzziness of fault.
文摘Safety Critical Systems (SCS) are those systems that may cause harm to the user(s) and/or the environment if operating outside of their prescribed specifications. Such systems are used in a wide variety of domains, such as aerospace, automotive, railway transportation and healthcare. In this paper, we propose an approach to integrate safety analysis of SCSs within the Model Driven Engineering (MDE) system development process. The approach is based on model transformation and uses standard well-known techniques and open source tools for the modeling and analysis of SCSs. More specifically, the system modeled with the OMG’s standard systems modeling language, SysML, is automatically transformed in Fault Tree (FT) models, that can be analyzed with existing FT tools. The proposed model transformation takes place in two steps: a) generate FTs at the component level, in order to tackle complexity and enable reuse;and b) generate system level FTs by composing the components and their FTs. The approach is illustrated by applying it to a simplified industry-inspired case study.
