近年来大型体育场馆的数量快速增加,随之而来的突发事件也不断增多。人群拥挤踩踏事故是大型体育场馆较为常见的安全事故,严重威胁到人民的生命安全。为了梳理总结大型体育场馆内人群拥挤踩踏事故发生的致因因素,构建了大型体育场馆人...近年来大型体育场馆的数量快速增加,随之而来的突发事件也不断增多。人群拥挤踩踏事故是大型体育场馆较为常见的安全事故,严重威胁到人民的生命安全。为了梳理总结大型体育场馆内人群拥挤踩踏事故发生的致因因素,构建了大型体育场馆人群拥挤踩踏事故的过程模型。首先,基于系统理论事故模型与过程(systemstheoretic accident model and processes,STAMP)模型分析并构建大型体育场馆人群拥挤踩踏事故的安全控制结构,并依据该模型来识别和确定事故致因因素;其次,利用决策试验与评价实验室法(decision-making trial and evaluation laboratory,DEMATEL)分析踩踏事故各个致因因素之间的相互作用关系,并计算出各个致因因素的中心度、原因度以及权重;最后,辨识出大型体育场馆发生踩踏事故的原因因素、结果因素以及关键致因因素。结果表明,管理队伍未对人群进行正确的引导和疏散通道处发生人群拥堵等为关键致因素。该模型对大型体育场馆的人流管控和安全管理具有一定的参考和支撑作用。展开更多
安全生产事故往往由多组织交互、多因素耦合造成,事故原因涉及多个组织。为预防和遏制多组织生产安全事故的发生,基于系统理论事故建模与过程模型(Systems-Theory Accident Modeling and Process,STAMP)、24Model,构建一种用于多组织事...安全生产事故往往由多组织交互、多因素耦合造成,事故原因涉及多个组织。为预防和遏制多组织生产安全事故的发生,基于系统理论事故建模与过程模型(Systems-Theory Accident Modeling and Process,STAMP)、24Model,构建一种用于多组织事故分析的方法,并以青岛石油爆炸事故为例进行事故原因分析。结果显示:STAMP-24Model可以分组织,分层次且有效、全面、详细地分析涉及多个组织的事故原因,探究多组织之间的交互关系;对事故进行动态演化分析,可得到各组织不安全动作耦合关系与形成的事故失效链及管控失效路径,进而为预防多组织事故提供思路和参考。展开更多
为了辨识油气智慧管道系统中存在的信息安全风险,通过基于系统论事故分析模型(systems-theoretic accident modeling and process,STAMP)的方法,对油气智慧管道系统的信息物理安全进行全面评估与分析。首先,系统综合分析了油气智慧管道...为了辨识油气智慧管道系统中存在的信息安全风险,通过基于系统论事故分析模型(systems-theoretic accident modeling and process,STAMP)的方法,对油气智慧管道系统的信息物理安全进行全面评估与分析。首先,系统综合分析了油气智慧管道涉及的设备、设施、工艺、元件,评估其安全性。其次,通过建立STAMP模型,深入分析了各层级、元件之间的反馈信息与控制动作,形成了明确的控制反馈回路,突显了元件之间的关联与控制关系。在此基础上,系统辨识出了潜在的信息风险因素,推导并构建了可能发生的系统失效场景。以天然气输气首站油气智慧管道系统为例,研究验证了基于STAMP模型的可行性和有效性。结果显示,该方法不仅直观地描述了元件之间的关联与控制关系,而且从物理层功能安全的角度全面考虑了信息风险,特别凸显了过程控制系统(process control systems,PCS)及易受攻击的操作员站。与传统方法相比,本研究所提出的方法将信息物理安全风险因素的识别率提升至80%以上,提高了40%以上,有助于避免不必要的安全措施冗余设计,提高了安全风险管控的准确性。展开更多
与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂...与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。展开更多
为有效防范遏制重特大生产安全事故发生,基于设计的“452”逻辑架构,构建了事故致因数据库,定量解析致因及作用关系权重,并通过优化系统理论事故建模与过程(Systems-Theory Accident Modeling and Process,STAMP)模型及决策与实验室(Dec...为有效防范遏制重特大生产安全事故发生,基于设计的“452”逻辑架构,构建了事故致因数据库,定量解析致因及作用关系权重,并通过优化系统理论事故建模与过程(Systems-Theory Accident Modeling and Process,STAMP)模型及决策与实验室(Decision Making Trial and Evaluation Laboratory,DEMATEL)分析法的叠加模型(STAMP-DEMATEL),推演关键致因及其作用关系,搭建致因分层控制结构,系统分析安全约束管控策略。研究揭示了监督检查计划落实、作业行为管理、关键技术水平等6个关键致因及监督检查计划落实-关键技术水平、作业行为管理-安全操作规程执行等5对关键作用关系,涉及政府与企业、企业内部两类主体关系范畴,管-人、管-物两类要素关系。对关键作用关系进行致因、要素、主体层面安全约束的系统分析,可为整个安全生产系统平衡运行提供决策支持,在支持系统风险管理、监管资源分配、风险预警等方面发挥重要作用。展开更多
文摘近年来大型体育场馆的数量快速增加,随之而来的突发事件也不断增多。人群拥挤踩踏事故是大型体育场馆较为常见的安全事故,严重威胁到人民的生命安全。为了梳理总结大型体育场馆内人群拥挤踩踏事故发生的致因因素,构建了大型体育场馆人群拥挤踩踏事故的过程模型。首先,基于系统理论事故模型与过程(systemstheoretic accident model and processes,STAMP)模型分析并构建大型体育场馆人群拥挤踩踏事故的安全控制结构,并依据该模型来识别和确定事故致因因素;其次,利用决策试验与评价实验室法(decision-making trial and evaluation laboratory,DEMATEL)分析踩踏事故各个致因因素之间的相互作用关系,并计算出各个致因因素的中心度、原因度以及权重;最后,辨识出大型体育场馆发生踩踏事故的原因因素、结果因素以及关键致因因素。结果表明,管理队伍未对人群进行正确的引导和疏散通道处发生人群拥堵等为关键致因素。该模型对大型体育场馆的人流管控和安全管理具有一定的参考和支撑作用。
文摘安全生产事故往往由多组织交互、多因素耦合造成,事故原因涉及多个组织。为预防和遏制多组织生产安全事故的发生,基于系统理论事故建模与过程模型(Systems-Theory Accident Modeling and Process,STAMP)、24Model,构建一种用于多组织事故分析的方法,并以青岛石油爆炸事故为例进行事故原因分析。结果显示:STAMP-24Model可以分组织,分层次且有效、全面、详细地分析涉及多个组织的事故原因,探究多组织之间的交互关系;对事故进行动态演化分析,可得到各组织不安全动作耦合关系与形成的事故失效链及管控失效路径,进而为预防多组织事故提供思路和参考。
文摘为了辨识油气智慧管道系统中存在的信息安全风险,通过基于系统论事故分析模型(systems-theoretic accident modeling and process,STAMP)的方法,对油气智慧管道系统的信息物理安全进行全面评估与分析。首先,系统综合分析了油气智慧管道涉及的设备、设施、工艺、元件,评估其安全性。其次,通过建立STAMP模型,深入分析了各层级、元件之间的反馈信息与控制动作,形成了明确的控制反馈回路,突显了元件之间的关联与控制关系。在此基础上,系统辨识出了潜在的信息风险因素,推导并构建了可能发生的系统失效场景。以天然气输气首站油气智慧管道系统为例,研究验证了基于STAMP模型的可行性和有效性。结果显示,该方法不仅直观地描述了元件之间的关联与控制关系,而且从物理层功能安全的角度全面考虑了信息风险,特别凸显了过程控制系统(process control systems,PCS)及易受攻击的操作员站。与传统方法相比,本研究所提出的方法将信息物理安全风险因素的识别率提升至80%以上,提高了40%以上,有助于避免不必要的安全措施冗余设计,提高了安全风险管控的准确性。
文摘与传统列控系统相比,全自动无人驾驶运营场景更加复杂多变,潜在的危险及致因具有更强的隐蔽性和复杂性,给运营安全带来了新的挑战。针对以上问题,提出一种STAMP(Systems-Theoretic Accident Model and Process)与模型检验相结合的复杂运营场景安全验证方法。首先,基于STAMP理论构建运营场景分层控制结构模型,辨识潜在的不安全控制行为、分析危险致因和安全约束;其次,定义分层控制结构模型与安全状态机模型间的基本转换规则,基于分层控制结构模型、安全约束和转换规则,构建运营场景安全状态机模型;最后,针对提取的安全约束,利用数据流图建立安全属性验证模型,结合模型检验技术,对运营场景安全状态机模型进行形式化验证。以全自动无人驾驶运营场景中列车自动进站停车为例,对方法进行验证分析。结果表明,当STAMP理论提取的安全约束通过了场景安全状态机模型的验证时,表示在该场景中对应的不安全控制行为没有发生且不导致相应危险。该方法结合系统安全分析与形式化建模验证的优势,降低了运营场景建模的难度,构建的运营场景形式化模型满足系统安全约束,可以作为全自动无人驾驶系统安全设计和安全改进的重要基础。
文摘为有效防范遏制重特大生产安全事故发生,基于设计的“452”逻辑架构,构建了事故致因数据库,定量解析致因及作用关系权重,并通过优化系统理论事故建模与过程(Systems-Theory Accident Modeling and Process,STAMP)模型及决策与实验室(Decision Making Trial and Evaluation Laboratory,DEMATEL)分析法的叠加模型(STAMP-DEMATEL),推演关键致因及其作用关系,搭建致因分层控制结构,系统分析安全约束管控策略。研究揭示了监督检查计划落实、作业行为管理、关键技术水平等6个关键致因及监督检查计划落实-关键技术水平、作业行为管理-安全操作规程执行等5对关键作用关系,涉及政府与企业、企业内部两类主体关系范畴,管-人、管-物两类要素关系。对关键作用关系进行致因、要素、主体层面安全约束的系统分析,可为整个安全生产系统平衡运行提供决策支持,在支持系统风险管理、监管资源分配、风险预警等方面发挥重要作用。
