【摘 要】
：
在采用传统的安全分析方法进行安全性分析时,常常关注系统的组件可靠性,很难避免由于组件交互、软件设计缺陷等引起事故的发生。STAMP把安全问题看作是控制问题,认为事故是由
【机 构】
：
空军工程大学装备管理与无人机工程学院
【基金项目】
：
国家重点基础研究发展计划(2014CB744900);国家社会科学基金(17GGL270)资助
论文部分内容阅读
在采用传统的安全分析方法进行安全性分析时,常常关注系统的组件可靠性,很难避免由于组件交互、软件设计缺陷等引起事故的发生。STAMP把安全问题看作是控制问题,认为事故是由于控制不足导致的。文中以导弹攻击过程为例,建立导弹攻击过程的STAMP模型,采用STPA方法识别了导致导弹攻击任务失效的不安全控制行为,同时进行关键原因分析,最后对其中部分不安全控制行为进行仿真分析,为减少导弹攻击任务失效和导弹设计提供了参考。
其他文献
为解决现有高功率微波辐射场功率密度测量系统测量环节多、系统复杂以及长电缆无法适应复杂电磁环境测量等问题,研制了一款小型化、一体化辐射场功率密度测量系统。系统采用
今后大学怎么考？国家教委考试中心有关方面负责人刘昕就今年及今后高考改革动向等问题接受记者采访时说：１９９４年高考将有３种模式并存：一种是近几年沿袭下来的老高考，文科考６门，理科考７门。
目的：探讨胃溃疡愈合过程中血管内皮细胞生长因子（vascularendothelialgrowthfactor，VEGF））的变化及其作用。方法：采用免疫组织化学法，对正常胃黏膜（20例）、胃溃疡活动期（24例）、愈合期（2
易学是国学的重要组成部分，宋代即有“易学在蜀”之说;同时，“蜀学”一词也在此时形成.根据各个历史时期蜀易的表现，说明有独创精神和包容特性，足以体现蜀学以易学为旗帜.
分布储能式电磁轨道炮在长导轨发射中具备高发射效率优势,为实现分布储能式电磁轨道炮的恒流特点,建立可供发射器参数、结构设计参考的仿真模型尤为重要。针对口径为60 mm
语义存在于语素的组合之中,且受制于语境,尽管语境范围很大,也很灵活,但我们可以从两个层次即复合词和固定词组来限定语义。以＂打＂为例,＂打＂的主要形式为＂打＋X＂、＂X打X＂、＂打一X＂和＂X＋打＂,
乳品加工技术是高职食品加工技术专业职业核心能力课程,本文从课程的设置、教学内容与实施等方面进行了探讨。
Dairy processing technology is vocational vocational core
目前自发性气胸诊断方法已有不少,它们有各自优点,可互相补充,本文就各种方法的优缺点做一简要探讨。
At present, there are many diagnostic methods for spontaneous pn
文章以某219m跨径的钢管混凝土桁架拱桥为例,首先利用有限元软件Midas/civil建立了2种FEM模型,然后根据现场施工方案将整个施工过程划分为13个施工阶段,并利用Midas/civil分
基于数字自激算法设计并实现的超导腔垂直测试系统提高了超导腔的垂直测试效率,为先进光源技术研发与测试平台(PAPS)的超导腔批量化生产提供了重要保障;垂直测试系统的射频前