论文部分内容阅读
随着现代武器系统越来越趋于大型化和复杂化，采用事故树方法进行系统安全性分析的难点问题也日益突出，本文研究了基于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年《体育与健康课程标准》（以下简称新课标）的颁布,我国学校体育的课程改革在全国范围内全面展开。体育教师作为新课标在体育课堂中的实施者与指导者,其自身的能力和素
由于现代化市场的扩展，各类型银行间的竞争也相继增大，在市场营销中的难度也由此提高。所以，为了适应快节奏的环境形势，银行需要不断创新金融产品形式，改变原有的营销结构，实现可持
【正】ICU收治的重度复合外伤患者中,有相当多患者合并下肢骨折,由于危重患者需要长期卧床是下肢深静脉血栓形成(DVT)的高危因素,且下肢骨折手术易并发DVT,可直接影响患者预
目前，国际国内商业保理行业发展态势良好，国内各项法规政策的出台，进一步优化了保理行业的发展环境。国内多家大型央企成功试水商业保理业务，通过研究国内商业保理发展政策和趋势