期刊文献+
共找到331篇文章
< 1 2 17 >
每页显示 20 50 100
Safety analysis of wheel brake system based on STAMP/STPA and Monte Carlo simulation 被引量:8
1
作者 HU Jianbo ZHENG Lei XU Shukui 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2018年第6期1327-1339,共13页
The wheel brake system safety is a complex problem which refers to its technical state, operating environment, human factors, etc., in aircraft landing taxiing process. Usually, professors consider system safety with ... The wheel brake system safety is a complex problem which refers to its technical state, operating environment, human factors, etc., in aircraft landing taxiing process. Usually, professors consider system safety with traditional probability techniques based on the linear chain of events. However, it could not comprehensively analyze system safety problems, especially in operating environment, interaction of subsystems, and human factors. Thus,we consider system safety as a control problem based on the system-theoretic accident model, the processes(STAMP) model and the system theoretic process analysis(STPA) technique to compensate the deficiency of traditional techniques. Meanwhile,system safety simulation is considered as system control simulation, and Monte Carlo methods are used which consider the range of uncertain parameters and operation deviation to quantitatively study system safety influence factors in control simulation. Firstly,we construct the STAMP model and STPA feedback control loop of the wheel brake system based on the system functional requirement. Then four unsafe control actions are identified, and causes of them are analyzed. Finally, we construct the Monte Carlo simulation model to analyze different scenarios under disturbance. The results provide a basis for choosing corresponding process model variables in constructing the context table and show that appropriate brake strategies could prevent hazards in aircraft landing taxiing. 展开更多
关键词 safety analysis landing taxiing system-theoretic accident model and processes(STAMP) model and system theoretic process analysis(stpa)(STAMP/stpa) feedback control loop Monte Carlo simulation
在线阅读 下载PDF
基于STPA的联锁系统层级安全需求建模及确认方法
2
作者 陈祖希 周林 +3 位作者 梅萌 王龙生 张宏扬 徐中伟 《中国铁道科学》 北大核心 2026年第1期185-196,共12页
针对铁路联锁系统安全需求验证中存在的动态行为建模不足和层级约束可追溯性弱等问题,提出1种基于系统理论过程分析(STPA)与形式化开发协同的安全需求建模及确认方法。首先,通过扩展STPA框架,建立多层次的安全需求模型,将顶层抽象的系... 针对铁路联锁系统安全需求验证中存在的动态行为建模不足和层级约束可追溯性弱等问题,提出1种基于系统理论过程分析(STPA)与形式化开发协同的安全需求建模及确认方法。首先,通过扩展STPA框架,建立多层次的安全需求模型,将顶层抽象的系统级安全约束逐步精化为具体的安全需求;其次,设计面向铁路联锁领域的分层精化策略,实现安全需求向形式化模型不变式与事件守卫条件的系统性转化;最后,引入形式化验证工具链,构建集定理证明、模型检测和行为仿真于一体的混合验证机制,通过数学证明完成各精化层级的验证,利用模型检验的状态空间探索与反例生成功能,全面验证由安全需求转化而来的模型不变式及线性时序逻辑(LTL)的正确性,并通过仿真复现典型运行场景,确认系统无死锁且满足预期的安全需求。结果表明:经过3次分层精化,将132条证明义务分解到4层模型中,并通过形式化验证工具进一步完成安全需求的确认,有效降低了铁路联锁系统安全需求建模的复杂性,也为铁路联锁系统的安全运行奠定了基础。 展开更多
关键词 铁路联锁系统 形式化方法 安全需求 线性时序逻辑 stpa
在线阅读 下载PDF
Optimization and Sensitivity Analysis of Non-Isothermal Carreau Fluid Flow in Roll Coating Systems with Fixed Boundary Constraints:A Comparative Investigation
3
作者 Mujahid Islam Fateh Ali +2 位作者 Xinlong Feng M.Zahid Sana Naz Maqbool 《Computer Modeling in Engineering & Sciences》 2025年第12期3511-3561,共51页
Roll coating is a vital industrial process used in printing,packaging,and polymer film production,where maintaining a uniform coating is critical for product quality and efficiency.This work models non-isothermal Carr... Roll coating is a vital industrial process used in printing,packaging,and polymer film production,where maintaining a uniform coating is critical for product quality and efficiency.This work models non-isothermal Carreau fluid flow between a rotating roll and a stationary wall under fixed boundary constraints to evaluate how non-Newtonian and thermal effects influence coating performance.The governing equations are transformed into non-dimensional form and simplified using lubrication approximation theory.Approximate analytical solutions are obtained via the perturbation technique,while numerical results are computed using both the finite difference method and the BVPMidrich technique.Furthermore,Response surface methodology(RSM)is employed for optimization and sensitivity analysis.Analytical and numerical results show strong agreement(<1%deviation).The model predicts coating thickness 0.55≤λ≤0.64,power input 1.05≤P_(w)≤1.99,and separation force 0.91≤S_(f)≤1.82 for 0.1≤We≤0.9 and 0.01≤F≤0.09.Increasing We enhances the coating thickness and power input but reduces velocity and separation force.The findings provide physical insight into elastic and viscous effects in roll coating,providing insight for optimizing coating uniformity,minimizing wear,improving industrial coating processes,and extending substrate lifespan. 展开更多
关键词 Roll coating process finite difference method carreau fluid model sensitivity analysis response surface methodology lubrication theory
在线阅读 下载PDF
基于STPA的民机起落架收放系统风险因素分析研究
4
作者 贾宝惠 温晓伟 +2 位作者 王毅强 韩文瑞 肖海建 《中国民航大学学报》 2025年第3期8-14,共7页
本文基于系统理论过程分析(STPA,system theoretic process analysis)方法,识别确定了飞机起落架收放系统的系统级危险,构建了系统的人机控制、系统功能动作和反馈等运行全过程的行为原理框图模型,识别系统运行过程中的不安全控制行为(U... 本文基于系统理论过程分析(STPA,system theoretic process analysis)方法,识别确定了飞机起落架收放系统的系统级危险,构建了系统的人机控制、系统功能动作和反馈等运行全过程的行为原理框图模型,识别系统运行过程中的不安全控制行为(UCA,unsafe control action)并分析导致UCA发生的风险因素。研究表明,该方法不仅能够分析出传统安全分析方法识别到的所有组件物理故障因素,还能识别出位置作动控制组件(PACU,position and actuate on control unit)核心处理器算法延迟、机组成员误操作等由人机交互导致UCA发生的风险因素。本文研究结果可为民用飞机研发和使用全过程的安全性分析提供理论依据和方法支持。 展开更多
关键词 起落架收放系统 风险识别 风险分析 系统理论过程分析(stpa)
在线阅读 下载PDF
基于改进STPA的民机座舱压力控制系统安全性分析
5
作者 谭娜 马金亮 高源 《机械设计》 北大核心 2025年第9期130-136,共7页
民机座舱压力控制系统作为飞机的重要组成系统之一,关系着机身结构及机载人员的安全。针对民机座舱压力控制系统安全性分析缺乏精准定量分析方法的问题,为有效识别系统中的危险源,提出基于STPA-DEMATEL-ANP的安全性分析模型。模型根据... 民机座舱压力控制系统作为飞机的重要组成系统之一,关系着机身结构及机载人员的安全。针对民机座舱压力控制系统安全性分析缺乏精准定量分析方法的问题,为有效识别系统中的危险源,提出基于STPA-DEMATEL-ANP的安全性分析模型。模型根据系统理论过程分析(STPA)确定系统级危险,构建座舱压力控制系统的控制结构,并以此分析潜在的不安全控制行为并识别相关致因因素,采用决策试验和评价试验法(DEMATEL)及网络层次分析法(ANP)相结合的定量分析方法,对致因因素进行权重分析得到关键致因,为座舱压力控制系统的安全性分析提供支持。 展开更多
关键词 安全性分析 系统理论过程分析 座舱压力控制系统 DEMATEL-ANP
原文传递
Quantum-Classical Algorithm for an Instantaneous Spectral Analysis of Signals:A Complement to Fourier Theory 被引量:2
6
作者 Mario Mastriani 《Journal of Quantum Information Science》 2018年第2期52-77,共26页
A quantum time-dependent spectrum analysis, or simply, quantum spectral analysis (QSA) is presented in this work, and it’s based on Schr&#246;dinger’s equation. In the classical world, it is named frequency in t... A quantum time-dependent spectrum analysis, or simply, quantum spectral analysis (QSA) is presented in this work, and it’s based on Schr&#246;dinger’s equation. In the classical world, it is named frequency in time (FIT), which is used here as a complement of the traditional frequency-dependent spectral analysis based on Fourier theory. Besides, FIT is a metric which assesses the impact of the flanks of a signal on its frequency spectrum, not taken into account by Fourier theory and lets alone in real time. Even more, and unlike all derived tools from Fourier Theory (i.e., continuous, discrete, fast, short-time, fractional and quantum Fourier Transform, as well as, Gabor) FIT has the following advantages, among others: 1) compact support with excellent energy output treatment, 2) low computational cost, O(N) for signals and O(N2) for images, 3) it does not have phase uncertainties (i.e., indeterminate phase for a magnitude = 0) as in the case of Discrete and Fast Fourier Transform (DFT, FFT, respectively). Finally, we can apply QSA to a quantum signal, that is, to a qubit stream in order to analyze it spectrally. 展开更多
关键词 Fourier theory Heisenberg’s Uncertainty Principle Quantum Fourier Transform Quantum Information processing Quantum Signal processing Schrodinger’s Equation Spectral analysis
在线阅读 下载PDF
基于STPA的铁路联锁系统安全需求分析及验证方法
7
作者 张程 祁世威 +2 位作者 陈祖希 安康 梅萌 《上海师范大学学报(自然科学版中英文)》 2025年第6期671-684,共14页
作为确保行车安全的核心组成部分,自动列车防护(ATP)系统的正确性与可靠性尤为关键,其中联锁系统的安全性成为研究重点.本文提出一种结合系统理论过程分析(STPA)与NuSMV模型的安全性分析框架,通过识别联锁系统的潜在不安全控制行为(UCA)... 作为确保行车安全的核心组成部分,自动列车防护(ATP)系统的正确性与可靠性尤为关键,其中联锁系统的安全性成为研究重点.本文提出一种结合系统理论过程分析(STPA)与NuSMV模型的安全性分析框架,通过识别联锁系统的潜在不安全控制行为(UCA),系统性提取安全需求,将需求转化为形式化线性时间逻辑(LTL)公式,并通过NuSMV模型进行检测,验证系统在不同运行场景下的安全性.研究表明,该方法不仅能发现传统分析易忽略的复杂交互风险,还能通过形式化验证,提供更良好的安全性保障,为人工智能背景下铁路联锁系统的安全设计与评估提供了一条符合标准且高效可行的技术路径. 展开更多
关键词 铁路联锁系统 安全需求 模型检验 系统理论过程分析(stpa)
在线阅读 下载PDF
基于STPA-Bayes模型的航空事故致因分析与风险评估
8
作者 孙晓哲 王家璇 杨建忠 《科学技术与工程》 北大核心 2025年第20期8714-8724,共11页
通过系统理论过程分析(system-theoretic process analysis,STPA)方法识别航空事故危险因素,属于定性分析过程,无法定量地评估各因素对事故的影响程度。针对上述问题,提出STPA与贝叶斯网络(Bayesian network,BN)结合的定性与定量分析方... 通过系统理论过程分析(system-theoretic process analysis,STPA)方法识别航空事故危险因素,属于定性分析过程,无法定量地评估各因素对事故的影响程度。针对上述问题,提出STPA与贝叶斯网络(Bayesian network,BN)结合的定性与定量分析方法。以捷蓝航空A320飞机襟翼事故为例,通过STPA方法构建了襟翼控制系统的控制结构模型并全面地分析了潜在的不安全控制行为及相关致因场景。随后将STPA定性分析结果转化为可定量分析的贝叶斯网络模型,从而识别出事故中的内部交互逻辑以及影响度较高的致因因素,提出全面的安全性建议。分析结果表明:导致事故的主要因素为液压源故障,而动力传输组件(power transmission unit,PTU)故障和液压管路泄漏是导致液压源失效的主要原因,关键重要度分别为0.688和0.299。 展开更多
关键词 事故分析 系统理论过程分析(stpa) 贝叶斯网络(BN) 致因分析 风险评估
在线阅读 下载PDF
基于STPA与Bow-Tie模型的城市低空环境中载人eVTOL安全风险分析
9
作者 张宗昌 朱捷 《科技和产业》 2025年第23期30-37,共8页
针对城市低空环境中载人eVTOL(电动垂直起降飞行器)飞行安全,尤其在偏航失控等高风险场景,提出一种融合系统理论过程分析(STPA)与Bow-Tie模型的风险分析方法。首先,基于STPA方法识别自主飞行过程中的不安全控制行为及其潜在风险。随后,... 针对城市低空环境中载人eVTOL(电动垂直起降飞行器)飞行安全,尤其在偏航失控等高风险场景,提出一种融合系统理论过程分析(STPA)与Bow-Tie模型的风险分析方法。首先,基于STPA方法识别自主飞行过程中的不安全控制行为及其潜在风险。随后,结合Bow-Tie模型,从致因事件到事故后果的演化过程进行分析,构建风险传播与扩散路径,明确关键风险节点,制定相应的主动与被动安全分级控制策略。最终,通过集成自主安全控制器,实现对系统的整体安全管理与动态风险防控。 展开更多
关键词 载人eVTOL(电动垂直起降飞行器) 偏航失控 stpa(系统理论过程分析) Bow-Tie模型 系统安全
在线阅读 下载PDF
STPA危险分析方法及其在ATSA-ITP设计中的应用 被引量:6
10
作者 甘旭升 崔浩林 +2 位作者 刘卫东 戴哲 李玉彬 《中国安全科学学报》 CAS CSCD 北大核心 2015年第5期80-86,共7页
传统危险分析方法无法胜任对复杂的非线性社会技术系统的分析。系统理论过程分析(STPA)方法是建立在系统理论事故建模和过程(STAMP)基础上的一种新型的危险分析方法,它将安全视为系统的一种涌现特性,认为除了组件失效,组件间的非功能交... 传统危险分析方法无法胜任对复杂的非线性社会技术系统的分析。系统理论过程分析(STPA)方法是建立在系统理论事故建模和过程(STAMP)基础上的一种新型的危险分析方法,它将安全视为系统的一种涌现特性,认为除了组件失效,组件间的非功能交互也是导致危险的主要原因,并通过定义系统危险、绘制安全控制结构、识别不安全控制行为、确定不安全控制行为起因等4个步骤完成危险分析过程。美国的空中交通态势感知尾随程序(ATSA-ITP)设计案例分析表明,STPA方法的组织形式有序,逻辑结构严谨,分析过程透彻。 展开更多
关键词 系统理论过程分析(stpa) 危险分析方法 涌现特性 安全约束 安全控制结构 不安全控制行为
原文传递
面向IMA通用系统管理的STPA安全性分析 被引量:6
11
作者 肖国松 刘嘉琛 +2 位作者 董磊 孙紫荆 赵长啸 《中国安全科学学报》 CAS CSCD 北大核心 2021年第9期8-14,共7页
通用系统管理(GSM)是综合模块化航电(IMA)系统服务中不可或缺的一部分,为解决传统安全性分析方法难以捕获复杂系统中组件交互所带来的危险。首先,研究GSM的工作环境及相关组件的功能划分,确定层次化系统管理的工作流程;其次,面向GSM建... 通用系统管理(GSM)是综合模块化航电(IMA)系统服务中不可或缺的一部分,为解决传统安全性分析方法难以捕获复杂系统中组件交互所带来的危险。首先,研究GSM的工作环境及相关组件的功能划分,确定层次化系统管理的工作流程;其次,面向GSM建立基于系统理论事故过程的扩展模型,并通过系统理论过程分析(STPA)对动态重构实例的不安全控制行为(UCA)进行识别,生成相关致因场景及其对应的安全性需求;最后,通过时间自动机对实例进行仿真验证。结果表明:模型的逻辑和时序的完整性及UCA的可达性,可为GSM的安全性分析提供形式化依据。 展开更多
关键词 综合模块化航电(IMA) 通用系统管理(GSM) 系统理论过程分析(stpa) 动态重配置 安全性分析
原文传递
基于STPA的鱼雷发射安全性分析 被引量:5
12
作者 秦楠 马亮 +1 位作者 周杰 魏勇 《兵器装备工程学报》 CAS CSCD 北大核心 2021年第4期42-46,共5页
针对复杂鱼雷发射系统传统安全性分析方法的局限性问题,提出了一种新的鱼雷发射安全性分析方法。采用系统理论过程分析方法对鱼雷发射安全性问题进行研究。通过系统级分析建模,识别鱼雷发射过程的不安全控制行为,分析其产生的关键原因;... 针对复杂鱼雷发射系统传统安全性分析方法的局限性问题,提出了一种新的鱼雷发射安全性分析方法。采用系统理论过程分析方法对鱼雷发射安全性问题进行研究。通过系统级分析建模,识别鱼雷发射过程的不安全控制行为,分析其产生的关键原因;构建鱼雷发射安全性计算分析框架,选取具体不安全控制行为作为计算分析对象,开展了基于STPA的鱼雷发射定量安全性分析。结果表明,采用STPA方法可为鱼雷发射安全性设计提供指导。 展开更多
关键词 鱼雷发射 系统理论过程分析 不安全控制行为 安全性 定量分析
在线阅读 下载PDF
基于STPA的机载平视显示系统安全性分析 被引量:9
13
作者 王鹏 李浩 +1 位作者 赵长啸 邢培培 《电讯技术》 北大核心 2019年第12期1469-1476,共8页
平视显示(Head-up Display,HUD)系统属于航电安全关键系统,可以提高低能见度下的飞机运行安全,需要在系统研制过程中开展完善的风险识别与分析。随着系统复杂性的增加,传统方法很难捕获系统组件交互带来的危险。为此,采用系统理论过程分... 平视显示(Head-up Display,HUD)系统属于航电安全关键系统,可以提高低能见度下的飞机运行安全,需要在系统研制过程中开展完善的风险识别与分析。随着系统复杂性的增加,传统方法很难捕获系统组件交互带来的危险。为此,采用系统理论过程分析(Systematic Theory Process Analysis,STPA)对HUD进行分析,充分考虑系统的多方交互,识别系统潜在的不安全控制行为,同时利用时间自动机理论及其工具UPPAAL对系统进行建模,验证STPA识别的不安全控制行为;最后设计了一个路径算法,对导致其发生的危险路径进行检索。结果表明,该方法能够识别出系统潜在的危险及其原因,减少了人为因素对分析的影响。 展开更多
关键词 民用飞机 航空电子系统 平视显示系统 安全性分析 系统理论过程分析 时间自动机
在线阅读 下载PDF
基于STPA-FCM模型的自主航行船舶功能系统分析 被引量:5
14
作者 秦庭荣 周歆捷 +1 位作者 何荥杰 陈伟炯 《中国安全科学学报》 CAS CSCD 北大核心 2023年第8期8-14,共7页
为探析自主航行船舶(MASS)功能系统之间的失效机制,提升航行安全,将系统理论过程分析(STPA)方法与模糊认知图(FCM)方法相结合,构建MASS功能系统失效特征分析模型。通过STPA方法对功能系统的控制/反馈关系建模,确定27个控制关系与43个反... 为探析自主航行船舶(MASS)功能系统之间的失效机制,提升航行安全,将系统理论过程分析(STPA)方法与模糊认知图(FCM)方法相结合,构建MASS功能系统失效特征分析模型。通过STPA方法对功能系统的控制/反馈关系建模,确定27个控制关系与43个反馈关系,分析潜在的不安全控制行为(UCA)及其产生的关键致因,在此基础上,运用FCM方法构建各功能系统之间的交互关系,并反演出最终稳态下的相对失效概率。结果表明:最为核心的功能模块为电力系统、虚拟船长系统、动力定位系统、避碰系统,其稳定值占比分别为7.66%,7.62%,7.47%,7.14%,应优先确保其可靠性、稳定性和安全性。 展开更多
关键词 系统理论过程分析(stpa) 模糊认知图(FCM) 自主航行船舶(MASS) 功能系统 失效概率 控制/反馈关系
原文传递
航空四站气体保障过程的STAMP建模与STPA安全性分析 被引量:7
15
作者 胡剑波 李俊 郑磊 《航空工程进展》 CSCD 2017年第4期408-415,共8页
航空四站气体保障装备的可靠性在不断提高,而气体保障过程中的事故仍有发生,需要一种新的方法系统地去识别新的危险因素,从而提高系统的安全性。从控制的角度结合STAMP和STPA对航空四站气体保障过程进行安全性分析。首先,介绍STAMP/STP... 航空四站气体保障装备的可靠性在不断提高,而气体保障过程中的事故仍有发生,需要一种新的方法系统地去识别新的危险因素,从而提高系统的安全性。从控制的角度结合STAMP和STPA对航空四站气体保障过程进行安全性分析。首先,介绍STAMP/STPA的工作机理;然后,对航空四站气体保障过程构建STAMP模型,采用STPA安全分析方法对航空四站气体保障过程的安全性进行分析,识别不安全控制行为,对生成的不安全控制行为进行场景分析;最后,与事故树分析法(ATA)进行分析结果的比较,从而证实了该方法的优越性。结果表明:采用STAMP模型和STPA安全分析法可以更加全面地识别出不安全控制行为及其原因,更有利于保证航空四站气体保障过程的安全。 展开更多
关键词 安全性 安全分析方法 STAMP stpa 航空四站气体保障过程
在线阅读 下载PDF
基于STPA和模糊BN的装配式建筑吊装施工安全风险分析 被引量:33
16
作者 王军武 潘子瑶 +2 位作者 王靖 田梦圆 刘森 《中国安全生产科学技术》 CAS CSCD 北大核心 2022年第4期12-19,共8页
为有效评估装配式建筑吊装施工中的安全风险状态,识别关键风险因素,运用系统理论过程分析方法(STPA)构建吊装施工过程中的控制反馈结构,识别导致危险的不安全控制行为,确定不安全控制行为的致因因素;基于风险因素间的关联关系构建贝叶... 为有效评估装配式建筑吊装施工中的安全风险状态,识别关键风险因素,运用系统理论过程分析方法(STPA)构建吊装施工过程中的控制反馈结构,识别导致危险的不安全控制行为,确定不安全控制行为的致因因素;基于风险因素间的关联关系构建贝叶斯网络(BN)模型,推理计算装配式建筑吊装施工安全风险状态概率,并结合反向诊断推理分析影响安全事故的风险因素;通过敏感性分析,识别装配式建筑吊装施工安全中的关键风险因素。结果表明:装配式建筑吊装施工安全风险处于低风险状态;起重机械超负荷运行、现场安全管理不到位和吊索吊具存在缺陷等因素是影响装配式建筑吊装施工安全风险的关键风险因素。 展开更多
关键词 装配式建筑 吊装施工 系统理论过程分析方法(stpa) 不安全控制行为 模糊贝叶斯网络(FBN) 安全风险分析
在线阅读 下载PDF
基于STPA的城市埋地燃气管道第三方破坏风险因素分析 被引量:3
17
作者 王文和 罗静 +2 位作者 易俊 易图云 李凤 《工业安全与环保》 2021年第3期6-10,共5页
城市埋地燃气管道输送介质易燃易爆、埋设环境人口密集、施工频繁,极易受到来自第三方的破坏,直接威胁人们的生命财产安全,因此对第三方破坏的风险因素分析和防治十分必要。系统理论过程分析法(STPA)是一种基于系统理论的风险分析方法,... 城市埋地燃气管道输送介质易燃易爆、埋设环境人口密集、施工频繁,极易受到来自第三方的破坏,直接威胁人们的生命财产安全,因此对第三方破坏的风险因素分析和防治十分必要。系统理论过程分析法(STPA)是一种基于系统理论的风险分析方法,该方法不同于传统的风险分析方法——将事故视为由初始事件诱发的一系列事件造成的后果,而是对燃气系统从设计、开发和运行过程进行分析,建立系统安全控制结构,通过分析控制缺陷和缺陷致因实现对风险因素的分析。研究分析出24个燃气管道第三方破坏的风险因素,针对风险因素提出了建议,为燃气管道第三方破坏的风险控制提供依据。 展开更多
关键词 埋地燃气管道 风险分析方法 系统理论过程分析法(stpa) 约束控制
在线阅读 下载PDF
基于STPA和FTPN的海上自主水面船舶航行实时风险评估 被引量:3
18
作者 席永涛 刘鹏杰 +1 位作者 胡甚平 韩冰 《中国安全科学学报》 CAS CSCD 北大核心 2024年第8期18-26,共9页
为实时监测海上自主水面船舶(MASS)航行过程风险,基于系统理论事故模型与过程(STAMP)建立MASS的安全控制结构,采用系统理论过程分析法(STPA)确定损失/事故和系统级危险,识别不安全控制行为并分析损失场景,构建系统状态转化过程模型;采... 为实时监测海上自主水面船舶(MASS)航行过程风险,基于系统理论事故模型与过程(STAMP)建立MASS的安全控制结构,采用系统理论过程分析法(STPA)确定损失/事故和系统级危险,识别不安全控制行为并分析损失场景,构建系统状态转化过程模型;采用模糊时间Petri网(FTPN)建模,以设定的MASS航行场景得到相关模糊时间函数并推算FTPN的情态演进;引入新的风险水平表达式并通过系统实时损失/事故二维路径图来可视化系统的实时风险水平和系统不安全状态的转化路径。结果表明:设定的航行场景在当前时刻下,缺少安全水深输入、未更新避碰路径、航向航速不安全、搁浅是风险最高的系统不安全状态,并对应4条风险最高的转化路径;STPA驱动下的FTPN过程模型能全面评估MASS航行的实时风险水平,以系统实时损失/事故二维路径图作为可视化界面,用于监管MASS航行中不安全系统状态并描述其转化路径。 展开更多
关键词 系统理论过程分析(stpa) 模糊时间Petri网(FTPN) 海上自主水面船舶(MASS) 实时风险评估 转化路径
原文传递
基于STPA方法的平交道口安全需求分析 被引量:9
19
作者 刘宏杰 唐涛 +1 位作者 金夏垚 杜恒 《北京交通大学学报》 CAS CSCD 北大核心 2018年第2期84-90,共7页
现代平交道口控制系统多为由计算机组成的基于通信的控制系统,该类型系统中的危险致因大多源于系统组件间的复杂交互场景未得到充分辨识和控制。为了避免平交道口事故的发生,提出一套基于系统理论过程分析(STPA)的铁路信号系统安全分析... 现代平交道口控制系统多为由计算机组成的基于通信的控制系统,该类型系统中的危险致因大多源于系统组件间的复杂交互场景未得到充分辨识和控制。为了避免平交道口事故的发生,提出一套基于系统理论过程分析(STPA)的铁路信号系统安全分析方法。借助对传统STPA方法的改进及XSTAMPP软件,以平交道口控制系统为案例进行了安全分析。研究结果实现了安全需求可根据危险分析结果自动生成,解决了传统STPA过程过于依赖人工的问题;分析得到的平交道口控制系统安全需求被自动转化为线性时序逻辑(LTL)语言描述的形式化规范,避免了传统STPA分析结果用自然语言描述可能存在的歧义性,为基于模型的系统设计、测试和验证提供参考。 展开更多
关键词 平交道口 系统理论过程分析 安全分析 线性时序逻辑 XSTAMPP软件
在线阅读 下载PDF
高铁应急调度STAMP/STPA安全性分析 被引量:8
20
作者 吴海涛 黎双喜 《中国安全科学学报》 CAS CSCD 北大核心 2021年第6期113-120,共8页
为克服传统安全分析模型不能评估高铁调度系统中组件之间复杂交互的缺陷,基于系统理论的事故过程模型(STAMP),将高铁应急指挥系统中人员与设备之间交互安全性问题视作系统控制和反馈问题,构建高铁应急调度控制反馈模型,识别系统安全风... 为克服传统安全分析模型不能评估高铁调度系统中组件之间复杂交互的缺陷,基于系统理论的事故过程模型(STAMP),将高铁应急指挥系统中人员与设备之间交互安全性问题视作系统控制和反馈问题,构建高铁应急调度控制反馈模型,识别系统安全风险与约束;采用系统理论过程分析法(STPA),分析不安全控制行为及诱发不安全控制行为的控制缺陷;基于台高铁脱轨事故实例分析,验证STAMP/STPA应用于高铁应急调度安全分析的有效性。结果表明:构建的高铁应急调度控制反馈模型可分析得到高铁应急调度指挥的风险因素为感知或执行误差、决策失误、接收或执行时延;同时通过该模型可演绎安全约束失效路径。 展开更多
关键词 高铁应急调度 系统理论事故过程模型(STAMP) 系统理论过程分析法(stpa) 交互 安全约束 控制缺陷
原文传递
上一页 1 2 17 下一页 到第
使用帮助 返回顶部