检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

26 篇 期刊文献
18 篇 学位论文

馆藏范围

44 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

43 篇 工学
- 22 篇 交通运输工程
- 9 篇 航空宇航科学与技...
- 8 篇 机械工程
- 5 篇 计算机科学与技术...
- 4 篇 控制科学与工程
- 3 篇 船舶与海洋工程
- 3 篇 兵器科学与技术
- 3 篇 软件工程
- 2 篇 网络空间安全
- 1 篇 仪器科学与技术
- 1 篇 电气工程
- 1 篇 土木工程
- 1 篇 水利工程
- 1 篇 地质资源与地质工...
- 1 篇 石油与天然气工程
3 篇 管理学
- 3 篇 管理科学与工程(可...
2 篇 理学
- 2 篇 系统科学
1 篇 经济学
- 1 篇 应用经济学

主题

44 篇 系统理论过程分析
6 篇 安全性分析
6 篇 预期功能安全
5 篇 不安全控制行为
3 篇 智能网联汽车
3 篇 有色petri网
3 篇 贝叶斯网络
3 篇 安全分析
2 篇 安全约束
2 篇 平视显示系统
2 篇 功能安全
2 篇 层次分析法
2 篇 安全性
2 篇 模型检验
2 篇 时间自动机理论
2 篇 复杂网络
2 篇 民机系统
2 篇 模型检测
2 篇 形式化验证
1 篇 安全风险辨识

机构

9 篇 中国民航大学
6 篇 北京交通大学
4 篇 兰州交通大学
3 篇 北京航空航天大学
2 篇 华中科技大学
2 篇 吉林大学
2 篇 南京航空航天大学
2 篇 海军潜艇学院
1 篇 湖南大学
1 篇 潍柴动力股份有限...
1 篇 民航航空器适航审...
1 篇 国家空管防相撞技...
1 篇 群体协同与自主实...
1 篇 应急管理部油气生...
1 篇 中国铁路经济规划...
1 篇 同济大学
1 篇 船舶数据技术与支...
1 篇 中国地质大学
1 篇 上海海洋大学
1 篇 北京青云航空仪表...

作者

3 篇 李浩
3 篇 wang peng
3 篇 王鹏
2 篇 秦楠
2 篇 董磊
2 篇 安金鑫
2 篇 qin nan
2 篇 高源
2 篇 zhao changxiao
2 篇 张仕杰
2 篇 li hao
2 篇 马亮
2 篇 ma liang
2 篇 钟德明
2 篇 唐涛
2 篇 赵长啸
2 篇 林经源
2 篇 zhong deming
2 篇 dong lei
1 篇 zhou jie

语言

44 篇 中文

检索条件"主题词=系统理论过程分析"

共 44 条记录，以下是21-30 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

基于STPA及CPN的以车载为核心CBTC系统可信构造研究

基于STPA及CPN的以车载为核心CBTC系统可信构造研究

引用

作者：徐倩兰州交通大学

学位级别：硕士

可信构造是指采用自身可证的全流程方法在系统开发过程中逐步形成系统的可信属性。Tc CBTC(Train-centric CBTC,以车载为核心CBTC)系统是车载设备基于运行计划和实时位置实现自主资源管理、主动间隔防护等功能的新型CBTC(Communication-... 详细信息

可信构造是指采用自身可证的全流程方法在系统开发过程中逐步形成系统的可信属性。Tc CBTC(Train-centric CBTC,以车载为核心CBTC)系统是车载设备基于运行计划和实时位置实现自主资源管理、主动间隔防护等功能的新型CBTC(Communication-based Train Control,基于通信的列车控制)系统,实现更安全、更高效、更灵活、更经济、易部署等目标。Tc CBTC系统的架构发生了更改,车载设备功能耦合度更高,因此对新型列控系统进行可信构造研究至关重要。利用STPA(System-Theoretical Process Analysis,系统理论过程分析)及CPN(Colored Petri Net,有色Petri网),本文对Tc CBTC系统进行可信构造研究,研究工作如下:(1)从设备划分的角度,借助流程图、时序图、框图等形式,分析设备新增的功能需求。依次分析智能列车监控系统、列车管理中心、对象控制器、IVOC(Intelligent Vehicle On-board Controller,智能车载控制器),重点分析IVOC中车车通信管理单元、线路资源管理单元、车载移动授权计算单元。(2)在功能需求分析基础上,利用STPA方法获取功能变更后而变化的安全需求。在STPA步骤0,定义系统级事故、系统级危害,绘制分层控制结构图;在STPA步骤1,按临时限速设置与生成功能、自主资源管理功能、主动间隔防护功能三个变更的功能类别,获得不安全控制行为;在STPA步骤2,获得细化不安全控制行为、致因因素。这些结果与其他方法比较可知,STPA能识别更多数量、更多类型、更细节的致因因素。(3)从车车通信流程及RSSP-II(Railway Signal Safety Communication Protocol-II,铁路安全通信协议)的设计中,抽象出车车通信链路的通信模块及安全通信模块的CPN模型,研究车车通信的可行性及通信时延。模型满足基本属性的要求,验证了特定的安全需求,从概率、数值角度证明了时延满足LTE-M(Long Term Evolution for Metro,地铁长期演进)承载CBTC业务的Qo S(Quality of Service,服务质量)需求。(4)在分层控制结构图及功能需求分析的基础上,按自上而下的建模思路,抽象出Tc CBTC系统设计的分层CPN模型,其中IVOC模型是重要的建模部分。模型仿真过程证明了逻辑功能能够正确实现;所提出的模型满足模型基本属性的要求;通过计算树逻辑编写的查询语句,验证特定安全需求;还验证了STPA方法所获取的安全需求。

关键词：以车载为核心CBTC系统系统理论过程分析有色Petri网可信构造

来源：评论

学校读者我要写书评

暂无评论

自主列车运行的动态风险分析

自主列车运行的动态风险分析

引用

作者：宋围娜北京交通大学

学位级别：硕士

我国城市轨道交通正处于快速发展阶段,而全自动运行系统是列车运行控制系统发展的趋势。列车从司机看守到自主运行,设备及功能需求都有所增加,因此对列车运行中的风险分析也必须同步跟进。传统的静态风险分析方法在识别和量化风险的动... 详细信息

我国城市轨道交通正处于快速发展阶段,而全自动运行系统是列车运行控制系统发展的趋势。列车从司机看守到自主运行,设备及功能需求都有所增加,因此对列车运行中的风险分析也必须同步跟进。传统的静态风险分析方法在识别和量化风险的动态特性方面能力有限,因此,本文将对自主列车的运行进行动态风险分析,即在对列车运行风险先兆指标实时监测的情况下,建立风险模型分析当前自主列车运行的风险值并判断风险等级,从而辅助自主列车面对风险时的系统决策,提升列车运行的安全系数。论文的具体工作和创新点总结如下:(1)基于STPA与先兆指标辨识的场景化安全分析,以自主列车的障碍物检测、列车进站停车及列车站台发车三个场景为例,识别出自主列车运行场景下设备状态与信息交互过程中的风险先兆指标,随后在识别出的先兆指标基础上提出自主列车基于概率及后果的动态风险模型。(2)对自主列车风险概率进行建模,首先利用层次分析法、信息熵权法对风险先兆指标的权重进行分析,随后用灰色综合评价法计算自主列车运行时实时监测的风险组合先兆指标所引起风险后果的概率。(3)对自主列车风险后果进行建模,利用PC-Crash软件仿真列车质量、速度、碰撞角度、障碍物特征、乘客分布、天气等因素影响下的列车碰撞后果,对碰撞后果的数据集使用支持向量机SVM等算法预测当前自主列车运行时的风险后果。结果表明,利用SVM算法预测风险后果等级的正确率稳定在93.21%,能较好的作为风险后果的量化模型。(4)根据基于概率及后果的量化风险模型,划分列车自主运行过程中的风险等级并给出对应等级的系统决策。为验证风险模型的可行性,以北京地铁19号线为模拟仿真背景,设计了自主列车识别静止障碍物以及移动障碍物的仿真实验。在静止障碍物实验中分别对列车出站、区间运行、列车入站三个子场景运行状态下的障碍物进行动态风险分析。在移动障碍物实验中,设计了同轨碰撞实验以及邻轨检测实验,验证自主列车动态风险分析的正确性。结果表明,本文提出的自主列车运行的动态风险模型能够准确的实时计算出风险等级,并提出决策保证列车安全运行。本文包含图40幅,表30个,参考文献70篇。

关键词：自主列车运行系统动态风险分析系统理论过程分析层次分析法

来源：评论

学校读者我要写书评

暂无评论

基于STPA和BP神经网络的自主船舶人为风险分析与评估

基于STPA和BP神经网络的自主船舶人为风险分析与评估

引用

作者：邵祺上海海洋大学

学位级别：硕士

随着国内外自主技术的飞速发展,在自主汽车、自主飞行器问世之后,自主船舶也开始出现在大众的视野中并逐渐投入使用,人们可以利用自主船舶在一些交通航线复杂、气候多变的航路环境下从事航行任务,提高航行的效率,例如通过自主运输船来... 详细信息

随着国内外自主技术的飞速发展,在自主汽车、自主飞行器问世之后,自主船舶也开始出现在大众的视野中并逐渐投入使用,人们可以利用自主船舶在一些交通航线复杂、气候多变的航路环境下从事航行任务,提高航行的效率,例如通过自主运输船来运输货物以减少船员成本和时间上的成本等。而对于自主船舶的投入使用,最不能忽视的一点就是安全问题,安全隐患的程度和解决方案决定着自主船舶的前景,学者们根据自主船舶的结构和系统对自主船舶进行仿真和假设分析,研究自主船舶的风险因素并进行提前预防,让我们在享受自主船舶带来便利的同时,也为提高船舶在海上航行的安全性、降低海上事故的发生率以及减少人员伤亡做出贡献。本文通过研究分析IMO定义的第Ⅰ、Ⅱ、Ⅲ级别MASS的人为风险因素,为了找到重点防控对象,制定正确的防控措施,提出了不同航行阶段自治船舶人为风险因素风险的定量分析模型,并对不同人为风险因素的权重进行了分析和评价。主要工作内容如下:首先本文通过STPA方法定义了自主船舶的系统级危险,根据自主船舶系统工作的流程以及相关设备,构建其在航行阶段中的安全控制结构图,通过STPA提出的四种控制场景,识别了船员和SCCs人员的不安全控制行为,并获得了自主船舶的人为风险因素。之后整理分析了中国海事局2015年至2020年发布的637份船舶事故调查报告,并使用安全控制结构图从中选取596份最有可能发生在自主船舶上的事故调查报告进行数据挖掘,提取报告的关键信息并根据事故发生的时间和航行阶段对信息进行分组。同时使用MATLAB神经网络函数构造基于RPROP算法的BP神经网络,将分组后的数据进行矩阵化和归一化处理得到数据源,将数据源传入到网络中进行训练,同时对神经网络进行不断的优化和调试,最后进行网络的有效性测试,使有效程度达到预期的效果。网络训练成功后利用神经网络中神经元的权值进行推导计算得到自主船舶人为风险因素的权重。最后再以前后端分离的方式搭建自主船舶人为风险评估系统,将***作为主要的系统框架、以Java Script语言为驱动、***为辅助,结合***和阿里云对象储存服务器完成评估应用系统的开发,通过设计开发直观的UI界面和友好的交互功能实现事故数据的记录和自主船舶人为风险因素权重的可视化,为扩大事故数据库、丰富数据源、提高神经网络对自主船舶人为风险权重分析的精度和准度作好物理支撑,为实现自主船舶人为风险动态分析做好准备,为未来自主船舶在正式投入使用前的安全分析提供理论依据,同时为SCCs人员以及自主船舶船员的培训提供建议和参考。

关键词：自主船舶人为风险因素系统理论过程分析 RPROP 神经网络

来源：评论

学校读者我要写书评

暂无评论

面向近底作业的自主水下航行器安全系统研究

面向近底作业的自主水下航行器安全系统研究

引用

作者：安金鑫华中科技大学

学位级别：硕士

随着人类对海底资源开发需求的逐步增大,自主水下航行器(Autonomous Underwater Vehicle,AUV)已经在海洋科学研究领域得到广泛的应用。但是,随着作业深度不断增大、作业时间不断延长和作业难度愈加复杂,以及近底环境的复杂性和不可预测... 详细信息

随着人类对海底资源开发需求的逐步增大,自主水下航行器(Autonomous Underwater Vehicle,AUV)已经在海洋科学研究领域得到广泛的应用。但是,随着作业深度不断增大、作业时间不断延长和作业难度愈加复杂,以及近底环境的复杂性和不可预测性,如何提高AUV近底作业安全性已成为AUV研究领域的重要课题。中小型AUV以其操纵灵活、调试方便、转运便捷等优点,能够适应更广泛的水下作业需求。但是更复杂的近底任务场景也使得AUV在近底航行时面临失控、触底等问题。为此,本文面向中小型AUV的近底探测任务,针对如何从多角度提升安全性的问题从系统架构优化层面、航行工况避障层面和应急工况避险层面入手进行分析,设计安全系统来提高AUV航行安全性,具体方法如下。首先利用系统理论过程分析框架对AUV安全控制架构进行系统分析,包括软硬件设计架构和通信链路的合理性等,并针对软硬件优化提出合理改进意见,实现了在系统架构优化层面提高AUV安全性。然后基于AUV操纵性设计AUV垂直面动态安全领域,并基于此改进人工势场法,通过近底扫测任务场景下仿真对比验证算法的对底避障能力,实现了在航行工况避障层面提高AUV安全性。最后结合有限状态机理论和奶酪模型设计AUV状态转移模型和分层预警框架,并基于AUV操纵性和安全性分析结果细化预警逻辑,通过实艇试验验证了航行期间的风险决策和应急控制,实现了在应急工况避险层面提高AUV安全性。面向近底作业的AUV安全系统分别实现了AUV系统强耦合组件间安全性分析及架构优化、近底作业时AUV安全性和复杂地形适应能力提高、以及航行遇险时及时应急决策降低遇险损失。满足AUV近底航行时对于安全性的需求,对于提升AUV近底作业安全性具有重要意义。

关键词：自主水下航行器近底作业系统理论过程分析安全领域应急决策

来源：评论

学校读者我要写书评

暂无评论

面向预期功能安全的AEB系统量化评价与功能设计研究

面向预期功能安全的AEB系统量化评价与功能设计研究

引用

作者：左瑜合肥工业大学

学位级别：硕士

智能驾驶汽车系统日益复杂,带来的安全性问题也引起了越来越广泛的关注。为保障智能驾驶汽车的安全运行,建立智能汽车的预期功能安全(Safety Of The Intended Functionality,SOTIF)评价体系和进行SOTIF设计是一项重要的研究课题。本文... 详细信息

智能驾驶汽车系统日益复杂,带来的安全性问题也引起了越来越广泛的关注。为保障智能驾驶汽车的安全运行,建立智能汽车的预期功能安全(Safety Of The Intended Functionality,SOTIF)评价体系和进行SOTIF设计是一项重要的研究课题。本文以自动紧急制动(Autonomous Emergency Braking,AEB)系统为研究对象,重点探讨SOTIF评价与设计方法。主要的研究内容如下: (1)为了系统性分析AEB系统的SOTIF相关风险,首先采用系统理论过程分析(Systems-Theoretic Process Analysis,STPA)的分析方法对AEB系统进行安全分析。定义了AEB系统的基本功能、运行的场景、系统层的损失与系统层的危害,建立了AEB系统整体STPA控制结构,识别了AEB系统的不安全控制动作并相应地提出系统的安全约束,导出了AEB系统的触发条件以及致因场景。 (2)根据STPA安全分析所得到的不安全控制动作,提出AEB系统的SOTIF评价指标。采用CRITIC法确定各个评价指标的权重,并基于优劣解距离(Technique for Order of Preference by Similarity to Ideal Solution,TOPSIS)法对提出的评价指标进行量化。进一步地,参考Euro NCAP中的AEB系统测试方法进行实车测试,并使用提出的评价方法对某型智能汽车的AEB系统控制模块进行了基于试验的SOTIF评价。评价结果验证了所提出的AEB系统SOTIF评价方法的合理性和实用性。然后,根据提出的SOTIF评价指标给出了AEB系统的SOTIF改进建议。 (3)AEB系统的输入参数的不确定性是引发SOTIF问题的一个重要来源。进一步地,基于车辆动力学理论,建立了AEB系统临界距离确定性模型,并对其主要不确定性进行了表征。结合AEB系统输入参数的不确定性与触发AEB系统制动的临界距离确定性模型,建立了触发AEB系统制动的临界距离的不确定性模型。通过蒙特卡洛仿真,得到了模型输出的不确定性分布。 (4)根据触发AEB系统制动的临界距离模型输出的不确定性,设计了AEB系统的制动策略,使其能够满足系统的风险接受情况。此外,设计了位置速度双PID下层控制器,以减少预期制动效果与实际制动效果的偏差。最后,通过Car Sim和MATLAB/Simulink的联合仿真,验证了所设计的制动策略与下层控制器能够满足SOTIF需求,并对AEB系统的运行速度进行了约束,以防止系统运行在设计运行域(Operational Design Domain,ODD)外而导致SOTIF问题。

关键词：预期功能安全自动紧急制动系统系统理论过程分析量化评价不确定性

来源：评论

学校读者我要写书评

暂无评论

基于STPA的智能汽车LKAS预期功能安全分析

基于STPA的智能汽车LKAS预期功能安全分析

引用

作者：籍奉凡天津科技大学

学位级别：硕士

随着社会进步,新四化协调发展,智能网联汽车产业和技术迅速发展,汽车安全被日益重视。为了提升汽车安全性,保障人民生命和财产安全,智能汽车预期功能安全问题也被不断重视和研究。本文利用系统理论过程分析(STPA)方法,按照ISO 26262和IS... 详细信息

随着社会进步,新四化协调发展,智能网联汽车产业和技术迅速发展,汽车安全被日益重视。为了提升汽车安全性,保障人民生命和财产安全,智能汽车预期功能安全问题也被不断重视和研究。本文利用系统理论过程分析(STPA)方法,按照ISO 26262和ISO 21448开发流程,对车道保持辅助系统(LKAS)的预期功能安全问题进行了分析研究,得出导致危险的原因和要求,并根据分析结果对车道保持辅助系统进行优化改进设计,重点完成了以下几个方面的内容: (1)比较分析各种安全分析方法特点及优劣,包括基于可靠性理论的故障树分析、失效模式与影响分析、危险与可操作性分析和基于系统理论的系统理论过程分析。最终决定使用系统理论过程分析,并对系统理论过程分析的流程和方法,以及相关研究与应用进行总结与归纳。 (2)利用系统理论过程分析方法对车道保持辅助系统进行预期功能安全分析。从驾驶员误用,驾驶员与人机交互系统,驾驶员与方向盘、加速踏板、制动踏板,感知系统,决策系统和控制系统六大类危险入手,首先定义分析目的,然后建立系统控制结构,之后从要求但未提供,已提供但未要求,已提供但时间错误,已提供但持续时间不正确和已提供但过大、过小或反向五方面,分析不安全控制行为和致因场景,最终得出车道保持辅助系统的危险和要求,并对分析过程中的重点问题进行总结。 (3)对车道保持辅助系统自然驾驶场景进行分析。根据STPA得到的危险和要求,利用中国驾驶员自然驾驶数据集,对车道保持辅助系统的重要场景,即本车巡线,目标车切入场景进行分析和研究。通过关键指标分析、数据提取、数据筛选、数据计算及可视化等步骤,得到本车巡线,目标车切入行为的关键指标数据并可视化,得出均值、最值、累计概率和概率分布,构建车道保持辅助系统场景库,并根据结论提出LKAS设计运行范围结论分析。 (4)对车道保持辅助系统进行实车测试验证。根据STPA得到的危险和要求,进行定性和定量分析。完成针对驾驶员操控能力,以及LKAS控制执行系统的预期功能安全测试验证,也对车道保持辅助系统中电子助力转向系统(EPS)的安全性测试验证。具体为对车辆进行故障注入,实时记录车辆信息,分析记录不同测试用例下的车辆或驾驶员表现,完成故障容忍时间间隔(FTTI)定量测试验证和安全度量定性测试验证,并得出最终结论。

关键词：车道保持辅助系统预期功能安全系统理论过程分析自然驾驶场景数据分析

来源：评论

学校读者我要写书评

暂无评论

基于NuSMV和STPA的RBC交接场景安全分析方法研究

基于NuSMV和STPA的RBC交接场景安全分析方法研究

引用

作者：夏宇北京交通大学

学位级别：硕士

中国列车运行控制系统 3 级(Chinese Train Control System Level 3,CTCS-3)是我国高速铁路的核心装备,负责保障高速铁路列车的行车安全,也是高速铁路的“神经中枢”,其安全性对于高速铁路的安全运营起到了关键的作用。无线闭塞中心(Rad... 详细信息

中国列车运行控制系统 3 级(Chinese Train Control System Level 3,CTCS-3)是我国高速铁路的核心装备,负责保障高速铁路列车的行车安全,也是高速铁路的“神经中枢”,其安全性对于高速铁路的安全运营起到了关键的作用。无线闭塞中心(Radio Block Center,RBC)交接场景是CTCS-3级列车运行控制系统(简称CTCS-3级列控系统)的重要运营场景。针对其特点研究有效的、科学的安全分析方法,对于保障高速铁路的安全具有重要意义。然而,CTCS-3级列控系统的功能和组件交互之间的关系错综复杂,运用传统的安全分析方法时会面临挑战。系统理论过程分析(System-Theoretic Process Analysis,STPA)作为建立在系统理论事故模型(Systems-Theoretic Accident Model and Process,STAMP)基础上的新技术,将导致危险的主要原因归结为组件间的异常交互,满足CTCS-3级列控系统对安全分析方法的要求。但是,目前没有统一的方法来描述该模型,而采用自然语言建模又容易受人员表述能力的影响而导致歧义。此外,STPA安全分析主要依靠分析人员人工实施,其分析结果的可信度受分析人员经验的影响较大。本论文从目前现有的建模与分析方法存在的不足出发,利用UML统一建模语言的可扩展性等优点,对STPA方法中系统分层控制结构模型的构建方法进行改进,并利用NuSMV能自动给出反例的特性辅助实施STPA安全分析过程。主要的内容包括:(1)在理解并阅读了大量国内外文献研究之后,简单介绍目前安全分析方法的研究情况,并针对不同安全分析方法的优点及不足做出对比和分析,明确现有安全分析方法在列控领域的研究前景。(2)设计面向STAMP模型的UML概要文件,扩展UML类图和控制反馈消息,针对STPA方法进行扩展,从而刻画出待分析系统的分层控制结构模型。(3)将上述半形式化的UML模型转化为形式化NuSMV模型,构建功能失效描述符号(Functional Failure Description Symbol,FFDS)和故障模型(Fault Pattern,FP),对可能的功能模块失效进行文本描述,并将系统的行为模型与故障模型相整合,形成包含故障集的NuSMV模型。然后,运用模型检验的方法构建控制缺陷的分析方法。(4)针对RBC交接场景的特点,分别从静态结构以及动态行为的角度出发来描述研究实例,运用UML扩展后的概要文件创建实例中的分层控制结构模型。运用UML类图描述分层控制结构,用状态图描述控制算法,用OCL语言描述过程模型。(5)运用STPA扩展后的方法,分析RBC交接场景的控制缺陷。首先确定系统级危险,并运用STPA方法的流程分析不安全控制行为。然后将系统的不安全控制作为性质,运用NuSMV模型检验工具分析上述性质,在已建立的故障集中辨识出系统的控制缺陷。

关键词：系统理论过程分析 UML扩展 RBC交接场景模型检验 NuSMV

来源：评论

学校读者我要写书评

暂无评论

基于STPA大型客机供电系统安全性分析

基于STPA大型客机供电系统安全性分析

引用

作者：陈杰辉中国民航大学

学位级别：硕士

飞机供电系统主要负责电能的产生,电能的控制转换以及电能的分配等,担负着飞机上主要用电设备的供电工作。作为飞机关键系统之一,供电系统的安全直接影响到飞机的安全运行,需要在系统开发过程中开展全面的安全性分析,当前采用基于ARP476... 详细信息

飞机供电系统主要负责电能的产生,电能的控制转换以及电能的分配等,担负着飞机上主要用电设备的供电工作。作为飞机关键系统之一,供电系统的安全直接影响到飞机的安全运行,需要在系统开发过程中开展全面的安全性分析,当前采用基于ARP4761中传统安全性分析方法进行风险识别与分析。随着多电/全电飞机概念的提出,供电系统架构复杂性和软件控制日益增加,航空领域安全学需要寻找新的分析方法来应对新的变化。因此,本文以系统理论过程分析(System Theoretic Process Analysis,STPA)为基础,以B737NG飞机供电系统为例展开安全性分析。首先,开展STPA方法研究,考虑到STPA以人为分析为主,分析过程易受到分析者主观因素的影响,引入形式化验证手段;针对STPA分析结果缺少定量分析的问题,将STPA与层次分析法(Analytic Hierarchy Process,AHP)相结合,提出STPA-AHP分析方法。然后,以B737NG飞机供电系统为对象开展方法应用。基于STPA分析方法,针对B737NG飞机供电系统,构建系统安全控制结构图,识别系统潜在的不安全控制行为。接着,利用基于时间自动机理论的形式化验证工具UPPAAL,建立系统形式化模型,并将系统内部底层部件的失效信息注入形式化模型中。形式化模型建好后,在模型中验证系统潜在的不安全控制行为,对验证通过的不安全控制行为,分析其致因场景并进行场景验证。最后,基于层次分析法计算危险致因因素的相对权重,通过专家评判和事故对比进一步证明结果的可信性及方法的有效性。结果表明,以STPA安全性分析方法为基础,综合使用形式化验证及层次分析法,能够有效识别出飞机供电系统不安全控制行为和危险致因场景,给出权重以便指导后续设计或更改,可作为传统系统安全性分析方法的有效补充。

关键词：系统理论过程分析时间自动机理论不安全控制行为层次分析法安全性分析

来源：评论

学校读者我要写书评

暂无评论

基于STPA和有色Petri网的列控系统安全分析

基于STPA和有色Petri网的列控系统安全分析

引用

作者：胡少强北京交通大学

学位级别：硕士

CTCS-3(Chinese Train Control System Level Three,CTCS-3)级列车运行控制系统综合应用了计算机、通信、自动控制、供电等技术手段,系统结构和功能复杂,各种随机故障和组件故障的发生可能导致极其严重的后果,甚至车毁人亡。由于我国高... 详细信息

CTCS-3(Chinese Train Control System Level Three,CTCS-3)级列车运行控制系统综合应用了计算机、通信、自动控制、供电等技术手段,系统结构和功能复杂,各种随机故障和组件故障的发生可能导致极其严重的后果,甚至车毁人亡。由于我国高铁列控系统的大多数规范都是在参照ETCS(European Train Control System,ETCS)技术标准的基础上,结合我国铁路特点研究制定CTCS-3级列控系统技术规范,且部分技术规范还在不断的修订和完善之中,CTCS-3级列控系统投入运营的时间尚短,未经过现场长期运营的检验,系统中依旧存在潜在的危险未被人们所掌握。所以基于专家经验和技术规范的传统安全保障技术对列控系统进行安全分析时已逐渐显现其不足,因此采用形式化方法对列控系统进行安全风险分析显得十分必要。本文以我国CTCS-3级列车运行控制系统为研究对象,为了分析列控系统中潜在的可能引发系统事故的危险,提出了基于STPA和有色Petri网的形式化安全分析方法,其主要特点是能够实现列控系统功能需求、系统理论事故模型与过程(System-Theoretic Accident Modeling and Process,STAMP)和有色 Petri 网(Colored Petri Nets,CPN)模型之间的转换,并保证三者之间描述的合理性和一致性。在该方法的基础之上,利用模型检验技术验证模型,并辨识危险状态的可达路径,最终给出系统的不安全控制和控制缺陷。本文主要研究内容如下:首先,本文介绍了列控系统安全分析的目的及意义,概括了安全风险理论的概念、核心思想和当前流行的安全分析方法,总结了安全风险辨识的国内外研究现状,然后对系统理论事故模型、有色Petri网模型和模型检验技术作了简要阐述。其次,提出了基于STPA和有色Petri网的安全分析方法,该方法选择CPN作为STAMP分层控制结构的形式化规范,弥补了 STAMP模型以自然语言描述系统分层控制结构和控制算法的不足,不仅避免了自然语言的二义性,降低了系统的建模难度,还能描述动态行为和状态变化。在此基础之上,通过解析CPN的中间产物XML(Extensible Markup Language)文档来实现自动寻找危险状态和危险可达路径,并分析系统中不安全控制和控制缺陷,为系统的安全运行提供指导。最后,将本文提出的安全分析方法用于对列控系统的安全分析,在一定程度上实现了自动辨识系统的危险状态和危险可达路径,并将上述分析过程用软件界面实现,完成了软件工具的开发,事实证明本文中提出的方法具有一定的可行性。

关键词： CTCS-3 安全风险辨识系统理论过程分析有色Petri网可达性分析

来源：评论

学校读者我要写书评

暂无评论

基于MB-STPA的电传飞控系统安全性分析方法研究

基于MB-STPA的电传飞控系统安全性分析方法研究

引用

作者：魏金淇中国民航大学

学位级别：硕士

电传飞控系统(Fly-by-wire Flight Control System,FFCS)是目前民机上主流使用的飞行控制系统。FFCS为了提高系统的安全性,采用余度设计,利用多套飞行控制计算机来确保当系统某个部分出现故障或者失效时,采用其他的备份保证飞机能够继... 详细信息

电传飞控系统(Fly-by-wire Flight Control System,FFCS)是目前民机上主流使用的飞行控制系统。FFCS为了提高系统的安全性,采用余度设计,利用多套飞行控制计算机来确保当系统某个部分出现故障或者失效时,采用其他的备份保证飞机能够继续正常飞行。余度技术的存在提高了飞机系统的安全性,但是加大了系统组件之间交互的复杂程度,使得安全性分析变得更为困难。为了解决余度技术带来的困难,本文将基于模型的安全性分析(Model-based Safety Analysis,MBSA)方法和系统理论过程分析(System Theoretic Process Analysis,STPA)方法两种安全性分析方法进行融合,提出一种基于MBSTPA的安全性分析方法,并针对FFCS进行了分析。针对STPA方法不能很好的分析FFCS中余度设计带来的系统部件间的复杂控制问题,并且缺乏对系统风险与致因的定量评估,不能很好的量化风险的重要程度的缺点,通过引入基于模型的安全性分析方法,对系统的安全性分析结果做出了优化。首先利用STPA确定系统级事故和系统级危险,构建系统分层控制模型,识别系统的不安全控制行为(Unsafe Control Actions,UCA)以及导致UCA的基本致因因素;然后通过建立系统模型,进行故障注入,得到导致UCA发生的最小致因因素集合;最后通过求解最小致因因素集合的结构重要度,结合层次分析法(Analytic Hierarchy Process,AHP),识别出可能导致系统级事故发生的UCA的关键致因因素。对构建的模型进行模型检查分析,通过对系统形式化建模以及对系统模块故障注入,得到系统扩展模型,利用Nu SMV检查器验证模型的正确性。以A320的FFCS为例,验证了MB-STPA方法的可行性和有效性。本文提出的MBSA与STPA相结合的安全性分析方法,可以很好的识别出复杂系统中导致事故危险发生的关键风险致因因素,并对构建的模型进行模型检查,得到系统的故障传播路径和最小故障集合等安全性分析结果,对复杂的FFCS的安全性分析提供了一定的参考。

关键词：电传飞控系统基于模型的安全性分析系统理论过程分析模型检查

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共5页 << < 1 2 3 4 5 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：