论文部分内容阅读
ＢＤＤ是布尔函数的图形表示形式，提出了采用ＢＤＤ方法求解网络系统的不交化最小路集，从而直接计算网络系统的可靠度，算法为网络系统的可靠性分析提供了一种新的途径，最后给出了一个算例。
网络系统可靠度的BDD算法
【摘 要】
：
ＢＤＤ是布尔函数的图形表示形式，提出了采用ＢＤＤ方法求解网络系统的不交化最小路集，从而直接计算网络系统的可靠度，算法为网络系统的可靠性分析提供了一种新的途径，最后给出了一个算例。
【机 构】
：
国防科技大学
【出 处】
：
系统工程与电子技术
【发表日期】
：
1999年7期
其他文献
<正> 各省、自治区、直辖市及新疆生产建设兵团安全生产监督管理部门,各煤矿安主监察局及北京、新疆生产建设兵团煤矿安全监察办事处: 根据《中华人民共和国安全生产法》,为
目的研究分析多次机采血小板对献血者血小板功能的影响。方法选取本血站2016年2月~2017年3月接受的自愿献血者81例,将其分成两组,对照组中的30例献血者均为首次接受血小板采
现有方法常常将双层多目标线性规则问题（下层决策者无关联）的下层问题的最优性条件转换为上层问题的严格约束，这样缩小了小层决策问题解的搜索范围，与实际中的决策过程相违背。因
通过探讨品管圈活动对神经外科实习护士护理带教质量的影响,品管圈活动能提高神经外科实习护士的综合能力和学习兴趣,提高了带教对护士工作的满意度,同时加强了带教老师的考
依据间歇式染色机的工作特点，提出一种基于Profibus-DP和以太网的间歇式染色机控制系统的实现方法，系统将PLC、上位机与监控软件集成在一起，实现了对染色过程的水位、温度、压力
目前有多种多媒体编著工具网络支持方案,如利用ActiveX或Java Applet等,但它们都有明显缺陷.提出了一种基于IE浏览器的多媒体编著工具网络支持方案,它利用IE的MSHTML核心模块
文学是人类对自然、社会的整体现实和自我的内心世界进行审美观照并用语言形式加以物态化的精神产品,是人类发挥独创的想象力而形成的心灵结晶.一般地说,人类的任何生产活动
目的将凉山彝族服饰文化基因融入到现代产品设计中,实现对彝族文化的挖掘与保护。方法以现代设计方法和基因工程原理为理论基础,分析、筛选、整理凉山彝族服饰资料,归纳凉山
<正> 聚合酶链反应(Polymerase chain Rea-ction,PCR),又称体外基因放大技术,是美国 Cetus 公司人类遗传学研究室 Mullis 等设计并研制成功的,它是一种模拟生物体内天然基因
大唐锡林浩特矿褐煤干燥项目是秦冶重工在锡林浩特市大唐煤矿坑口附近新建的150 t/h褐煤干燥示范工程。该文介绍了西门子S7-300 PLC在褐煤干燥装置基础自动化系统中的应用，重