1.一种基于蒙特卡洛仿真求解动态故障树模型的风险分析方法,其特征在于,所述方法包括: 对需要进行风险分析的系统建立动态故障树模型; 估计所述系统的组件故障概率参数; 将所述组件故障概率参数作为动态故障树模型运算的输入值,采用蒙特卡洛仿真方法对所述动态故障树模型进行求解,得到所述系统的故障概率分布分析数据和所述...
针对动态故障树逻辑门不具有统一定量计算方法的问题,提出基于T-S模型建立系统T-S动态故障树的方法。首先建立描述动态时间逻辑关系的T-S动态门,然后构建描述T-S动态门的时间状态和故障发生的算法,最后基于T-S动态门建立系统动态模糊故障树。以某CLG836型装载机为例,建立该装
专利摘要显示,一种基于故障知识库自动生成FTA实时动态树的方法,步骤1、根据故障知识库生成FTA实时动态树的方式新建FTA逻辑模型;步骤2、根据逻辑设备选择故障知识库模型;步骤3、根据FTA逻辑模型构建故障库生成FTA模型的逻辑规则,将故障知识库模型拆解映射为FTA逻辑故障树模型;步骤4、设置事件节点的故障诊断工具;步骤5、完成...
从扩展的AADL故障模型到动态故障树的转换过程共分为三步:将AADL模型中的组件转换为单个动态故障树;以组件为基本元素建立数据或事件的故障转移图;根据故障转移图和组件的动态故障树建立动态故障树。通过导弹发射系统实例证明了该转化规则及方法的可行性和实用性。
底事件使用三角形 Vague 集可靠性数据充分考虑底事件概率水平的不确定性;用代数模型对动态故障树进行建模,具有通用性,考虑了故障发生的时序性更符合机电作动器的原理。将代数模型表达分解为静态和动态两部分分别进行分析,降低了计算量。分析结果表明了该方法可以有效地对机电作动器进行可靠性分析,为故障定位提供思路,...
本发明公开了基于概率模型检测的动态故障树定量分析方法,属于动态故障树定量分析技术领域,首先将动态故障树进行形式化描述,将逻辑门转换成相应的连续时间马尔科夫链模型,并将逻辑门之间的连接关系一一对应到CTMC模型上,结合连续时间马尔可夫链和连续时间马尔科夫链之间连接关系的自动生成PRISM代码,并定义CSL属性规约公式,将...
一种基于逻辑代数模型的动态故障树不交化方法
[0006] 在对于动态故障树模型的求解上,通常采用将动态故障树模型转换为马尔科夫模 型从而使用解析法进行求解。但当动态故障树规模增大时,马尔科夫模型中的状态量增加 速度太快,存在状态爆炸问题。虽然以往的研宄者提出了各种改进方法,但对于存在大量状 态的复杂系统仍然应用有限。另外,将动态故障树模型转化为马尔科夫...
该方法首先是构建动态系统的状态机模型,包括系统状态机和组成单元的状态机模型;其次,基于系统状态机和单元状态机模型,通过状态机和时序动态故障树的自动转换算法实现层次故障树模型的自动生成;最后,将生成多层次的时序动态故障树模型集成,形成系统的整体故障树模型。
摘要 本发明公开了一种基于蒙特卡洛仿真求解的动态故障树模型的定量分析方法,所述方法首先对系统建立动态故障树模型,而后利用其组件故障概率数据进行故障概率参数动态估计,作为动态故障树运算的输入值,采用蒙特卡洛方法,对所述动态故障树模型进行仿真,通过所述仿真求解动态故障树模型,得到所述系统的故障概率分布分析数据和所...