杨桦
- 作品数：74 被引量：52H指数：5
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金国家重点实验室开放基金国防基础科研计划更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种多核操作系统可重构容错启动方法
- 一种多核操作系统可重构容错启动方法，设置同步信号为初始状态，设置自旋锁为未被占用；各处理器核完成初始化后，申请自旋锁；申请到自旋锁的处理器核进入核间互斥访问的临界区，其余处理器核阻塞在自旋锁上；第一个申请到自旋锁的处理器...
- 王婧彭飞刘波华更新龚健高益军杨桦刘鸿瑾张绍林许娜
- 文献传递
- 基于微内核的星载实时操作系统设计与实现被引量：2
- 2011年
- 当前星载嵌入式实时操作系统将各个功能模块都集成在内核之中,这导致内核庞大,增加了内核出现bug的风险,从而使整个操作系统的可靠性降低.设计并实现了一个基于微内核的星载嵌入式实时操作系统,通过将功能模块以任务方式运行在用户态,任务间通过消息传递机制通讯,以减少内核代码量.最后测试表明设计达到故障隔离的效果.
- 徐建杨桦
- 关键词：微内核嵌入式操作系统故障隔离
- 基于FPGA的EDAC技术在星载计算机中的应用被引量：2
- 2005年
- 当前星载计算机广泛采用硬件纠错检错（EDAC）电路来对RAM存储单元进行纠错检错处理，以消除SEU的影响。随着FPGA在航天领域的广泛应用，采用FPGA来完成整个EDAC功能已经成为发展趋势，该技术不仅具有性能高、速度快、功耗低等诸多优点，而且占用面积小，为系统小型化提供了途径。本文介绍了EDAC的编码原理、操作流程，以及在X86星载计算机系统中的FPGA实现，论述了其中采用的提高EDAC性能、速度等特性的关键技术。
- 刘群周新发杨桦
- 关键词：FPGAVHDL星载计算机X86
- 一种基于阵列结构的可重构容错方法
- 本发明一种基于阵列结构的可重构容错方法，步骤如下：(1)采用硬件描述语言生成一个基于阵列结构的可重构模型，包括N×N节点阵列结构和节点间互联关系，以及与节点连接的功能模块；(2)以FPGA为载体生成可重构阵列模型的硬件电...
- 杨孟飞龚健刘波杨桦刘鸿瑾赵云富胡洪凯董暘暘王婧徐建苗致富张绍林
- 文献传递
- 一种适用于反熔丝型FPGA的通用在线测试系统及测试方法
- 本发明公开了一种适用于反熔丝型FPGA的通用在线测试系统及方法，由被测功能模块和在线测试模块两部分组成，二者之间通过可配置位宽的并行总线连接；被测功能模块为需要进行实时检测的功能模块，可以是系统内的任一组成模块；在线测试...
- 施蕾孙强叶有时赵云富熊军田宇斌胡洪凯刘淑芬刘波杨桦张洪华
- 文献传递
- 一种空间飞行器周期性混成随机任务调度方法
- 一种空间飞行器周期性混成随机任务调度方法，基于优先级抢占、同优先级任务调度策略，在不更改空间飞行器操作系统内核任务调度策略的基础上，实现了周期任务固定时间点启动、周期内任务随机启动以及完全随机任务启动的调度方法。本发明方...
- 乔磊龚健杨孟飞杨桦彭飞徐建谭彦亮吴一帆刘忠汉
- 文献传递
- 基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证被引量：4
- 2014年
- 随着中国航天技术的发展,航天器系统的软件规模越来越大、复杂度越来越高,对航天软件的正确性、可靠性、安全性等提出了更为严格的要求.形式化方法是提高软件可信性的一个重要途径.利用形式化方法 Event-B对嵌入式操作系统SpaceOS2的任务管理模块的进行需求建模,依靠不变式来保证模型的正确性,并且在Rodin平台上对模型进行了形式化验证,结果表明模型是正确的.
- 谭彦亮杨桦乔磊
- 关键词：任务管理形式化验证
- 一种基于有限状态机的操作系统需求层形式化建模方法及装置
- 本发明提供了一种基于有限状态机的操作系统需求层形式化建模方法及装置，属于嵌入式操作系统领域。该方法响应于对操作系统需求层进行建模的请求，从操作系统功能模块数据库中，获取操作系统对应的多个功能模块、各功能模块对应的至少两种...
- 乔磊张锦坤杨孟飞徐建杨桦刘鸿瑾刘波
- 文献传递
- 一种SRAM型FPGA的可靠性优化方法
- 本发明提供一种针对SRAM型FPGA的可靠性优化方法，该方法包括如下步骤：以查找表LUT为单位，建立含有逻辑屏蔽效应的功能等价类；对网表中各查找表的可靠性进行评估；根据可靠性评估的结果，对于电路中输入地址线未完全使用的查...
- 刘鸿瑾杨孟飞华更新杨桦刘波龚健董暘暘张绍林王靖彭飞赵云富
- 文献传递
- 一种三模冗余容错计算机控制周期同步装置
- 一种三模冗余容错计算机控制周期同步装置，包括单机A、B、C、表决电路以及配置于A、B、C内的控制周期中断管理模块。单机A、B、C将各自的控制周期时钟同时输入到表决电路；表决电路利用其内部的表决单元和线与逻辑对输入的控制周...
- 冯彦君李任欣乔磊范立明杨桦华更新
