收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于BDD的多态系统概率安全评估方法研究

周经伦  周忠宝  彭宝华  任培  
【摘要】:由于传统的概率安全评估方法难以处理多态系统,本文通过一个煤气泄漏多态系统实例提出了一种基于BDD的多态系统概率安全评估方法.首先将多态事件树中的事故序列用多态布尔表达式进行描述,进而将多态布尔表达式转化为BDD,给出了一种基于不交化思想的BDD定量算法.在此基础上,提出了实用的基于BDD的多态系统概率安全评估步骤,并通过实例说明了BDD定量算法的正确性.

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 冉蜀阳,陈光禹;布尔函数运算的图论实现方法研究[J];机床电器;1994年01期
2 夏胜平,曾亮,谢红卫;一类典型多态关联系统的可靠性定性性质[J];国防科技大学学报;1998年01期
3 夏胜平,谢红卫;多态关联系统结构特性分析[J];国防科技大学学报;1998年04期
4 孙有朝,施军,贺斌;不维修系统功能状态可靠性研究[J];南京航空航天大学学报;1998年02期
5 夏胜平,曾亮,谢红卫;多态关联系统典型逻辑结构[J];系统工程与电子技术;1998年05期
6 田宏,陈宝智,吴穹,高永庭;多态系统可靠性及元素的不确定性重要度[J];东北大学学报(自然科学版);2000年06期
7 夏胜平,谢红卫;多态关联系统模型检验方法[J];烟台大学学报(自然科学与工程版);2000年03期
8 翁肖力,李锦飞,陈静;非二态故障树分析发展动态[J];机械设计与制造;2001年01期
9 冯虎田,殷爱华,韩军;强理智多态系统可靠性特征量及评价指标[J];南京理工大学学报(自然科学版);2003年02期
10 唐良忠,程礼;求离散多态系统可靠性的矩阵分析法[J];空军工程大学学报(自然科学版);2004年02期
中国重要会议论文全文数据库 前2条
1 夏胜平;谢红卫;;多态关联系统可靠性分析中的多元布尔逻辑[A];1998中国控制与决策学术年会论文集[C];1998年
2 陈强;邹海;徐晓红;罗玫;左亚琴;陈宪辉;陈扬会;宋宁;陈雪黎;姚志强;米新玉;杨佳;王憬惺;赵桐茂;;一个带有HLA-DRB1*4序列基序的新等位基因DRB1*1457[A];中国输血协会第四届输血大会论文集[C];2006年
中国博士学位论文全文数据库 前2条
1 史亮;测试数据自动生成技术研究[D];东南大学;2006年
2 贾庆山;增强序优化理论研究及应用[D];清华大学;2006年
中国硕士学位论文全文数据库 前4条
1 边晶;基于OBDD&Model Checking方法的规划[D];吉林大学;2005年
2 高顺川;动态故障树分析方法及其实现[D];国防科学技术大学;2005年
3 郭伟伟;基于故障树技术的远程故障诊断专家系统的研究[D];西北工业大学;2007年
4 牟屹;基于二元决策图的组合电路测试生成方法研究[D];合肥工业大学;2007年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978