基于STPA空管运行系统安全分析方法研究

来源 :武汉理工大学学报 | 被引量 : 0次 | 上传用户:nj84219
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在空管运行系统中,分析相关事故或不安全事件过程中常把责任归咎于某一方面的不足,然而,对重大事故的彻底调查几乎总能发现其他的因素,单一的事故假设已经不再满足复杂的运行系统。安全性是一个系统属性,而不仅仅是独立于系统之外的特性。将安全整合到系统工程中,视管制员的行为为其发生环境的产物,将安全视为系统控制问题。利用系统理论过程分析(STPA)空管运行系统,识别系统潜在的不安全行为,进而利用一阶线性时态逻辑(LTL)将识别出的不安全行为规范化描述,建立不安全行为约束的形式化表达式。通过NuSMV模型检测工具对安全约束的规范化描述进行模型验证,验证系统的安全性,评估系统的安全状态。为进一步的安全监控提供理论支持,同时为管制员及空管单位领导者提供决策支持,进而减少不安全事件发生。
其他文献
2003年"非典"危机以来,我国从中央到地方各级政府在行政问责建制方面展开了积极的探索,逐步将该制度推向制度化和法治化的轨道,这也为反腐倡廉建设提供助益,其主要体现在制度
在初中物理教学中,要重视对学生提出问题能力的培养,同时还应积极帮助学生解决问题。本文介绍几个由学生疑问所引发的实验探究案例,供大家参考。
本文根据气固两相流横掠圆管的传热机理,建立了能综合考虑颗粒运动轨迹、颗粒与壁面的碰撞频率、碰撞角度、颗粒在壁面停留时间、颗粒与壁面接触面积、固体颗粒浓度、颗粒粒度
目的:观察中药熏洗法治疗手外伤术后伤口疗效。方法:采用中药熏洗治疗手外伤术后伤口98例(102指)。结果:临床治愈72例(73.5%),显效86例(87.8%),有效94例(95.9%),无效4例(0.04
当前,推进高校治理体系和治理能力现代化,是我国深化高校改革和推进高校治理的重大战略部署。在高校治理中,高校内部审计作为高校治理机制的重要组成部分,是高校改进治理结构
<正>1955年3月举办的第二届全国美术展览会作品种类中,有一门是速写。996件参展作品里,速写和素描共计51件。[1]能够明确为速写的,有艾中信《代表们眺望人民的首都》、伍必端
能源作为国家重要的战略物资,是一个国家人民赖以生存的基本资源,目前俄罗斯与中国在政治,经济领域合作较多的大背景下,两国经济发展紧密相连,双边贸易关系合作上升到很大的
随着我国市场经济的发展,城市化建设进程的加快,我国的基础设施建设逐渐增多,公路和桥梁工程的建设日益增加,路桥工程对于建筑材料的要求越来越高,钢纤维混凝土有着性能优越
<正>"意境"是中国传统文化在数千年积淀中的一种升华,既有优美的景致、深刻的情感,又蕴涵着人生的经验和哲理,是古往今来的艺术家毕生追求的一种境界。技艺有限,文化无限。能
<正>【考情分析】本专题共涉及中国特色社会主义建设的道路和中国近现代社会生活的变迁两部分内容,综合分析近三年高考试题,本专题的考查主要呈现以下规律:1.考查数量与题型: