-
题名一种新的故障树定性分析方法
被引量：14
- 1
-
-
作者
陈越洲
谭琳
邢维艳
刘东
-
机构
中南林业科技大学计算机学院
中国华阴兵器试验中心
国防科技大学计算机学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第13期67-69,共3页
-
基金
国家自然科学基金资助项目(60573103)
-
文摘
提出基于割序集的分析方法以研究故障树顶事件发生时基本事件的动态行为。利用顺序失效符表示事件的顺序失效关系,并将静态门和动态门转化为顺序失效表达式来描述故障树中各种门的动态行为,利用顺序失效表达式构建故障树的割序集。结合实例阐述故障树割序集生成算法的流程。该算法将失效行为表示为长度小于系统中部件个数的有序部件序列,为研究故障树提供了一种新的定性分析方法。
-
关键词
故障树
割序集
定性分析
-
Keywords
fault tree
Cut Sequence Set（CSS）
qualiiative analysis
-
分类号
TP202.1
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名基于时态失效逻辑的割序集模型量化方法
被引量：5
- 2
-
-
作者
王波
刘东
李艺
-
机构
装备学院重点实验室
装备学院科研部
-
出处
《计算机工程》
CAS
CSCD
2012年第20期268-271,共4页
-
基金
国家自然科学基金资助项目(60904082)
-
文摘
针对动态故障树割序集模型量化方法的模糊性、不一致性和局限性,提出一种基于时态失效逻辑的割序集模型量化方法。给出3种时态失效逻辑,包括割序集的优先失效逻辑、序列失效逻辑和备件失效逻辑,结合时态区间的概念,设计不同时态失效逻辑的统一量化方法。示例结果表明,该方法计算较为精确,便于操作。
-
关键词
可靠性
动态故障树
割序集
时态逻辑
量化方法
时态区间
-
Keywords
reliability
dynamic fault tree
cut sequence set
temporal logic
quantification method
temporal interval
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名动态故障树割序集分析的模块化方法
被引量：4
- 3
-
-
作者
刘东
邢维艳
赵忠文
王志安
-
机构
装备指挥技术学院重点实验室
装备指挥技术学院试验指挥系
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第7期10-11,20,共3页
-
基金
国家自然科学基金资助项目(60904082)
-
文摘
针对割序集模型较高的复杂度,提出静态子树模块化和动态子树模块化2种简化方法。利用模块化方法将动态故障树划分为多个静态子树和动态子树。对完全由静态门构成的静态子树采用二叉决策图计算其发生概率;对动态子树采用割序集模型进行分析,将其中包含的静态子树作为一个整体进行处理。通过实例阐述模块化方法的应用过程,算例分析结果表明,该方法能有效降低割序集模型的复杂度。
-
关键词
割序集
动态故障树
模块化
-
Keywords
Cut Sequence Set（CSS）
Dynamic Fault Tree（DFT）
modularization
-
分类号
N945
[自然科学总论—系统科学]
-
-
题名割序集模型中顺序失效符完备推演规则研究
被引量：3
- 4
-
-
作者
王波
刘东
李艺
宋楠
-
机构
装备指挥技术学院研究生管理大队
装备指挥技术学院重点实验室
装备指挥技术学院科研部
-
出处
《装备指挥技术学院学报》
2011年第4期87-91,共5页
-
基金
国家自然科学基金资助项目(60904082)
-
文摘
割序集（cut sequence set,CSS）模型是基于动态逻辑门顺序失效机制建立的动态故障树（dynamic fault tree,DFT）分析方法。为将模型中CSS初级形式转化为最小割序集（minimal cut sequence set,MCSS）,研究了顺序失效符（se-quence failure symbol,SFS）的完备推演规则。从完备性出发,提出了SFS的12条规则,并给出了规则的完备性证明和实例应用。SFS完备推演规则解决了自动获取复杂动态系统MCSS的问题,是CSS模型定性分析的进一步形式化描述。
-
关键词
可靠性
动态故障树
割序集
顺序失效符
推演规则
-
Keywords
reliability
dynamic fault tree（DFT）
cut sequence set（CSS）
sequence failure symbol（SFS）
deduction rules
-
分类号
TP202.1
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名割序集模型中顺序失效符的推演规则
被引量：1
- 5
-
-
作者
刘东
王波
张红林
-
机构
装备学院重点实验室
装备学院研究生院
[
-
出处
《计算机科学》
CSCD
北大核心
2012年第5期234-238,共5页
-
基金
国家自然科学基金(60904082)资助
-
文摘
在割序集(CSS)模型中,为了将由动态故障树(DFT)转换得到的CSS初级形式整理为最小割序集(MCSS),提出了顺序失效符(SFS)的推演规则。该推演规则依据基本事件的发生顺序和顺序失效符建立,包含结合律、或分配律、与分配律、吸收律、CSP规则、WSP规则等。给出了各类规则的证明过程,并列举了现实中不存在的割序以及由推演规则推导得出的导出规则。SFS推演规则是CSS模型定性分析的进一步形式化描述,它不仅解决了自动获得动态系统最小割序集的问题,而且可在此基础上开展计算机辅助工具的设计工作。
-
关键词
割序集
顺序失效符
推演规则
动态故障树
可靠性
-
Keywords
Cut sequence set
Sequence failure symbol
Inference rules
Dynamic fault tree
Reliability
-
分类号
TP202.1
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名基于最小割序集的独立电力系统可靠性分析
被引量：1
- 6
-
-
作者
杨占刚
郝雯超
隋政
刘建英
-
机构
中国民航大学电子信息与自动化学院
-
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2020年第8期1865-1872,共8页
-
基金
航空科学基金(20170267002)
中央高校基本科研业务费项目中国民航大学专项资助(3122018D005)
天津市高等学校创新团队培养计划资助(TD13-5071)资助课题。
-
文摘
故障树分析方法是对系统进行可靠性评估的有效方法,但在独立电力系统可靠性的计算中存在可靠性参数计算量大、求解困难等问题。对此,采用故障树最小割序集方法求解独立电力系统的可靠性指标,针对求解可靠性指标时存在的组合爆炸问题,提出了基于时间运算符求解最小割序集的方法。运用分层模块的方法简化动态故障树模型,并根据最小割序集的逻辑运算规则得到最小割序集。最后运用失效概率公式求解得到独立电力系统的可靠性指标。以某常规独立电力系统和B787飞机电力系统可靠性分析为例,验证了所提算法的可行性和正确性,为求解独立电力系统的可靠性指标提供了一种新的思路。
-
关键词
动态故障树
可靠性指标
最小割序集
组合爆炸
-
Keywords
dynamic fault tree
reliability index
minimum cut sequence set
combinatorial explosion
-
分类号
V215.7
[航空宇航科学与技术—航空宇航推进理论与工程]
-
-
题名基于顺序逻辑的状态事件故障树定性分析模型
- 7
-
-
作者
范亚琼
陈海燕
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《计算机技术与发展》
2017年第8期12-15,19,共5页
-
基金
国家"十三五"重点基础科研项目(JCKY2016206B001)
江苏省六大人才高峰项目(XXRJ-004)
软件新技术与产业化协同创新中心资助项目
-
文摘
针对现有的状态事件故障树(SEFT)定性分析方法在反映失效系统中构件状态与事件逻辑顺序关系方面的不足,提出了基于顺序逻辑的状态事件故障树定性分析模型。该模型通过建立构件与逻辑门的端口映射表,定义逻辑门到布尔逻辑的转换规则限定状态和事件的次序关系,根据顺序逻辑转换规则获得导致系统失效的状态事件序列(最小割序集),以解决系统失效应满足的状态与事件的逻辑顺序关系问题。为验证所提出模型的有效性和可行性,以火灾防护系统为研究对象进行了实例验证实验。实验结果表明,所提出的模型有效可行,所获得的最小割序集能够反映各失效事件和状态间的顺序逻辑关系,分析结果符合客观实际,为SEFT的定性分析提供了一种新的技术途径和方法借鉴。
-
关键词
顺序逻辑
端口映射表
最小割序集
转换规则
定性分析
-
Keywords
sequential logic
port mapping table
minimum cut sequence set
conversion rules
qualitative analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
