基于STAMP/STPA的机轮刹车系统安全性分析 被引量：28

1

作者 郑磊 胡剑波 《航空学报》 EI CAS CSCD 北大核心 2017年第1期241-251,共11页

把机轮刹车系统在飞机降落过程中的安全性问题当作系统控制问题,不采用基于故障概率模型的事故模型,而是采用基于系统理论的事故模型和过程(STAMP),构建机轮刹车系统在飞机降落过程中的STAMP控制关联模型和系统理论过程分析(STPA)反馈... 把机轮刹车系统在飞机降落过程中的安全性问题当作系统控制问题,不采用基于故障概率模型的事故模型,而是采用基于系统理论的事故模型和过程(STAMP),构建机轮刹车系统在飞机降落过程中的STAMP控制关联模型和系统理论过程分析(STPA)反馈控制回路。根据系统运行的上下文信息识别机轮刹车系统在飞机降落过程中的不安全控制行为,分析产生不安全控制行为的关键原因。对机轮刹车系统在飞机降落过程中的不安全控制行为进行仿真研究,结果表明了STAMP/STPA的有效性和用仿真方法分析安全性问题的可行性。 展开更多

关键词 机轮刹车系统 STAMP STPA 不安全控制 仿真分析

原文传递

AltaRica 3.0模型到Promela模型转换与验证方法研究 被引量：6

2

作者 胡军 陈松 王明明 《计算机工程与科学》 CSCD 北大核心 2017年第4期708-716,共9页

AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力... AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力方面的改进,以及其底层模型GTS的基本结构。以AltaRica3.0扁平化为GTS模型的思想为基础,提出了一种AltaRica3.0模型向Promela模型的转换规则。以民用飞机中机轮刹车系统WBS为例,建立了AltaRica3.0模型,并且通过转换规则转为Promela模型。最后根据民用航空标准SAE ARP 4761中对机轮刹车系统的安全性要求,利用SPIN工具对机轮刹车系统的安全属性进行了验证。 展开更多

关键词 安全关键系统 AltaRica3.0 SPIN 机轮刹车系统

下载PDF 职称材料

基于改进DEMATEL-ISM模型的机轮刹车系统风险因素分析 被引量：6

3

作者 贾宝惠 史思杨 王玉鑫 《安全与环境学报》 CAS CSCD 北大核心 2021年第2期506-512,共7页

针对机轮刹车系统在飞机着陆阶段复杂的安全性问题,应用系统理论过程分析法(STPA)识别潜在风险因素,采用风险熵改进决策实验室分析法(DEMATEL)计算风险因素中心度和原因度,确定因素重要性和属性,并集成解释结构模型法(ISM)建立风险因素... 针对机轮刹车系统在飞机着陆阶段复杂的安全性问题,应用系统理论过程分析法(STPA)识别潜在风险因素,采用风险熵改进决策实验室分析法(DEMATEL)计算风险因素中心度和原因度,确定因素重要性和属性,并集成解释结构模型法(ISM)建立风险因素递阶层次结构。结果表明:在因素辨识方面,STPA与传统FTA方法相比,可识别出更多的风险因素,如组件交互、设计缺陷等因素;通过改进DEMATELISM可体现系统因素客观联系,并确定AACU为系统关键部件,且风险因素可分为3个层次,在层次内与层次间均存在因素关联,从递阶层次结构分析得出可采取断链措施和提高部件可靠性来保障系统安全。 展开更多

关键词 安全工程 机轮刹车系统 STPA 风险熵 DEMATEL-ISM 递阶层次结构

下载PDF 职称材料

面向SysML模型的安全性分析与验证方法 被引量：4

4

作者 李宛倩 胡军 +1 位作者 陈松 张维珺 《计算机科学》 CSCD 北大核心 2019年第11期100-108,共9页

近年来,随着航空、交通、医疗等安全关键系统的规模越来越大,涉及到的复杂度也越来越高,基于模型的系统安全性分析与验证成为安全关键系统工程领域的一个重要研究方向,因而如何对以SysML为典型的系统模型进行安全性分析与验证是一个非... 近年来,随着航空、交通、医疗等安全关键系统的规模越来越大,涉及到的复杂度也越来越高,基于模型的系统安全性分析与验证成为安全关键系统工程领域的一个重要研究方向,因而如何对以SysML为典型的系统模型进行安全性分析与验证是一个非常重要的问题。文中以基于模型的安全性分析(MBSA)为框架,设计了一个面向SysML模型的系统安全性分析与验证方法,实现了从模型构建到安全性分析与属性验证的完整过程。首先,从需求层面和设计层面对SysML系统架构设计模型和最新系统安全性建模语言AltaRica3.0进行了介绍,构建了从SysML的核心模型元素到AltaRica3.0模型的语义等价的转换规则,给出了转换规则的形式化描述并分析证明转换规则的正确性;然后,基于模型驱动的方法设计了一个原型工具平台来完成模型的自动转换和安全性分析过程,该原型工具集成了转换、编译生成故障树、故障树分析、单步仿真及故障路径动态演示等功能,实现了系统设计和安全性分析的同步性,并在此基础上给出了AltaRica3.0至Promela模型的转换关键点,结合穷尽式模型验证工具SPIN对模型的属性进行安全性验证;最后,根据4761标准中对机轮刹车系统的体系结构设计描述和安全性的需求建立SysML模型,依据原型工具平台和属性验证工具实现模型的自动转换和安全性分析验证,进而来说明此转换方法的有效性。 展开更多

关键词 安全关键系统 SYSML AltaRica3.0 PROMELA 机轮刹车系统

下载PDF 职称材料

电控机械制动系统研究 被引量：3

5

作者 晁鹏翔 申伶 +1 位作者 陶凡 魏宇杰 《汽车实用技术》 2018年第20期138-140,共3页

针对重型商用汽车用电控机械制动系统(EMB)提出一种制动器结构,研究了单轮控制系统及控制策略,最后结合单轮制动器样机与控制系统的联合调试进行了初步功能验证,研究结果为进一步整车应用提供了基础。

关键词 电控机械制动 单轮制动器 控制系统 控制策略 功能验证

下载PDF 职称材料

双余度电传刹车系统仿真试验环境设计与应用 被引量：3

6

作者 戴成建 董世良 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期123-126,共4页

针对双余度电传刹车系统的试验要求和现有试验方法存在的问题,结合NI PXI/Labvew RT虚拟仪器和MATLAB/Simulink联合实时建模仿真技术,设计并实现了双余度电传刹车系统半物理仿真试验环境。以某型飞机参数及相关附件为试验条件,通过该试... 针对双余度电传刹车系统的试验要求和现有试验方法存在的问题,结合NI PXI/Labvew RT虚拟仪器和MATLAB/Simulink联合实时建模仿真技术,设计并实现了双余度电传刹车系统半物理仿真试验环境。以某型飞机参数及相关附件为试验条件,通过该试验环境实现了飞机起飞和着陆刹车过程的动态仿真和在线故障注入,有效验证了刹车系统的功能。在缺少某些刹车附件情况下该试验环境仍可验证刹车系统的性能。 展开更多

关键词 机轮刹车系统 余度容错 仿真 在线故障注入 虚拟仪器

下载PDF 职称材料

民用飞机机轮刹车系统研究 被引量：3

7

作者 张怿 朱成成 《液压气动与密封》 2013年第5期1-3,共3页

机轮刹车系统是民用飞机地面减速中最关键的一部分,决定了飞机的着陆安全。该文主要对比分析了波音737和空客320飞机的机轮刹车系统,总结民机机轮刹车系统的发展趋势,以期对我国大飞机事业的发展起到积极的推动作用。

关键词 机轮刹车系统 民机 波音737 空客320 趋势

下载PDF 职称材料

面向SysML的系统安全性分析工具与实例研究 被引量：2

8

作者 唐红英 胡军 +1 位作者 陈朔 石梦烨 《计算机科学》 CSCD 北大核心 2020年第5期284-294,共11页

基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。... 基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。针对国内目前缺乏面向SysML的系统安全性分析工具的现状,设计实现了一个面向SysML的系统安全性分析工具并进行了实例研究。首先建立了SysML设计模型到AltaRica分析模型的映射规则;同时根据映射规则设计算法实现两种模型的自动转换,并集成了Altarica的分析引擎对系统模型进行自动化安全性分析;最后以SAE-AIR6110标准中的一个复杂的机轮刹车系统(Wheel Brake System,WBS)为实例,验证了所提工具的可行性和有效性。实验结果表明,对于包含25个组件类型、34个组件实例的复杂系统,该工具可有效地完成SysML模型到AltaRica模型的转换并进行正确的安全性分析。 展开更多

关键词 安全关键系统 SYSML AltaRica 工具 机轮刹车系统

下载PDF 职称材料

一个基于形式化方法的系统安全性建模分析实例研究 被引量：2

9

作者 石梦烨 胡军 +2 位作者 陈朔 唐红英 王立松 《小型微型计算机系统》 CSCD 北大核心 2020年第2期327-332,共6页

随着安全关键性系统的日益复杂,如何提高安全关键系统的安全性成为急需解决的问题.基于形式化模型的复杂系统设计与分析是一种重要的安全性分析方法.本文工作对AIR6110标准中的机轮刹车实例系统进行了基于形式化方法的安全性分析研究,包... 随着安全关键性系统的日益复杂,如何提高安全关键系统的安全性成为急需解决的问题.基于形式化模型的复杂系统设计与分析是一种重要的安全性分析方法.本文工作对AIR6110标准中的机轮刹车实例系统进行了基于形式化方法的安全性分析研究,包括:在系统模型设计层级对机轮刹车系统(WBS)的架构进行层次化分析,将自然语言描述的WBS系统功能用形式化语言(AADL的子集SLIM)进行严格的建模描述,消除AIR6110标准中自然语言描述存在的需求语义的二义性,从而建立了WBS系统的形式化模型;考虑系统可能发生的故障并设计多种类的故障模式,基于这些故障模式对建立的形式化功能模型进行失效行为语义的扩展,然后对获得的扩展系统模型进行安全性分析.实例分析论证了基于模型的安全性分析方法在工业系统中的有效性和实用性. 展开更多

关键词 机轮刹车系统 AADL SLIM xSAP 故障树 FMEA表

下载PDF 职称材料

基于MBSE的民用飞机自动调隙结构设计技术研究

10

作者 李国胜 徐麒 +1 位作者 李倩 马新刚 《航空精密制造技术》 2022年第1期19-22,共4页

介绍了一种基于MBSE工程方法的民用飞机机轮刹车系统自动调隙结构正向开发过程,详细阐述了回力弹簧、扩胀管、拉杆等的正向设计过程,并对拉杆的3种受力工况进行有限元仿真分析确保正向设计的自动调隙结构满足设计要求。

关键词 MBSE 机轮刹车系统 自动调隙结构 正向设计

原文传递

航空机轮刹车技术的发展趋势 被引量：2

11

作者 彭三林 岳开宪 《航空科学技术》 1999年第4期37-38,共2页

本文介绍了飞机刹车专用机轮、刹车装置、防滑系统的技术发展过程和使用等温模锻铝合金轮毂、碳/碳复合材料刹车盘及数字式电子防滑系统的发展趋势。

关键词 航空机轮 刹车材料 防滑系统 发展

下载PDF 职称材料

液压轮边制动系统可靠性预测 被引量：2

12

作者 董连俊 《流体传动与控制》 2015年第1期22-24,41,共4页

阐述了港口机械用液压轮边制动系统的工作原理;以液压轮边制动系统为对象,应用可靠性框图法进行松闸过程、保压过程、制动过程三种工作状态的可靠性分析;预测出各工作状态以及液压系统整体可靠度随时间的变化趋势;定量地估计了液压轮边... 阐述了港口机械用液压轮边制动系统的工作原理;以液压轮边制动系统为对象,应用可靠性框图法进行松闸过程、保压过程、制动过程三种工作状态的可靠性分析;预测出各工作状态以及液压系统整体可靠度随时间的变化趋势;定量地估计了液压轮边制动系统的可靠性,并结合现场使用工况对预测结果进行了分析。 展开更多

关键词 液压轮边制动系统 可靠度分析 失效率

下载PDF 职称材料

形式化方法在飞机轮刹系统安全性分析中的应用

13

作者 王金刚 《河北省科学院学报》 CAS 2009年第4期26-30,共5页

在民机设计领域,大多数传统的系统安全性分析具有高度的主观性并依赖于工程师们的实践经验,其分析结果无法做到完整、一致、无误。而近年来兴起的形式化方法却能弥补这些不足。形式化方法就是用具有形式语义的记号和工具明确地表述出所... 在民机设计领域,大多数传统的系统安全性分析具有高度的主观性并依赖于工程师们的实践经验,其分析结果无法做到完整、一致、无误。而近年来兴起的形式化方法却能弥补这些不足。形式化方法就是用具有形式语义的记号和工具明确地表述出所设计系统的安全性需求,即给出系统的规范,并根据系统规范利用上述记号和工具对给定系统所具有的性质和最终实现的正确性进行严格的证明。本文将以ARP4761中所述的轮刹系统为例,简单介绍形式化方法是如何应用于验证民机设计方案的。虽然做不到面面俱到,但可以让人们对该方法的执行过程有一定的了解。 展开更多

关键词 形式化 飞机轮刹系统 安全性分析

下载PDF 职称材料

浅谈电动轮边制动系统在沿海门座机的应用 被引量：1

14

作者 徐佳斌 党继辉 朱帅 《机电产品开发与创新》 2021年第3期59-60,共2页

本文根据目前沿海门座机使用单位对起重机动态防风安全的要求,通过广泛调研收集了沿海门座式起重机各种形式的抗风防滑制动系统的应用情况,提出了一种应用于沿海门座机辅助工作防风的新型电动轮边制动系统,在对本系统核心装置电动轮边... 本文根据目前沿海门座机使用单位对起重机动态防风安全的要求,通过广泛调研收集了沿海门座式起重机各种形式的抗风防滑制动系统的应用情况,提出了一种应用于沿海门座机辅助工作防风的新型电动轮边制动系统,在对本系统核心装置电动轮边制动器与传统的液压轮边制动器进行对比分析的基础上,解析了电动轮边制动系统的各项功能特点,体现了本系统作为沿海门座机辅助防风系统的优越性。 展开更多

关键词 门座机 工作防风 液压轮边制动器 电动轮边制动器 控制系统模块 控制系统功能

下载PDF 职称材料

机轮碳刹车系统的可靠性试验(英文) 被引量：1

15

作者 谭申刚 刘马宝 +1 位作者 王新波 王国力 《科学技术与工程》 2010年第7期1705-1709,1730,共6页

采用可靠性摸底试验和可靠性增长试验相结合的方法,对机轮碳刹车系统这一复杂机电系统进行了可靠性试验。直接针对寿命周期内的薄弱环节制定可靠性摸底试验和可靠性增长试验;在不改变系统失效机理的前提下,尽量提高可靠性试验的频率,节... 采用可靠性摸底试验和可靠性增长试验相结合的方法,对机轮碳刹车系统这一复杂机电系统进行了可靠性试验。直接针对寿命周期内的薄弱环节制定可靠性摸底试验和可靠性增长试验;在不改变系统失效机理的前提下,尽量提高可靠性试验的频率,节约试验时间;选择容易引起薄弱环节损伤的环境应力和工作应力以加速方式进行可靠性试验;将可靠性试验与系统中部件的寿命试验相结合。该方法特别适用于复杂系统的可靠性试验。 展开更多

关键词 可靠性试验 加速寿命 机轮碳刹车系统

下载PDF 职称材料

液压轮边制动系统的混合摩擦转矩特性研究

16

作者 陈小梅 《贵阳学院学报（自然科学版）》 2019年第4期107-110,127,共5页

针对传统液压轮边制动系统构建难度高、摩擦阻力大的问题,提出一种液压轮边制动系统的混合摩擦转矩的方法。分析了液压轮边制动器特点,并定量地估计了液压轮边制动系统的转矩可靠性。以液压轮边制动系统的混合摩擦转矩特性为研究对象,... 针对传统液压轮边制动系统构建难度高、摩擦阻力大的问题,提出一种液压轮边制动系统的混合摩擦转矩的方法。分析了液压轮边制动器特点,并定量地估计了液压轮边制动系统的转矩可靠性。以液压轮边制动系统的混合摩擦转矩特性为研究对象,理论分析制动过程中摩擦副的摩擦特性和转矩特性。实验结果表明:能够有效提高制动性能,扩大制动范围,提高制动稳定性,改善摩擦副结构,使液压轮边制动系统构建难度减小,有效解决摩擦阻力问题。 展开更多

关键词 液压轮边制动系统 转矩特性 混合摩擦 制动控制

下载PDF 职称材料

摩托车后轮液压盘式制动系统的开发(1)

17

作者 汪利国 《摩托车技术》 2012年第4期40-44,共5页

液压盘式制动系统因技术先进、稳定性好、无自锁现象及维修方便等优点,在国外已被广泛应用于摩托车前、后轮制动器上,而我国则仅限于前轮制动器的使用,后轮制动器多使用技术相对简单的鼓式制动器。为提高我国摩托车的技术含量,摩托车后... 液压盘式制动系统因技术先进、稳定性好、无自锁现象及维修方便等优点,在国外已被广泛应用于摩托车前、后轮制动器上,而我国则仅限于前轮制动器的使用,后轮制动器多使用技术相对简单的鼓式制动器。为提高我国摩托车的技术含量,摩托车后轮液压盘式制动器的研究非常必要,同时也是为摩托车制动系统向更高技术含量的防抱死制动系统发展做好技术储备。 展开更多

关键词 摩托车后轮 液压盘式制动器 制动系统

下载PDF 职称材料