公开(公告)号：CN114385179A

公开(公告)日：2022-04-22

申请号：CN202111537354.6

申请日：2021-12-15

Applicant: 北京轩宇信息技术有限公司

Inventor： 王彦芳 ,  王政 ,  黄丽桃 ,  张小龙 ,  李婕 ,  江云松 ,  曾霞 ,  王辉

IPC: G06F8/41 ,  G06F16/901

Abstract: 本发明公开了一种面向人工智能的基于计算图模型的代码生成方法及装置。所述方法包括：获取计算图和输出节点；从输出节点开始，根据计算图中的有向边进行向前查找，直至找到所有的输入节点；以查找路径上的所有节点为集合，构建计算逻辑树；根据所有节点的节点类型，对所有节点进行预处理；从计算逻辑树中的层数最大的叶节点之一N1进行向上生成，N1和其兄弟节点、父节点生成为新的叶节点；重复执行从计算逻辑树中的层数最大的叶节点之一N1进行向上生成，N1和其兄弟节点、父节点生成为新的叶节点，直至根节点作为父节点。本发明可以解决在星载计算机上存储空间有限，无法容纳相应的依赖库和运行时占用的内存的问题。

公开(公告)号：CN119311314A

公开(公告)日：2025-01-14

申请号：CN202411385821.1

申请日：2024-09-30

Applicant: 北京轩宇信息技术有限公司

Inventor： 高栋栋 ,  陈睿 ,  江云松 ,  王彦芳 ,  吴涛 ,  郭向英 ,  吴瑾 ,  于婷婷 ,  贾春鹏 ,  郝伟

IPC: G06F8/75 ,  G06F18/213 ,  G06F8/40 ,  G06F40/284 ,  G06F8/73 ,  G06F18/24

Abstract: 本发明公开一种适用于不同编程语言的高效代码特征提取方法，包括：从指定的项目路径中加载不同编程语言配置文件，通过预定义的语言解析规则映射器解析语言配置文件，生成适用于不同编程语言的语言规则映射表；识别编程语言类型，按类型创建多任务队列并分配任务线程；依据语言规则映射表，对源代码预处理后进行分词和标记，对分词结果归一化后生成归一化后的源代码文件；对归一化后的源代码文件按给定的窗口和步长大小进行代码块分割并生成哈希值作为特征值，获得以哈希值序列为特征指纹的代码文件；将以哈希值序列为特征指纹的代码文件以及标记内容按标准化格式进行序列化存储并输出。本发明能够提高代码分析的效率和准确性。

公开(公告)号：CN115951867A

公开(公告)日：2023-04-11

申请号：CN202210692933.6

申请日：2022-11-30

Applicant: 北京轩宇信息技术有限公司

Inventor： 李婕 ,  黄丽桃 ,  王彦芳 ,  张小龙 ,  王辉

IPC: G06F8/30 ,  G06F18/10

Abstract: 一种基于贝叶斯网络模型的代码生成方法，涉及贝叶斯网络的推理方法和实现，以及自动代码生成技术。本发明方法包括：由待处理概率图模型信息生成对应的贝叶斯网络模型；根据贝叶斯网络模型生成动态C代码文件，结合预设的固定C代码文件，并根据预设的指派节点事件取第几个值的编号信息，实现根据底事件发生的概率求顶事件发生的概率，生成的动态C代码文件和预设的固定C代码文件交由计算机执行。本发明使用C代码实现了贝叶斯推理网络，根据输入的贝叶斯网络模型动态生成C代码，配合固定的C代码，可以实现根据底事件发生的概率求顶事件发生的概率，完成了贝叶斯推理网络的嵌入式实现，给出了嵌入式平台移植的解决方案。

公开(公告)号：CN119311313A

公开(公告)日：2025-01-14

申请号：CN202411385802.9

申请日：2024-09-30

Applicant: 北京轩宇信息技术有限公司

Inventor： 江云松 ,  高栋栋 ,  陈睿 ,  郭向英 ,  王彦芳 ,  吴涛 ,  曹向志 ,  陈燕青 ,  李超 ,  王博祥

IPC: G06F8/75 ,  G06F18/22 ,  G06F18/24 ,  G06F18/213 ,  G06N5/022

Abstract: 本发明公开一种多阶段多层次代码特征高效匹配方法：输入文件特征信息和文件代码片段特征信息的待匹配标准代码文件；当待匹配代码文件的文件后缀名及特征值与代码特征信息知识库中的相同，取知识库中的该匹配文件作为文件级匹配结果，否则对待匹配代码文件进行片段级代码特征匹配；依次将待匹配文件中片段特征信息的特征值与知识库中所有代码片段的特征值进行匹配，得到片段级匹配结果；统计知识库里不同文件下匹配成功的代码片段数量，选取数量最多的文件作为文件级匹配结果；统计知识库里各项目下文件级匹配结果的文件数量，选取排序第一的项目作为与待匹配代码文件相似的项目作为项目级匹配结果，评价待匹配文件与项目级匹配结果的相似程度。

公开(公告)号：CN116627806A

公开(公告)日：2023-08-22

申请号：CN202310540000.X

申请日：2023-05-15

Applicant: 北京轩宇信息技术有限公司

Inventor： 黄丽桃 ,  王彦芳 ,  高栋栋 ,  陈睿 ,  江云松 ,  张小龙 ,  杨帆

IPC: G06F11/36

Abstract: 一种基于数据流和状态机的模型覆盖率分析统计方法，包括步骤一，分析数据流和状态机模型；步骤二，条件关键点分析；步骤三，生成模型代码；步骤四，执行及覆盖率分析；所述步骤一中，对于数据流模型进行遍历：根据输出节点获取以其为终止节点的有向边；根据有向边查找其起始节点；重复上述两步，直至找到节点满足以下条件：没有其作为终止节点的有向边；遍历过程中，遍历到的每个节点都作为一个基本块；本发明通过分析模型的基本块和关键点，并基于分析结果对模型生成代码并插桩，在仿真后对基本块覆盖情况和条件覆盖情况进行统计分析，该方法已经在真实程序中进行了验证，可以计算出基本块覆盖率和条件覆盖率。