检索结果-维普期刊中文期刊服务平台

基于改进DEMATEL-ISM模型的机轮刹车系统风险因素分析被引量：7: 1; 作者贾宝惠史思杨王玉鑫《安全与环境学报》 CAS CSCD 北大核心 2021年第2期506-512,共7页; 针对机轮刹车系统在飞机着陆阶段复杂的安全性问题,应用系统理论过程分析法(STPA)识别潜在风险因素,采用风险熵改进决策实验室分析法(DEMATEL)计算风险因素中心度和原因度,确定因素重要性和属性,并集成解释结构模型法(ISM)建立风险因素... 展开更多; 关键词安全工程机轮刹车系统 STPA 风险熵 DEMATEL-ISM 递阶层次结构; 在线阅读下载PDF 职称材料

机轮碳刹车系统的可靠性试验(英文) 被引量：1: 2; 作者谭申刚刘马宝 +1 位作者王新波王国力《科学技术与工程》 2010年第7期1705-1709,1730,共6页; 采用可靠性摸底试验和可靠性增长试验相结合的方法,对机轮碳刹车系统这一复杂机电系统进行了可靠性试验。直接针对寿命周期内的薄弱环节制定可靠性摸底试验和可靠性增长试验;在不改变系统失效机理的前提下,尽量提高可靠性试验的频率,节... 展开更多; 关键词可靠性试验加速寿命机轮碳刹车系统; 在线阅读下载PDF 职称材料

双余度电传刹车系统仿真试验环境设计与应用被引量：3: 3; 作者戴成建董世良《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期123-126,共4页; 针对双余度电传刹车系统的试验要求和现有试验方法存在的问题,结合NI PXI/Labvew RT虚拟仪器和MATLAB/Simulink联合实时建模仿真技术,设计并实现了双余度电传刹车系统半物理仿真试验环境。以某型飞机参数及相关附件为试验条件,通过该试... 展开更多; 关键词机轮刹车系统余度容错仿真在线故障注入虚拟仪器; 在线阅读下载PDF 职称材料

一个基于形式化方法的系统安全性建模分析实例研究被引量：2: 4; 作者石梦烨胡军 +2 位作者陈朔唐红英王立松《小型微型计算机系统》 CSCD 北大核心 2020年第2期327-332,共6页; 随着安全关键性系统的日益复杂,如何提高安全关键系统的安全性成为急需解决的问题.基于形式化模型的复杂系统设计与分析是一种重要的安全性分析方法.本文工作对AIR6110标准中的机轮刹车实例系统进行了基于形式化方法的安全性分析研究,包... 展开更多; 关键词机轮刹车系统 AADL SLIM xSAP 故障树 FMEA表; 在线阅读下载PDF 职称材料

基于Fluent软件的刹车压力伺服阀振动问题仿真与分析被引量：13: 5; 作者谢彦马立瑞 +1 位作者韦敏洁刘世前《液压与气动》北大核心 2020年第3期158-162,共5页; 某型飞机机轮刹车系统所用射流管式压力伺服阀在试验过程中,阀体高频振动,并伴有尖锐刺耳“啸叫”声。通过试验的方法,发现该问题与伺服阀主阀芯异常旋转直接关联。基于Fluent软件对刹车压力伺服阀主阀芯流场进行建模与仿真,选用标准的k... 展开更多; 关键词机轮刹车系统刹车压力伺服阀振动环槽直径阀芯; 在线阅读下载PDF 职称材料

面向SysML的系统安全性分析工具与实例研究被引量：2: 6; 作者唐红英胡军 +1 位作者陈朔石梦烨《计算机科学》 CSCD 北大核心 2020年第5期284-294,共11页; 基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。... 展开更多; 关键词安全关键系统 SYSML AltaRica 工具机轮刹车系统; 在线阅读下载PDF 职称材料

AltaRica 3.0模型到Promela模型转换与验证方法研究被引量：6: 7; 作者胡军陈松王明明《计算机工程与科学》 CSCD 北大核心 2017年第4期708-716,共9页; AltaRica语言用于安全关键系统的建模,其拥有一套完整的建模分析工具,但随着AltaRica3.0的更新,ARC等传统的AltaRica建模分析工具已不再支持,而SPIN作为一个穷尽式模型验证工具被广泛应用。介绍了AltaRica3.0相对于之前版本在表达能力... 展开更多; 关键词安全关键系统 AltaRica3.0 SPIN 机轮刹车系统; 在线阅读下载PDF 职称材料

面向SysML模型的安全性分析与验证方法被引量：4: 8; 作者李宛倩胡军 +1 位作者陈松张维珺《计算机科学》 CSCD 北大核心 2019年第11期100-108,共9页; 近年来,随着航空、交通、医疗等安全关键系统的规模越来越大,涉及到的复杂度也越来越高,基于模型的系统安全性分析与验证成为安全关键系统工程领域的一个重要研究方向,因而如何对以SysML为典型的系统模型进行安全性分析与验证是一个非... 展开更多; 关键词安全关键系统 SYSML AltaRica3.0 PROMELA 机轮刹车系统; 在线阅读下载PDF 职称材料

题名基于改进DEMATEL-ISM模型的机轮刹车系统风险因素分析被引量：7: 1; 作者贾宝惠史思杨王玉鑫; 机构中国民航大学航空工程学院; 出处《安全与环境学报》 CAS CSCD 北大核心 2021年第2期506-512,共7页; 文摘针对机轮刹车系统在飞机着陆阶段复杂的安全性问题,应用系统理论过程分析法(STPA)识别潜在风险因素,采用风险熵改进决策实验室分析法(DEMATEL)计算风险因素中心度和原因度,确定因素重要性和属性,并集成解释结构模型法(ISM)建立风险因素递阶层次结构。结果表明:在因素辨识方面,STPA与传统FTA方法相比,可识别出更多的风险因素,如组件交互、设计缺陷等因素;通过改进DEMATELISM可体现系统因素客观联系,并确定AACU为系统关键部件,且风险因素可分为3个层次,在层次内与层次间均存在因素关联,从递阶层次结构分析得出可采取断链措施和提高部件可靠性来保障系统安全。; 关键词安全工程机轮刹车系统 STPA 风险熵 DEMATEL-ISM 递阶层次结构; Keywords safety engineering wheel brake system STPA risk entropy DEMATEL-ISM hierarchy structure; 分类号 X949 [环境科学与工程—安全科学]; 在线阅读下载PDF 职称材料

题名机轮碳刹车系统的可靠性试验(英文) 被引量：1: 2; 作者谭申刚刘马宝王新波王国力; 机构北京航空航天大学西安交通大学中航第一飞机设计研究院; 出处《科学技术与工程》 2010年第7期1705-1709,1730,共6页; 文摘采用可靠性摸底试验和可靠性增长试验相结合的方法,对机轮碳刹车系统这一复杂机电系统进行了可靠性试验。直接针对寿命周期内的薄弱环节制定可靠性摸底试验和可靠性增长试验;在不改变系统失效机理的前提下,尽量提高可靠性试验的频率,节约试验时间;选择容易引起薄弱环节损伤的环境应力和工作应力以加速方式进行可靠性试验;将可靠性试验与系统中部件的寿命试验相结合。该方法特别适用于复杂系统的可靠性试验。; 关键词可靠性试验加速寿命机轮碳刹车系统; Keywords reliability testing accelerated life wheel carbon brake system; 分类号 V216.6 [航空宇航科学与技术—航空宇航推进理论与工程]; 在线阅读下载PDF 职称材料

题名双余度电传刹车系统仿真试验环境设计与应用被引量：3: 3; 作者戴成建董世良; 机构沈阳飞机设计研究所; 出处《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期123-126,共4页; 文摘针对双余度电传刹车系统的试验要求和现有试验方法存在的问题,结合NI PXI/Labvew RT虚拟仪器和MATLAB/Simulink联合实时建模仿真技术,设计并实现了双余度电传刹车系统半物理仿真试验环境。以某型飞机参数及相关附件为试验条件,通过该试验环境实现了飞机起飞和着陆刹车过程的动态仿真和在线故障注入,有效验证了刹车系统的功能。在缺少某些刹车附件情况下该试验环境仍可验证刹车系统的性能。; 关键词机轮刹车系统余度容错仿真在线故障注入虚拟仪器; Keywords wheel brake system redundance fault-tolerant simulation fault injection inline virtual instrument; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名一个基于形式化方法的系统安全性建模分析实例研究被引量：2: 4; 作者石梦烨胡军陈朔唐红英王立松; 机构南京航空航天大学计算机科学与技术学院软件新技术与产业化协同创新中心; 出处《小型微型计算机系统》 CSCD 北大核心 2020年第2期327-332,共6页; 基金南京航空航天大学研究生创新基地(实验室)开放基金项目(kfjj20181607)资助.; 文摘随着安全关键性系统的日益复杂,如何提高安全关键系统的安全性成为急需解决的问题.基于形式化模型的复杂系统设计与分析是一种重要的安全性分析方法.本文工作对AIR6110标准中的机轮刹车实例系统进行了基于形式化方法的安全性分析研究,包括:在系统模型设计层级对机轮刹车系统(WBS)的架构进行层次化分析,将自然语言描述的WBS系统功能用形式化语言(AADL的子集SLIM)进行严格的建模描述,消除AIR6110标准中自然语言描述存在的需求语义的二义性,从而建立了WBS系统的形式化模型;考虑系统可能发生的故障并设计多种类的故障模式,基于这些故障模式对建立的形式化功能模型进行失效行为语义的扩展,然后对获得的扩展系统模型进行安全性分析.实例分析论证了基于模型的安全性分析方法在工业系统中的有效性和实用性.; 关键词机轮刹车系统 AADL SLIM xSAP 故障树 FMEA表; Keywords wheel brake system AADL SLIM xSAP fault tree FMEA table; 分类号 N945.1 [自然科学总论—系统科学]; 在线阅读下载PDF 职称材料

题名基于Fluent软件的刹车压力伺服阀振动问题仿真与分析被引量：13: 5; 作者谢彦马立瑞韦敏洁刘世前; 机构上海交通大学航空航天学院航空工业第一飞机设计研究院中船重工第西安飞豹科技有限公司; 出处《液压与气动》北大核心 2020年第3期158-162,共5页; 文摘某型飞机机轮刹车系统所用射流管式压力伺服阀在试验过程中,阀体高频振动,并伴有尖锐刺耳“啸叫”声。通过试验的方法,发现该问题与伺服阀主阀芯异常旋转直接关联。基于Fluent软件对刹车压力伺服阀主阀芯流场进行建模与仿真,选用标准的k-ε模型,采用SIMPLEC方法计算。通过对仿真结果进行分析,明确阀芯异常旋转的原因,并根据仿真结果对主阀结构进行优化改进,经试验验证,该型刹车压力伺服阀的振动问题得到了解决。; 关键词机轮刹车系统刹车压力伺服阀振动环槽直径阀芯; Keywords hydraulic brake system pressure servo-valve vibration ring groove diameter valve core; 分类号 TH137 [机械工程—机械制造及自动化] V227.5 [航空宇航科学与技术—飞行器设计]; 在线阅读下载PDF 职称材料

题名面向SysML的系统安全性分析工具与实例研究被引量：2: 6; 作者唐红英胡军陈朔石梦烨; 机构南京航空航天大学计算机科学与技术学院软件新技术与产业化协同创新中心; 出处《计算机科学》 CSCD 北大核心 2020年第5期284-294,共11页; 基金南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181607)。; 文摘基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。针对国内目前缺乏面向SysML的系统安全性分析工具的现状,设计实现了一个面向SysML的系统安全性分析工具并进行了实例研究。首先建立了SysML设计模型到AltaRica分析模型的映射规则;同时根据映射规则设计算法实现两种模型的自动转换,并集成了Altarica的分析引擎对系统模型进行自动化安全性分析;最后以SAE-AIR6110标准中的一个复杂的机轮刹车系统(Wheel Brake System,WBS)为实例,验证了所提工具的可行性和有效性。实验结果表明,对于包含25个组件类型、34个组件实例的复杂系统,该工具可有效地完成SysML模型到AltaRica模型的转换并进行正确的安全性分析。; 关键词安全关键系统 SYSML AltaRica 工具机轮刹车系统; Keywords Safety-critical system SysML AltaRica Tool Wheel brake system; 分类号 TP319 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名AltaRica 3.0模型到Promela模型转换与验证方法研究被引量：6: 7; 作者胡军陈松王明明; 机构南京航空航天大学计算机科学与技术学院; 出处《计算机工程与科学》 CSCD 北大核心 2017年第4期708-716,共9页; 基金国家973计划(2014CB744903) 回国留学人员科研启动基金南京航空航天大学青年科技创新基金(NS2014098); 文摘 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 机轮刹车系统; Keywords safety-critical system AltaRica3.0 SPIN wheel brake system; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向SysML模型的安全性分析与验证方法被引量：4: 8; 作者李宛倩胡军陈松张维珺; 机构南京航空航天大学计算机科学与技术学院; 出处《计算机科学》 CSCD 北大核心 2019年第11期100-108,共9页; 基金国家重点基础研究发展计划-973计划(2014CB744903) 国家航空科学基金(20165515001) +1 种基金中央高校基本科研业务费专项资金资助; 文摘近年来,随着航空、交通、医疗等安全关键系统的规模越来越大,涉及到的复杂度也越来越高,基于模型的系统安全性分析与验证成为安全关键系统工程领域的一个重要研究方向,因而如何对以SysML为典型的系统模型进行安全性分析与验证是一个非常重要的问题。文中以基于模型的安全性分析(MBSA)为框架,设计了一个面向SysML模型的系统安全性分析与验证方法,实现了从模型构建到安全性分析与属性验证的完整过程。首先,从需求层面和设计层面对SysML系统架构设计模型和最新系统安全性建模语言AltaRica3.0进行了介绍,构建了从SysML的核心模型元素到AltaRica3.0模型的语义等价的转换规则,给出了转换规则的形式化描述并分析证明转换规则的正确性;然后,基于模型驱动的方法设计了一个原型工具平台来完成模型的自动转换和安全性分析过程,该原型工具集成了转换、编译生成故障树、故障树分析、单步仿真及故障路径动态演示等功能,实现了系统设计和安全性分析的同步性,并在此基础上给出了AltaRica3.0至Promela模型的转换关键点,结合穷尽式模型验证工具SPIN对模型的属性进行安全性验证;最后,根据4761标准中对机轮刹车系统的体系结构设计描述和安全性的需求建立SysML模型,依据原型工具平台和属性验证工具实现模型的自动转换和安全性分析验证,进而来说明此转换方法的有效性。; 关键词安全关键系统 SYSML AltaRica3.0 PROMELA 机轮刹车系统; Keywords Safety-critical system SysML AltaRica3.0 Promela Wheel brake system; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于改进DEMATEL-ISM模型的机轮刹车系统风险因素分析	贾宝惠史思杨王玉鑫	《安全与环境学报》 CAS CSCD 北大核心	2021	7	在线阅读下载PDF 职称材料
2	机轮碳刹车系统的可靠性试验(英文)	谭申刚刘马宝王新波王国力	《科学技术与工程》	2010	1	在线阅读下载PDF 职称材料
3	双余度电传刹车系统仿真试验环境设计与应用	戴成建董世良	《系统仿真学报》 CAS CSCD 北大核心	2011	3	在线阅读下载PDF 职称材料
4	一个基于形式化方法的系统安全性建模分析实例研究	石梦烨胡军陈朔唐红英王立松	《小型微型计算机系统》 CSCD 北大核心	2020	2	在线阅读下载PDF 职称材料
5	基于Fluent软件的刹车压力伺服阀振动问题仿真与分析	谢彦马立瑞韦敏洁刘世前	《液压与气动》北大核心	2020	13	在线阅读下载PDF 职称材料
6	面向SysML的系统安全性分析工具与实例研究	唐红英胡军陈朔石梦烨	《计算机科学》 CSCD 北大核心	2020	2	在线阅读下载PDF 职称材料
7	AltaRica 3.0模型到Promela模型转换与验证方法研究	胡军陈松王明明	《计算机工程与科学》 CSCD 北大核心	2017	6	在线阅读下载PDF 职称材料
8	面向SysML模型的安全性分析与验证方法	李宛倩胡军陈松张维珺	《计算机科学》 CSCD 北大核心	2019	4	在线阅读下载PDF 职称材料