龚健
- 作品数：43 被引量：30H指数：4
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家科技重大专项更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术水利工程电子电信更多>>
- 一种星载多核SoC任务级负载均衡并行调度方法
- 本发明提出了一种星载多核SoC任务级负载均衡并行调度方法，步骤如下：将多核任务控制块TCB作为节点构建全局任务调度队列；调度器模块初始化时创建4个优先级最低的空闲任务，并加入全局任务调度队列OSTaskRdyList；多...
- 龚健杨孟飞刘鸿瑾吴一帆杨桦王婧徐建吴军刘波彭飞
- 文献传递
- 具有存储器空间单粒子翻转检测能力的星载计算机系统
- 本发明涉及抗辐射集成电路技术领域，特别涉及一种具有存储器空间单粒子翻转检测能力的星载计算机系统。系统包括：处理器、总线、存储器、存储器接口控制器、纠检错模块和检测模块；存储器包含若干个存储字，每一个存储字含有若干个存储位...
- 李圣龙刘波高瑛珂杨正孙川川赵云富赵梦龚健杨建宇毛凯莉张祎頔
- 一种多核操作系统可重构容错启动方法
- 一种多核操作系统可重构容错启动方法，设置同步信号为初始状态，设置自旋锁为未被占用；各处理器核完成初始化后，申请自旋锁；申请到自旋锁的处理器核进入核间互斥访问的临界区，其余处理器核阻塞在自旋锁上；第一个申请到自旋锁的处理器...
- 王婧彭飞刘波华更新龚健高益军杨桦刘鸿瑾张绍林许娜
- 文献传递
- 一种SRAM型FPGA的可靠性优化方法
- 本发明提供一种针对SRAM型FPGA的可靠性优化方法，该方法包括如下步骤：以查找表LUT为单位，建立含有逻辑屏蔽效应的功能等价类；对网表中各查找表的可靠性进行评估；根据可靠性评估的结果，对于电路中输入地址线未完全使用的查...
- 刘鸿瑾杨孟飞华更新杨桦刘波龚健董暘暘张绍林王靖彭飞赵云富
- 文献传递
- 硬件进化系统的容错性研究
- 硬件进化容错技术能满足航空、航天等应用领域对可靠性、安全性的极高要求，是一种具有前景的智能容错技 术。为揭示硬件进化系统实现容错的本质原因和机理，对其容错性进行详细的分析和研究。本文采用实验的方法研究了进化算法的种群和变...
- 龚健杨孟飞
- 关键词：可编程器件容错技术进化算法
- 基于多种并发机制的卫星电子设备地面测试软件设计方法被引量：1
- 2012年
- 在卫星电子设备测试系统中,地面测试软件不仅要访问测试系统硬件,而且需要与用户直接交互,并完成测试数据的存储和管理,并发处理能力是测试系统可靠和正确的关键,传统软件设计采用的串行策略无法适应卫星地面测试软件中的并发处理需求.为解决上述问题,提出多线程、消息机制、共享缓冲区、P-V操作4种并发机制相结合进行程序设计的方法.实际应用表明采用这种基于多种并发机制的程序设计方法能可靠实现卫星地面测试软件,有效解决了软件开发中的并行性问题.
- 龚健华更新孙越衣学慧
- 关键词：测试设备并发
- 一种星载控制计算机的重构方法
- 本发明涉及一种星载控制计算机的重构方法，该方法的步骤包括：(1)、对计算机单元的FPGA进行系统划分；(2)、地面控制中心计算机单元的FPGA配置文件；(3)、地面控制中心发送所述FPGA配置文件到数管分系统；(4)、数...
- 杨孟飞董暘暘刘波龚健胡洪凯施蕾赵云富冯丹张绍林孙强苗致富
- 文献传递
- 一种基于阵列结构的可重构容错方法
- 本发明一种基于阵列结构的可重构容错方法，步骤如下：(1)采用硬件描述语言生成一个基于阵列结构的可重构模型，包括N×N节点阵列结构和节点间互联关系，以及与节点连接的功能模块；(2)以FPGA为载体生成可重构阵列模型的硬件电...
- 杨孟飞龚健刘波杨桦刘鸿瑾赵云富胡洪凯董暘暘王婧徐建苗致富张绍林
- 文献传递
- 一种空间飞行器周期性混成随机任务调度方法
- 一种空间飞行器周期性混成随机任务调度方法，基于优先级抢占、同优先级任务调度策略，在不更改空间飞行器操作系统内核任务调度策略的基础上，实现了周期任务固定时间点启动、周期内任务随机启动以及完全随机任务启动的调度方法。本发明方...
- 乔磊龚健杨孟飞杨桦彭飞徐建谭彦亮吴一帆刘忠汉
- 文献传递
- 面向进化容错的FPGA故障模型研究被引量：3
- 2009年
- 不同的容错方法需采用不同的故障模型。文章分析了进化容错方法的特点,提出需要研究与之相适应的FPGA故障模型。首先从故障模型定义出发提出故障模型划分的思想,从不同的角度研究FPGA故障模型;然后根据基于SRAM的FPGA的结构特点,从功能角度和配置角度提出两种FPGA故障模型划分,分析了两种故障模型划分方法所适用的容错方法。从配置角度划分FPGA故障模型有利于简化进化容错方法中的故障检测环节。故障检测实验的结果说明这种划分方法是有效的。
- 龚健杨孟飞文亮
- 关键词：现场可编程门阵列进化容错
