期刊文献+
共找到1,381篇文章
< 1 2 70 >
每页显示 20 50 100
基于系统理论过程分析方法的无人艇航行安全性分析 被引量:5
1
作者 蔡国伟 安金鑫 杨少龙 《科学技术与工程》 北大核心 2021年第11期4675-4681,共7页
近年来,水上交通正朝着无人化、自主化方向发展。水面无人艇是水上交通工具中尺度较小、自主化程度较高的一类。面对复杂的海洋环境,高度集成的无人艇难免由于组件交互失效、内外干扰等造成航行安全事故。在无人艇设计过程中提高其安全... 近年来,水上交通正朝着无人化、自主化方向发展。水面无人艇是水上交通工具中尺度较小、自主化程度较高的一类。面对复杂的海洋环境,高度集成的无人艇难免由于组件交互失效、内外干扰等造成航行安全事故。在无人艇设计过程中提高其安全性成为面向水上应用的无人艇研发的重要环节。为此,采用系统理论过程分析方法评估无人艇航行安全并给出安全优化对策。针对Pixhawk无人艇软硬件架构搭建事故致因模型。采用系统理论过程分析方法分析系统级危险、不安全控制行为及原因。最后,从三个方面提出了提高航行安全性的设计建议,从控制系统角度提高了Pixhawk无人艇航行安全设计能力。 展开更多
关键词 系统理论过程分析 水面无人艇 安全性 Pixhawk
在线阅读 下载PDF
基于系统理论事故模型与过程的危险性分析方法 被引量:4
2
作者 刘杰 甘旭升 +1 位作者 曲虹 戴喆 《中国安全生产科学技术》 CAS CSCD 北大核心 2015年第11期137-143,共7页
传统危险性分析方法将事故视为开始事件诱发的一连串事件所造成的不幸后果,适于处理相对简单或由物理组件构成的系统,但无法胜任较为复杂的社会技术系统,有必要研究和探索推广性更好、更为有效的系统安全分析手段。系统理论事故模型与过... 传统危险性分析方法将事故视为开始事件诱发的一连串事件所造成的不幸后果,适于处理相对简单或由物理组件构成的系统,但无法胜任较为复杂的社会技术系统,有必要研究和探索推广性更好、更为有效的系统安全分析手段。系统理论事故模型与过程(STAMP)将安全视为系统组件间交互的一种涌现特性,并认为事故起因除了组件失效,组件间交互失常而违背安全约束也是重要诱因。主张在系统开发、设计和运行中通过加强控制和强化有关安全约束来预防事故。基于此,先引入了STAMP的基本概念,并介绍了其分析步骤,然后,以贴近真实的导弹拦截系统危险性分析案例,阐述了基于STAMP的分析过程。该分析方法可为开发较高安全性水平的社会技术系统提供技术支持。 展开更多
关键词 危险性分析方法 涌现 系统理论 过程模型 控制行为
在线阅读 下载PDF
基于系统理论过程分析的自动驾驶汽车安全分析方法研究 被引量:9
3
作者 陈君毅 周堂瑞 +1 位作者 邢星宇 熊璐 《汽车技术》 CSCD 北大核心 2019年第12期1-5,共5页
基于系统理论过程分析(STPA)方法,在现有道路车辆功能安全标准框架下,提出一种面向自动驾驶汽车的安全分析方法,该方法同时适用于分析功能安全和预期功能安全的问题,从系统角度出发,将安全问题视为控制问题,找到系统控制过程中存在的潜... 基于系统理论过程分析(STPA)方法,在现有道路车辆功能安全标准框架下,提出一种面向自动驾驶汽车的安全分析方法,该方法同时适用于分析功能安全和预期功能安全的问题,从系统角度出发,将安全问题视为控制问题,找到系统控制过程中存在的潜在危险,并结合原因分析,最终提出功能安全要求。利用该方法对某开发阶段自动驾驶清扫车进行安全分析,提出了相应的功能安全要求,并验证了所提方法的可行性和有效性。 展开更多
关键词 自动驾驶汽车 系统理论过程分析 功能安全 预期功能安全
在线阅读 下载PDF
基于模糊逻辑与系统理论融合的地下储气库老井封堵施工风险评价方法
4
作者 胡瑾秋 肖慈盼 +1 位作者 许子涵 刘若昕 《天然气工业》 北大核心 2025年第3期112-122,共11页
地下储气库(以下简称储气库)老井封堵施工,因井况复杂、动态交互性强,存在井筒窜气及封堵失效等高风险隐患。现有封堵井施工风险评价方法多依赖定性分析,难以量化关键因素间的非线性影响,且传统决策试验和评价实验室(DEMATEL)方法存在... 地下储气库(以下简称储气库)老井封堵施工,因井况复杂、动态交互性强,存在井筒窜气及封堵失效等高风险隐患。现有封堵井施工风险评价方法多依赖定性分析,难以量化关键因素间的非线性影响,且传统决策试验和评价实验室(DEMATEL)方法存在主观偏差问题。为此,基于模糊集理论改进DEMATEL算法,通过量化专家判断与引入原因度—中心度权重优化机制,构建了从系统级事故到不安全控制行为(UCA)的动态因果路径;然后结合概率阈值判定与多级风险传递分析,实现关键风险因素的定量排序与演化机理解析,最后建立了一种融合模糊逻辑与系统理论过程分析(Systematic Theory Process Analysis, STPA)的多尺度风险评价模型。研究结果表明:(1)融合改进的模糊DEMATEL与系统理论过程分析(STPA)方法能有效量化关键风险因素,通过引入原因度和中心度优化权重计算,显著降低了主观偏差,改进后方法的皮尔逊积矩(Pearson)相关系数优于传统模糊DEMATEL;(2)改进后的多级分析能对多个相互影响的风险因素进行多尺度的风险评价,确定不同风险因素的优化权重、相互间的因果关系、整体概率分布和传递路径;(3)多级风险传递路径分析揭示了不安全控制行为动态演化机制。结论认为,案例验证识别结果与施工现场实际风险高度吻合,该方法可以有效识别关键风险因素,且能够克服专家评价的模糊性与不确定性,为储气库老井封堵施工系统精准风险管控提供了理论和技术支撑。 展开更多
关键词 储气库 老井封堵 系统理论过程分析 模糊集理论 决策试验与评价实验室 施工风险评价
在线阅读 下载PDF
系统理论过程分析在自动驾驶安全分析中的应用综述
5
作者 张玉新 吕周杭 +1 位作者 张淼 胡宏宇 《汽车文摘》 2024年第8期17-25,共9页
安全分析是汽车开发过程的重要一环,随着自动驾驶系统复杂性提升,传统安全分析方法面临着挑战。首先,将故障树分析(FTA)、故障模式与影响分析(FMEA)、危险与可操作性分析(HAZOP)这些传统安全分析方法,与系统理论过程分析方法(STPA)进行... 安全分析是汽车开发过程的重要一环,随着自动驾驶系统复杂性提升,传统安全分析方法面临着挑战。首先,将故障树分析(FTA)、故障模式与影响分析(FMEA)、危险与可操作性分析(HAZOP)这些传统安全分析方法,与系统理论过程分析方法(STPA)进行对比,重点阐述使用STPA进行自动驾驶系统安全分析的优势。其次,详细论述了STPA在自动驾驶功能安全、预期功能安全、信息安全及人机交互系统等重要领域的应用现状。最后,从拓展STPA分析方法、加强分析与验证闭环、扩大应用范围的角度对STPA在自动驾驶领域的应用进行了展望。 展开更多
关键词 系统理论过程分析 自动驾驶 安全分析
在线阅读 下载PDF
基于CLPN的系统安全性分析方法
6
作者 余新胜 朱丹江 罗论涵 《计算机工程》 CAS CSCD 北大核心 2024年第10期255-265,共11页
随着安全性攸关系统的智能化、自动化发展,系统规模和复杂度急剧增加,传统基于链式/树式安全性因果模型的安全性分析方法在非线性致危因素、非失效致危因素分析方面存在很大的局限性,现代基于系统理论的安全性因果模型虽然在航空航天、... 随着安全性攸关系统的智能化、自动化发展,系统规模和复杂度急剧增加,传统基于链式/树式安全性因果模型的安全性分析方法在非线性致危因素、非失效致危因素分析方面存在很大的局限性,现代基于系统理论的安全性因果模型虽然在航空航天、核电能源等多个领域得到有效性验证,但目前该类方法尚缺乏严格统一的分析步骤和自动化分析工具。为此,提出复杂系统控制过程的建模工具——控制逻辑Petri网(CLPN),对控制过程中的活动及其之间的交互影响关系进行形式化描述,并对系统CLPN模型的可达图进行失效扩展,在不影响安全性分析的前提下尽量避免因失效事件建模造成的分析模型规模激增。基于CLPN模型,以系统理论事故模型与过程(STAMP)系统安全性因果模型危险因素分类为标准,在可达性分析的基础上对作为系统致危因素的危险控制活动进行探索,实现系统安全性的自动化分析。最后,通过实例分析和方法对比,对所提方法的可用性和有效性进行验证。实验结果表明,基于CLPN的系统安全性分析方法在结果完备性和分析效率方面具有较大的优势。 展开更多
关键词 PETRI网 系统安全性 安全性分析 系统理论事故模型与过程 控制逻辑Petri网
在线阅读 下载PDF
基于系统理论过程分析的安全关键软件安全性验证方法 被引量:5
7
作者 王鹏 吴康 +2 位作者 阎芳 汪克念 张啸晨 《计算机应用》 CSCD 北大核心 2019年第11期3298-3303,共6页
现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的... 现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的软件安全性验证方法。在安全控制结构基础上,通过构建带有软件过程模型变量的过程模型,细化分析危险行为发生的系统上下文信息,并以此生成软件安全性需求。然后通过设计起落架控制系统软件,采用模型检验技术对软件进行安全性验证。结果表明,所提方法能够在系统级层面有效识别出软件中潜在的危险控制路径,并可以减少对人工分析的依赖。 展开更多
关键词 系统理论过程分析方法 软件安全 形式化 模型检验 起落架控制软件
在线阅读 下载PDF
基于系统理论过程分析的软件安全性需求分析与验证方法 被引量:2
8
作者 秦楠 马亮 黄锐 《计算机应用》 CSCD 北大核心 2020年第11期3261-3266,共6页
针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法将其转化为形式化表达式;其次,建立状态图模型来描... 针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法将其转化为形式化表达式;其次,建立状态图模型来描述软件安全控制行为逻辑,并将其转化为程序可读的形式化语言;最后,采用模型检验技术进行形式化验证。结合某武器发射控制系统案例验证了方法的有效性,结果表明,该方法能够实现安全需求分析的自动化生成与形式化验证,解决了传统方法对于人工干预的依赖问题及自然语言描述问题。 展开更多
关键词 系统理论过程分析 软件安全需求 形式化方法 模型检验 武器发射控制系统
在线阅读 下载PDF
厌氧消化过程的系统分析方法 被引量:6
9
作者 王凯军 胡超 《中国沼气》 2005年第2期15-19,共5页
厌氧消化系统是一个多变量、强耦合及高度非线性的超复杂系统,复杂系统传统的手段是采用结构型模型的建模的方法,如本文提到的厌氧消化1号模型(ADM1),本文描述了传统模型对复杂系统的适用范围和局限性,以及对神经网络、专家系统和系统... 厌氧消化系统是一个多变量、强耦合及高度非线性的超复杂系统,复杂系统传统的手段是采用结构型模型的建模的方法,如本文提到的厌氧消化1号模型(ADM1),本文描述了传统模型对复杂系统的适用范围和局限性,以及对神经网络、专家系统和系统动力学三种不同的系统分析方法的综合比较,提出了系统动力学对于研究厌氧消化这种超复杂系统是较为合适的观点,并在本文中通过以乙酸降解过程表述了系统动力学模型的建立方法。 展开更多
关键词 系统分析方法 厌氧消化过程 厌氧消化1号模型 系统动力学模型 复杂系统 消化系统 神经网络 综合比较 专家系统 建立方法 降解过程 多变量 非线性 强耦合 结构型 局限性 传统
在线阅读 下载PDF
基于STPA和Bow-Tie模型的地面无人平台系统安全分析方法
10
作者 肖扬 苏波 +2 位作者 纪超 杨德真 周桐 《兵工学报》 EI CAS CSCD 北大核心 2024年第S02期153-161,共9页
随着地面无人平台(Unmanned Ground Vehicles,UGVs)在复杂作业环境中的潜在应用和战略价值日益凸显,确保其自主行为的安全性变得至关重要。提出一种结合系统理论过程分析(System-Theoretic Process Analysis,STPA)和Bow-Tie模型的地面... 随着地面无人平台(Unmanned Ground Vehicles,UGVs)在复杂作业环境中的潜在应用和战略价值日益凸显,确保其自主行为的安全性变得至关重要。提出一种结合系统理论过程分析(System-Theoretic Process Analysis,STPA)和Bow-Tie模型的地面无人平台系统安全分析方法。围绕遥控操作地面无人平台系统安全,通过STPA方法识别UGV系统中的不安全控制行为及其潜在风险,并利用Bow-Tie模型分析从损失致因场景到可能事故后果的事件链,得到风险传播路径和风险扩散路径。最终,基于Bow-Tie分析结果确定主被动安全分级控制措施,并通过自主安全控制器实现了系统安全管理。 展开更多
关键词 地面无人平台 自主安全 系统理论过程分析 Bow-Tie 主被动安全控制措施
在线阅读 下载PDF
系统管理理论和过程方法思想指导下物资调配中心角色分析 被引量:3
11
作者 尹俊峰 《中国管理信息化》 2014年第13期42-44,共3页
物资供应保障是国家电网公司物资集约化管理的重要工作要求。影响物资供应的要素和过程很多,必须有效加以管控。本文依据系统管理理论和过程方法分析了国家电网公司系统物资调配中心的功能定位和角色,肯定了物资调配中心对提升物资供应... 物资供应保障是国家电网公司物资集约化管理的重要工作要求。影响物资供应的要素和过程很多,必须有效加以管控。本文依据系统管理理论和过程方法分析了国家电网公司系统物资调配中心的功能定位和角色,肯定了物资调配中心对提升物资供应保障能力的重要意义,同时对其功能定位进行进一步的分析和思考。 展开更多
关键词 系统管理理论 过程方法 物资调配 监控预警
在线阅读 下载PDF
制造过程的分析方法与系统仿真
12
作者 石伟 赵斌 +1 位作者 刘玉坤 张晓萍 《机械工人(热加工)》 2003年第1期49-51,共3页
产品制造过程是一个包括用户需求分析,产品方案设计,生产规划,原材料、在制品的库存控制,最终产品的存储、配送策略等在内的综合过程。市场竞争的加剧以及产品生命周期的缩短,特别是市场的不可预测性,极大地影响了企业的生产组织和管理... 产品制造过程是一个包括用户需求分析,产品方案设计,生产规划,原材料、在制品的库存控制,最终产品的存储、配送策略等在内的综合过程。市场竞争的加剧以及产品生命周期的缩短,特别是市场的不可预测性,极大地影响了企业的生产组织和管理方式。以汽车工业为例。 展开更多
关键词 制造过程 分析方法 系统仿真
在线阅读 下载PDF
基于粗糙集理论的不完备数据分析方法的混合信息系统填补算法 被引量:9
13
作者 彭莉 张海清 +3 位作者 李代伟 唐聃 于曦 何磊 《计算机应用》 CSCD 北大核心 2021年第3期677-685,共9页
为了提高基于粗糙集理论的不完备数据分析方法(ROUSTIDA)在实际应用中对包含离散型(如整型、字符串型、枚举型)、连续型(如浮点数表达)、缺失型属性的混合信息系统(HIS)数据的填补能力,提出了一种基于粗糙集理论的混合信息系统缺失值填... 为了提高基于粗糙集理论的不完备数据分析方法(ROUSTIDA)在实际应用中对包含离散型(如整型、字符串型、枚举型)、连续型(如浮点数表达)、缺失型属性的混合信息系统(HIS)数据的填补能力,提出了一种基于粗糙集理论的混合信息系统缺失值填补方法(RSHISMIA)。首先,根据决策属性等价类划分思想并按照决策属性对混合信息系统HIS进行划分,解决了填补后可能出现的决策规则冲突问题;其次,定义混合距离矩阵来合理量化对象间的相似性,从而筛选出具有填补能力的样本并克服ROUSTIDA无法处理连续性属性的缺点;然后,结合近邻思想解决了ROUSTIDA在无差别对象属性值发生冲突情况下无法对相同属性缺失数据进行填补的问题。最后,使用10个UCI标准数据集进行实验,将所提出的方法与ROUSTIDA、K近邻填补(KNNI)算法、随机森林填补(RFI)算法和矩阵分解(MF)等几种经典算法进行了比较。实验结果表明,与ROUSTIDA相比,所提方法在查全率上平均高出81%,在查准率上提升了5%~53%,且其归一化均方根误差(NRMSE)最多减小了0.12。此外,所提方法的分类准确率与ROUSTIDA相比平均提升了7%,且优于KNNI、RFI及MF等填补算法。 展开更多
关键词 基于粗糙集理论的不完备数据分析方法 混合信息系统 缺失值填补 混合距离 最近邻
在线阅读 下载PDF
史学理论中的历史系统分析方法
14
作者 赵兴彬 《岱宗学刊》 1998年第2期57-59,共3页
历史系统分析方法曾是80年代初期史学界热烈讨论的课题之一,但一阵风后便悄然无声,不了了之.这不但造成了史学理论研究的遗憾,而且更给史学理论教学带来了巨大困难,因为按照教学计划的规定,史学理论教学中不能回避或越过这部分内容.所... 历史系统分析方法曾是80年代初期史学界热烈讨论的课题之一,但一阵风后便悄然无声,不了了之.这不但造成了史学理论研究的遗憾,而且更给史学理论教学带来了巨大困难,因为按照教学计划的规定,史学理论教学中不能回避或越过这部分内容.所以在史学理论教学中如何处理这部分内容,并尽可能使之定型化,就成了教学和研究中亟待解决的难题.笔者在多年的研究和教学实践中作了如下尝试性处理. 展开更多
关键词 史学理论 史学理论研究 史学理论教学 历史系统分析方法 唯物史观
在线阅读 下载PDF
基于STPA与模糊BN的新能源汽车安全性分析方法研究 被引量:2
15
作者 张顺 周娟 《现代电子技术》 北大核心 2024年第8期18-24,共7页
随着新能源汽车自动化程度不断提高,各系统之间耦合造成的故障急剧增加,传统的安全分析方法已无法满足当前汽车复杂系统的危险性分析要求。针对新能源汽车突然失控事故存在的高危性、复杂多样的问题,提出一种基于STPA与模糊BN的新能源... 随着新能源汽车自动化程度不断提高,各系统之间耦合造成的故障急剧增加,传统的安全分析方法已无法满足当前汽车复杂系统的危险性分析要求。针对新能源汽车突然失控事故存在的高危性、复杂多样的问题,提出一种基于STPA与模糊BN的新能源汽车安全性分析方法。首先,运用系统理论过程分析方法(STPA)分析新能源汽车突然失控事故,得出系统级事故及危险,构建控制反馈回路,并识别不安全控制行为;接着,根据STPA分析结果构建模糊BN,通过GeNIe软件训练数据,可视化模糊BN,得到基本事件的发生概率,并由试验仿真得出蓄电池及储能系统、电机电控和整车控制器的后验概率分别为0.70、0.17和0.16。结果表明,所提方法能有效识别系统潜在危险,发现系统薄弱环节,可为提高系统可靠性提供依据。 展开更多
关键词 新能源汽车 安全性分析 系统理论过程分析方法 模糊BN 系统级事故 不安全控制行为
在线阅读 下载PDF
多重防护机制下LNG动力船风险态势分析方法
16
作者 胡甚平 邹春 +1 位作者 吴建军 王忠诚 《安全与环境学报》 CAS CSCD 北大核心 2024年第8期2895-2903,共9页
为探讨多重防护机制下的液化天然气(Liquefied Natural Gas,LNG)动力船营运风险特征,提出了一种基于复杂性控制系统作用模式的风险态势分析方法。从系统控制过程视角,采用系统控制过程分析方法(System-Theoretic Process Analysis,STPA... 为探讨多重防护机制下的液化天然气(Liquefied Natural Gas,LNG)动力船营运风险特征,提出了一种基于复杂性控制系统作用模式的风险态势分析方法。从系统控制过程视角,采用系统控制过程分析方法(System-Theoretic Process Analysis,STPA)确立LNG动力船系统安全控制的风险致因,揭示基于LNG泄漏三重防护机制的风险因子体系和风险形成机制;引入隐马尔可夫模型(Hidden Markov Model,HMM),进行无监督学习并确立模型参数,推理多重防护机制下的LNG动力船风险转移特征;结合LNG动力船营运的具体场景,对三重防护机制分别进行仿真并统计风险态势。仿真结果表明,三重防护机制在降低LNG动力船营运风险态势方面具有因子诱导的针对性,在防漏因子、止漏因子和治漏因子诱导下LNG动力船分别趋向一般风险状态、较高风险状态和高风险状态。基于复杂性控制系统作用模式的风险态势分析可为LNG动力船营运的安全控制和风险管理提供管控模式和手段。 展开更多
关键词 安全系统 LNG动力船 系统理论事故模型与过程(STAMP) 隐马尔科夫模型(HMM) 风险态势
在线阅读 下载PDF
火电厂热力系统热经济性矩阵分析方法 被引量:70
17
作者 郭江龙 张树芳 +1 位作者 宋之平 陈海平 《中国电机工程学报》 EI CSCD 北大核心 2004年第1期205-210,共6页
以现代计算手段为依托,在“先归并,后分析”的分析思路指导下,结合等效热降理论和q-g-t 矩阵,构造了能效分布矩阵方程,该矩阵方程全面反映了机组主系统和各种辅助系统对机组热经济性的影响状况,每个矩阵物理意义明确、规律性强。该矩阵... 以现代计算手段为依托,在“先归并,后分析”的分析思路指导下,结合等效热降理论和q-g-t 矩阵,构造了能效分布矩阵方程,该矩阵方程全面反映了机组主系统和各种辅助系统对机组热经济性的影响状况,每个矩阵物理意义明确、规律性强。该矩阵方程的矩阵分析方法适用于各种凝汽机组的热经济性分析计算,具有通用、精确和适应计算机程序化的特点,可以使热力系统的热经济性整体计算和局部分析变得更加清晰、简单、客观,非常适合于计算机程序化。最后对所述方法,通过实例进行了验证。 展开更多
关键词 火电厂 热力系统 热经济性 矩阵分析方法 等效热降理论
在线阅读 下载PDF
事故过程的确定性混沌分析方法 被引量:6
18
作者 钟茂华 范维澄 +1 位作者 王清安 陈宝智 《中国安全科学学报》 CAS CSCD 2000年第3期28-32,共5页
综述了对事故致因理论的研究现状 ;提出了系统事故过程的确定性混沌分析方法 ;介绍了混沌分析方法的计算步骤 ;并以矿井火灾过程进行了实例分析。结果表明 :这种方法可对事故过程的系统状态进行连续分析。
关键词 事故过程 混沌分析方法 连续分析 事故致因理论 矿井 火灾 系统状态
在线阅读 下载PDF
基于STPA的CTCS-3级列控系统功能安全分析方法 被引量:7
19
作者 刘金涛 唐涛 +1 位作者 赵林 刘磊 《中国铁道科学》 EI CAS CSCD 北大核心 2014年第5期86-95,共10页
利用形式化方法对系统理论的过程分析(STPA)进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型;将系统的PHAVer模型和故障模型整合,构造出包含故障的系统PHAVer模型;采用... 利用形式化方法对系统理论的过程分析(STPA)进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型;将系统的PHAVer模型和故障模型整合,构造出包含故障的系统PHAVer模型;采用可达集计算对包含故障的系统PHAVer模型进行分析,从而自动辨识出导致不恰当控制的原因,实现对系统功能的安全分析。以CTCS-3级列控系统的无线闭塞中心交接场景为例,使用扩展后的STPA方法,针对给定的系统危险,进行系统功能安全分析。分析结果表明,利用形式化技术扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。 展开更多
关键词 系统PHAVer模型 列车控制系统 系统理论过程分析 系统功能 安全分析
在线阅读 下载PDF
基于STAMP-ISM的铁路危险品运输系统风险-事故分析方法 被引量:20
20
作者 张玥 帅斌 +4 位作者 尹德志 张锐 徐逸飞 于耀程 黄文成 《中国安全生产科学技术》 CAS CSCD 北大核心 2020年第9期147-153,共7页
为预防铁路危险品运输系统事故的发生,采用STAMP-ISM模型分析铁路危险品运输系统风险-事故。首先,利用STAMP模型详细分析事故,得到控制结构的相关安全约束、不充分控制行为及产生原因,以及系统的安全动态变化;其次,采用ISM分析事故致因... 为预防铁路危险品运输系统事故的发生,采用STAMP-ISM模型分析铁路危险品运输系统风险-事故。首先,利用STAMP模型详细分析事故,得到控制结构的相关安全约束、不充分控制行为及产生原因,以及系统的安全动态变化;其次,采用ISM分析事故致因因素之间的关联关系并划分层级;最后,基于STAMP和ISM分析结果提出系统改进方案。以我国一起匿名夹带事故为背景进行案例研究,结果表明,ISM模型的加入可深入挖掘事故因素间的相互关系,为事故致因因素重要度划分层级,分析结果及建议更具针对性。 展开更多
关键词 铁路危险品运输 系统风险-事故分析 事故预防 系统理论事故模型与过程 解释结构模型
在线阅读 下载PDF
上一页 1 2 70 下一页 到第
使用帮助 返回顶部