基于STPA的复杂机载系统安全性分析方法研究

来源 :南京航空航天大学 | 被引量 : 1次 | 上传用户:chen17981
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文针对现有的系统理论过程分析(System-Theoretic Process Analysis,STPA)方法的不足,进行了如下改进:构建了结构更清晰、包含信息更全面的分层功能控制结构;提出了涵盖信息流、被控过程控制规律和能源供给三部分的改进过程模型;细化并扩展不安全控制行为的类别,针对两个控制行为的情况扩展了不安全控制行为组合、时序、特性交互三类问题;提出了控制行为信息特征提取的思路及方法;建立了控制信息字典、英文代码矩阵等信息存储形式,作为人工分析的依据;用MATLAB工具实现了不安全控制行为及其致因的计算机辨识;基于计算机辨识结果,进行人工分析,同时不断完善计算机辨识程序以及改进过程模型等。最后通过对飞机着陆过程中制动系统简化功能模型的实例分析,验证了所提出的STPA改进方法的可行性。实例分析过程同时也证实了,在对STPA方法的改进中,控制信息特征提取具有一定创新性。基于所提取的特征,可通过完善或新增不同的自定义函数实现多种功能,在很大程度上降低了人工分析的工作量,减少人为失误的干扰。
其他文献
目的:通过体外、体内实验探讨IL-37对脓毒症小鼠的保护作用,明确脓毒症状态下IL-37对调节性T细胞免疫功能的影响及其调节机制,为脓毒症治疗提供新的潜在治疗靶点。方法:1.采用盲肠结扎穿孔术构建小鼠脓毒症模型,首先将小鼠分为假伤组、CLP对照组(CLP)、术前2h给药(IL-37,1μg/只)组(IL-37/CLP)、术后立即给药组[CLP(IL-37)]、术后2h给药组(CLP/IL-37);
直升机旋翼不仅是直升机的升力面还是直升机的操作面,既为前进提供动力又为各种姿势的变换提供动力,是直升机的关键组成部分。旋翼系统由于复杂的工作环境,承受着多变的空气
无人机的广泛发展使得从空中收集无线传感器网络的数据成为可能。在将无人机作为汇聚节点的无线传感器网络(UAV辅助网络)中,传感器节点和无人机都是由电池供电,提高它们的能
岩土参数是工程稳定性评价的重要指标。通信设施建设岩土参数数据库系统是本文作者在导师的指导下研究开发的,专门分析通信设施建设工程中的岩土参数的信息管理系统。本文在
作为一种新型复合材料,目前钢纤维混凝土发展迅速并在工程领域有了一定运用。为深入扩展研究钢纤维混凝土的性能,使其在工程应用中发挥出更大的作用,本文采用添加硅灰和聚合
本文主要研究分形插值问题(FIP),将递归迭代函数系(RIFS)与全息和局息分形插值方法相结合,给出递归全息和递归局息分形插值方法。引入了具有递归形式的离散数据组,定义了全息
本文采用回流-水热法制备羟基磷灰石纳米花生(HA-NPN),以四水合硝酸钙为钙源、磷酸为磷源、氢氧化钠为沉淀剂及乙醇为模板剂,通过X射线衍射(XRD)及透射电子显微镜(TEM)分析了乙醇模板剂的影响,结合密度泛函理论和热力学理论分析了乙醇为模板剂合成HA-NPN的合成机理,并制备了不同水热时间的HA-NPN,通过X射线衍射(XRD)、傅里叶红外光谱(FT-IR)和紫外-可见分光光度计进行表征测试。
相较于传统原子转移自由基聚合(ATRP)反应机理,Cu(0)调控的可逆失活自由基聚合(RDRP)反应由于涉及三种不同价态铜种(Cu0,CuI和CuII)的相互转化以及不同铜种之间的活化失活平衡使其聚合机理更为复杂。补充活化/还原ATRP(SARA ATRP)和单电子转移活性自由基聚合(SET-LRP)是两种主要的聚合机理,但两种聚合机理相互矛盾并不兼容,其争论点在于不同价态铜种在Cu(0)调控的R
高超声速飞行器推进系统结构复杂,并且推进与控制之间存在着严重的耦合作用,给飞行器的设计,分析以及控制带来了很大的挑战。研究高超声速飞行器推进与控制的相互影响,有助于
目的:甲状腺癌是最常见的内分泌肿瘤,一般最常见的治疗方法就是通过手术切除和放射性碘-131(radioiodine-131,131I)的辅助治疗。但未分化型甲状腺癌(Anaplastic thyroid carci