买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜中国地质大学(北京)申请的专利一种程序的终止性判断方法、系统、设备及介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119415407B 。

龙图腾网通过国家知识产权局官网在2025-04-01发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510020290.4，技术领域涉及：G06F11/36；该发明授权一种程序的终止性判断方法、系统、设备及介质是由陈志伟;龙腾;石江设计研发完成，并于2025-01-07向国家知识产权局提交的专利申请。

本一种程序的终止性判断方法、系统、设备及介质在说明书摘要公布了：本公开涉及计算机技术领域，提供了一种程序的终止性判断方法、系统、设备及介质，所述方法包括：获取程序代码后，进行语法解析，基于语法节点构建抽象语法树；在抽象语法树中，基于表达式或语句的依赖关系，在语法节点间构建单向边；对于语法为循环含义的语法节点A，在语法节点A与其循环体中的子语法节点间建立回边；进而得到有向抽象语法树图；将有向的抽象语法树编码为特征图，输入图注意力网络，输出第一向量；将特征图的邻接矩阵输入卷积神经网络，输出第二向量；对两个向量加权求和并归一化，得出非终止概率估计结果。该方法能够有效识别程序中的循环结构，提升对终止性的判断准确度。

本发明授权一种程序的终止性判断方法、系统、设备及介质在权利要求书中公布了：1.一种程序的终止性判断方法，其特征在于，包括：获取程序代码；对程序代码进行语法解析，识别出其中的语法成分作为语法节点，并以树状形式将语法节点构建成抽象语法树；在所述抽象语法树中，基于表达式或语句的依赖关系，在语法节点间构建单向边；对于语法为循环含义的语法节点A，在语法节点A与其循环体中的子语法节点间建立回边；进而得到有向抽象语法树图；利用语义编码器将有向抽象语法树图的每种语法节点的节点类型映射到一个特定的编码，得到特征图；利用顺序编码器对代码语句的执行次序进行顺序编码，基于顺序编码构建特征图的邻接矩阵；将特征图输入图注意力网络进行图语义分析，输出表示程序代码的非终止可能性的第一向量；将特征图的邻接矩阵输入卷积神经网络进行循环特征的提取，输出表示程序代码的非终止可能性的第二向量；将第一向量和第二向量进行加权求和后进行归一化操作，得到程序的非终止概率估计结果，非终止概率高于阈值，则判断程序为非终止程序。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国地质大学(北京)，其通讯地址为：100083 北京市海淀区学院路29号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。