张福凯
- 作品数：23 被引量：8H指数：1
- 供职机构：中国航空无线电电子研究所更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种基于VAIS的民用飞机综合显示系统需求测试验证方法
- 民用飞机系统的研制过程中,需求测试是验证系统功能是否满足要求的重要一步.本文结合项目实际,提出一种基于VAIS工具的民用飞机综合显示系统需求测试验证方法.通过建立需求测试平台,帮助设计人员在系统软件开发的同时进行需求的仿...
- 张福凯
- 关键词：民用飞机
- 一种数字类数据图像处理方法及装置
- 本发明公开了一种数字类数据图像处理方法及装置，该方法包括：获取接收到的视频的当前帧的图像；对所述图像进行飞行特征的显示识别，得到所述飞行特征的显示数据；接收所述飞行特征的原始数据；根据阈值判断所述飞行特征的原始数据和显示...
- 张茂帝陈龙杨亮谷青范周海燕姜轶李娜荣灏周元辉张福凯林谢贵
- 一种面向航电系统架构模型的设计工具
- 本发明公开了一种面向航电系统架构模型的设计工具，包含通用建模和插件引擎模块、插件集设计模块和插件集配置模块；插件集配置模块为用户提供创建和修改配置文件的功能；其中，配置文件用于描述模型的规则；通用建模和插件引擎模块根据插...
- 荣灏张福凯林谢贵张茂帝周元辉陈龙杨亮李娜谷青范周海燕姜轶
- 基于思维导图的故障树构建方法和系统
- 本发明公开了一种基于思维导图的故障树构建方法，包含以下步骤：一、分析系统架构的功能信息流图，绘制功能信息流的思维导图；二、收集思维导图中各节点发生丧失的概率和错误的概率和为上述节点供电的供电设备的安全性信息；三、利用思维...
- 董海勇陈龙李娜杨亮周元辉张福凯荣灏张茂帝林谢贵周海燕谷青范姜轶
- 文献传递
- 基于模型转换的民用飞机系统行为状态安全性验证方法
- 本发明公开了一种基于模型转换的民用飞机系统行为状态安全性验证方法，包含以下步骤：根据民用飞机系统中各组件之间的功能交互关系构建AltaRicaGTS模型；以验证民用飞机系统的行为状态为目标，确定GTS模型与NuSMV模型...
- 荣灏张福凯李娜周元辉张茂帝林谢贵陈龙杨亮姜轶周海燕谷青范
- 文献传递
- 一种面向航电系统架构模型的设计工具
- 本发明公开了一种面向航电系统架构模型的设计工具，包含通用建模和插件引擎模块、插件集设计模块和插件集配置模块；插件集配置模块为用户提供创建和修改配置文件的功能；其中，配置文件用于描述模型的规则；通用建模和插件引擎模块根据插...
- 荣灏张福凯林谢贵张茂帝周元辉陈龙杨亮李娜谷青范周海燕姜轶
- 基于指令的数据处理应用检测方法
- 本发明公开了一种基于指令的数据处理应用检测方法，包含以下步骤：步骤1、统计处理芯片上运行的各数据处理应用所用到的指令，获取指令全集；步骤2、基于获取的指令全集，构建测试函数，所述测试函数中包含了指令全集的调用。步骤3、根...
- 谷青范周元辉荣灏周海燕姜轶李娜刘经华张茂帝林谢贵陈龙杨亮张福凯
- 文献传递
- 一种基于VAIS的民用飞机综合显示系统需求测试验证方法
- 民用飞机系统的研制过程中,需求测试是验证系统功能是否满足要求的重要一步。本文结合项目实际,提出一种基于VAIS工具的民用飞机综合显示系统需求测试验证方法。通过建立需求测试平台,帮助设计人员在系统软件开发的同时进行需求的仿...
- 张福凯
- 基于模型驱动的HUD系统安全性分析方法研究被引量：8
- 2014年
- 平视显示器能够有效提高飞行员的情景意识,从而提高飞行的安全性,现已成为新投入使用的民用客机必装的航电设备。本文结合项目实际,采用基于模型驱动的安全性分析工具---SIMFIA构建平视显示系统功能架构和失效状态(顶事件),自动生成引起失效状态因素的故障树,用于达到分析平视显示系统安全性的目的。结果表明,SIMFIA建模与系统设计相结合,能够实现系统设计与安全性评估工作的一致表示,从而有效支持系统和安全性分析的迭代过程。
- 张福凯贺轶斐谷青范
- 关键词：平视显示器故障树
- 基于思维导图的故障树构建方法和系统
- 本发明公开了一种基于思维导图的故障树构建方法，包含以下步骤：一、分析系统架构的功能信息流图，绘制功能信息流的思维导图；二、收集思维导图中各节点发生丧失的概率和错误的概率和为上述节点供电的供电设备的安全性信息；三、利用思维...
- 董海勇陈龙李娜杨亮周元辉张福凯荣灏张茂帝林谢贵周海燕谷青范姜轶
- 文献传递
