-
公开(公告)号：CN115269136A
公开(公告)日：2022-11-01
申请号：CN202210692953.3
申请日：2022-06-17
Applicant: 北京控制工程研究所
IPC: G06F9/48 , G06F9/4401 , G06F15/16
Abstract: 本发明涉及一种异构多核平台分区操作系统调度方法及系统，首先将异构多核处理器按照处理速度划分为组，建立异构处理器核管理表。采用带索引表头的链表结构对处理器核进行管理。建立处理器核和分区之间的映射关系。运行关键任务的重要分区使用高速的处理器核以确保执行时间。重要分区的任务采用主备任务集的方法，当主任务集发生错误时运行备任务集的任务确保关键任务正确执行。本发明解决了现有技术使用异构多核处理器进行任务处理时关键任务出错引发严重后果的问题，提供了可靠的任务调度方法。
-
公开(公告)号：CN119902598A
公开(公告)日：2025-04-29
申请号：CN202411990842.6
申请日：2024-12-31
Applicant: 北京控制工程研究所
Abstract: 本发明公开了一种定时器配置方法及装置，属于时钟技术领域。方法包括：基于总线频率和预分频器的最大分频能力，确定预分频器所能提供的计时当量是否满足定时器所需实现的计时当量；若不满足，则基于总线频率p和定时器所需实现的计时当量，确定满足设定条件的一组正整数m和n；所述设定条件为mnf＝p；m和n均具有对应的选择范围，f为定时器所需实现的计时当量的倒数；并将预分频器的分频资源配置为m，将计数器的分频资源配置为nc；其中，c为所需的计时时长；利用配置好的结果进行计时。本发明能够在多级分频方式下弥补预分频器资源受限问题，且能够使得定时器的定时精度更高。
-
公开(公告)号：CN119248577A
公开(公告)日：2025-01-03
申请号：CN202411385841.9
申请日：2024-09-30
Applicant: 北京控制工程研究所
IPC: G06F11/14
Abstract: 本发明公开了一种基于嵌入式操作系统的故障恢复方法，首先构建包含任务信息和存储信息的目标进程结构，再使用检查点文件对关于检查点的各文件进行索引和存储。按照设定的检查点时间间隔，更新检查点文件中数据。当系统收到检查点设置请求时，按检查点文件中的进程关系结构，进行全局一致性的检查点设置；当系统收到检查点恢复命令时，根据关系结构、当前进程存储修改标志、关联进程存储修改标志，对相应进程进行回卷，恢复各进程。本发明通过使用检查点文件结构及采用仅回卷对存储修改状态进行置位标记的进程的方法，确保所有和存储修改进程具有依赖关系的进程都进行回卷，保障了故障恢复正确执行。
-
公开(公告)号：CN115185812A
公开(公告)日：2022-10-14
申请号：CN202210641003.8
申请日：2022-06-07
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种嵌入式操作系统设计层形式化验证方法，首先，从操作系统详细设计报告中，获取操作系统包含的函数模块、各函数模块的具体功能及流程图，提炼操作系统各函数模块应满足的局部性质；构建操作系统的系统状态及确立引起系统状态变化的触发事件；然后建立基于有限状态机的操作系统设计层形式化模型；在定理证明器Coq中将局部性质和操作系统设计层形式化模型进行形式化定义，验证操作系统设计层形式化模型是否满足所述局部性质，若满足，则操作系统设计层正确可靠；若不满足，确定详细设计报告中存在问题的流程图及具体位置。本发明可以准确地描述操作系统的设计过程，以便更早地发现是否有潜在的错误。
-
公开(公告)号：CN110138665B
公开(公告)日：2021-07-09
申请号：CN201910389470.4
申请日：2019-05-10
Applicant: 北京控制工程研究所
IPC: H04L12/771 , H04L12/935 , H04Q11/00
Abstract: 本发明提供了一种吉比特级SpaceWire路由器，属于路由器技术领域。本发明实施例提供的吉比特级SpaceWire路由器，通过光纤接收外部收发器发送的串行编码后通过16B/20B编解码器将所述串行编码转换为并行数据，对所述并行数据进行协议处理后得到上行数据，所述上行数据进行数据转发后重新对所述并行数据进行协议处理得到下行数据，通过16B/20B编解码器将下行数据转换为串行数据，通过光纤将转换的串行数据发送给所述外部收发器，既提高了物理带宽上限，又使得一个时钟周期能够处理16位信息，达到了DS编码数据处理能力的16倍，实现最大数据传输率能够超过1Gbps。
-
Patent Agency Ranking
公开(公告)号：CN119690621A
公开(公告)日：2025-03-25
申请号：CN202411790631.8
申请日：2024-12-06
Applicant: 北京控制工程研究所
Abstract: 本发明提供了一种异构计算平台周期性分段任务时间确定性划分方法；方法包括：根据获取的异构平台参数和任务集合参数，利用静态调度算法生成静态调度表；将静态调度表输入至构建好的线性规划算法模型中，得到时间确定性任务调度表，以根据该调度表调度任务处理器执行任务；线性规划算法模型是基于预设约束条件和预设目标函数构建得到的，预设约束条件包括任务完整执行约束、任务截止时间约束、分段任务时序约束、分段任务的处理器划分约束和任务执行窗口约束；预设目标函数是通过优化任务集合中的任务调度长度、任务分段在不同处理器中的迁移次数和处理器平台的激活核数获得。本方案能够满足空天领域中实时调度所需求的周期性、硬实时性和严格的任务前驱后继关系。
-
公开(公告)号：CN119336452A
公开(公告)日：2025-01-21
申请号：CN202411211937.3
申请日：2024-08-30
Applicant: 北京控制工程研究所
Abstract: 本发明公开了一种面向星载操作系统的RISCV处理器异常上下文保护和恢复方法，支持星载操作系统无论在任务中、中断处理程序中、还是中断上下文保护或恢复过程中均允许被异常打断，且可以有效的保存和恢复现场；在单粒子事件频发的空间环境下，可以有效的在处理器异常情况下保护和恢复上下文、保证软件的正常连续运行，提高星载计算机的可靠性。
-
公开(公告)号：CN119273583A
公开(公告)日：2025-01-07
申请号：CN202411302348.6
申请日：2024-09-18
Applicant: 北京控制工程研究所
IPC: G06T5/73 , G06T5/60 , G06T3/4053 , G06T3/4046 , G06V10/80 , G06V10/82 , G06V10/774 , G06V10/58 , G06V10/56 , G06V10/44 , G06N3/0464
Abstract: 本发明提供了一种基于光谱特征引导的卷积神经网络高光谱遥感图像锐化方法，该方法包括：获取同一区域的高光谱图像和全色图像，并进行预处理；根据预处理后的高光谱图像和全色图像，构建训练数据集和测试数据集；构建包括光谱特征提取模块、特征融合模块和光谱引导模块的锐化卷积神经网络模型；基于所述训练数据集对所述锐化卷积神经网络模型进行训练，得到目标神经网络模型；将所述测试数据集中的高光谱图像和全色图像输入所述目标神经网络模型，得到高空间分辨率高光谱图像。本发明提高了高空间分辨率高光谱遥感图像锐化的光谱保真度。
-
公开(公告)号：CN117555664A
公开(公告)日：2024-02-13
申请号：CN202311579716.7
申请日：2023-11-23
Applicant: 北京控制工程研究所
IPC: G06F9/48
Abstract: 本发明提供了一种实时任务可调度性分析方法及装置，该方法包括：获取包括多个实时任务的任务集；根据实时任务的相对截止时间，从任务集中确定最大截止期；根据最大截止期，确定处理器时间轴的初始化二进制序列和实时任务的任务二进制序列；根据初始化二进制序列和任务二进制序列，按照实时任务的优先级由高至低的顺序进行可调度性分析。本方案能够快速精确得到实时任务的可调度性分析结果。
-
公开(公告)号：CN117614576A
公开(公告)日：2024-02-27
申请号：CN202311576994.7
申请日：2023-11-23
Applicant: 北京控制工程研究所
IPC: H04B17/391 , H04B7/185 , H04B17/00
Abstract: 本发明涉及航空航天技术领域，特别涉及一种面向星群组网的仿真平台和星群组网运行实例的验证方法。平台包括：开发对象仿真模块、星座模拟模块和API网关，星座模拟模块包括星座模型、遥感模型和通信模型；星座模型用于模拟各节点，并实时推算各节点的物理位置；开发对象仿真模块包含与各节点一一对应的运行实例；通信模型用于根据各节点的物理位置，确定每个节点的联通性，以确定星座模型中所有通信链路；遥感模型用于根据遥感服务请求返回遥感结果；API网关用于处理运行实例的通信服务请求和遥感服务请求。本方案可以实现对星群组网被测软件运行实例的调试测试和演示验证，为空天地一体化协同组网下星载操作系统开发提供了仿真运行环境。
-
-
-
-
-
-
-
-
-
Search Results
14
records
(took 0.027 seconds)
