基于STPA的跑道入侵危险源识别模型

为研究跑道入侵影响因素之间的交互影响,减少跑道入侵不安全事件的发生,本文将飞机起飞、降落与滑行过程中的安全性问题当做系统性控制问题,基于系统理论的事故模型和过程(STAMP)和系统理论过程分析(STPA),构建该过程的反馈控制回路。根据系统反馈控制回路,识别了运行过程中的不安全控制行为,进而分析出其产生的关键原因,并给出对应约束。     

基于启发式学习的折叠舵展开安全优化控制

为了降低折叠舵面快速展开冲击的负面影响,提出了基于启发式学习的折叠舵展开阶段舵系统安全优化控制策略.建立折叠舵系统动力学模型,解析了舵面展开过程的运动耦合特性,利用动量定理计算了冲击时刻舵面转动速度.建立了包含折叠舵系统的控制模型,基于折叠舵展开的3个关键指标,规划了基于控制模型的启发式学习优化策略.经过仿真训练,舵系...     

某试验转台液压系统电气设计及安全控制

为某大型两自由度民机燃油试验转台的液压系统设计一套专用的电气控制系统,并在此电气系统的基础上,通过结合硬件和软件的设计,对整个设备的运行进行安全控制,包括监控、报警和应急处理等.     

基于STPA的SSPC不安全控制行为识别与验证

固态功率控制器是飞机配电系统的重要组成部分,是固态配电的核心,需要在系统研制过程中进行完善的风险识别与安全性分析。当今使用较多的方法如故障树分析等主要基于部件独立性计算系统失效率,但针对组件之间非线性交互带来的安全性问题的研究较少。为此以固态功率控制器为对象,应用STPA方法识别不安全控制行为,利用UPPAAL工具建立形式化模型并对不安全控制行为进行验证,基于过程模型识别危害场景并进行形式化验证,形成更详细的SSPC安全控制约束清单。结果表明,方法可以有效识别出SSPC组件交互不当产生的安全性问题。