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

申请/专利权人：苏州超块链信息科技有限公司

摘要：本发明公开了一种基于公共谓词逻辑的语义固化和派生方法，其步骤包括：1为自动机A选取或设计语义单元X，构成一语义单元集{X}及其对应的数据状态集{D}；2对{X}中各语义单元进行数字特征获取并计算每一语义单元的索引值，得到一语义单元索引集{H_X}及数字特征集{Sign_X}；对{D}中各数据状态进行数字特征获取并计算每一数据状态的索引值，得到一数据状态索引集{H_D}及数字特征集{Sign_D}；3分别以{H_X}、{H_D}作为输入进行计算模式得到自动机A的根Root_A；4A’通过Root_A启动自动机A，获取自动机A的所有语义单元、数据状态进行驱动，从而获得对自动机A的需求。

主权项：1.一种基于公共谓词逻辑的语义固化和派生方法，其步骤包括：1为自动机A选取或设计多个用于程序开发的语义单元X，构成一语义单元集{X}；其中，语义单元集{X}包括语义单元X1、X2、…、XN，XN为第N个语义单元；不同语义单元根据需求设计不同而实现不同的逻辑功能；语义单元集{X}对应的数据状态集{D}包括数据状态D1、D2、…、DK；DK为语义单元X处理的第K个数据对应的数据状态；2对语义单元集{X}中各语义单元进行数字特征获取并计算每一语义单元的索引值，得到一语义单元索引集{H_X}及数字特征值集{Sign_X}；其中，数字特征集{Sign_X}包括Sign_X1、Sign_X2、…、Sign_XN，语义单元索引集{H_X}包括H_X1、H_X2、…、H_XN，语义单元XN对应的数字特征为Sign_XN，语义单元XN对应的索引值为H_XN；对数据状态集{D}中各数据状态进行数字特征获取并计算每一数据状态的索引值，得到一数据状态索引集{H_D}及数字特征集{Sign_D}；其中，数据状态索引集{H_D}包括数据状态索引值H_D1、H_D2、…、H_DK，签名集{Sign_D}包括Sign_D1、Sign_D2、…、Sign_DK，H_DK为数据状态DK的索引值，Sign_DK为数据状态DK的数字特征；3以语义单元索引集{H_X}作为输入通过计算模式获得语义根Root_X，以数据状态索引集{H_D}作为输入通过计算模式获得状态根Root_D；以语义根Root_X和状态根Root_D值作为输入通过计算模式得到自动机A的根Root_A；4自动机A’通过自动机A的根Root_A启动自动机A，利用语义根Root_X获取自动机A的所有语义单元，并利用状态根Root_D获取自动机A执行语义所对应的数据状态；然后利用语义单元对应的数字特征对对应的语义单元进行驱动、利用数据状态对应的数字特征对对应的数据进行驱动，利用语义单元中的谓词逻辑对相应的命题逻辑进行处理，从而自动机A’获得对自动机A的需求。

全文数据：

权利要求：

百度查询： 苏州超块链信息科技有限公司 一种基于公共谓词逻辑的语义固化和派生方法