【摘 要】
：
针对状态事件故障树生成系统可达图过程中存在的状态空间爆炸问题,提出了一种基于时序关系的系统失效可达图生成方法。通过分析触发和被触发类型事件的时序关系,对存在时序关
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
本文受十三五重点基础科研项目(JCKY2016206B001),江苏省六大人才高峰项目(XXRJ-004),软件新技术与产业化协同创新中心资助.
论文部分内容阅读
针对状态事件故障树生成系统可达图过程中存在的状态空间爆炸问题,提出了一种基于时序关系的系统失效可达图生成方法。通过分析触发和被触发类型事件的时序关系,对存在时序关系的事件进行排序,根据时序关系获得系统构件间的所有不可同时到达状态对,对构件间的可同时到达状态建立笛卡尔积,获得系统的所有可同时到达状态对,根据连接表和最小割集获得系统失效的状态可达图,从而有效解决系统失效可达图生成过程中存在的状态空间爆炸问题。应用基于时序关系的系统失效可达图方法生成鱼攻系统失效可达图,实验结果验证了该方法的可行性与稳定性;同时
其他文献
此文是苏联东方学者史太因1959年所署《管子研究和俄译》(1959)一书《研究》部分的《导论》,其中提出的一些见解,颇有可供研完参考之处,特译出以飨读者。这里刊载的译文对原
为了解潜江市播种机装备结构的发展现状与趋势,提高其农机购置补贴和推广工作的精准性和有效性,依据湖北省农机购置补贴辅助管理系统,通过农机购置补贴数据统计分析与实地考
当前,财政部正在大力推进票据电子化改革工作,并且在相关单位进行试点改革。财政票据电子化,能够更好地打破以往信息化存在的问题,让信息能够更好传输,方便共享,提高信息的利
为双峰县建设成为全国农机工业强县和全国农机知名品牌示范区,特对双峰农机产业转型升级和产业链如何高质量发展进行专题研究,提出建议。
针对人物关系语料缺乏的问题,研究了基于互动百科的自动标注方法;针对传统浅层机器学习模型特征表示能力差的问题,提出了基于深度神经网络模型SDAs的人物关系抽取方法。重点
幼儿园教育指导纲要》明确指出:“幼儿园应充分利用社会资源,引导幼儿感受祖国文化的丰富与优秀,感受家乡的变化和发展,激发幼儿爱家乡、爱祖国的情感”。 从2012年开始,我们
采用连通支配集作为虚拟骨干可以延长无线传感器网络的生命时间,但是考虑到节点容易失效,虚拟骨干还需要具有一定的容错性。对此,针对任意k和m取值,提出了一种完全分布式的k-
采用部分主元素的Gauss消去法一般不能得到矩阵的各阶前主子式。讨论围绕逐步约化的细分每小步,对一个经过若干行置换后的A_0最后实现三角分解,并且依顺序求出A_0各阶前主子
通过对柞水县境内的红豆杉资源进行调查,摸清资源底数,对其生长生存环境进行分析,为今后资源保护及产业发展提出建议,以推动秦岭红豆杉的保护和发展。
随着现代教学理论的发展和进步,传统教学方式正在寻找不断拓展的新途径。高中语文教学在应试教育理念下逐渐不在适应社会发展的需要,对学生实际起到的指导作用有限,亟待寻找