您的位置: 专家智库 > >

文献类型

  • 23篇中文专利

领域

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

主题

  • 6篇网络
  • 5篇调度
  • 5篇调度方法
  • 4篇目标码
  • 4篇机载
  • 3篇代码
  • 3篇调度器
  • 3篇硬件
  • 3篇源代码
  • 3篇适航
  • 3篇数据管理
  • 3篇链接
  • 3篇航空电子
  • 3篇B/C
  • 3篇DO-178
  • 2篇代码优化
  • 2篇电源
  • 2篇电源转换
  • 2篇电源转换器
  • 2篇对象标识符

机构

  • 23篇中国航空工业...

作者

  • 23篇田莉蓉
  • 15篇邱征
  • 15篇牛文生
  • 15篇王红春
  • 10篇牟明
  • 8篇陈长胜
  • 8篇魏雪菲
  • 7篇黄韬
  • 7篇于峰
  • 6篇戴小氐
  • 6篇余亚刚
  • 6篇邢亮
  • 6篇黄晖
  • 5篇朱佳
  • 4篇王建宇
  • 3篇刘航
  • 3篇袁晓军
  • 2篇湛文韬
  • 2篇何立军
  • 2篇林荣超

年份

  • 2篇2018
  • 5篇2017
  • 14篇2015
  • 1篇2014
  • 1篇2013
23 条 记 录,以下是 1-10
排序方式:
一种符合DO‑178B/C A级软件适航认证过程管理及数据管理方法
本发明属于计算机软件设计技术领域,具体涉及一种符合DO‑178B/C A级软件适航认证过程管理及数据管理方法。该方法首先根据DO‑178B/C A级软件确定适航认证的认证过程及所需数据,然后搭建认证过程管理和数据管理架构...
田莉蓉黄晖牟明戴小氐邢亮逯计划
文献传递
一种空间确定的任务调度方法
一种空间确定的任务调度方法,包括:1)采用预先静态定义的方式在编译过程中确定代码区和数据区空间尺寸;2)经过启动加载过程加载到内存后,静态确定代码区和数据区空间的起始物理地址和尺寸;3)采用安全性保护机制对代码区和数据区...
邱征牛文生田莉蓉黄韬王红春陈长胜牟明于峰
文献传递
一种符合DO-178B/C A级软件目标码覆盖分析方法
本发明属于综合化航空电子系统软件技术领域,具体涉及一种符合DO-178B/C A级软件目标码覆盖分析方法。该方法采用编译工具LDRA Testbed或者Verocel VeroCode的主要步骤包括:1)采用源代码与目标...
田莉蓉牟明戴小氐逯计划黄晖邢亮
一种机载设备的快速加载配置表的方法
本发明提出了一种机载设备的快速更新配置的方法,包括以下步骤:1)根据机载设备每个位置,建立与每个位置一一对应的配置表;2)将所有位置对应的配置表保存到同一个配置表文件中,将配置表文件固化到机载设备中;3)获取当前位置对应...
田莉蓉魏雪菲牛文生王红春朱佳邱征陈长胜余亚刚王建宇
文献传递
一种基于虚拟链路的数据帧调度方法
本发明提出了一种基于虚拟链路的数据帧调度方法,包括以下步骤:1)虚链路模块接收到数据后,设定系统给相应虚拟链路分配的带宽分配间隔值;2)在FIFO中等待,进入调度模块中并获得系统分配的抖动上限值并在此时间值范围内发送到M...
牛文生王红春田莉蓉邱征陈长胜王建宇于峰朱佳
文献传递
一种航电网络高速数据加卸载方法
本发明提供一种航电网络高速数据加卸载方法,解决已有的航空网络数据加卸载技术加卸载效率低的问题。本发明提出了新的基于UDP的文件传输协议,该协议在传输数据时,数据发送和接收方首先对数据包最大尺寸进行协商,得到最大可传输的数...
田莉蓉王红春牛文生邱征余亚刚朱佳陈长胜魏雪菲王建宇
文献传递
一种机载设备的快速加载配置表的方法
本发明提出了一种机载设备的快速更新配置的方法,包括以下步骤:1)根据机载设备每个位置,建立与每个位置一一对应的配置表;2)将所有位置对应的配置表保存到同一个配置表文件中,将配置表文件固化到机载设备中;3)获取当前位置对应...
田莉蓉魏雪菲牛文生王红春朱佳邱征陈长胜余亚刚王建宇
一种符合DO‑178B/C A级软件目标码覆盖分析方法
本发明属于综合化航空电子系统软件技术领域,具体涉及一种符合DO‑178B/C A级软件目标码覆盖分析方法。该方法采用编译工具LDRA Testbed或者Verocel VeroCode的主要步骤包括:1)采用源代码与目标...
田莉蓉牟明戴小氐逯计划黄晖邢亮
文献传递
一种远程智能接口单元及控制方法
本发明提供一种远程智能接口单元及控制方法,主要解决了现有传感器接口传输互相干扰以及传感器接口信号和受动器接口信号之间的互相干扰的问题。该远程智能接口单元包括与综合核心处理机连接的AFDX网络接口,AFDX网络接口通过DP...
李成文田莉蓉林荣超余松涛何立军王纯伟湛文韬陈国高杨
文献传递
一种符合DO‑178B/C A级软件的模型验证方法
本发明公开了一种符合DO‑178B/C A级软件的模型验证方法,用于解决基于模型的软件开发中的模型验证问题。该方法的主要步骤是:1)搭建验证系统架构;2)将待验证模型通过模型转换器转换为若干个特征模型;3)以若干个特征模...
田莉蓉邢亮牟明戴小氐黄晖逯计划
文献传递
共3页<123>
聚类工具0