本发明公开了一种基于模型检查的操作系统并发控制C代码验证系统及方法，涉及验证技术领域，该系统包括包括代码转换模块和验证模块；代码转换模块将目标操作系统并发控制C代码转换成BTOR2模型，再将BTOR2模型转换成AIGER模型；验证模块与...

本发明的技术方案是公开了一种面向无人集群的轻量化分布式软总线通信方法。本发明公开了一种轻量化无人集群软总线通信架构，通过设计无人系统高性能组件集成方法，增强系统内不同功能组件之间的灵活性与互操作性。并且本发明引入无人集群轻量化通信方案，...

本发明公开了一种无人系统集群资源供需动态感知监控系统，采用分布式架构和智能算法轻量化监控、部署方案，基于国产化操作系统设计，通过性能数据分析和预测模型实现服务器集群的动态资源优化和预测性维护，在智能化运维场景下完成高效集群管理任务，将监...

本技术的技术方案是公开了一种具有高精度基准电压的DA转换电路，包括型号为SW688的高精度基准电压芯片以及型号为SDA8412的数模转换芯片，高精度基准电压芯片的第1引脚不通过任何串接电阻，直接连接数模转换芯片的VREFH端；高精度基准...

本发明的技术方案是公开了一种面向无人集群系统的韧性增强综合安全防控技术架构构建方法。本发明提出物理‑网络协同攻击下的多方博弈机理模型构建新方法，基于深度强化学习预先得到系统的脆弱节点和攻击的演化机制，根据预期性能指标及协同控制效果给出事...

本发明提出一种基于改进Q‑Learning的多无人机通信拓扑网络优化方法，首先分析无人机编队通信网络影响因素，构建多无人机通信拓扑网络路由评价模型；其次，在Q‑Learning算法的基础上，设计贪婪因子自适应调节机制，提升Q‑Learn...

本发明公开了一种面向多核平台的汽车操作系统任务的高效实时调度方法，包括：在每条递归分支的起始阶段测试判断当前调度方案是否满足终止条件；对不满足终止条件的递归分支的调度方案进行剪枝判断；将当前时间节点时已完成运行的任务所属任务链的后继任务...

本发明公开了一种动态参数调节提高模型压缩效率的方法，采用动态调节蒸馏温度，不同的训练阶段蒸馏温度随着学生模型学习知识从易到难自动调整，使学生模型学到更多隐藏知识；采用动态调节损失函数的比例，使训练不同阶段两个子部分对损失函数影响不同，加...

本发明涉及一种基于时序知识图谱的通信抗干扰策略推荐方法，具体包括：通过将感知到的环境干扰数据转化为结构化的知识图谱，实现对干扰类型的精准分类和历史记录。基于实时监测的信道环境数据，结合设备的通信网络配置、历史抗干扰数据以及环境信息，智能...

本发明公开了一种基于多种传输机制和线程池硬件抽象层设计方法，其特征在于，包括以下步骤：发送前准备：建立LD与PD映射表、PD与驱动程序映射表以及发送线程池；发送流程；接收流程：接收组件的MHAL收到数据包后，解析出数据包的LD，基于LD...

本发明涉及一种基于硬件调试器的内存数据获取及波形展示方法，包括以下步骤：步骤1、用户先确定需要调试的代码部分，在调试框架中操作设定程序断点位置；步骤2、调试启动流程，包括启动开发板、openocd、调试框架，加载符号表，初始化调试会话，...

本发明涉及一种基于软件定义的并行计算框架及其实现方法，包括操作系统域、系统服务域和统一接口域，操作系统域包括设备驱动、任务调度、信号管理、内存管理以及各类协议栈；系统服务域包括数据平面、控制平面和能力平面，数据平面负责所有数据的加载、转...

本发明涉及一种基于串口更新DSP2812的方法，包括如下步骤：步骤1：配置上位机与DSP2812，并进行串口初始化；步骤2：在上位机端编写专门用于向DSP2812发送程序数据的应用程序；步骤3：上位机将转换后的程序数据按预定的协议格式逐...

本发明提出一种基于PMU的确定性重演实现方法，针对国产嵌入式操作系统的事件记录与重演需求，进而提供国产嵌入式操作系统运行重演可行技术方案，重点研究基于指令计数器的时间同步技术、事件日志文件结构设计技术，形成了国产嵌入式操作系统实时记录与...

本技术涉及电子领域，具体涉及高密度长针电连接器技术领域，特别涉及一种高密度长针电连接器安装限位工装，由梳齿形限位插板、快卸手柄构成，两者通过花形锁紧螺钉连接而成。本技术通过设置了梳齿形限位插板，保证了高密度长针电连接器在压接和焊接过程中...

本发明提出一种文本和图像数据的可视化标注方法，通过对文本中的实体类型、实体关系类型和实体属性进行标注，并增加对图像数据的可视化标注，在提升知识图谱构建信息抽取模型的准确率和性能的同时，进一步实现对图像数据标注,解决了不能满足多模态知识图...

本发明涉及一种基于锐华嵌入式实时操作系统的容器化系统架构，包括如下：特权级的操作系统内核，提供容器化所需要的资源管理机制、安全隔离机制，容器任务实时性能保障机制、设备管理分配机制、以及容器间的通信机制；运行在非特权级的容器，包括应用容器...

本发明涉及一种基于锐华嵌入式实时操作系统构建的CPU+FPGA异构计算系统，包括由下至上的异构并行处理硬件层、适配及驱动层、嵌入式实时操作系统、异构并行编程框架层及上层应用；在通用版锐华嵌入式实时操作系统中增设功能模块，包括处理器层的F...

本发明涉及一种支持虚通道的Aurora数据交换系统及方法，系统包括N<subgt;1</subgt;个端点设备、1个交换设备、1个交换控制设备；端点设备与交换设备通过Aurora总线互联，交换控制设备和交换设备相连；每个端点...

本发明提出一种基于边缘计算环境的容器负载均衡调度方法，主要包括容器的资源分配与多计算节点间的负载均衡，围绕多计算节点的负载均衡需求，研究了基于模拟退火算法的负载均衡调度策略，结合动态资源分配和优先级调度方法，支持高效资源分配与动态任务调...