检索结果-维普期刊中文期刊服务平台

基于顺序失效符的动态故障树形式规约被引量：2: 1; 作者王波刘东李艺《北京航空航天大学学报》 EI CAS CSCD 北大核心 2012年第9期1255-1260,共6页; 首先定义了顺序失效符(SFS,Sequence Failure Symbol)的形式化框架,包括SFS定义、性质、规则和定理,这是动态故障树(DFT,Dynamic Fault Tree)形式规约的基础.然后给出了任意形式的静态故障树(SFT,Static Fault Tree)和DFT在SFS形式化框... 展开更多; 关键词动态故障树顺序失效形式规约; 在线阅读下载PDF 职称材料

割序集模型中顺序失效符的推演规则被引量：1: 2; 作者刘东王波张红林《计算机科学》 CSCD 北大核心 2012年第5期234-238,共5页; 在割序集(CSS)模型中,为了将由动态故障树(DFT)转换得到的CSS初级形式整理为最小割序集(MCSS),提出了顺序失效符(SFS)的推演规则。该推演规则依据基本事件的发生顺序和顺序失效符建立,包含结合律、或分配律、与分配律、吸收律、CSP规则... 展开更多; 关键词割序集顺序失效符推演规则动态故障树可靠性; 在线阅读下载PDF 职称材料

架空输电线路体系强度匹配设计方法被引量：7: 3; 作者吴静李峰 +2 位作者安旭文李茂华侯建国《高电压技术》 EI CAS CSCD 北大核心 2021年第12期4306-4313,共8页; 为了整体把握架空输电线路体系的可靠性,综合考虑了现行输电线路各组件的安全度水平、建造成本、破坏修复时间和费用,采用强度匹配理论开展了架空输电线路体系强度匹配设计方法研究,提出了输电线路体系各组件的5种失效顺序、体系的强度... 展开更多; 关键词架空输电线路体系可靠性强度匹配失效顺序设计方法安全度水平; 在线阅读下载PDF 职称材料

KooN表决结构多阶段马尔可夫模型简化算法被引量：10: 4; 作者王海清乔丹菊 +1 位作者刘祥妹许小林《中国石油大学学报（自然科学版）》 EI CAS CSCD 北大核心 2017年第6期147-153,共7页; 针对传统多阶段马尔可夫模型CMM(conventional multi-phase Markov)在建模过程中存在分析过程复杂、维数爆炸等问题,提出一种多阶段马尔可夫模型简化算法SMM(simplified muti-phase Markov)。对该方法与CMM方法、IEC61508解析式方法中... 展开更多; 关键词多阶段马尔可夫模型异型冗余设备 SMM方法失效顺序; 在线阅读下载PDF 职称材料

题名基于顺序失效符的动态故障树形式规约被引量：2: 1; 作者王波刘东李艺; 机构装备学院复杂电子系统仿真国防科技重点实验室装备学院科研部; 出处《北京航空航天大学学报》 EI CAS CSCD 北大核心 2012年第9期1255-1260,共6页; 基金国家自然科学基金资助项目(60904082); 文摘首先定义了顺序失效符(SFS,Sequence Failure Symbol)的形式化框架,包括SFS定义、性质、规则和定理,这是动态故障树(DFT,Dynamic Fault Tree)形式规约的基础.然后给出了任意形式的静态故障树(SFT,Static Fault Tree)和DFT在SFS形式化框架下的形式规约方式和自动转换算法.最后,通过示例验证了方法的有效性.形式规约构建了DFT在数学层面上更加严密的理论体系,同时,基于SFS的形式规约自动转换算法有助于DFT计算机辅助建模的实现.; 关键词动态故障树顺序失效形式规约; Keywords dynamic fault tree sequence failure formal specification; 分类号 TP202.1 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名割序集模型中顺序失效符的推演规则被引量：1: 2; 作者刘东王波张红林; 机构装备学院重点实验室装备学院研究生院 [; 出处《计算机科学》 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 [自动化与计算机技术—检测技术与自动化装置]; 在线阅读下载PDF 职称材料

题名架空输电线路体系强度匹配设计方法被引量：7: 3; 作者吴静李峰安旭文李茂华侯建国; 机构中国电力科学研究院有限公司国家电网有限公司武汉大学土木建筑工程学院; 出处《高电压技术》 EI CAS CSCD 北大核心 2021年第12期4306-4313,共8页; 基金国家电网公司科技项目(GCB17201700149)。; 文摘为了整体把握架空输电线路体系的可靠性,综合考虑了现行输电线路各组件的安全度水平、建造成本、破坏修复时间和费用,采用强度匹配理论开展了架空输电线路体系强度匹配设计方法研究,提出了输电线路体系各组件的5种失效顺序、体系的强度匹配设计方法及其相应的匹配系数。所提方法与现行设计方法的对比分析表明,大部分体系组件的安全度水平可与现行规范保持一致。采用强度匹配设计方法可实现不同架空输电线路体系的差异化匹配设计。; 关键词架空输电线路体系可靠性强度匹配失效顺序设计方法安全度水平; Keywords overhead transmission line system reliability strength match failure sequence design method safety level; 分类号 TM75 [电气工程—电力系统及自动化]; 在线阅读下载PDF 职称材料

题名KooN表决结构多阶段马尔可夫模型简化算法被引量：10: 4; 作者王海清乔丹菊刘祥妹许小林; 机构中国石油大学机电工程学院中国石油独山子石化公司; 出处《中国石油大学学报（自然科学版）》 EI CAS CSCD 北大核心 2017年第6期147-153,共7页; 基金山东省自然科学基金项目(ZR201702160283) 国家重大科技专项(D719-ZGSY-555); 文摘针对传统多阶段马尔可夫模型CMM(conventional multi-phase Markov)在建模过程中存在分析过程复杂、维数爆炸等问题,提出一种多阶段马尔可夫模型简化算法SMM(simplified muti-phase Markov)。对该方法与CMM方法、IEC61508解析式方法中的计算负荷与精度进行数值分析。结果表明:采用SMM方法的计算结果与CMM方法的基本一致,在维持计算精度的同时避免了CMM方法中复杂的多阶段马尔可夫建模过程,极大地降低了计算量,使得安全仪表系统中失效概率计算更加快速且准确。; 关键词多阶段马尔可夫模型异型冗余设备 SMM方法失效顺序; Keywords multi-phase Markov model non-identical redundant components SMM approach failure sequence; 分类号 X924.4 [环境科学与工程—安全科学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于顺序失效符的动态故障树形式规约	王波刘东李艺	《北京航空航天大学学报》 EI CAS CSCD 北大核心	2012	2	在线阅读下载PDF 职称材料
2	割序集模型中顺序失效符的推演规则	刘东王波张红林	《计算机科学》 CSCD 北大核心	2012	1	在线阅读下载PDF 职称材料
3	架空输电线路体系强度匹配设计方法	吴静李峰安旭文李茂华侯建国	《高电压技术》 EI CAS CSCD 北大核心	2021	7	在线阅读下载PDF 职称材料
4	KooN表决结构多阶段马尔可夫模型简化算法	王海清乔丹菊刘祥妹许小林	《中国石油大学学报（自然科学版）》 EI CAS CSCD 北大核心	2017	10	在线阅读下载PDF 职称材料