论文部分内容阅读
随着现代武器系统越来越趋于大型化和复杂化，采用事故树方法进行系统安全性分析的难点问题也日益突出，本文研究了基于BDD的FTA优化求解算法，并采用此方法对某系统进行了相关安全性分析。
基于BDD算法的系统安全性分析
【摘 要】
：
随着现代武器系统越来越趋于大型化和复杂化，采用事故树方法进行系统安全性分析的难点问题也日益突出，本文研究了基于BDD的FTA优化求解算法，并采用此方法对某系统进行了相关安全
【机 构】
：
91049部队
【出 处】
：
软件
【发表日期】
：
2012年4期
其他文献
大数据生态中多元应用社会生活的人工智能技术,在勾勒健康恒存的愿景框架、推进开源聚力的知识传递、驱动协作共享的产业变革以及实现精准递归的社会治理的同时,也逐渐暴露出
15年前，一家营业面积不到30平方米的大娘水饺店在常州商业闹市区悄然开业；$$ 15年后，320家大娘水饺连锁店遍布国内68个大中城市。$$ 15年前，吴国强带领6个人为了生
报纸
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
福建医科大学创建于1937年，其前身是福建省立医学专科学校。1939年改名为福建省立医学院。1949年改称福建医学院。1969年，与福建中医学院、华侨大学医疗系合并，成立福建医科大学
随着我国经济的飞速发展，我国电气自动化也取得了较大的发展进步，尤其是近年来各种计算机和网络技术的应用，使得我国的电气自动化水平不断提高。下文中笔者将结合自己的工作经验
随着2001年《体育与健康课程标准》（以下简称新课标）的颁布,我国学校体育的课程改革在全国范围内全面展开。体育教师作为新课标在体育课堂中的实施者与指导者,其自身的能力和素