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

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

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

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

本发明公开了一种通用的嵌入式软件单元测试环境构建方法和系统，包括平台配置单元、测试场景构建单元、环境变量添加单元和自动构建单元；构建方法包括：步骤一，添加环境变量；步骤二，创建平台配置包；步骤三，构建测试场景；步骤四，生成测试环境；本发...

本发明公开了用于嵌入式异构仿真的内存映射方法，包括以下步骤：步骤一，查找变量；步骤二，添加自定义元类型定义；步骤三，添加引用声明及初始化；步骤四，取消宏定义；步骤五，填写返回值；本发明解决了加速函数处理过程中对寄存器运算中需要手动加入的...

本发明公开了一种星载软件控制参数自动生成与装订方法，包括以下步骤：步骤一，参变分离设计；步骤二，文档解析与控制参数提取；步骤三，控制参数二进制文件生成；步骤四，控制参数装订；所述步骤二中，文档解析与控制参数提取具体为：将控制参数文档输入...

本发明公开了一种基于构件的星载软件开发平台，包括软件开发工具、核心资产管理模块、基础构件单元、基础信息管理、复合构件单元、型号软件管理模块、型号创建单元、型号开发单元、公共应用管理模块、用户管理单元、文档生成单元和在线帮助单元，本发明通...

一种基于数据流和状态机的模型覆盖率分析统计方法，包括步骤一，分析数据流和状态机模型；步骤二，条件关键点分析；步骤三，生成模型代码；步骤四，执行及覆盖率分析；所述步骤一中，对于数据流模型进行遍历：根据输出节点获取以其为终止节点的有向边；根...

一种千万行级代码编程规范符合性并行检查方法，包括步骤一，全局信息提取；步骤二，编码规范检查；所述步骤2.2中，如果检查文件是C/CPP文件，则根据规则需求，直接从全局信息库中读取信息，进行分析，如果检查头文件所属翻译单元与当前翻译单元不...

本发明公开了一种提升静态分析精度的中间表示方法，包括以下步骤：步骤一，生成抽象语法树；步骤二，构造控制流图；步骤三，执行指针分析；步骤四，插入mu、chi语句；步骤五，构造支配关系；步骤六，构造控制依赖图；步骤七，替换phi函数；步骤八...

本发明公开了一种提升静态分析精度的符号分析方法，包括以下步骤：步骤一，生成抽象语法树和控制流图；步骤二，生成调用图；步骤三，执行指针分析；步骤四，全局值编号；步骤五，计算CFG支配关系、支配边界以及控制依赖图；步骤六，静态单赋值形式构造...

本发明公开了一种针对中断驱动型嵌入式软件的共享数据分析方法，包括以下步骤：步骤一，前期处理；步骤二，并发流入口分析；步骤三，访问模型建立；步骤四，指针分析；步骤五，数值分析；步骤六，识别共享数据；步骤七，共享数据标记；本发明通过一个通用...

本申请公开了一种基于事务的数据逻辑仿真系统，该系统包括：上位机和数字逻辑仿真装置；其中，上位机，与数字逻辑仿真装置耦合，用于向数字逻辑仿真装置发送待测设计DUT以及仿真指令；数字逻辑仿真装置，接收并装载待测设计以及接收仿真指令，并基于仿...

本发明提供一种仿真测试平台自动生成方法，在基于模块化技术，利用XML文件进行属性数据的配置与存储，执行所配置的数据自动生成测试平台，最后加载到全数字仿真系统VTest中进行运行。采用模块化驱动机制，实现需求与模块匹配方法，解决了以模块为...

本发明公开了一种项目标准测试文档自动化生成方法及装置，方法包括步骤一，建立数据模型；步骤二，创建文档模板；步骤三，获取待填充数据；步骤四，匹配求解算法；步骤五，计算填充数据；步骤六，输出存储文档；装置包括信息获取模块、数据获取模块、数据...

本发明公开了一种基于分片的数字逻辑仿真加速架构，包括上位机软件、PCIE通信接口和硬件加速板卡；本发明解决了单块硬件加速板卡上FPGA资源无法满足被测设计逻辑资源的问题，将被测设计分割若干片分别加载至不同的硬件加速板卡上分片进行仿真加速...

本发明公开了一种一种基于书签实现软件工程数据条目化处理的系统及方法，系统包括配置模块、文档解析模块、关联关系模块和条目化数据编辑模块；方法包括：步骤一，通过预设关键词提取文档段落内容；步骤二，添加自定义书签；步骤三，书签内容转换为xml...

本发明涉及一种可扩展的FPGA仿真验证自动化方法，步骤包括：建立标准规范文件；通过元语法符号和模板引擎建立转换器模型；根据元模型设计转换器，提供专用环境读取被测单元信息；根据元元模型设计转换器，按照表单化视图输入验证用例步骤，生成用户自...

一种基于贝叶斯网络模型的代码生成方法，涉及贝叶斯网络的推理方法和实现，以及自动代码生成技术。本发明方法包括：由待处理概率图模型信息生成对应的贝叶斯网络模型；根据贝叶斯网络模型生成动态C代码文件，结合预设的固定C代码文件，并根据预设的指派...