论文部分内容阅读
事件树、故障树等传统基于事件的验证方法难以考虑工程系统研发和运用过程中复杂交互作用对安全性的影响。依据社会-技术系统控制模型建立层次化安全控制结构，运用安全控制约束考查系统各层次组件间交互作用中可能存在的控常缺陷，实现对系统满足安全要求的验证，给出了一个对设计方案进行验证的应用示例。
基于控制约束的安全性验证方法
【摘 要】
：
事件树、故障树等传统基于事件的验证方法难以考虑工程系统研发和运用过程中复杂交互作用对安全性的影响。依据社会-技术系统控制模型建立层次化安全控制结构，运用安全控制约
【机 构】
：
国防科学技术大学信息系统与管理学院
【出 处】
：
导弹与航天运载技术
【发表日期】
：
2009年6期
【基金项目】
：
装备预言基金项目（9140A19030306KG）
其他文献
利用辐射光谱测量温度的原理，设计并制造了一种新型的非接触式光学辐射高温计。详细介绍该温度计的基本原理和标定方法，并将该温度计应用于火箭发动机喷管出口羽流的温度测量中
第一部分目的 回顾性分析青少年特发性脊柱侧凸后路矫形及内固定术术中出血量的影响因素,并评价这些因素对失血量的影响作用。方法 收集2011年11月至2015年10月于南京大学医
随着中国汽车市场的逐渐成熟,中国汽车市场的竞争日益激烈,为了迎合消费者的品味及保障自身的生存与发展,对于各车企来说,最重要的就是在保障自身产能的前提下,将整车成本压至最低,以保证自身的销量与利润,这其中优秀的采购管理能力是重中之重。对于一汽-大众公司而言,面临的零部件采购管理压力也是越来越大,经过这些年的发展采购部门历经若干次变革,员工数量从成立之初的几人发展到现在的几百人,供应商规模从最初的几十
论述了某无人驾驶飞行器数字控制系统半实物仿真平台设计的原理和过程，对半实物仿真平台的数据通信问题进行了较为详细分析，对捷联惯导的内部工作原理以及数据传输的协议进行了
对国内外已经发射成功的和正在研制的典型月球着陆器作了详细的论述,分析了它们的结构特点.结合国内月球探测的具体情况,提出了适合月球探测的着陆器结构构想.
随着新的科学技术发展,人工智能在新闻传播领域的应用逐渐得到重视。由于近年来各种突发事件频发,给大众的日常生活造成巨大的影响,所以如何使人工智能应用于突发事件的新闻报道成为了学界和业界一直探讨和研究的热点话题。针对这一问题,本篇论文进行了以下三个阶段的研究:第一阶段,主要从市场需求、资料收集、技术应用三个方面阐述了本次研究的可行性;还对收集的关于场景、人工智能、知识图谱、语义框架、突发事件新闻报道的
针对电工电子实验教学的现状和存在的问题,从实验教学改革和提高学生学习兴趣出发,将Multisim仿真软件引入到电工电子的实验教学中,通过具体实例说明Multisim仿真软件在电工