【摘 要】
：
安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变
【基金项目】
：
航空科学基金(2013ZC51023)~~
论文部分内容阅读
安全性需求是系统安全性保证的关键。随着系统复杂度和耦合度的剧增,安全性需求的分析提取日益困难。通过对系统需求场景的控制结构和过程分析建模,提出描述控制过程中系统变量间关系的变量影响图模型,进一步给出了安全性需求分析方法。通过该方法,使用变量影响图等对控制过程进行分析,生成基于系统理论事故模型和过程(STAMP)的危险性控制活动,并以此获得系统安全性需求。经实验验证,所提出的安全性需求分析方法在正确性和一致性方面具有较好的效果。
其他文献
骨软骨瘤又称外生骨疣，为最常见的良性骨肿瘤，一般较常见于长骨干骺端，发生于骨盆骨者较少见，本院于2006年一年内诊治三例，现报告如下。
齿轮齿条传动是机械传动中常用的一种类型。影响其传动精度的一个重要参数是分度圆。在对齿条进行加工时，分度圆尺寸通常采用单个量针检测，需要计算测量值M，文中主要介绍钻套产
2010年1月17日,长征-3C运载火箭在西昌卫星发射中心成功发射了我国第3颗"北斗"(英文名COMPASS,中文音译名BeiDou)导航卫星,卫星于1月22日定点在160°(E)、轨道倾角1.8°的赤
冷弯薄壁型钢的残余应力是由于构件在生产和制造过程中产生的塑性变形引起的,是构件尚未承受外力作用前存在于结构内部的一种初始自相平衡力系。残余应力的存在使得结构在承
合作创新作为一种重要的技术创新模式和一个新兴的研究领域,日益受到理论界与实践界的关注。在文献阅读与实践调查的基础上,本研究建立了原发合作能力、即发合作能力、技术能
基于车、船、飞机等载体的移动卫星通信系统具有高的机动性,因此在国防和民用领域得到了越来越广泛的应用。移动载体的机动性使得载体的方位、俯仰和横滚不断产生变化,导致天
提出了新型棉纺粗纱机纺纱工艺若干参数设定的建议.新型粗纱机的纺纱工艺,在一定范围内以大卷绕张力为宜,为符合卷绕工艺要求,从小纱到大纱,卷绕张力应由大到小.适当加大捻系
互联网大数据蓬勃发展，各个行业都围绕着大数据展开研究。与此同时，由于数据量的异常膨胀，随之而来的问题就是如何回收垃圾数据。基于云存储日志文件系统HLFS(Hadoopdistributed
由于飞行环境复杂,无人机约束条件众多,且各因素之间存在强耦合使得航路规划成为无人机任务规划中具有挑战性的问题。针对航路规划问题的复杂性,本文在环境模型、无人机约束
1776年亚当·斯密的《国富论》的出版给我们带来了绝对优势理论,从此,出口与经济增长的关系研究就开始了,由绝对优势理论到比较优势理论,从古典经济学理论到新经济理论、新贸