您的位置： 专家智库 > >

徐建

作品数：46 被引量：36H指数：4
供职机构：北京控制工程研究所更多>>
发文基金：国家自然科学基金国家中长期科技发展规划重大专项中国科学院软件研究所计算机科学国家重点实验室开放课题基金更多>>
相关领域：自动化与计算机技术航空宇航科学技术更多>>

合作作者

文献类型

  • 37篇专利
  • 9篇期刊文章

领域

  • 17篇自动化与计算...
  • 5篇航空宇航科学...

主题

  • 12篇调度
  • 12篇操作系
  • 12篇操作系统
  • 9篇星载
  • 9篇备份
  • 8篇容错
  • 8篇热备
  • 8篇热备份
  • 8篇处理器
  • 7篇嵌入式
  • 7篇存储器
  • 6篇单机
  • 6篇计算机
  • 5篇实时操作系统
  • 5篇内存
  • 4篇调度方法
  • 4篇多核
  • 4篇星载计算机
  • 4篇任务调度
  • 4篇容错方法

机构

  • 46篇北京控制工程...
  • 4篇中国空间技术...
  • 1篇华东师范大学
  • 1篇空间智能控制...
  • 1篇北京轩宇空间...

作者

  • 46篇徐建
  • 26篇刘波
  • 23篇彭飞
  • 17篇王婧
  • 16篇杨桦
  • 14篇杨孟飞
  • 11篇龚健
  • 11篇乔磊
  • 8篇刘鸿瑾
  • 7篇刘超伟
  • 7篇胡洪凯
  • 6篇江耿丰
  • 6篇王勇
  • 6篇吴一帆
  • 6篇许娜
  • 5篇冯丹
  • 5篇顾斌
  • 4篇于丹
  • 4篇董暘暘
  • 4篇何健

传媒

  • 3篇空间控制技术...
  • 2篇中国科学：技...
  • 1篇微电子学与计...
  • 1篇测控技术
  • 1篇中国空间科学...
  • 1篇航天器环境工...

年份

  • 5篇2024
  • 2篇2023
  • 5篇2022
  • 2篇2021
  • 4篇2020
  • 4篇2019
  • 3篇2018
  • 5篇2017
  • 3篇2016
  • 8篇2015
  • 1篇2014
  • 3篇2013
  • 1篇2011
共 46 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种优先级抢占时间片轮转操作系统中任务定时调度方法
本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法，步骤如下：(1)利用操作系统接口函数创建用户任务TaskEncap_N()，在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行...
龚健杨孟飞乔磊杨桦顾斌彭飞王婧徐建刘波
文献传递
一种星载计算机业务连续情况下的在轨程序维护方法
一种星载计算机业务连续情况下的在轨程序维护方法，星载计算机采用冷备份容错设计，通过一条具有高速自动数据传输特性的数据通道实现主备份单机之间的信息互联。正常情况下，主份单机正常工作，维持航天器业务不中断，备份单机接收主份单...
江耿丰杜建伟徐建谭彦亮张凯刘波冯丹陶景桥史晓霞刘新彦
面向星群组网的仿真平台和星群组网运行实例的验证方法
本发明涉及航空航天技术领域，特别涉及一种面向星群组网的仿真平台和星群组网运行实例的验证方法。平台包括：开发对象仿真模块、星座模拟模块和API网关，星座模拟模块包括星座模型、遥感模型和通信模型；星座模型用于模拟各节点，并实...
杨建宇李圣龙张锦坤乔磊徐建苗蕾刘晨璐周育逵曹梦丹
一种基于阵列结构的可重构容错方法
本发明一种基于阵列结构的可重构容错方法，步骤如下：(1)采用硬件描述语言生成一个基于阵列结构的可重构模型，包括N×N节点阵列结构和节点间互联关系，以及与节点连接的功能模块；(2)以FPGA为载体生成可重构阵列模型的硬件电...
杨孟飞龚健刘波杨桦刘鸿瑾赵云富胡洪凯董暘暘王婧徐建苗致富张绍林
文献传递
一种星载计算机内部处理器单元和IO单元之间的数据交换系统及方法
一种星载计算机内部处理器单元和IO单元之间的数据交换系统及方法，设计了一个具有自主执行IO访问指令能力的控制器，CPU可以直接访问IO控制器也可以通过一个高速存储器和IO控制器实现数据交互。处理器可将需要IO控制器执行的...
江耿丰冯丹文亮刘波徐建李森袁文彬史少龙张凯董暘暘
一种空间飞行器周期性混成随机任务调度方法
一种空间飞行器周期性混成随机任务调度方法，基于优先级抢占、同优先级任务调度策略，在不更改空间飞行器操作系统内核任务调度策略的基础上，实现了周期任务固定时间点启动、周期内任务随机启动以及完全随机任务启动的调度方法。本发明方...
乔磊龚健杨孟飞杨桦彭飞徐建谭彦亮吴一帆刘忠汉
文献传递
一种多机热备份计算机初始同步方法
本发明公开了一种多机热备份计算机初始同步方法，包括以下步骤：热备份计算机接收外部输入的同一个同步时钟信号；各热备份计算机完成初始化工作后即向其他单机发送A信息，A信息内容为本机具备同步工作条件；某热备份计算机收到所有其他...
刘超伟王婧刘波赵玮胡洪凯徐建梁洁玫王勇何健李森丁泳鑫
文献传递
一种针对嵌入式实时操作系统形式化验证方法
一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形...
杨孟飞杨桦徐建乔磊谭彦亮邢晓琪周育逵顾斌彭飞
文献传递
一种星载多核SoC任务级负载均衡并行调度方法
本发明提出了一种星载多核SoC任务级负载均衡并行调度方法，步骤如下：将多核任务控制块TCB作为节点构建全局任务调度队列；调度器模块初始化时创建4个优先级最低的空闲任务，并加入全局任务调度队列OSTaskRdyList；多...
龚健杨孟飞刘鸿瑾吴一帆杨桦王婧徐建吴军刘波彭飞
文献传递
高速缓存影响的航天器控制软件调度设计方法
2017年
针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式,通过模式切换,使处理器得到充分利用,同时能够提供一定的可靠性保障,为航天器控制软件的任务调度提供参考.
于广良杨孟飞姜宏徐建
关键词：高速缓存调度设计
全选 清除 导出
共5页<12345>
聚类工具0