基于有限状态机理论的卫星软错误传播过程建模与仿真方法

    公开(公告)号:CN109408975A

    公开(公告)日:2019-03-01

    申请号:CN201811278464.3

    申请日:2018-10-30

    IPC分类号: G06F17/50

    摘要: 本发明公开了一种基于有限状态机理论的卫星软错误传播过程建模与仿真方法,属于卫星软错误传播建模与仿真技术领域。本发明是基于有限状态机理论,利用图形化工具Stateflow中的状态框图对卫星系统中受软错误影响的每个部件的失效模式及各个部件失效的传播方式进行描述,分为纵向与横向两个传播层次,构成软错误传播模型,通过对软错误传播模型进行仿真,可以直观地观察到软错误的动态传播过程,并得到软错误传播路径。与现有技术相比,本发明可以描述软错误引起的多类失效模式及其失效影响在卫星各层级的传递,并按其失效特点分为不同层级间的纵向传播和同层级间的横向传播,使分析更贴合实际情况,而并非仅依靠工程经验。

    一种航天器总装安全性评价系统及评价方法

    公开(公告)号:CN104766125A

    公开(公告)日:2015-07-08

    申请号:CN201510184486.3

    申请日:2015-04-17

    发明人: 田瑾 赵廷弟 傅菊

    IPC分类号: G06Q10/00

    摘要: 本发明提供一种航天器总装安全性评价系统,其包括控制组件、总装指标获取组件和总装安全性评价组件,其中总装指标获取组件和总装安全性评价组件分别与控制组件通讯连接。总装指标获取组件包括数据处理单元、人员指标获取单元、设备指标获取单元、环境指标获取单元、操作类型指标获取单元、操作对象指标获取单元和应急措施指标获取单元。本发明还提供一种航天器总装安全性评价方法,其利用灰色模糊综合评价体系对航天器总装的安全性进行评价,将各个总装要素纳入总装安全性评价体系,最大限度的降低总装事故的风险,并且能够对每个单元进行安全性评价,当安全性评价不能达到预设阈值时报警单元会进行报警,便于操作人员对总装中的指标进行设定和修改。

    基于AADL的IMA动态重构建模方法

    公开(公告)号:CN105373650B

    公开(公告)日:2018-09-28

    申请号:CN201510666462.1

    申请日:2015-10-15

    IPC分类号: G06F17/50

    摘要: 本发明是一种基于AADL的IMA动态重构建模方法,用于航电系统安全性建模。本方法包括:确立动态重构过程要素,分解动态重构过程为一个个子状态,确立每个状态配置情况和状态之间转换需要的触发和转换动作;利用ARINC653附件来表示IMA的软硬件组成,利用行为附件来描述动态重构过程,利用错误模型附件描述触发行为,利用模态表示动态重构过程的不同配置情况;确定IMA动态重构过程模型实例;利用AADL行为附件和模态结合,描述动态重构转换过程;利用软件实现并完善所建模型。本发明使复杂的动态重构过程模型化,便于分析动态重构过程的安全性,将成熟的AADL语言与IMA动态重构过程结合,创立了全新的过程建模方法。

    一种航天器总装安全性评价系统及评价方法

    公开(公告)号:CN104766125B

    公开(公告)日:2018-02-16

    申请号:CN201510184486.3

    申请日:2015-04-17

    发明人: 田瑾 赵廷弟 傅菊

    IPC分类号: G06Q10/00

    摘要: 本发明提供一种航天器总装安全性评价系统,其包括控制组件、总装指标获取组件和总装安全性评价组件,其中总装指标获取组件和总装安全性评价组件分别与控制组件通讯连接。总装指标获取组件包括数据处理单元、人员指标获取单元、设备指标获取单元、环境指标获取单元、操作类型指标获取单元、操作对象指标获取单元和应急措施指标获取单元。本发明还提供一种航天器总装安全性评价方法,其利用灰色模糊综合评价体系对航天器总装的安全性进行评价,将各个总装要素纳入总装安全性评价体系,最大限度的降低总装事故的风险,并且能够对每个单元进行安全性评价,当安全性评价不能达到预设阈值时报警单元会进行报警,便于操作人员对总装中的指标进行设定和修改。

    一种舰载机着舰过程的安全监测方法

    公开(公告)号:CN110222375A

    公开(公告)日:2019-09-10

    申请号:CN201910394301.X

    申请日:2019-05-13

    IPC分类号: G06F17/50 G06Q10/06 G06F17/16

    摘要: 本发明涉及一种舰载机着舰过程的安全监测方法,属于安全监测技术领域。该方法包括以下步骤:对舰载机着舰过程进行危险与可操作性的定性分析得到危险因子;根据人、舰载机、环境间的多因素耦合关系,从所述危险因子中确定多个关键危险因子;根据所述多个关键危险因子间直接相互耦合作用对着舰过程安全性的影响程度,得到相互作用矩阵;采用DEMATEL模型计算得到综合影响矩阵;根据所述相互作用矩阵和所述综合影响矩阵得到所述多个关键危险因子对着舰过程安全性的影响程度;根据该关键危险因子对本次着舰过程进行安全监测。本发明实现了从定性和定量两个角度评估舰载机着舰过程多因素耦合的危险因子间相互影响关系和对着舰过程安全性的影响。

    面向IMA资源安全性分析的AADL到ECPN模型转换方法

    公开(公告)号:CN105608247B

    公开(公告)日:2018-08-28

    申请号:CN201510766190.2

    申请日:2015-11-11

    IPC分类号: G06F17/50

    摘要: 本发明是一种面向IMA资源安全性分析的AADL到ECPN模型转换方法,用于航空电子系统建模与分析。本方法将IMA系统映射的AADL模型作为源模型,基于CPN,扩展定义了变迁点火的时间函数和颜色集,修改了变迁点火规则;将处理器、虚拟处理器和分区映射为库所,将通信和分区调度映射为变迁,将分区通信数据、起始时间和调用次数映射为库所中的托肯,将分区的执行时间映射为时间函数,将分区的调用周期映射为弧函数,将IMA系统运行时对资源的约束映射为守卫函数;本发明在模型转换过程中不丢失任何关键资源建模元素,可准确描述IMA系统的时间资源和物理资源,帮助分析系统的资源配置问题。

    一种导弹贮存安全性评价系统及方法

    公开(公告)号:CN105068447B

    公开(公告)日:2017-08-25

    申请号:CN201510490757.8

    申请日:2015-08-11

    发明人: 田瑾 荣灏 赵廷弟

    IPC分类号: G05B17/02

    摘要: 本发明提供一种导弹贮存安全性评价系统及方法,本发明通过建立导弹贮存过程使用模型,确定各模型分析参数,并根据各个模型分析参数,识别危险分析项目;针对各个危险分析项目,建立导弹贮存过程中的安全控制模块,建立安全性评价模型,对安全性评价模型进行安全性仿真,得出事故致因因素,并对安全控制措施进行修改。对导弹贮存过程中的安全性进行动态的综合评价,评价结果包含了导弹贮存过程中可能存在的危险因素及其对风险的影响,以及综合风险水平在较长贮存期内所呈现的变化趋势,对导弹贮存过程中可能产生的危险起到安全指导的作用。

    一种航空发动机关键系统危险分析系统及方法

    公开(公告)号:CN105043775A

    公开(公告)日:2015-11-11

    申请号:CN201510441715.5

    申请日:2015-07-24

    发明人: 田瑾 戴瀛 赵廷弟

    IPC分类号: G01M15/00

    摘要: 本发明提供一种航空发动机关键系统危险分析系统及方法,包括以下步骤:构建控制组件、滑油组件和点火起动组件的层次结构图和流程图;设定所有子功能的工作状态;模拟每个子功能在自身工作状态下的执行状态,确定所有潜在危险;对各项潜在危险进行危险等级划分,判断潜在危险的危险等级是否高于阈值;针对高于阈值的潜在危险确定产生潜在危险的原因并将高于阈值的潜在危险以及产生的原因发送至客户控制端;客户控制端根据接收的信息确定危险消除和控制措施,并依据所述危险消除和控制措施进行航空发动机关键系统的修正。本发明能够对航空发动机的危险消除和控制措施进行验证,并根据结果完善航空器发动机的危险消除和控制措施,保证航空器的安全。

    一种航空发动机关键系统危险分析系统及方法

    公开(公告)号:CN105043775B

    公开(公告)日:2017-12-19

    申请号:CN201510441715.5

    申请日:2015-07-24

    发明人: 田瑾 戴瀛 赵廷弟

    IPC分类号: G01M15/00

    摘要: 本发明提供一种航空发动机关键系统危险分析系统及方法,包括以下步骤:构建控制组件、滑油组件和点火起动组件的层次结构图和流程图;设定所有子功能的工作状态;模拟每个子功能在自身工作状态下的执行状态,确定所有潜在危险;对各项潜在危险进行危险等级划分,判断潜在危险的危险等级是否高于阈值;针对高于阈值的潜在危险确定产生潜在危险的原因并将高于阈值的潜在危险以及产生的原因发送至客户控制端;客户控制端根据接收的信息确定危险消除和控制措施,并依据所述危险消除和控制措施进行航空发动机关键系统的修正。本发明能够对航空发动机的危险消除和控制措施进行验证,并根据结果完善航空器发动机的危险消除和控制措施,保证航空器的安全。

    面向IMA资源安全性分析的AADL到ECPN模型转换方法

    公开(公告)号:CN105608247A

    公开(公告)日:2016-05-25

    申请号:CN201510766190.2

    申请日:2015-11-11

    IPC分类号: G06F17/50

    摘要: 本发明是一种面向IMA资源安全性分析的AADL到ECPN模型转换方法,用于航空电子系统建模与分析。本方法将IMA系统映射的AADL模型作为源模型,基于CPN,扩展定义了变迁点火的时间函数和颜色集,修改了变迁点火规则;将处理器、虚拟处理器和分区映射为库所,将通信和分区调度映射为变迁,将分区通信数据、起始时间和调用次数映射为库所中的托肯,将分区的执行时间映射为时间函数,将分区的调用周期映射为弧函数,将IMA系统运行时对资源的约束映射为守卫函数;本发明在模型转换过程中不丢失任何关键资源建模元素,可准确描述IMA系统的时间资源和物理资源,帮助分析系统的资源配置问题。