刘波
- 作品数：146 被引量：94H指数：7
- 供职机构：北京控制工程研究所更多>>
- 发文基金：国家自然科学基金国防基础科研计划中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术电子电信电气工程更多>>
- 天宫一号目标飞行器GNC分系统容错策略设计被引量：7
- 2011年
- 天宫一号目标飞行器是中国研制的新一代专门用于交会对接的大型载人航天器.为保证其长期在轨安全可靠运行,顺利完成与载人飞船的交会对接任务,以及单体飞行和组合体飞行期间的姿态和轨道控制任务,要求GNC分系统设计充分的容错策略.对GNC分系统软硬件平台进行介绍,对敏感器、执行机构以及控制器的软硬件容错策略进行详述.该策略在实际应用中得到验证,结果表明设计合理,可以有效提高GNC分系统的系统性能和可靠性.
- 蔡彪林宇刘波
- 关键词：天宫一号目标飞行器载人飞船交会对接容错策略
- 一种实现遥测数据接收完整性的方法
- 本发明公开了一种实现遥测数据接收完整性的方法，在遥测中断服务程序中设立遥测帧标志位TM_INT，这样可以使处理中断时间很短，在遥测中断服务程序中查询标志TM_INT并进行遥测数据打包，相邻两次打包的遥测数据存放在SRAM...
- 勾英杰刘波尚葳蕤谢琼张威泰林宇赵性颂王晶蔡彪张锦江
- 文献传递
- 基于有限状态机的操作系统需求层形式化验证被引量：8
- 2019年
- 操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情况,因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分,本文在分析操作系统需求的基础上,采用有限状态机在操作系统需求层进行形式化描述,并针对应用在某航天器上的SpaceOS2在需求层进行了建模,相应地在定理证明工具Coq中进行了描述建模;然后定义了六条操作系统应满足的全局性质并进行了形式化描述,给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的,为进一步全面形式化验证奠定了基础.
- 张锦坤杨孟飞乔磊杨桦杨桦
- 关键词：操作系统形式化验证有限状态机COQ
- 基于FPGA微型红外热电堆探测器空间应用
- 2020年
- 红外地球敏感器是卫星控制分系统的重要姿态测量部件,提供卫星相对于地球辐射圆盘俯仰和滚动方向的姿态信息。为进行新一代微型红外地球敏感器研制,开展了基于FPGA的微型红外热电堆探测器空间应用研究,介绍了红外热电堆技术,采用探测器技术指标,对探测器的圆环效应、温度补偿、响应补偿、非均匀校正、盲元处理进行了研究,实现了红外地球敏感器图像处理系统的方案设计与FPGA设计。测试结果表明,姿态测量偏差小于0.2°,基于FPGA微型红外热电堆探测器设计,能够应用于卫星姿态测量,具有小型化、低功耗、低成本特点,具有替代传统机械扫描式红外地球敏感器潜力,具有广阔的应用前景。
- 刘奇盖芳钦叶有时刘波施蕾
- 关键词：热电堆FPGA
- 一种实时任务可调度性分析方法及装置
- 本发明提供了一种实时任务可调度性分析方法及装置，该方法包括：获取包括多个实时任务的任务集；根据实时任务的相对截止时间，从任务集中确定最大截止期；根据最大截止期，确定处理器时间轴的初始化二进制序列和实时任务的任务二进制序列...
- 刘洪标王婷煜陈熙张锦坤宋程昊徐建彭飞乔磊刘波
- 一种支持异构多处理器架构的程序配置方法
- 一种支持异构多处理器架构的程序配置方法，包括如下步骤：在NOR‑flash存储器中，存储两份CPU的程序，存储两份DSP的程序，均为同构备份；在EEPROM存储器中，存储一份CPU的程序，存储一份DSP的程序；与NOR‑...
- 苗志富徐建周育逵刘超伟刘波陈建新李志平王玉韩朝君张琳
- 文献传递
- 一种SRAM型FPGA的可靠性优化方法
- 本发明提供一种针对SRAM型FPGA的可靠性优化方法，该方法包括如下步骤：以查找表LUT为单位，建立含有逻辑屏蔽效应的功能等价类；对网表中各查找表的可靠性进行评估；根据可靠性评估的结果，对于电路中输入地址线未完全使用的查...
- 刘鸿瑾杨孟飞华更新杨桦刘波龚健董暘暘张绍林王靖彭飞赵云富
- 文献传递
- 保证Cache与片外存储器内容一致性的单粒子软错误处理方法
- 本发明公开了一种保证Cache与片外存储器内容一致性的单粒子软错误处理方法，包括：设置刷新地址为存储器首地址；按字读取刷新地址内容；当确定触发单粒子软错误时，读取处理器错误状态寄存器；当确定当前单粒子软错误是可纠正错误时...
- 苗志富彭飞徐建邢卫卫尚智刘波谭彦亮袁媛周育逵
- 文献传递
- 一种面向宇航芯片的寄存器单粒子效应模拟仿真方法
- 一种面向宇航芯片的寄存器单粒子效应模拟仿真方法，通过构建参数化的寄存器故障仿真模型，将芯片网表中的正常寄存器仿真模型随机替换为寄存器故障仿真模型，替换的数量由空间环境设置的宇航芯片的错误翻转率和芯片中寄存器的总数决定，寄...
- 高瑛珂梁贤赓刘奇周丽艳刘鸿瑾刘波于广良华更新
- 文献传递
- 一种支持部分可重构的航天用SoC的实现方法
- 本发明涉及一种支持部分可重构的航天用SoC的实现方法，通过在SoC中定义动态系统与静态系统，并对两个系统进行不同的设计，在系统运行的过程中能够对FPGA上的部分逻辑进行重配置，而未经配置的部分的逻辑功能不发生改变，使得动...
- 赵云富孙强施蕾董暘暘胡洪凯叶有时熊军刘波吴一帆
- 文献传递
