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

作者：李宛倩南京航空航天大学

学位级别：硕士

近十年来随着基于计算机的系统应用的深入和功能的增强,航空、医疗、交通运输等若干安全关键领域规模越来越大,涉及到的系统设计与分析问题也越来越复杂,如何深入研究复杂系统建模以及安全性分析问题已经成为学术界和工业界共同关注的... 详细信息

近十年来随着基于计算机的系统应用的深入和功能的增强,航空、医疗、交通运输等若干安全关键领域规模越来越大,涉及到的系统设计与分析问题也越来越复杂,如何深入研究复杂系统建模以及安全性分析问题已经成为学术界和工业界共同关注的重点课题。SysML作为一门广泛应用于国内外航空航天领域的通用图形化建模语言,主要用于对复杂系统进行功能及性能的设计,但是SysML没有明确提供对系统故障和失效进行建模的符号和语义,因而如何对以SysML为典型的系统模型进行安全性分析验证是一个非常重要的问题。AltaRica作为一门基于模型的安全性分析建模语言,主要用于描述和分析复杂的多层次系统架构和故障及失效行为信息,在当前航空工业界应用较为广泛,因而建立起SysML架构设计模型和安全性分析模型之间的桥梁可以有效保证安全性分析与系统设计的同步展开,有利于提高系统安全性分析效率。本文的工作主要是围绕基于模型的安全性分析(MBSA)方法展开,具体工作包括如下几个方面:(1)设计了基于模型转换的SysML安全性分析与验证框架。该框架基于SysML和AltaRica各自的特点以及当前面临的复杂系统设计建模安全性的挑战,给出了从SysML设计模型至安全性分析验证过程的逻辑框架图与数据处理流程图,并详细分析了SysML图模型及AltaRica3.0模型的组成要素。(2)构建从SysML架构模型的核心模型元素到最新系统安全性建模语言AltaRica3.0的语义等价的转换规则并分析其正确性。首先分析了SysML和AltaRica3.0建模的模型特点,构造了SysML模型元素和AltaRica3.0模型元素之间的映射规则,包括核心的转换规则及如何扩展SysML故障的相关语法语义,然后给出转换规则的形式化描述并分析证明转换规则的正确性。(3)基于模型驱动的方法设计一个原型工具SafetyTool来完成模型的自动转换和系统安全性分析。原型工具集成了转换、编译、生成故障树、故障树分析、单步仿真及故障路径动态演示的功能,能够自动化的解析SysML的XMI模型,提取出所需要的模型元素,再根据AltaRica语法自动转换为AltaRica3.0模型文件,然后对所构造的AltaRica3.0模型进行安全性分析。(4)以SAE AIR6110标准中民机的机轮刹车系统实例来展示方法和工具。包括根据AIR6110文档标准和安全性需求建立机轮刹车系统的SysML模型,使用SafetyTool实现两种建模语言的转换,基于AltaRica3.0模型构建故障树,利用相关工具对系统进行安全性分析,分析故障传播路径并动态演示,最后对机轮刹车系统进行安全性属性验证。

关键词：安全关键系统 SysML AltaRica3.0 故障树机轮刹车系统系统安全性分析

来源：评论

学校读者我要写书评

暂无评论

机载冗余系统带多重故障运行的时间间隔决策方法研究

机载冗余系统带多重故障运行的时间间隔决策方法研究

引用

作者：韩冰南京航空航天大学

学位级别：硕士

机载冗余系统带故障运行分析是系统安全性分析的重要组成部分,已广泛的应用于主设备最低清单编制与发动机控制系统的研制与审定之中。目前的带故障运行分析主要集中在单故障领域,而实际飞机运行中,多故障发生后飞机仍可能满足适航规定... 详细信息

机载冗余系统带故障运行分析是系统安全性分析的重要组成部分,已广泛的应用于主设备最低清单编制与发动机控制系统的研制与审定之中。目前的带故障运行分析主要集中在单故障领域,而实际飞机运行中,多故障发生后飞机仍可能满足适航规定的安全性要求,此时若不允许飞机派遣,将在导致延误率升高的同时也会浪费维修资源。本文对机载系统带多重故障运行的时间间隔决策方法开展研究,主要的研究内容如下:1)研究了平均安全性水平的一般定义,分析了单故障与多故障运行分析的建模特点,给出了多故障派遣类别决策原则,推导了周期检查维修方式下的故障暴露时间算法。2)针对简单系统基于马尔可夫过程推导了状态稳态频率公式,给出了系统带故障运行时各状态频率求解方法;针对复杂系统利用蒙特卡罗仿真法,提出了基于随机数模拟的各状态频率求解方法。3)分别利用马尔可夫过程法与蒙特卡罗仿真法,建立了系统平均安全性水平与带故障运行时间的函数关系、签派可靠度与带故障运行时间的函数关系以及单位时间运行成本与带故障运行时间的函数关系;进而分别构建了以安全性要求为唯一约束、考虑签派可靠度约束以及基于运行成本优化的系统带多重故障运行时间决策模型。4)开发了机载冗余系统带多重故障运行时间决策软件,在给定系统架构以及部件故障数据的条件下,可实现机载系统带多重故障运行时间的高效计算。

关键词：系统安全性分析带故障派遣签派可靠度成本优化马尔可夫过程蒙特卡罗仿真机载冗余系统

来源：评论

学校读者我要写书评

暂无评论

电传飞控共模适航要求及审定考虑

引用

民用飞机设计与研究 2023年第2期 1-7页

作者：黄铭媛揭裕文宋智桃戴闰志中国民航上海航空器适航审定中心上海200232

梳理和分析电传飞控系统共模相关适航要求,创新建立“电传飞控系统共模认知-控制审定流程模型”并提出针对共模问题的审查原则和考虑,有助于全面分析、识别并确定可能的共模失效、提出独立性设计要求,权衡设计解决方案等。应用该模型和... 详细信息

梳理和分析电传飞控系统共模相关适航要求,创新建立“电传飞控系统共模认知-控制审定流程模型”并提出针对共模问题的审查原则和考虑,有助于全面分析、识别并确定可能的共模失效、提出独立性设计要求,权衡设计解决方案等。应用该模型和审查考虑对某机型电传飞控系统有关复杂电子硬件差错共模的审查案例开展分析,识别确认共模因素和共模失效并分析各设计方案的可行性。研究成果对电传飞控系统及其它复杂系统共模的审查和设计具有指导和借鉴意义。

关键词：电传飞控系统安全性分析共模适航审查终极备份

来源：评论

学校读者我要写书评

暂无评论

城市轨道交通运营系统风险分析方法探讨

引用

中国安全生产科学技术 2007年第5期3卷 92-95页

作者：叶庆辉李毅雄陈波何同庆广州市地下铁道总公司运营事业总部广州510010

本文通过分析城市轨道交通运营系统风险特性,结合系统安全性分析理论,提出选用作业过程风险分析、事故树分析及事件树分析相结合的综合方法分析城市轨道交通运营风险,介绍了该综合性分析方法结合的思路与方法,并运用该方法分析了广州地... 详细信息

本文通过分析城市轨道交通运营系统风险特性,结合系统安全性分析理论,提出选用作业过程风险分析、事故树分析及事件树分析相结合的综合方法分析城市轨道交通运营风险,介绍了该综合性分析方法结合的思路与方法,并运用该方法分析了广州地铁1、2、3、4号线运营风险。

关键词：系统安全性分析作业过程风险分析事故树分析事件树分析城市轨道交通运营风险危险源

来源：评论

学校读者我要写书评

暂无评论

审定维修要求项目产生流程分析

引用

直升机技术 2015年第4期 54-57页

作者：杨晓东刘照兴中国直升机设计研究所江西景德镇333001

介绍了审定维修要求(CMR)的相关概念及安全性分析与CMR之间的关系。从安全性的角度出发,对CMR项目产生的过程和方法以及风险暴露时间的计算方法进行了全面的分析,用于指导民机设计人员在安全性分析过程中确定可能的CMR项目。

关键词： CMR项目潜在失效系统安全性分析

来源：评论

学校读者我要写书评

暂无评论

专栏文章简介

引用

环境技术 2024年第7期42卷 6-6页

作者：张平陈冬梅中国民用航空上海航空器适航审定中心电子电气室北京圣涛平试验工程技术研究院有限责任公司

航空电子硬件在(3000~12000)m的高空飞行环境中会遭遇大气中子的辐射危害影响,如果防护措施不当,则可能导致1变0或0变1的指令和数据错误,从而出现死机、黑屏、命令错误、数据丢失、系统崩溃等现象。行业内称之为“大气中子单粒子效应”... 详细信息

航空电子硬件在(3000~12000)m的高空飞行环境中会遭遇大气中子的辐射危害影响,如果防护措施不当,则可能导致1变0或0变1的指令和数据错误,从而出现死机、黑屏、命令错误、数据丢失、系统崩溃等现象。行业内称之为“大气中子单粒子效应”,主要用“单粒子效应故障率”这一术语来表征这一现象。因此,“单粒子效应故障率”是航空系统安全性分析过程中的重要基础数据。

关键词：系统崩溃单粒子效应数据丢失专栏文章黑屏高空飞行辐射危害系统安全性分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：