期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种状态事件故障树的定量分析方法
被引量：
22
1
作者
徐丙凤
黄志球
+2 位作者
胡军
魏欧
肖芳雄
《电子学报》
EI
CAS
CSCD
北大核心
2013年第8期1480-1486,共7页
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一...
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.
展开更多
关键词
安全性分析
状态
事件
故障
树
交互马尔可夫链
定量分析
形式化方法
在线阅读
下载PDF
职称材料
一种状态事件故障树的时间特性分析方法
被引量：
10
2
作者
徐丙凤
黄志球
+2 位作者
胡军
魏欧
李伟湋
《软件学报》
EI
CSCD
北大核心
2015年第2期427-446,共20页
状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障...
状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.
展开更多
关键词
状态
事件
故障
树
交互马尔可夫链
平均时间分析
形式化方法
在线阅读
下载PDF
职称材料
基于状态事件故障树的信息物理融合系统风险建模
被引量：
7
3
作者
徐丙凤
何高峰
张黎宁
《计算机科学》
CSCD
北大核心
2019年第5期105-110,共6页
信息物理融合系统(Cyber-physical Systems)中嵌入式系统网络的应用使其容易遭受网络攻击,攻击者可能会利用软件和通信组件中的漏洞获取系统的控制权,从而导致系统失效。现有的信息物理融合系统安全风险建模方法主要基于静态故障树进行...
信息物理融合系统(Cyber-physical Systems)中嵌入式系统网络的应用使其容易遭受网络攻击,攻击者可能会利用软件和通信组件中的漏洞获取系统的控制权,从而导致系统失效。现有的信息物理融合系统安全风险建模方法主要基于静态故障树进行,不考虑软件控制系统特有的动态性和时序依赖性,无法推导出网络攻击所导致的最终影响。因此,文中基于状态事件故障树提出一种信息物理融合系统风险建模方法。首先,针对状态事件故障树(Stata/Event Fault Trees,SEFTs)模型进行攻击步骤集成,提出Attack-SEFTs模型;在此基础上,给出信息物理融合系统的常见漏洞模式,并基于Attack-SEFTs对各种漏洞模式进行建模;接着,给出Attack-SEFTs模型的失效路径分析方法;最后通过一个案例说明了所提方法的可行性。
展开更多
关键词
信息物理融合系统
防危性
安全性
状态
事件
故障
树
攻击
树
在线阅读
下载PDF
职称材料
一种基于状态事件故障树的软件安全性分析方法研究
被引量：
5
4
作者
王思琪
黄志球
+2 位作者
黄传林
陈光颖
潘诚
《小型微型计算机系统》
CSCD
北大核心
2016年第1期12-17,共6页
目前,能够对航空航天、核电等领域中复杂嵌入式系统安全关键软件功能建模和故障分析的方法尚未得到统一;致使功能模型分析中缺乏安全属性来源,故障分析得到的危害无法在功能设计中得到避免.状态事件故障树是一种适合描述复杂系统中功能...
目前,能够对航空航天、核电等领域中复杂嵌入式系统安全关键软件功能建模和故障分析的方法尚未得到统一;致使功能模型分析中缺乏安全属性来源,故障分析得到的危害无法在功能设计中得到避免.状态事件故障树是一种适合描述复杂系统中功能失效因果关系的建模技术,统一了功能建模和故障分析;但是,由于其缺乏精确语义,难以直接进行软件的安全性分析.为此,提出一种基于状态事件故障树的软件安全性分析方法:首先,通过元素映射以及逻辑门转换,将状态事件故障树扩展为附加故障语义信息的故障状态机;然后,将故障状态机转换到时间自动机;最后,在模型检测工具UPPAAL下进行安全性测试反例分析.本文使用燃气灶控制系统的实例进行分析.
展开更多
关键词
安全关键软件
状态
事件
故障
树
状态机
时间自动机
在线阅读
下载PDF
职称材料
船舶搁浅概率的模糊事件树分析
被引量：
16
5
作者
陈刚
张圣坤
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2002年第1期112-116,共5页
针对常规事件树不能考虑基本事件发生概率的不确定性这一现状 ,通过引入模糊集的概念 ,将常规事件树中基本事件的发生概率模糊化 ,推导了模糊事件树的相关算法 .采用模糊事件树方法得到船舶搁浅的模糊概率 ,并进行了敏感性分析 ,确认减...
针对常规事件树不能考虑基本事件发生概率的不确定性这一现状 ,通过引入模糊集的概念 ,将常规事件树中基本事件的发生概率模糊化 ,推导了模糊事件树的相关算法 .采用模糊事件树方法得到船舶搁浅的模糊概率 ,并进行了敏感性分析 ,确认减小船舶搁浅事故发生概率的相关措施 .与常规事件树方法的计算结果比较表明 ,模糊事件树方法不仅能达到常规方法的分析目的 ,而且有助于了解船舶搁浅的发生可能性的分布规律 。
展开更多
关键词
船舶搁浅
故障
/
事件
树
概率
模糊集
在线阅读
下载PDF
职称材料
数字化控制系统可靠性确认方法及步骤探讨
被引量：
3
6
作者
裴建伟
刘肇阳
何大宇
《核科学与工程》
CSCD
北大核心
2012年第S2期175-178,共4页
本文围绕适用于数字化控制系统可靠性分析的定性和定量分析方法,如失效模式及效能分析、可靠性框图法、故障树法和马尔科夫状态转移法的特点,为具体应用中分析方法的合理选择提供了三种定量方法的分析比较。并对数字化控制系统可靠性及...
本文围绕适用于数字化控制系统可靠性分析的定性和定量分析方法,如失效模式及效能分析、可靠性框图法、故障树法和马尔科夫状态转移法的特点,为具体应用中分析方法的合理选择提供了三种定量方法的分析比较。并对数字化控制系统可靠性及安全性的基本分析步骤也做了系统介绍。
展开更多
关键词
失效模式及效能分析
可靠性框图
故障树事件
马尔科夫状态转移法
可靠性
可用度
危险性
在线阅读
下载PDF
职称材料
高压直流换流站的相关失效模式探讨
被引量：
1
7
作者
陈碧云
任震
雷秀仁
《电力自动化设备》
EI
CSCD
北大核心
2006年第4期21-24,共4页
相关性是系统失效的普遍特征,是系统可靠性分析中不可回避的问题。对高压直流输电系统两端换流站内的主要相关失效模式进行了分类研究,以交流滤波器组、控制保护系统、换流阀系统、平波电抗器等具有代表性的系统为例,根据失效过程的不...
相关性是系统失效的普遍特征,是系统可靠性分析中不可回避的问题。对高压直流输电系统两端换流站内的主要相关失效模式进行了分类研究,以交流滤波器组、控制保护系统、换流阀系统、平波电抗器等具有代表性的系统为例,根据失效过程的不同特点,分别建立了串联系统、含重复事件的故障树、载荷-性能模型以及马尔柯夫过程等相适应的可靠性分析模型,并给出了相应的系统失效概率计算公式,为高压直流输电系统的可靠性评估提供了有效的模型基础和可行的分析方法。
展开更多
关键词
相关失效
含重复
事件
的
故障
树
栽荷-性能干涉模型
马尔柯夫过程
在线阅读
下载PDF
职称材料
船舶火灾评估中的贝叶斯网络技术研究
被引量：
1
8
作者
张战杰
武变霞
《舰船科学技术》
北大核心
2016年第6X期178-180,共3页
利用贝叶斯网络强大的建模分析能力及高效工作软件的支持,运用贝叶斯网络技术对船舶舱室火情进行分析。为有效利用历史信息,避免贝叶斯网络建模的主观性,将事件树/故障树模型转化为贝叶斯网络模型,该方法有效提高了分析结果的可靠性,获...
利用贝叶斯网络强大的建模分析能力及高效工作软件的支持,运用贝叶斯网络技术对船舶舱室火情进行分析。为有效利用历史信息,避免贝叶斯网络建模的主观性,将事件树/故障树模型转化为贝叶斯网络模型,该方法有效提高了分析结果的可靠性,获得了更丰富的预计信息和更高效的计算能力。
展开更多
关键词
火灾安全评估
贝叶斯网络
事件
树
/
故障
树
在线阅读
下载PDF
职称材料
DTBN在复杂系统动态概率安全评价中的应用
被引量：
10
9
作者
古莹奎
邱光琦
《中国安全科学学报》
CAS
CSCD
北大核心
2014年第4期74-79,共6页
基于事件树-动态故障树(ET-DFT)模型的动态概率安全评价(IDPSA)方法将ET和DFT结合,能充分描述系统动态行为对其可靠性与风险性的影响,但将DFT转化为马尔科夫链时,存在状态空间爆炸和易出错等问题。为此,建立基于离散时间贝叶斯网络(DTBN...
基于事件树-动态故障树(ET-DFT)模型的动态概率安全评价(IDPSA)方法将ET和DFT结合,能充分描述系统动态行为对其可靠性与风险性的影响,但将DFT转化为马尔科夫链时,存在状态空间爆炸和易出错等问题。为此,建立基于离散时间贝叶斯网络(DTBN)的复杂系统DPSA方法,将ET-DFT模型转化为DTBN,给出各静态和动态逻辑门向DTBN转化的方法以及各逻辑门条件概率表(CPT)的计算方法。数控机床液压系统应用实例的分析验证结果表明,基于DTBN的DPSA方法既能得到系统故障时各个底事件发生故障的后验概率,又能得到系统薄弱环节在各时间区间内发生故障的概率,从而实现对系统较为精确的DPSA。
展开更多
关键词
离散时间贝叶斯网络(DTBN)
动态概率安全评价(DPSA)
动态
故障
树
(DFT)
事件
树
-动态
故障
树
(ET-DFT)
条件概率表(CPT)
数控机床液压系统
在线阅读
下载PDF
职称材料
基于时序关系的系统失效可达图生成方法
10
作者
范亚琼
陈海燕
《计算机科学》
CSCD
北大核心
2017年第12期169-174,共6页
针对状态事件故障树生成系统可达图过程中存在的状态空间爆炸问题,提出了一种基于时序关系的系统失效可达图生成方法。通过分析触发和被触发类型事件的时序关系,对存在时序关系的事件进行排序,根据时序关系获得系统构件间的所有不可同...
针对状态事件故障树生成系统可达图过程中存在的状态空间爆炸问题,提出了一种基于时序关系的系统失效可达图生成方法。通过分析触发和被触发类型事件的时序关系,对存在时序关系的事件进行排序,根据时序关系获得系统构件间的所有不可同时到达状态对,对构件间的可同时到达状态建立笛卡尔积,获得系统的所有可同时到达状态对,根据连接表和最小割集获得系统失效的状态可达图,从而有效解决系统失效可达图生成过程中存在的状态空间爆炸问题。应用基于时序关系的系统失效可达图方法生成鱼攻系统失效可达图,实验结果验证了该方法的可行性与稳定性;同时也为表明其能有效地缓解状态空间爆炸问题,为状态事件故障树生成系统可达图提供了一种新的方法。
展开更多
关键词
状态
事件
故障
树
时序关系
系统失效可达图
状态空间爆炸
在线阅读
下载PDF
职称材料
题名
一种状态事件故障树的定量分析方法
被引量：
22
1
作者
徐丙凤
黄志球
胡军
魏欧
肖芳雄
机构
南京航空航天大学计算机科学与技术学院
南京大学计算机软件新技术国家重点实验室
广西财经学院信息与统计学院
出处
《电子学报》
EI
CAS
CSCD
北大核心
2013年第8期1480-1486,共7页
基金
江苏省研究生培养创新工程(No.CXZZ11-0218)
中央高校基本科研业务费专项资金(No.CXZZ11-0218
+5 种基金
No.NS2012129)
国家自然科学基金(No.61272083
No.61170043
No.61100034
No.61262002)
回国留学人员科研启动基金(2012)
文摘
状态事件故障树是一种适合于描述复杂系统中失效因果链的建模技术,对系统失效结果的概率特性进行定量分析是获得系统安全性参数的一种重要途径.由于状态事件故障树是半形式化模型,需先精确描述其语义才能进行定量分析.为此,本文提出一种基于交互马尔可夫链的状态事件故障树定量分析方法.首先,通过将交互马尔可夫链的交互动作精化为输入和输出动作,提出接口交互马尔可夫链模型用于状态事件故障树的形式语义描述.然后,在此形式语义的基础上设计了一种状态事件故障树定量分析方法.最后给出了一个飞机起落架收放系统的状态事件故障树建模及概率特性定量分析的实例研究.
关键词
安全性分析
状态
事件
故障
树
交互马尔可夫链
定量分析
形式化方法
Keywords
safety analysis
state/event fault tree
interactive Markov chain
quantitative analysis
formal method
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种状态事件故障树的时间特性分析方法
被引量：
10
2
作者
徐丙凤
黄志球
胡军
魏欧
李伟湋
机构
南京航空航天大学计算机科学与技术学院
计算机软件新技术国家重点实验室(南京大学)
南京航空航天大学航天学院
出处
《软件学报》
EI
CSCD
北大核心
2015年第2期427-446,共20页
基金
国家自然科学基金(61272083
61170043)
+3 种基金
回国留学人员科研启动基金(SEM 2012)
中央高校基本科研业务费专项资金(CXZZ11_0218
NS2012129)
江苏省普通高校研究生科研创新计划(CXZZ11_0218)
文摘
状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.
关键词
状态
事件
故障
树
交互马尔可夫链
平均时间分析
形式化方法
Keywords
state/event fault tree
interactive Markov chain
mean time analysis
formal method
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于状态事件故障树的信息物理融合系统风险建模
被引量：
7
3
作者
徐丙凤
何高峰
张黎宁
机构
南京林业大学信息科学技术学院
南京邮电大学物联网学院
出处
《计算机科学》
CSCD
北大核心
2019年第5期105-110,共6页
基金
国家自然科学基金青年科学基金项目(61802192
61702282)
+4 种基金
江苏省高等学校自然科学研究项目(18KJB520024
17KJB520023)
南京林业大学校青年创新基金(CX2016026)
南京邮电大学引进人才科研启动基金(NY217143)
省教改项目(164070911)资助
文摘
信息物理融合系统(Cyber-physical Systems)中嵌入式系统网络的应用使其容易遭受网络攻击,攻击者可能会利用软件和通信组件中的漏洞获取系统的控制权,从而导致系统失效。现有的信息物理融合系统安全风险建模方法主要基于静态故障树进行,不考虑软件控制系统特有的动态性和时序依赖性,无法推导出网络攻击所导致的最终影响。因此,文中基于状态事件故障树提出一种信息物理融合系统风险建模方法。首先,针对状态事件故障树(Stata/Event Fault Trees,SEFTs)模型进行攻击步骤集成,提出Attack-SEFTs模型;在此基础上,给出信息物理融合系统的常见漏洞模式,并基于Attack-SEFTs对各种漏洞模式进行建模;接着,给出Attack-SEFTs模型的失效路径分析方法;最后通过一个案例说明了所提方法的可行性。
关键词
信息物理融合系统
防危性
安全性
状态
事件
故障
树
攻击
树
Keywords
Cyber-physical systems
Safety
Security
State/event fault trees
Attack trees
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
一种基于状态事件故障树的软件安全性分析方法研究
被引量：
5
4
作者
王思琪
黄志球
黄传林
陈光颖
潘诚
机构
南京航空航天大学计算机科学与技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2016年第1期12-17,共6页
基金
国家自然科学基金项目(61100034
61170043)资助
+1 种基金
江苏省普通高校研究生科研创新计划资助项目
中央高校基本科研业务费专项资金项目(CXZZ11_0218)资助
文摘
目前,能够对航空航天、核电等领域中复杂嵌入式系统安全关键软件功能建模和故障分析的方法尚未得到统一;致使功能模型分析中缺乏安全属性来源,故障分析得到的危害无法在功能设计中得到避免.状态事件故障树是一种适合描述复杂系统中功能失效因果关系的建模技术,统一了功能建模和故障分析;但是,由于其缺乏精确语义,难以直接进行软件的安全性分析.为此,提出一种基于状态事件故障树的软件安全性分析方法:首先,通过元素映射以及逻辑门转换,将状态事件故障树扩展为附加故障语义信息的故障状态机;然后,将故障状态机转换到时间自动机;最后,在模型检测工具UPPAAL下进行安全性测试反例分析.本文使用燃气灶控制系统的实例进行分析.
关键词
安全关键软件
状态
事件
故障
树
状态机
时间自动机
Keywords
safety-critical software
state/event fault tree
state machine diagram
timed automaton
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
船舶搁浅概率的模糊事件树分析
被引量：
16
5
作者
陈刚
张圣坤
机构
上海交通大学船舶与海洋工程学院
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2002年第1期112-116,共5页
基金
高等学校博士学科专项科研基金资助课题( 2 0 0 0 0 2 480 2 )
文摘
针对常规事件树不能考虑基本事件发生概率的不确定性这一现状 ,通过引入模糊集的概念 ,将常规事件树中基本事件的发生概率模糊化 ,推导了模糊事件树的相关算法 .采用模糊事件树方法得到船舶搁浅的模糊概率 ,并进行了敏感性分析 ,确认减小船舶搁浅事故发生概率的相关措施 .与常规事件树方法的计算结果比较表明 ,模糊事件树方法不仅能达到常规方法的分析目的 ,而且有助于了解船舶搁浅的发生可能性的分布规律 。
关键词
船舶搁浅
故障
/
事件
树
概率
模糊集
Keywords
ship grounding
fault/event tree
probability
fuzzy set
分类号
U676.42 [交通运输工程—船舶及航道工程]
在线阅读
下载PDF
职称材料
题名
数字化控制系统可靠性确认方法及步骤探讨
被引量：
3
6
作者
裴建伟
刘肇阳
何大宇
机构
深圳中广核工程设计有限公司
出处
《核科学与工程》
CSCD
北大核心
2012年第S2期175-178,共4页
文摘
本文围绕适用于数字化控制系统可靠性分析的定性和定量分析方法,如失效模式及效能分析、可靠性框图法、故障树法和马尔科夫状态转移法的特点,为具体应用中分析方法的合理选择提供了三种定量方法的分析比较。并对数字化控制系统可靠性及安全性的基本分析步骤也做了系统介绍。
关键词
失效模式及效能分析
可靠性框图
故障树事件
马尔科夫状态转移法
可靠性
可用度
危险性
Keywords
reliability
failure modes and effects analysis
reliability block diagram
fault trees event
Markov state transition method
availability
risk
分类号
TL [核科学技术]
在线阅读
下载PDF
职称材料
题名
高压直流换流站的相关失效模式探讨
被引量：
1
7
作者
陈碧云
任震
雷秀仁
机构
华南理工大学电力学院
出处
《电力自动化设备》
EI
CSCD
北大核心
2006年第4期21-24,共4页
基金
国家自然科学基金重点资助项目(50337010)
文摘
相关性是系统失效的普遍特征,是系统可靠性分析中不可回避的问题。对高压直流输电系统两端换流站内的主要相关失效模式进行了分类研究,以交流滤波器组、控制保护系统、换流阀系统、平波电抗器等具有代表性的系统为例,根据失效过程的不同特点,分别建立了串联系统、含重复事件的故障树、载荷-性能模型以及马尔柯夫过程等相适应的可靠性分析模型,并给出了相应的系统失效概率计算公式,为高压直流输电系统的可靠性评估提供了有效的模型基础和可行的分析方法。
关键词
相关失效
含重复
事件
的
故障
树
栽荷-性能干涉模型
马尔柯夫过程
Keywords
dependent failure
fault tree with repeated events
load-property interference mode
Markov process
分类号
TM732 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
船舶火灾评估中的贝叶斯网络技术研究
被引量：
1
8
作者
张战杰
武变霞
机构
漯河职业技术学院信息工程系
出处
《舰船科学技术》
北大核心
2016年第6X期178-180,共3页
文摘
利用贝叶斯网络强大的建模分析能力及高效工作软件的支持,运用贝叶斯网络技术对船舶舱室火情进行分析。为有效利用历史信息,避免贝叶斯网络建模的主观性,将事件树/故障树模型转化为贝叶斯网络模型,该方法有效提高了分析结果的可靠性,获得了更丰富的预计信息和更高效的计算能力。
关键词
火灾安全评估
贝叶斯网络
事件
树
/
故障
树
Keywords
fire safety assessment
Bayesian network
event tree / fault tree
分类号
U698.4 [交通运输工程—港口、海岸及近海工程]
在线阅读
下载PDF
职称材料
题名
DTBN在复杂系统动态概率安全评价中的应用
被引量：
10
9
作者
古莹奎
邱光琦
机构
江西理工大学机电工程学院
出处
《中国安全科学学报》
CAS
CSCD
北大核心
2014年第4期74-79,共6页
基金
国家自然科学基金资助(61164009)
江西省自然科学基金资助(20132BAB206026)
江西省科技支撑计划-工业支撑计划项目(2010BGB01200)
文摘
基于事件树-动态故障树(ET-DFT)模型的动态概率安全评价(IDPSA)方法将ET和DFT结合,能充分描述系统动态行为对其可靠性与风险性的影响,但将DFT转化为马尔科夫链时,存在状态空间爆炸和易出错等问题。为此,建立基于离散时间贝叶斯网络(DTBN)的复杂系统DPSA方法,将ET-DFT模型转化为DTBN,给出各静态和动态逻辑门向DTBN转化的方法以及各逻辑门条件概率表(CPT)的计算方法。数控机床液压系统应用实例的分析验证结果表明,基于DTBN的DPSA方法既能得到系统故障时各个底事件发生故障的后验概率,又能得到系统薄弱环节在各时间区间内发生故障的概率,从而实现对系统较为精确的DPSA。
关键词
离散时间贝叶斯网络(DTBN)
动态概率安全评价(DPSA)
动态
故障
树
(DFT)
事件
树
-动态
故障
树
(ET-DFT)
条件概率表(CPT)
数控机床液压系统
Keywords
discrete-time Bayesian network （DTBN）
dynamic probabilistic safety assessment （DPSA）
dynamic fault tree （DFF）
event tree and dynamic fault tree （ET-DFF）
conditional probability table （CFF）
numerical control machine hydraulic system
分类号
X913.4 [环境科学与工程—安全科学]
TG659 [金属学及工艺—金属切削加工及机床]
在线阅读
下载PDF
职称材料
题名
基于时序关系的系统失效可达图生成方法
10
作者
范亚琼
陈海燕
机构
南京航空航天大学计算机科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2017年第12期169-174,共6页
基金
十三五重点基础科研项目(JCKY2016206B001)
江苏省六大人才高峰项目(XXRJ-004)
软件新技术与产业化协同创新中心资助
文摘
针对状态事件故障树生成系统可达图过程中存在的状态空间爆炸问题,提出了一种基于时序关系的系统失效可达图生成方法。通过分析触发和被触发类型事件的时序关系,对存在时序关系的事件进行排序,根据时序关系获得系统构件间的所有不可同时到达状态对,对构件间的可同时到达状态建立笛卡尔积,获得系统的所有可同时到达状态对,根据连接表和最小割集获得系统失效的状态可达图,从而有效解决系统失效可达图生成过程中存在的状态空间爆炸问题。应用基于时序关系的系统失效可达图方法生成鱼攻系统失效可达图,实验结果验证了该方法的可行性与稳定性;同时也为表明其能有效地缓解状态空间爆炸问题,为状态事件故障树生成系统可达图提供了一种新的方法。
关键词
状态
事件
故障
树
时序关系
系统失效可达图
状态空间爆炸
Keywords
State/Event fault tree
Temporal relation
System failure reachability graph
State space explosion
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种状态事件故障树的定量分析方法
徐丙凤
黄志球
胡军
魏欧
肖芳雄
《电子学报》
EI
CAS
CSCD
北大核心
2013
22
在线阅读
下载PDF
职称材料
2
一种状态事件故障树的时间特性分析方法
徐丙凤
黄志球
胡军
魏欧
李伟湋
《软件学报》
EI
CSCD
北大核心
2015
10
在线阅读
下载PDF
职称材料
3
基于状态事件故障树的信息物理融合系统风险建模
徐丙凤
何高峰
张黎宁
《计算机科学》
CSCD
北大核心
2019
7
在线阅读
下载PDF
职称材料
4
一种基于状态事件故障树的软件安全性分析方法研究
王思琪
黄志球
黄传林
陈光颖
潘诚
《小型微型计算机系统》
CSCD
北大核心
2016
5
在线阅读
下载PDF
职称材料
5
船舶搁浅概率的模糊事件树分析
陈刚
张圣坤
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2002
16
在线阅读
下载PDF
职称材料
6
数字化控制系统可靠性确认方法及步骤探讨
裴建伟
刘肇阳
何大宇
《核科学与工程》
CSCD
北大核心
2012
3
在线阅读
下载PDF
职称材料
7
高压直流换流站的相关失效模式探讨
陈碧云
任震
雷秀仁
《电力自动化设备》
EI
CSCD
北大核心
2006
1
在线阅读
下载PDF
职称材料
8
船舶火灾评估中的贝叶斯网络技术研究
张战杰
武变霞
《舰船科学技术》
北大核心
2016
1
在线阅读
下载PDF
职称材料
9
DTBN在复杂系统动态概率安全评价中的应用
古莹奎
邱光琦
《中国安全科学学报》
CAS
CSCD
北大核心
2014
10
在线阅读
下载PDF
职称材料
10
基于时序关系的系统失效可达图生成方法
范亚琼
陈海燕
《计算机科学》
CSCD
北大核心
2017
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
