-
公开(公告)号：CN119311314A
公开(公告)日：2025-01-14
申请号：CN202411385821.1
申请日：2024-09-30
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/75 , G06F18/213 , G06F8/40 , G06F40/284 , G06F8/73 , G06F18/24
Abstract: 本发明公开一种适用于不同编程语言的高效代码特征提取方法，包括：从指定的项目路径中加载不同编程语言配置文件，通过预定义的语言解析规则映射器解析语言配置文件，生成适用于不同编程语言的语言规则映射表；识别编程语言类型，按类型创建多任务队列并分配任务线程；依据语言规则映射表，对源代码预处理后进行分词和标记，对分词结果归一化后生成归一化后的源代码文件；对归一化后的源代码文件按给定的窗口和步长大小进行代码块分割并生成哈希值作为特征值，获得以哈希值序列为特征指纹的代码文件；将以哈希值序列为特征指纹的代码文件以及标记内容按标准化格式进行序列化存储并输出。本发明能够提高代码分析的效率和准确性。
-
公开(公告)号：CN118316769B
公开(公告)日：2024-09-03
申请号：CN202410732256.5
申请日：2024-06-06
Applicant: 北京轩宇信息技术有限公司
Inventor： 王天夏
Abstract: 本发明公开了一种多进制码移键控扩频加MSK收发信机FPGA的验证方法，涉及FPGA验证测试技术领域，包括多进制码移键控扩频加MSK收发信机FPGA的验证方法包括下述内容：S1、发射机模块设计；S2、双验证；S3、DSP模块设计。该多进制码移键控扩频加MSK收发信机FPGA的验证方法，提供了全套的软环境验证架构方案，而不依赖于实际硬件环境及相关的配套软件，为FPGA设计阶段反复试验，不断调整修改技术方案提供了强大的解决方案，可以大大提高FPGA开发效率，解决了第三方FPGA验证人员不具备实物硬件条件的验证环境问题，解决了验证环境有无的问题，使软环境验证技术成为可能选项，验证效率大为提高。
-
公开(公告)号：CN118277252A
公开(公告)日：2024-07-02
申请号：CN202410296329.0
申请日：2024-03-15
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 一种可扩展的中断驱动程序缺陷检测方法，包括：(1)建立多个堆栈并行构建模块化程序依赖图，同时获得中断的摘要信息；(2)对程序源代码进行静态分析，依据缺陷类型识别能发生缺陷的位置和能够存在并发缺陷的代码区域和触发条件，形成缺陷区域集合#imgabs0#；(3)对缺陷区域集合#imgabs1#中每个缺陷区域进行分析，利用数据依赖、控制依赖关系确定影响并发缺陷发生的关键变量和语句；(4)根据步骤(3)求出的每个缺陷区域对应的关键变量和语句，在依赖图中动态插入中断更新依赖图，对缺陷进行检查。本发明提升了静态分析的效率和精度，实现在保证检测精度和效率的同时，适应不同类型和规模的中断驱动程序，可以检测和定位多种中断驱动型程序缺陷。
-
公开(公告)号：CN112269648B
公开(公告)日：2024-05-31
申请号：CN202011272405.2
申请日：2020-11-13
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种多阶段程序分析的并行任务分配方法及装置。所述方法包括：根据待分析代码中所有任务之间的依赖关系，构建所述待分析代码对应的任务关系图；获取所述待分析代码中需要运行的分析任务；根据所述任务关系图和所述分析任务，对所述分析任务进行阶段划分，得到阶段任务集合；所述阶段任务集合中包含至少一个可被并行执行的并行任务；根据并发运行任务数，运行所述阶段任务集合中的阶段任务，并获取任务运行结果。本发明能够较大程度的发挥硬件性能，缩短整体分析时间，且能够有效解决将所有检查器结果堆积到同一个结果文件中，检查结果较多时，结果文件过大，不便于读取的问题。
-
公开(公告)号：CN112506521B
公开(公告)日：2024-05-14
申请号：CN202011496767.X
申请日：2020-12-17
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/41
Abstract: 本发明公开了一种面向数据流模型的高阶调用代码生成方法及装置。方法包括：对数据流中的计算模块进行解析，得到计算模块的解析结果；根据解析结果，确定计算模块是否为子模块调用模块；在计算模块为子模块调用模块，或计算模块为非子模块调用模块且计算模块为矩阵函数运算模块的情况下，确定计算模块对应的数组维度与预先设定的最大展开次数之间的大小关系；在数组维度大于最大展开次数的情况下，基于循环调用的方式进行函数调用，生成所述计算模块对应的高阶调用代码；在所述数组维度小于所述最大展开次数的情况下，根据所述数组维度展开调用函数，生成所述计算模块对应的高阶调用代码。本发明可以简化生成的代码，生成符合用户查看的简洁代码。
-
Patent Agency Ranking
公开(公告)号：CN118012768A
公开(公告)日：2024-05-10
申请号：CN202410222256.0
申请日：2024-02-28
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 一种智能软件一体化测试方法，涉及一种安全攸关智能软件的评测技术，覆盖了智能软件的数据集、学习程序以及智能模型等软件制品，评测的内容包括训练数据集的质量、学习程序的质量、算法的正确性、算法鲁棒性、模型不确定性以及测试充分性，最后可以对智能软件的质量进行综合评价，能够解决现有测试方法系统性不足的问题，一体化评测的自动化程度高，克服了当前相关评测系统功能单一、评测不充分的困难。
-
公开(公告)号：CN117873855A
公开(公告)日：2024-04-12
申请号：CN202310787872.6
申请日：2023-06-30
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了一种基于深度神经网络软件的可配置获取覆盖率方法及装置，方法包括步骤一，配置模型参数；步骤二，配置数据集参数；步骤三，配置覆盖率准则和参数；步骤四，执行深度神经网络测试；步骤五，提取覆盖率信息文件；装置包括配置模型参数模块、配置数据集参数模块、配置覆盖率准则和参数模块和生成覆盖率报告模块，本发明通过脚本配置模型参数、数据集参数、深度神经网络覆盖率准则和参数，来执行深度神经网络测试，计算和更新各种可配置的覆盖率，提取覆盖率信息文件，合并生成覆盖率报告，提供了切实可行的深度神经网络软件的可配置覆盖率方法，解决了航天智能软件缺乏有效覆盖率评估标准的问题。
-
公开(公告)号：CN117849828A
公开(公告)日：2024-04-09
申请号：CN202311854914.X
申请日：2023-12-29
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明提出一种导航卫星射频指纹特征提取及欺骗信号检测方法，包括以下步骤：(1)利用正交采样的导航信号提取跟踪阶段移除载波和伪随机码后的解扩IQ序列；(2)从解扩IQ序列中提取导航消息子帧固定前导码部分对应的前导码解扩IQ序列；(3)将多个连续的前导码解扩IQ序列合并生成单张二维IQ星座灰度图；(4)利用变分自编码器对合法导航卫星二维IQ星座灰度图进行特征提取，训练变分自编码器；(5)比较待检测二维IQ星座灰度图和合法二维IQ星座灰度图重构误差之间的差别，检测欺骗信号。本发明能够在不修改现有导航卫星软硬件的情况下，以低成本为导航信号接收机提供准确可靠的导航欺骗信号检测服务。
-
公开(公告)号：CN117827635A
公开(公告)日：2024-04-05
申请号：CN202310787735.2
申请日：2023-06-30
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了基于深度神经网路软件的自适应覆盖率方法及装置，方法包括：步骤一：解析导入深度学习框架导入库，根据规则自适应选择深度学习框架模板；步骤二：根据框架模板解析加载测试数据集和深度学习模型后，插桩神经元输出列表、神经元覆盖列表、激活神经元数、神经元总数、神经元阈值初始化语句；步骤三：解析循环测试数据过程中，插桩更新覆盖率函数；步骤四：解析循环测试数据结束后，插桩打印输出神经元覆盖率语句；本发明通过规则自适应选择深度学习框架模板，插桩神经元覆盖率初始化语句和函数以及神经元覆盖率统计输出语句，解决了航天智能软件配置项采用多深度学习框架评估覆盖的测试不充分问题。
-
公开(公告)号：CN116860326A
公开(公告)日：2023-10-10
申请号：CN202211636294.8
申请日：2022-12-19
Applicant: 北京轩宇信息技术有限公司
Abstract: 本发明公开了用于嵌入式异构仿真的内存映射方法，包括以下步骤：步骤一，查找变量；步骤二，添加自定义元类型定义；步骤三，添加引用声明及初始化；步骤四，取消宏定义；步骤五，填写返回值；本发明解决了加速函数处理过程中对寄存器运算中需要手动加入的问题，对副作用回调函数的加入，降低了对用户源代码的修改，用户源代码的处理仅放置在了函数最开始和结尾处；本发明解决了宿主机与仿真目标机大小端不一致的问题，所有多字节元类型均进行了类重写，所有的大小端转换操作都在运算符重载中进行，由于大小端转换操作被内聚在了重写类中，解除了与用户源代码的耦合，无需担心大小端互转的对偶问题，提高了安全性。
-
-
-
-
-
-
-
-
-
Search Results
158
records
(took 0.044 seconds)
