【摘 要】
：
航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的理解程度;同时由于安全性分析人员与系统设计
【机 构】
：
南京航空航天大学计算机科学与技术学院
【基金项目】
：
国家973计划（2014CB744901,2014CB744903,2014CB744904,2014CB744905）
论文部分内容阅读
航电系统作为安全关键系统,利用故障树对其进行安全性分析十分必要。然而,传统的故障树依靠手工构建,主要依赖于分析人员对系统的理解程度;同时由于安全性分析人员与系统设计人员对系统的理解不同而很难保证失效模式与系统架构的一致性。针对上述问题,提出了一种基于航电系统架构模型的故障树自动建模方法:通过向系统设计模型中添加相应的安全性属性,并嵌入高级形式化语言AltaRica中的断言机制描述故障转移过程,由此形成安全性分析模型;基于此模型利用路径追溯的方法完成故障树自动建模。以某飞机驾驶舱显示系统为案例的研究结果表明,所提出的方法能基于航电系统架构模型有效进行故障树自动建模,从而确保了故障树分析结果的完整性。
其他文献
摘 要：阅读是语文教学中的重要板块，通过阅读能够增强学生的理解能力，启发学生的思维，为学生的写作练习打下夯实的基础。在小学语文阅读教学过程中，教师必须要正确认识到汉语是我们的母语，语文教学对于学生的发展起到了极为重要的作用，阅读是语文教学中的重要部分，所以教师必须要创新课程教学模式，完善学生的语文阅读能力。本文从以下几方面分析，探索小学语文阅读教学的重要性，以及当前语文阅读教学存在的问题与不足之处
小学数学课上的概念教学因为内容比较抽象，一直以来学生是不容易理解和掌握的，在信息技术下教师可以利用内容的多元化呈现，帮助学生降低小学数学课上概念学习的难度，同时也是促进
为研究有限理性出行者逐日出行中出发时刻及路径调整的出行行为,引入前景理论,分析出行者依据最大准点到达概率来选择出行时间预算,将此出行时间预算作为到达参考点,进而在给
目的:探讨糖尿病(DM)患者围术期高血糖控制及疗效影响因素。方法:回顾本院9年来68例DM患者行外科手术临床资料,经过术前评估、术前血糖控制在7.0～8.9mmol/L、术中血糖控制在6.
摘 要：高中英语是高中课堂教学中一门非常重要的学科，作为高中英语教师一定要充分认识到自己所教学生的关键，要对学生进行系统的教学，有计划性地进行阅读教学活动，要抓住课堂教学的主要阵地，让学生通过多种形式的阅读活动来提高学生的英语水平，使学生能够增大词汇量，能够把英语和自己的母语有效结合，思维中迅速地进行英语的使用，灵活地进行英语语法的使用，增强英语的阅读意识，能够对阅读的文章做到精读精练。 关键词
基于视觉的目标跟踪是模式识别、计算机视觉、机器学习等多个学科的交叉研究课题,在视频监控、视频压缩编码、视频检索、智能交通等领域有着十分广泛的应用。为了使国内外同行对基于外观模型的目标跟踪方法有一个较为全面的了解,对其进行了系统总结。在介绍跟踪算法原理的基础上,重点阐述了两大类基于外观模型的目标跟踪方法:产生式方法和判别式方法,深入讨论了其中的典型算法和研究成果,并对这些算法在公开数据集上的测试结果
抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性，已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的
针对供应链合作伙伴选择的准确性和效率问题,提出一种基于粒子群和蚁群优化的合作伙伴选择算法。建立基于供应链链节体和连接弧的有向图路径模型,构造多目标规划模型。利用改
快乐体育作为一种体育思想,有着积极向上的体育精神,强调开展体育运动时要反映出情感教育和体育技能的结合,并且快乐体育教学训练符合当前教育改革的要求,所以在初中足球教学
针对连续不确定XML数据概率阈值范围查询,提出一种新的CUXI索引树。该索引树的构建方法是借鉴U树对空间数据自顶向下递归构建索引树的思想,将连续不确定XML文档中具有相同父亲的叶子节点构建二维数据矩形,在聚类的基础上来构建相应的CUXI索引树,其中叶子节点存储连续不确定数据辅助信息。为了提高查询效率,对连续不确定数据制定了过滤策略,通过遍历索引树过滤掉不满足查询范围的子树。理论和实验结果表明,此索