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

龙图腾网获悉博雅正链(北京)科技有限公司申请的专利一种监管合约规则冲突检测方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115904479B 。

龙图腾网通过国家知识产权局官网在2026-03-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202211667778.9，技术领域涉及：G06F8/71；该发明授权一种监管合约规则冲突检测方法是由陈钟;高健博;任立峰;李青山设计研发完成，并于2022-12-22向国家知识产权局提交的专利申请。

本一种监管合约规则冲突检测方法在说明书摘要公布了：本发明提供一种监管合约规则冲突检测方法，涉及区块链技术领域。本发明以监管合约代码作为输入，将监管合约中的监管规则符号化，并利用符号分析技术把监管规则冲突问题转化为约束求解问题，通过SMT求解器进行定理证明，发现监管规则中的各类型冲突，或证明监管规则无冲突。具体包括类型分析阶段、监管规则符号化阶段以及冲突检测阶段。本发明能够在区块链金融应用中检测监管合约的自冲突、完全冲突、局部冲突等规则冲突问题，为实现监管规则数字化提供有效性保障。

本发明授权一种监管合约规则冲突检测方法在权利要求书中公布了：1.一种监管合约规则冲突检测方法，其特征在于，包括以下步骤： 步骤1：类型分析阶段：对监管合约中所有变量的类型进行推断；具体为，以监管合约的抽象语法树作为输入，通过变量类型依赖分析和变量类型传播分析生成变量类型表； 步骤2：监管规则符号化阶段：根据变量类型表中变量的类型，分别将变量和语句符号化，生成符号化的监管规则； 步骤3：冲突检测阶段：对步骤2中符号化的监管规则进行冲突检测； 所述冲突检测中，根据监管冲突涉及的监管规则，以及监管冲突的影响范围，将监管规则冲突分为自冲突、局部冲突、完全冲突三类； 所述自冲突为，符合监管规则的范围的任意状态，都不能满足监管规则的要求，或者或自身就是矛盾式，定义如下： 1； 式中，S为监管范围语句中所有变量的所有取值； 所述完全冲突为，对于两个监管规则，R为参与检测的监管规则集合，如果存在同时符合两个监管规则的监管范围的状态，但是任意一个都不能同时满足两个监管规则的要求，定义如下： 2； 其中，若公式3成立时，则证明公式2一定不成立，此时证明两个监管规则一定不为完全冲突： 3； 所述局部冲突为，两个监管规则具有相同或相近的监管范围，但是部分状态只满足其中一个监管要求，在验证和相关的基础上，定义如下： 4； 对于多个监管规则，这些监管规则的完全冲突定义如下： 5； 其中，若公式6成立时，则证明公式5一定不成立，此时证明这n个监管规则一定不为完全冲突，并且能够确保其中的任意m个都不完全冲突； 6； 对于局部冲突，如果n个监管规则中存在局部冲突，则其中必然存在两个监管规则局部冲突，即两个监管规则存在局部冲突是n个监管规则中存在局部冲突的必要条件； 步骤1中所述变量类型依赖分析通过对监管合约代码分析，构造变量类型依赖图，并根据已知信息在变量类型依赖图上添加变量的类型约束；变量类型依赖分析采用自顶向下的方式遍历监管合约代码的抽象语法树，提取其中所有的变量，并根据变量和变量之间的约束关系构造变量类型依赖图，其中变量类型依赖图中的节点表示监管合约中的变量，边表示两个变量的类型之间存在依赖关系；变量类型依赖分析通过抽象语法树中的变量和运算符信息在依赖图中增加两类约束，分别是类型约束和关系约束，类型约束是对变量类型依赖图中节点属性的约束，即依赖图中变量的可能类型；关系约束是对两个变量的类型关系的约束，具体指依赖图中两个变量或变量中元素的类型是否相容，即是否是同一类型或可以通过自动类型转换成为同一类型； 所述变量类型传播分析通过基于依赖图的类型传播算法对未确定类型的变量进行推断，类型传播算法首先构造变量类型表用于记录所有变量的类型，然后从确定类型的变量开始，根据变量类型依赖图中的类型约束和关系约束对变量邻居节点的类型进行推断，并将类型的更新进行传播，直到变量类型表不再变化； 步骤2中所述符号化首先在监管合约抽象语法树中提取每个监管规则的语句子树，然后对每个子树采用自顶向下的方式遍历，将语句中的所有变量替换为符号，并根据运算符和内置函数的语义信息将每个语句转换为逻辑表达式； 所述步骤3具体包括以下步骤： 步骤3.1：自冲突检测； 自冲突检测需要通过SMT求解器计算每一个符号化的监管规则是否是可满足的，即确定监管规则是否是自冲突的；SMT求解器有以下四种计算结果： 1sat：该结果说明所有的约束是能够同时满足的，此时SMT求解器会给出一个满足约束的解；证明监管规则不是自冲突的，并且能够给出一个在监管范围内的业务合约交易，使其满足所有监管要求； 2unsat：该结果说明SMT求解器能够证明所有的约束是不能同时满足的，证明对于任意在监管范围内的业务合约交易，监管要求都无法被满足，根据公式1，监管规则是自冲突的； 3unknown：该结果说明SMT求解器不能确定约束是否能够被满足； 4timeout：在使用SMT求解器时设定超时时间，当SMT求解器运行超出设定的超时时间后，就会返回timeout； 步骤3.2：完全冲突检测； 对一组包含n个监管规则的集合进行完全冲突检测，存在以下三种情况： 1这n个监管规则完全冲突，使用公式5进行证明； 2这n个监管规则不完全冲突，冲突检测方法应能给出公式6的一个解，并且能够确保不完全冲突的监管规则集合的任意子集都不完全冲突； 3这n个监管规则的监管范围不能同时满足，即，此时既不能证明这n个监管规则集合的子集完全冲突，也不能证明其任意子集不完全冲突，因此需要对监管规则集合的不同子集分别进行冲突分析； 步骤3.3：局部冲突检测； 由于两个监管规则存在局部冲突是n个监管规则中存在局部冲突的必要条件，因此只需要对监管规则两两组合进行冲突检测即可。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人博雅正链(北京)科技有限公司，其通讯地址为：100032 北京市西城区阜成门外大街31号6层601A；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。