-
公开(公告)号：CN112560273A
公开(公告)日：2021-03-26
申请号：CN202011519760.5
申请日：2020-12-21
Applicant: 北京轩宇信息技术有限公司
IPC: G06F30/20
Abstract: 本发明公开了一种面向数据流模型的模型组件执行顺序确定方法及装置。方法包括：获取数据流图中的待排序模块；将待排序模块作为邻接矩阵的顶点，构建三个邻接矩阵；三个邻接矩阵分别为数据流关系邻接矩阵(简称数据流阵)、控制流关系邻接矩阵(简称控制流阵)和数据流与控制流的合成关系邻接矩阵(简称合成阵)；根据数据流阵、控制流阵和合成阵对应的查找顺序，查找三个邻接矩阵中的无前置顶点的目标顶点；在查找得到目标顶点的情况下，删除目标顶点，并对删除目标顶点对应的其它顶点进行排序，以得到待排序模块对应的执行顺序。本发明可以对控制流线，数据流线不全部成环的情况进行排序，可以避免数据流线构成代数环后无法排序的情况。
-
公开(公告)号：CN112506521B
公开(公告)日：2024-05-14
申请号：CN202011496767.X
申请日：2020-12-17
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/41
Abstract: 本发明公开了一种面向数据流模型的高阶调用代码生成方法及装置。方法包括：对数据流中的计算模块进行解析，得到计算模块的解析结果；根据解析结果，确定计算模块是否为子模块调用模块；在计算模块为子模块调用模块，或计算模块为非子模块调用模块且计算模块为矩阵函数运算模块的情况下，确定计算模块对应的数组维度与预先设定的最大展开次数之间的大小关系；在数组维度大于最大展开次数的情况下，基于循环调用的方式进行函数调用，生成所述计算模块对应的高阶调用代码；在所述数组维度小于所述最大展开次数的情况下，根据所述数组维度展开调用函数，生成所述计算模块对应的高阶调用代码。本发明可以简化生成的代码，生成符合用户查看的简洁代码。
-
Patent Agency Ranking
公开(公告)号：CN115951867A
公开(公告)日：2023-04-11
申请号：CN202210692933.6
申请日：2022-11-30
Applicant: 北京轩宇信息技术有限公司
Abstract: 一种基于贝叶斯网络模型的代码生成方法，涉及贝叶斯网络的推理方法和实现，以及自动代码生成技术。本发明方法包括：由待处理概率图模型信息生成对应的贝叶斯网络模型；根据贝叶斯网络模型生成动态C代码文件，结合预设的固定C代码文件，并根据预设的指派节点事件取第几个值的编号信息，实现根据底事件发生的概率求顶事件发生的概率，生成的动态C代码文件和预设的固定C代码文件交由计算机执行。本发明使用C代码实现了贝叶斯推理网络，根据输入的贝叶斯网络模型动态生成C代码，配合固定的C代码，可以实现根据底事件发生的概率求顶事件发生的概率，完成了贝叶斯推理网络的嵌入式实现，给出了嵌入式平台移植的解决方案。
-
公开(公告)号：CN114385179A
公开(公告)日：2022-04-22
申请号：CN202111537354.6
申请日：2021-12-15
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/41 , G06F16/901
Abstract: 本发明公开了一种面向人工智能的基于计算图模型的代码生成方法及装置。所述方法包括：获取计算图和输出节点；从输出节点开始，根据计算图中的有向边进行向前查找，直至找到所有的输入节点；以查找路径上的所有节点为集合，构建计算逻辑树；根据所有节点的节点类型，对所有节点进行预处理；从计算逻辑树中的层数最大的叶节点之一N1进行向上生成，N1和其兄弟节点、父节点生成为新的叶节点；重复执行从计算逻辑树中的层数最大的叶节点之一N1进行向上生成，N1和其兄弟节点、父节点生成为新的叶节点，直至根节点作为父节点。本发明可以解决在星载计算机上存储空间有限，无法容纳相应的依赖库和运行时占用的内存的问题。
-
公开(公告)号：CN112506521A
公开(公告)日：2021-03-16
申请号：CN202011496767.X
申请日：2020-12-17
Applicant: 北京轩宇信息技术有限公司
IPC: G06F8/41
Abstract: 本发明公开了一种面向数据流模型的高阶调用代码生成方法及装置。方法包括：对数据流中的计算模块进行解析，得到计算模块的解析结果；根据解析结果，确定计算模块是否为子模块调用模块；在计算模块为子模块调用模块，或计算模块为非子模块调用模块且计算模块为矩阵函数运算模块的情况下，确定计算模块对应的数组维度与预先设定的最大展开次数之间的大小关系；在数组维度大于最大展开次数的情况下，基于循环调用的方式进行函数调用，生成所述计算模块对应的高阶调用代码；在所述数组维度小于所述最大展开次数的情况下，根据所述数组维度展开调用函数，生成所述计算模块对应的高阶调用代码。本发明可以简化生成的代码，生成符合用户查看的简洁代码。
-
公开(公告)号：CN112560273B
公开(公告)日：2023-11-10
申请号：CN202011519760.5
申请日：2020-12-21
Applicant: 北京轩宇信息技术有限公司
IPC: G06F30/20
Abstract: 本发明公开了一种面向数据流模型的模型组件执行顺序确定方法及装置。方法包括：获取数据流图中的待排序模块；将待排序模块作为邻接矩阵的顶点，构建三个邻接矩阵；三个邻接矩阵分别为数据流关系邻接矩阵(简称数据流阵)、控制流关系邻接矩阵(简称控制流阵)和数据流与控制流的合成关系邻接矩阵(简称合成阵)；根据数据流阵、控制流阵和合成阵对应的查找顺序，查找三个邻接矩阵中的无前置顶点的目标顶点；在查找得到目标顶点的情况下，删除目标顶点，并对删除目标顶点对应的其它顶点进行排序，以得到待排序模块对应的执行顺序。本发明可以对控制流线，数据流线不全部成环的情况进行排序，可以避免数据流线构成代数环后无法排序的情况。
-
公开(公告)号：CN116627806A
公开(公告)日：2023-08-22
申请号：CN202310540000.X
申请日：2023-05-15
Applicant: 北京轩宇信息技术有限公司
IPC: G06F11/36
Abstract: 一种基于数据流和状态机的模型覆盖率分析统计方法，包括步骤一，分析数据流和状态机模型；步骤二，条件关键点分析；步骤三，生成模型代码；步骤四，执行及覆盖率分析；所述步骤一中，对于数据流模型进行遍历：根据输出节点获取以其为终止节点的有向边；根据有向边查找其起始节点；重复上述两步，直至找到节点满足以下条件：没有其作为终止节点的有向边；遍历过程中，遍历到的每个节点都作为一个基本块；本发明通过分析模型的基本块和关键点，并基于分析结果对模型生成代码并插桩，在仿真后对基本块覆盖情况和条件覆盖情况进行统计分析，该方法已经在真实程序中进行了验证，可以计算出基本块覆盖率和条件覆盖率。
-
-
-
-
-
-
Search Results
7
records
(took 0.024 seconds)
