公开(公告)号：CN104657238B

公开(公告)日：2016-09-21

申请号：CN201510070076.6

申请日：2015-02-10

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  龚健 ,  刘波 ,  杨桦 ,  刘鸿瑾 ,  赵云富 ,  胡洪凯 ,  董暘暘 ,  王婧 ,  徐建 ,  苗致富 ,  张绍林

IPC: G06F11/16

Abstract: 本发明一种基于阵列结构的可重构容错方法，步骤如下：(1)采用硬件描述语言生成一个基于阵列结构的可重构模型，包括N×N节点阵列结构和节点间互联关系，以及与节点连接的功能模块；(2)以FPGA为载体生成可重构阵列模型的硬件电路，该电路能够通过I/O接口被处理器访问和操作；(3)构建可重构阵列模型中N×N个节点之间的通信协议；(4)基于处理器通过步骤(3)建立的通信协议实现对可重构阵列模型的重构。

公开(公告)号：CN104063295B

公开(公告)日：2016-08-24

申请号：CN201410295331.2

申请日：2014-06-26

Applicant: 北京控制工程研究所

Inventor： 王婧 ,  彭飞 ,  刘波 ,  华更新 ,  龚健 ,  高益军 ,  杨桦 ,  刘鸿瑾 ,  张绍林 ,  许娜

IPC: G06F11/16 ,  G06F9/445

Abstract: 一种多核操作系统可重构容错启动方法，设置同步信号为初始状态，设置自旋锁为未被占用；各处理器核完成初始化后，申请自旋锁；申请到自旋锁的处理器核进入核间互斥访问的临界区，其余处理器核阻塞在自旋锁上；第一个申请到自旋锁的处理器核将自己的处理器核ID设置为主核ID号，并设置同步信号，然后释放自旋锁；后续申请到自旋锁的处理器核通过读取到的值得知自己为从核，且主核ID对应的处理器核为主核，释放自旋锁；主核完成内存、总线设备及操作系统内核的初始化后通过设置核间同步信号启动从核，使主核和从核同时开始任务调度。本发明能够在主核故障时仍能正常启动其他处理器核运行，提高了多核计算机的可靠性。

公开(公告)号：CN105069052A

公开(公告)日：2015-11-18

申请号：CN201510441109.3

申请日：2015-07-24

Applicant: 北京控制工程研究所

Inventor： 杨孟飞 ,  杨桦 ,  龚健 ,  乔磊 ,  徐健 ,  赵玮 ,  刘鸿瑾 ,  刘波

IPC: G06F17/30

CPC classification number: G06F17/30949

Abstract: 本发明一种星载操作系统集成的故障快速自主处理方法，步骤如下：(1)为每种故障分配一个故障代码，并由用户自定义故障处理函数，作为一个记录项，以hash表的方式组织，实现以故障代码为关键字的快速插入和快速查找；(2)在星载操作系统运行过程中，当内核检测到故障时把故障代码发送到一个消息队列，通过消息队列取得故障消息，根据故障代码在hash表中进行查找，得出故障诊断的详细结果，并进行处理。本发明提供了应用层面的一种故障诊断和处理机制，能够采用软件手段有效解决系统中处理器中断或陷阱无法识别和处理的故障问题。

公开(公告)号：CN103713948B

公开(公告)日：2015-09-23

申请号：CN201310746023.2

申请日：2013-12-30

Applicant: 北京控制工程研究所

Inventor： 龚健 ,  杨孟飞 ,  乔磊 ,  杨桦 ,  顾斌 ,  彭飞 ,  王婧 ,  徐建 ,  刘波

IPC: G06F9/48

Abstract: 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法，步骤如下：(1)利用操作系统接口函数创建用户任务TaskEncap_N()，在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行封装，即先挂起函数TaskFunc_N()，再调用函数TaskFunc_N()；(2)定义一个用户任务的起始调度时刻位图和用户任务的起始调度任务位图，利用位图快速索引用户任务的起始调度时刻以及用户任务控制块指针；(3)时间片中断时，利用时间片中断钩子函数实现定时调度，即在需要任务调度的时刻，如果上一个时间段的任务未完成则重启动该任务，再恢复本时间段的任务；否则直接恢复本时间段的任务。

公开(公告)号：CN104484238A

公开(公告)日：2015-04-01

申请号：CN201410783776.5

申请日：2014-12-16

Applicant: 北京控制工程研究所

Inventor： 叶有时 ,  杨孟飞 ,  孙强 ,  施蕾 ,  赵云富 ,  熊军 ,  董暘暘 ,  胡洪凯 ,  刘波 ,  吴一帆 ,  杨桦

IPC: G06F11/10

Abstract: 一种用于SRAM型FPGA配置刷新的CRC校验方法，通过对SRAM型FPGA配置文件格式、存储形式和故障模式的研究，采用对SRAM型FPGA回读配置帧实时计算与PROM内预先存储的CRC校验码比对的方式，提出并实现了一种用于SRAM型FPGA配置刷新的CRC校验方法。本发明方法采用CRC校验码的形式，实现了FPGA配置信息校验的器件无关性，同时设置了使能标志和获取标志，实现了不同速率、大数据量校验的应用需求，在回读过程中实时完成回读数据的CRC校验，达到了节省存储资源与处理时间的目的。另外本发明方法使用的基于查表的字节型CRC算法，进行资源独立划分和管理，快速高效，提升了运算速度和工作频率。

公开(公告)号：CN102541623B

公开(公告)日：2015-02-11

申请号：CN201110433239.4

申请日：2011-12-20

Applicant: 北京控制工程研究所

Inventor： 乔磊 ,  吴军 ,  吴一帆 ,  杨桦 ,  彭飞 ,  刘鸿瑾

IPC: G06F9/455

Abstract: 一种嵌入式处理器的存储空间模拟方法，提供了嵌入式处理器的存储空间模拟方法。该方法可以模拟嵌入式处理器的完整存储空间，通过采用分页的方式来模拟大容量的完整存储空间，在分页机制下，只模拟程序中真正使用到的那部分存储空间，从而节省了模拟所需的空间开销；本方明针对不同的地址范围，采用静态模拟和动态模拟相结合的混合模拟方法，实现了一种效率高、开销低的大容量存储空间模拟机制。

公开(公告)号：CN103713948A

公开(公告)日：2014-04-09

申请号：CN201310746023.2

申请日：2013-12-30

Applicant: 北京控制工程研究所

Inventor： 龚健 ,  杨孟飞 ,  乔磊 ,  杨桦 ,  顾斌 ,  彭飞 ,  王婧 ,  徐建 ,  刘波

IPC: G06F9/48

Abstract: 本发明一种优先级抢占时间片轮转操作系统中任务定时调度方法，步骤如下：(1)利用操作系统接口函数创建用户任务TaskEncap_N()，在用户任务TaskEncap_N()中对实际的用户任务函数TaskFunc_N()进行封装，即先挂起函数TaskFunc_N()，再调用函数TaskFunc_N()；(2)定义一个用户任务的起始调度时刻位图和用户任务的起始调度任务位图，利用位图快速索引用户任务的起始调度时刻以及用户任务控制块指针；(3)时间片中断时，利用时间片中断钩子函数实现定时调度，即在需要任务调度的时刻，如果上一个时间段的任务未完成则重启动该任务，再恢复本时间段的任务；否则直接恢复本时间段的任务。

公开(公告)号：CN102508746A

公开(公告)日：2012-06-20

申请号：CN201110364101.3

申请日：2011-11-15

Applicant: 北京控制工程研究所

Inventor： 冯彦君 ,  华更新 ,  李任欣 ,  乔磊 ,  杨桦 ,  赵卫华

IPC: G06F11/16

Abstract: 本发明公开了一种用于三机变结构容错计算机系统管理方法，针对三机变结构容错计算机系统不同工作模式进行管理，包括热备份工作模式下的管理步骤、冷备份工作模式下的管理步骤和并机模式下的管理步骤。采用本方法实现的容错计算机可工作在热备份工作模式或冷备份工作模式下，并且可以从冷备份工作模式平滑的切换到热备份工作模式。可实现同时实现实时容错能力和长寿命容错控制能力。

公开(公告)号：CN114840257B

公开(公告)日：2024-10-25

申请号：CN202210301072.4

申请日：2022-03-24

Applicant: 北京控制工程研究所

Inventor： 刘奇 ,  施蕾 ,  叶有时 ,  盖芳钦 ,  陈超 ,  熊军 ,  高瑛珂 ,  赵云富 ,  李圣龙 ,  徐鑫 ,  王显 ,  刘波 ,  杨桦 ,  梁洁玫 ,  刘淑芬

IPC: G06F9/38 ,  G06F9/34

Abstract: 一种可编程归一化协处理器数据处理系统及方法，该方法设计了一种通用数据处理架构，降低逻辑资源占用，提高数据处理速度，减少软件计算量，将复杂、多种类的数据处理归一化，该方法高效、灵活且具有普适性。已经成功应用于星载新一代微型静态红外地球敏感器研制。

公开(公告)号：CN105141291B

公开(公告)日：2018-02-09

申请号：CN201510346149.X

申请日：2015-06-19

Applicant: 北京控制工程研究所

Inventor： 夏冰冰 ,  孙强 ,  吴军 ,  刘鸿瑾 ,  杨桦 ,  吴一帆

IPC: H03K3/02

Abstract: 一种基于单相位时钟的抗辐射触发器电路结构，包括时钟生成模块、数据滤波模块、第一单相位时钟基本触发器模块、第二单相位时钟基本触发器模块、第三单相位时钟基本触发器模块、第一DICE加固模块、第二DICE加固模块、第三DICE加固模块、第一C单元模块、第二C单元模块、第三C单元模块和选举模块。本发明触发器电路结构采用单相时钟技术，与现有的触发器技术相比，不仅节省了面积开销并降低功耗，而且避免了主从结构触发器中的时序冗余，提升触发器的时序性能，另外本发明触发器电路结构采用混合DICE+TMR结构，提高了触发器的触发脉冲，增强了抗单粒子翻转和单粒子脉冲的能力。