公开(公告)号：CN119883734A

公开(公告)日：2025-04-25

申请号：CN202411955182.8

申请日：2024-12-27

Applicant: 北京控制工程研究所

Inventor： 苗蕾 ,  刘波 ,  乔磊 ,  徐建 ,  杨建宇 ,  王华伟 ,  刘晨璐 ,  谭彦亮 ,  张潇锐 ,  刘洪标 ,  尚智 ,  曹梦丹 ,  邢卫卫

IPC: G06F11/14 ,  G06F16/22 ,  G06F16/23

Abstract: 本发明提供了一种基于多核处理器检查点链表的故障恢复方法和装置，该方法包括：获取多核处理器所运行的多个进程信息；基于多个进程信息，构建进程关系树和检查点链表；其中，进程关系树包括不同进程之间的层次关系；检查点链表包括每个进程的存储信息；根据进程关系树对检查点链表进行更新，得到更新的检查点链表；在多核处理器故障时，根据更新的检查点链表对进程进行恢复。本方案在确保进程正确运行的基础上，降低了恢复的开销，提高了资源受限情况下多核平台操作系统的安全性。

公开(公告)号：CN119248577A

公开(公告)日：2025-01-03

申请号：CN202411385841.9

申请日：2024-09-30

Applicant: 北京控制工程研究所

Inventor： 苗蕾 ,  乔磊 ,  刘波 ,  徐建 ,  王华伟 ,  谭彦亮 ,  杨建宇 ,  张锦坤 ,  尚智 ,  刘洪标 ,  曹梦丹 ,  张潇锐 ,  许娜 ,  刘晨璐 ,  苗志富 ,  韩朝君

IPC: G06F11/14

Abstract: 本发明公开了一种基于嵌入式操作系统的故障恢复方法，首先构建包含任务信息和存储信息的目标进程结构，再使用检查点文件对关于检查点的各文件进行索引和存储。按照设定的检查点时间间隔，更新检查点文件中数据。当系统收到检查点设置请求时，按检查点文件中的进程关系结构，进行全局一致性的检查点设置；当系统收到检查点恢复命令时，根据关系结构、当前进程存储修改标志、关联进程存储修改标志，对相应进程进行回卷，恢复各进程。本发明通过使用检查点文件结构及采用仅回卷对存储修改状态进行置位标记的进程的方法，确保所有和存储修改进程具有依赖关系的进程都进行回卷，保障了故障恢复正确执行。

公开(公告)号：CN115514609B

公开(公告)日：2024-05-03

申请号：CN202211066243.6

申请日：2022-08-31

Applicant: 北京控制工程研究所

Inventor： 刘晨璐 ,  徐建 ,  彭飞 ,  杨建宇 ,  谭彦亮 ,  周育逵 ,  许娜

IPC: H04L41/0246 ,  H04L41/0273 ,  H04L41/12 ,  H04L41/50 ,  H04L45/02 ,  H04L69/16

Abstract: 本发明涉及一种Socket链路受限的发布订阅系统及方法，该系统包括N个单机，单机内部建立多个节点，其中一个单机为系统管理器，系统管理器之外的单机以单机为注册单位进行入网申请，入网成功后，单机间通过Socket链路进行网络通信，单机内部节点利用共享内存分发和接收消息，实现消息的传输。

公开(公告)号：CN119940475A

公开(公告)日：2025-05-06

申请号：CN202411851758.6

申请日：2024-12-16

Applicant: 北京邮电大学 ,  北京控制工程研究所

Inventor： 张华 ,  高平昊 ,  刘振岩 ,  乔磊 ,  刘晨璐 ,  王华伟 ,  沈宗亮 ,  王永吉 ,  徐艳新 ,  王稼慧 ,  田梓安 ,  兰晨曦

IPC: G06N3/098 ,  G06N3/096 ,  G06N5/04 ,  G06V10/82 ,  G06V10/764

Abstract: 一种利用高阶子模型辅助训练的联邦学习方法及装置，该方法通过集成多高阶子模型的决策信息，增强低阶子模型的推理准确率；低阶子模型可以借助高阶子模型的决策信息和基于特征距离的最高阶子模型的量化矩阵辅助训练，提高训练效果；通过降低目标类别置信度的目标损失(信息熵)优化低阶子模型，避免了传统自蒸馏中再次拟合高阶子模型的目标类别置信度引起的信息偏移问题；利用对比学习统一各级子模型的特征维度，构建基于特征距离的最高阶子模型的量化矩阵作为监督信息，通过最小化低阶子模型与最高阶子模型距离矩阵的分布差异，引导低阶子模型接近最高阶子模型的量化矩阵，指导低阶子模型挖掘不同图像中的语义关系，提高模型的泛化能力。

公开(公告)号：CN119336452A

公开(公告)日：2025-01-21

申请号：CN202411211937.3

申请日：2024-08-30

Applicant: 北京控制工程研究所

Inventor： 杨建宇 ,  乔磊 ,  徐建 ,  刘波 ,  彭飞 ,  张锦坤 ,  刘晨璐 ,  苗蕾 ,  谭彦亮

IPC: G06F9/46 ,  G06F9/30 ,  G06F11/07

Abstract: 本发明公开了一种面向星载操作系统的RISCV处理器异常上下文保护和恢复方法，支持星载操作系统无论在任务中、中断处理程序中、还是中断上下文保护或恢复过程中均允许被异常打断，且可以有效的保存和恢复现场；在单粒子事件频发的空间环境下，可以有效的在处理器异常情况下保护和恢复上下文、保证软件的正常连续运行，提高星载计算机的可靠性。

公开(公告)号：CN115514609A

公开(公告)日：2022-12-23

申请号：CN202211066243.6

申请日：2022-08-31

Applicant: 北京控制工程研究所

Inventor： 刘晨璐 ,  徐建 ,  彭飞 ,  杨建宇 ,  谭彦亮 ,  周育逵 ,  许娜

IPC: H04L41/0246 ,  H04L41/0273 ,  H04L41/12 ,  H04L41/50 ,  H04L45/02 ,  H04L69/16

Abstract: 本发明涉及一种Socket链路受限的发布订阅系统及方法，该系统包括N个单机，单机内部建立多个节点，其中一个单机为系统管理器，系统管理器之外的单机以单机为注册单位进行入网申请，入网成功后，单机间通过Socket链路进行网络通信，单机内部节点利用共享内存分发和接收消息，实现消息的传输。

公开(公告)号：CN115373707A

公开(公告)日：2022-11-22

申请号：CN202210883336.1

申请日：2022-07-26

Applicant: 北京控制工程研究所

Inventor： 谭彦亮 ,  刘波 ,  徐建 ,  彭飞 ,  周育逵 ,  苗志富 ,  尚智 ,  许娜 ,  邢卫卫 ,  刘晨璐 ,  韩朝君 ,  曹梦丹 ,  杨建宇 ,  陈玙 ,  张晓静

IPC: G06F8/65

Abstract: 一种航天器实时系统内存受限条件下任务在线更新系统，包括系统符号信息地面维护模块、注入数据包地面生成模块，注入数据包的星上处理模块；系统符号信息地面维护模块，检查注入程序是否与航天器内存分配冲突；注入数据包地面生成模块，将待注入程序头部信息、程序运行信息、任务属性信息、可执行二进制文件封装成注入数据包文件；注入数据包的星上处理模块，接到解析注入程序指令后，在空闲任务中按协议格式对注入数据包文件进行解析，解析完成后，将增加新任务到调度表或替换原有某任务。本发明同时提供一种在线更新方法。本发明使航天器具有任务级系统扩展能力，实现任务的新增或替换，根据任务需要及时升级航天器星载软件，赋予航天器新功能。

公开(公告)号：CN117614576A

公开(公告)日：2024-02-27

申请号：CN202311576994.7

申请日：2023-11-23

Applicant: 北京控制工程研究所

Inventor： 杨建宇 ,  李圣龙 ,  张锦坤 ,  乔磊 ,  徐建 ,  苗蕾 ,  刘晨璐 ,  周育逵 ,  曹梦丹

IPC: H04B17/391 ,  H04B7/185 ,  H04B17/00

Abstract: 本发明涉及航空航天技术领域，特别涉及一种面向星群组网的仿真平台和星群组网运行实例的验证方法。平台包括：开发对象仿真模块、星座模拟模块和API网关，星座模拟模块包括星座模型、遥感模型和通信模型；星座模型用于模拟各节点，并实时推算各节点的物理位置；开发对象仿真模块包含与各节点一一对应的运行实例；通信模型用于根据各节点的物理位置，确定每个节点的联通性，以确定星座模型中所有通信链路；遥感模型用于根据遥感服务请求返回遥感结果；API网关用于处理运行实例的通信服务请求和遥感服务请求。本方案可以实现对星群组网被测软件运行实例的调试测试和演示验证，为空天地一体化协同组网下星载操作系统开发提供了仿真运行环境。