【摘 要】
：
故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金项目(61170043);国家重点基础研究发展计划(973)项目(2014CB744904);航空科学基金项目(20155552047);江苏省研究生培养创新工程(SJLX15_0139);南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20161602);中央高校基本科研业务费专项资金资助
论文部分内容阅读
故障树分析是提高系统安全性和可靠性的有效方法。传统的人工故障树生成方式难以解决当前系统的庞大规模与复杂性的问题,且容易出错。为此,提出基于故障配置的故障树生成方法,引入软件产品线的可变性管理,用于系统故障建模与形式化分析。首先,定义故障特征图模型用于刻画系统故障间的约束关系,基于Kripke结构定义故障标记迁移系统来描述系统的行为;然后,基于模型的语义建立通过模型检测生成故障树的过程;最后,通过时序逻辑描述系统安全属性,利用模型检测工具SNIP验证安全属性进而生成故障树。案例研究验证了该方法的有效性。
其他文献
雷达系统是一个庞大、复杂的电子系统。为了更有效地进行雷达系统的仿真研究,该文构建了仿真系统的模块化结构,在MATLAB环境中利用GUI图形界面设计方法,实现了雷达的主要基本
本文从创新激励的角度,提出一个关于混合所有制的效率理论。企业经营者发挥主观努力,进行有利可图的创新。创新可能提高企业的生产效率,我们称其为"善意创新",也可能实现对消
2009年7月18日,一个阳光明媚、生机盎然的日子,国内最大的实验动物供应商——北京维通利华实验动物技术有限公司成立十周年庆典活动在北京稻香湖景酒店隆重举行。来自北京市
对于如今大多数的职业女性来说,怀孕是一个两难的选择。一些用人单位为了追求经济效益,视女职工为累赘,对女职工的合法权益漠不关心甚至粗暴践踏。须知,法律也"怜香惜玉",对
该文基于对"课程思政"内涵的释义,分析了高职公共英语教学现状,并以十二五职业教育规划教材《新职业英语》为例对商务专业的公共英语课程做了基于"课程思政"的整体设计。
目的探讨多阶段健康教育在点阵CO2激光治疗面部毛孔粗大患者中的应用效果。方法以2018年7月至2019年7月在本院通过点阵CO2激光治疗的80例面部毛孔粗大患者为对象，按电脑数字表法随机分作两组，每组40例。对照组患者行常规护理，试验组于常规护理基础上予以多阶段健康教育，对比两组护理效果。结果干预后，试验组自我护理能力量表、健康促进生活方式量表-Ⅱ评分较对照组高，差异有统计学意义（P<0.05）；
目的:探究研究生的心理压力特点。方法:采用自编的信效度较好的研究生心理压力问卷,对在重庆市5所高校随机抽取的400名研究生有效被试进行了研究。
【摘要】随着互联网技术的快速发展，更多的传统媒体开始积极利用网络资源，结合自身的优势，促进媒体融合技术的发展，并将这项技术应用到宣传报道中，有效的提高宣传报道效率，将更多优质的信息资源呈现给民众。因此，我们必须重视媒体融合技术在宣传报道中的应用与创新。本文将对媒体融合技术在宣传报道中的应用进行分析，探讨媒体融合技术在宣传报道中应用的创新。 【关键词】媒体融合;宣传报道;应用 1. 引言 近年
患者男性,70岁。持续头痛、头晕3.50小时伴反复呕吐入院。患者于2019年6月28日20∶30左右无明显诱因突发剧烈头痛、头晕,伴意识丧失数分钟,神志清醒后出现恶心并反复呕吐,呕
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield