本发明公开了一种干扰检测FPGA的验证方法，涉及干扰检测处理技术领域，步骤如下：单音干扰：步骤1：单音干扰1~单音干扰N模块：SystemVerilog语言通过设置不同频率控制字，使用DDS生成不同频率的正弦波信号，根据FPGA可接收的...

本发明公开一种SRAM阵列低功耗控制方法，属于SOC（System on Chip）片上存储技术领域。根据场景需要决定SRAM阵列中哪些组被使用；同时对每组SRAM配置一个Ret模式监测模块进行监测控制；对使用中的每组SRAM，若Ret...

本发明提供了一种中断驱动型程序多变量原子性违反检测方法，包括：以真实航天嵌入式软件为数据库，筛选配有详细文档和带有注释源代码的软件，作为关联变量对识别模型的训练数据集；以共享变量对为对象，通过静态分析对训练数据集中的软件中的共享变量对进...

本技术涉及BOM储存装置技术领域，公开了一种便于移动的通用BOM数据底座，包括主体机构、存放机构和照明机构，主体机构为整个装置的外部结构，容纳存放机构和照明机构，并提供移动的功能；存放机构位于主体机构的内部，用于存取BOM数据，避免BO...

一种覆盖率驱动的测试用例自动生成方法，对被测程序进行静态分析记录程序中的所有分支集合以及每个循环体对应的内部分支集合；创建初始的程序执行路径，根据路径搜索策略确定当前执行路径；对当前执行路径中pc指向的语句进行符号执行，在符号执行过程中...

本发明公开了一种多进制码移键控扩频加MSK收发信机FPGA的验证方法，涉及FPGA验证测试技术领域，包括多进制码移键控扩频加MSK收发信机FPGA的验证方法包括下述内容：S1、发射机模块设计；S2、双验证；S3、DSP模块设计。该多进制...

一种可扩展的中断驱动程序缺陷检测方法，包括：(1)建立多个堆栈并行构建模块化程序依赖图，同时获得中断的摘要信息；(2)对程序源代码进行静态分析，依据缺陷类型识别能发生缺陷的位置和能够存在并发缺陷的代码区域和触发条件，形成缺陷区域集合；(...

一种用于硬件描述语言代码解析的预处理方法，包括：针对RTL源代码解析后的语法树结构，分析各模块例化的特征信息获取树型数据结构A；访问树型数据结构A层次结构对应的RTL文件解析后的语法树结构，输出参数和赋值表达式结果的树型数据结构B；利用...

一种中文自然语言处理模型的对抗文本生成方法，针对给定的预训练的智能模型，对输入的合法文档加入扰动生成对抗性文档，生成的对抗性文档在保持与原始合法文档高度相似的同时，误导智能模型，使其做出错误的决策或分类；包括以下步骤：1、基于编码器‑解...

本发明公开了一种非线性调频信号旁瓣抑制效果的验证方法，包括以下步骤：步骤一，构建验证系统；步骤二，信号采集与装载；步骤三，去直流分量与合路处理；步骤四，傅里叶变换与域滤波处理；步骤五，频域乘积与傅里叶逆变换处理；步骤六，归一化与可视化处...

一种基于修订模式识别软件工程数据条目化变更的系统，所述方法包括：线上文档下载，开启修订模式，设置为无标记的修订模式；线下文档编辑；文档上传，根据修订模式获取线下文档编辑内容；自动识别文档版本间变更内容，变更内容条目化处理；文档变更条目化...

一种智能软件一体化测试方法，涉及一种安全攸关智能软件的评测技术，覆盖了智能软件的数据集、学习程序以及智能模型等软件制品，评测的内容包括训练数据集的质量、学习程序的质量、算法的正确性、算法鲁棒性、模型不确定性以及测试充分性，最后可以对智能...

本发明公开了一种基于关键神经元识别的神经通路覆盖率分析系统，包括数据输入模块、关键神经元识别模块、神经元激活状态分析模块、覆盖率计算模块和结果可视化模块，所述数据输入模块分别控制连接关键神经元识别模块和神经元激活状态分析模块，它通过识别...

本发明公开了一种基于深度神经网络软件的可配置获取覆盖率方法及装置，方法包括步骤一，配置模型参数；步骤二，配置数据集参数；步骤三，配置覆盖率准则和参数；步骤四，执行深度神经网络测试；步骤五，提取覆盖率信息文件；装置包括配置模型参数模块、配...

本发明公开了基于深度神经网路软件的自适应覆盖率方法及装置，方法包括：步骤一：解析导入深度学习框架导入库，根据规则自适应选择深度学习框架模板；步骤二：根据框架模板解析加载测试数据集和深度学习模型后，插桩神经元输出列表、神经元覆盖列表、激活...

本发明公开了一种面向多角色使用的星载软件开发平台，包括开发服务器，所述开发服务器上设置有设计人员模块、质量管理人员模块和系统管理人员模块，且设计人员模块与质量管理人员模块建立数据连接，设计人员模块与系统管理人员模块建立数据连接，所述设计...

本发明提出一种导航卫星射频指纹特征提取及欺骗信号检测方法，包括以下步骤：(1)利用正交采样的导航信号提取跟踪阶段移除载波和伪随机码后的解扩IQ序列；(2)从解扩IQ序列中提取导航消息子帧固定前导码部分对应的前导码解扩IQ序列；(3)将多...

本发明公开了一种航天智能装备软件测试方法，包括以下步骤：步骤一，模型验证；步骤二，系统部署；步骤三，在轨应用；所述步骤1.1中，测试对象包括数据集、学习程序、模型算法和智能框架；所述步骤1.2中，测试工具包括数据标注工具、数据扩增工具、...

本发明公开了一种1553B总线半物理仿真系统及方法，包括目标板、FPGA接口仿真设备、驱动封装模块、1553B总线仿真芯片和终端虚拟设备，所述目标板通过接口映射逻辑连接有FPGA接口仿真设备；仿真方法，包括步骤一，映射；步骤二，读写寄存...

本发明公开了一种可实现块状数据访问的循环FIFO的仿真方法，包括以下步骤：步骤一，定义数组；步骤二，定义逻辑；步骤三，设定最大字节；步骤四，起始段定义；步骤五，首尾结构定义；本发明，通过为FIFO分配一个长度加长的数组作为缓冲区，当循环...