-
公开(公告)号：CN119938492A
公开(公告)日：2025-05-06
申请号：CN202411861567.8
申请日：2024-12-17
IPC: G06F11/362 , G06F11/3668 , G06N20/00
Abstract: 本申请提供一种AI代码缺陷修复数据集构建方法、缺陷修复方法及设备。数据集构建方法，包括：获取多组初始AI代码数据；每组初始AI代码数据分别包括缺陷数据和对应的修复数据；对多组初始AI代码数据进行变异处理；每组变异AI代码数据包括变异缺陷数据和对应的变异修复数据；对多组初始AI代码数据和多组变异AI代码数据分别进行去重和上下文提取处理，得到多组AI代码片段；依据CWE标准对多组AI代码片段进行分类和标注，得到多组结构化的AI代码片段；对多组结构化的AI代码片段进行预处理，以使多组结构化的AI代码数据对应的数据格式一致；将预处理后的每组结构化的AI代码片段，分别生成思维链数据，得到AI代码数据集。
-
公开(公告)号：CN119884735A
公开(公告)日：2025-04-25
申请号：CN202411850129.1
申请日：2024-12-16
IPC: G06F18/214 , G06F18/213 , G06F18/2111 , G06F18/2433 , G06F18/20 , G06F21/56 , G06F21/14
Abstract: 本申请提供了一种AI算法的后门攻击样本生成方法、装置及相关设备，该方法包括：获取样本程序，对所述样本程序进行特征提取，得到特征集；根据SHAP模型对所述特征集进行置信度计算，根据置信度计算结果在所述特征集中确定至少两个特征区域；根据设定策略对所述至少两个特征区域进行初始化，得到初始后门特征；在所述特征集的基础上，利用遗传算法对所述初始后门特征进行优化，得到目标后门特征；将所述目标后门特征反编译回所述样本程序，生成攻击样本。
-
公开(公告)号：CN119940475A
公开(公告)日：2025-05-06
申请号：CN202411851758.6
申请日：2024-12-16
IPC: G06N3/098 , G06N3/096 , G06N5/04 , G06V10/82 , G06V10/764
Abstract: 一种利用高阶子模型辅助训练的联邦学习方法及装置，该方法通过集成多高阶子模型的决策信息，增强低阶子模型的推理准确率；低阶子模型可以借助高阶子模型的决策信息和基于特征距离的最高阶子模型的量化矩阵辅助训练，提高训练效果；通过降低目标类别置信度的目标损失(信息熵)优化低阶子模型，避免了传统自蒸馏中再次拟合高阶子模型的目标类别置信度引起的信息偏移问题；利用对比学习统一各级子模型的特征维度，构建基于特征距离的最高阶子模型的量化矩阵作为监督信息，通过最小化低阶子模型与最高阶子模型距离矩阵的分布差异，引导低阶子模型接近最高阶子模型的量化矩阵，指导低阶子模型挖掘不同图像中的语义关系，提高模型的泛化能力。
-
公开(公告)号：CN115269136A
公开(公告)日：2022-11-01
申请号：CN202210692953.3
申请日：2022-06-17
Applicant: 北京控制工程研究所
IPC: G06F9/48 , G06F9/4401 , G06F15/16
Abstract: 本发明涉及一种异构多核平台分区操作系统调度方法及系统，首先将异构多核处理器按照处理速度划分为组，建立异构处理器核管理表。采用带索引表头的链表结构对处理器核进行管理。建立处理器核和分区之间的映射关系。运行关键任务的重要分区使用高速的处理器核以确保执行时间。重要分区的任务采用主备任务集的方法，当主任务集发生错误时运行备任务集的任务确保关键任务正确执行。本发明解决了现有技术使用异构多核处理器进行任务处理时关键任务出错引发严重后果的问题，提供了可靠的任务调度方法。
-
公开(公告)号：CN102053883B
公开(公告)日：2012-08-22
申请号：CN201010611280.1
申请日：2010-12-17
Applicant: 北京控制工程研究所
IPC: G06F11/18
Abstract: 一种三模冗余容错计算机控制周期同步装置，包括单机A、B、C、表决电路以及配置于A、B、C内的控制周期中断管理模块。单机A、B、C将各自的控制周期时钟同时输入到表决电路；表决电路利用其内部的表决单元和线与逻辑对输入的控制周期进行三选二表决，产生统一的控制周期时钟；单机A、B、C利用统一的控制周期时钟响应控制周期中断；控制周期中断管理模块在控制周期中断开始后关闭控制周期中断，并在经过一定延时候重新开启单机A、B、C的控制周期中断。本发明利用简单的电路设计方案，三模冗余容错计算机的高可靠性的控制周期同步控制，能容忍所有的单重故障模式，包括常0或常1故障，以及时钟漂移故障(包括高频振荡和频率变慢)。
-
Patent Agency Ranking
公开(公告)号：CN119883734A
公开(公告)日：2025-04-25
申请号：CN202411955182.8
申请日：2024-12-27
Applicant: 北京控制工程研究所
Abstract: 本发明提供了一种基于多核处理器检查点链表的故障恢复方法和装置，该方法包括：获取多核处理器所运行的多个进程信息；基于多个进程信息，构建进程关系树和检查点链表；其中，进程关系树包括不同进程之间的层次关系；检查点链表包括每个进程的存储信息；根据进程关系树对检查点链表进行更新，得到更新的检查点链表；在多核处理器故障时，根据更新的检查点链表对进程进行恢复。本方案在确保进程正确运行的基础上，降低了恢复的开销，提高了资源受限情况下多核平台操作系统的安全性。
-
公开(公告)号：CN119380186A
公开(公告)日：2025-01-28
申请号：CN202411411044.3
申请日：2024-10-10
Applicant: 北京控制工程研究所
IPC: G06V20/10 , G06V10/764 , G06V10/30 , G06V10/774 , G06T7/194
Abstract: 本发明提供了一种基于上下文背景增强风格迁移网络的遥感图像目标检测样本扩增方法，该方法包括：对获取的原始遥感数据进行预处理，得到包括待扩增目标的位置信息的待处理图像；根据位置信息生成标注框，随机确定目标标注框，并在目标标注框生成噪声框；基于包括噪声框的待处理图像和待处理图像对预设生成对抗网络模型进行训练，得到目标生成对抗网络模型；将包括噪声框的待处理图像输入目标生成对抗网络模型中，输出包括待扩增目标的生成图像；其中，该待扩增目标与噪声框的位置信息相同。本方案提供的目标检测样本扩增方法得到的生成图像无样本模糊、生成背景不自然等问题，充分利用原始遥感数据中的已知信息来引导目标噪声框中背景的恢复以及获得更真实的扩增目标。
-
公开(公告)号：CN117632412A
公开(公告)日：2024-03-01
申请号：CN202311530902.1
申请日：2023-11-16
Applicant: 北京控制工程研究所
Abstract: 本发明涉及面向空间应用的混合实时任务调度及两级准入控制方法，包括：根据空间任务特点对任务进行数学建模，引入“任务关键等级”及任务运行时参数辅助准入控制方法设计；确定任务优先级分配策略及调度算法调度任务运行；计算在零散任务调度窗口内高优先级任务产生的最大干扰时间，并通过利用系统运行时任务实例参数信息提升分析精度；根据当前任务关键等级与系统平均任务关键等级的大小关系分别利用干扰时间上界(I BF)及响应时间分析(RTA)方法判定零散任务在当前系统中的可调度性。通过本发明方法可提高零散任务动态载入时的任务集可调度率，从而改善处理器资源利用率，保障航天器系统的实时性与可靠性。
-
公开(公告)号：CN106708730B
公开(公告)日：2019-04-09
申请号：CN201611046321.0
申请日：2016-11-22
Applicant: 北京控制工程研究所
IPC: G06F11/36
Abstract: 一种针对嵌入式实时操作系统形式化验证方法，采用分阶段的思路对嵌入式实时操作系统进行形式化验证，首先按照需求、设计、实现三个阶段进行形式化建模和验证，用具有严格数学定义的语法、语义的语言来描述操作系统，然后建立操作系统的形式化模型，提取待验证的性质，通过数学方法分析及验证形式化模型是否满足期望的性质，通过反复迭代，最终得到满足期望性质的形式化模型。本发明方法与现有技术相比，解决了传统测试方法对无法保证操作系统需求的正确性以及代码和需求一致性的问题，具有较好的使用价值。
-
公开(公告)号：CN102541623A
公开(公告)日：2012-07-04
申请号：CN201110433239.4
申请日：2011-12-20
Applicant: 北京控制工程研究所
IPC: G06F9/455
Abstract: 一种嵌入式处理器的存储空间模拟方法，提供了嵌入式处理器的存储空间模拟方法。该方法可以模拟嵌入式处理器的完整存储空间，通过采用分页的方式来模拟大容量的完整存储空间，在分页机制下，只模拟程序中真正使用到的那部分存储空间，从而节省了模拟所需的空间开销；本方明针对不同的地址范围，采用静态模拟和动态模拟相结合的混合模拟方法，实现了一种效率高、开销低的大容量存储空间模拟机制。
-
-
-
-
-
-
-
-
-
Search Results
35
records
(took 0.07 seconds)
