您的位置： 专家智库 > >

黄燕冰

作品数：8 被引量：0H指数：0
供职机构：中国航空综合技术研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 8篇中文专利

领域

  • 5篇自动化与计算...

主题

  • 6篇仿真
  • 2篇电子系统
  • 2篇形式化
  • 2篇形式化验证
  • 2篇容错
  • 2篇软件测试
  • 2篇软件测试技术
  • 2篇失效率
  • 2篇失效判据
  • 2篇时态逻辑
  • 2篇嵌入式
  • 2篇嵌入式软件
  • 2篇状态机
  • 2篇自动化
  • 2篇维修性
  • 2篇系统容错
  • 2篇模拟系统
  • 2篇可靠性
  • 2篇可靠性分析
  • 2篇建模仿真

机构

  • 8篇中国航空综合...

作者

  • 8篇黄燕冰
  • 4篇周汉清
  • 4篇江志炜
  • 2篇周岩
  • 2篇贾治宇
  • 2篇曾照洋
  • 2篇周扬
  • 2篇袁锴

年份

  • 1篇2023
  • 1篇2022
  • 2篇2021
  • 1篇2020
  • 1篇2019
  • 1篇2018
  • 1篇2017
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
一种嵌入式软件安全性自动化验证系统及其验证方法
本发明是一种嵌入式软件安全性自动化验证系统及其验证方法，该技术方案结合基于模型检测的形式化验证技术与基于模型的软件测试技术，实现了对软件安全性的双重验证。本发明实现的自动化验证系统包括四部分，分别是软件需求建模模块、安全...
周汉清黄燕冰江志炜
航空装备多质量特性一体化集成建模仿真评估方法
本发明提出一种航空装备多质量特性一体化集成建模仿真评估方法，该一体化集成建模仿真评估方法，以完成航空装备作训任务为牵引，综合集成了作训任务子模型、装备子模型、保障资源子模型、保障过程子模型和可靠性、测试性、维修性模型，仿...
周扬周岩李硕贾治宇曾照洋危虹袁锴黄燕冰
一种基于事故动态推演仿真的故障模式与影响分析方法
本发明是一种基于事故动态推演仿真的故障模式与影响分析方法，该方法针对被分析对象的特点，构建最低约定层次的每一个模块的功能方框，构建功能框图，与传统的在功能模块上添加失效率并进行可靠性分析不同，本发明方法对每一个功能方框，...
周汉清吕海熊王智浩黄燕冰江志炜李瑜
一种基于事故动态推演仿真的故障模式与影响分析方法
本发明是一种基于事故动态推演仿真的故障模式与影响分析方法，该方法针对被分析对象的特点，构建最低约定层次的每一个模块的功能方框，构建功能框图，与传统的在功能模块上添加失效率并进行可靠性分析不同，本发明方法对每一个功能方框，...
周汉清吕海熊王智浩黄燕冰江志炜李瑜
文献传递
基于Rhapsody状态机的高容错电子系统任务可靠性仿真分析方法
本发明提出一种基于Rhapsody状态机的高容错电子系统任务可靠性仿真分析方法，按以下步骤进行：确定系统任务可靠性要求与仿真分析目标；根据系统的FMEA结果提取系统组成单元的关键信息；建立基于Rhapsody状态机的故障...
王如平宋佳周一舟黄燕冰王鑫张睿明
文献传递
基于Rhapsody状态机的高容错电子系统任务可靠性仿真分析方法
本发明提出一种基于Rhapsody状态机的高容错电子系统任务可靠性仿真分析方法，按以下步骤进行：确定系统任务可靠性要求与仿真分析目标；根据系统的FMEA结果提取系统组成单元的关键信息；建立基于Rhapsody状态机的故障...
王如平宋佳周一舟黄燕冰王鑫张睿明
文献传递
航空装备多质量特性一体化集成建模仿真评估方法
本发明提出一种航空装备多质量特性一体化集成建模仿真评估方法，该一体化集成建模仿真评估方法，以完成航空装备作训任务为牵引，综合集成了作训任务子模型、装备子模型、保障资源子模型、保障过程子模型和可靠性、测试性、维修性模型，仿...
周扬周岩李硕贾治宇曾照洋危虹袁锴黄燕冰
文献传递
一种嵌入式软件安全性自动化验证系统及其验证方法
本发明是一种嵌入式软件安全性自动化验证系统及其验证方法，该技术方案结合基于模型检测的形式化验证技术与基于模型的软件测试技术，实现了对软件安全性的双重验证。本发明实现的自动化验证系统包括四部分，分别是软件需求建模模块、安全...
周汉清黄燕冰江志炜
文献传递
全选 清除 导出
共1页<1>
聚类工具0