首页 > 专利查询

模型检测中的模型抽象方法及其系统[发明专利]

专利名称：模型检测中的模型抽象方法及其系统专利类型：发明专利

发明人：陈博文，沈海华

申请号：CN200910079992.0

申请日：20090316

公开号：CN101504687A

公开日：

20090812

专利内容由知识产权出版社提供

摘要：本发明涉及模型检测中的模型抽象方法及系统，方法包括：步骤1，输入原始模型和指导属性；步骤2，为指导属性的每个节点求解其在原始模型中的超语义，根据超语义为指导属性的每个非叶子节点求解对应的基本序列；步骤3，对原始模型的状态空间建立划分；步骤4，应用指导属性、每个节点的超语义和每个非叶子节点的基本序列分割划分；步骤5，为指导属性的每个节点建立对应的证明模型，应用证明模型进一步分割步骤4分割后的划分；步骤6，由进一步分割后的划分生成原始模型对应的抽象模型。本发明能够在只提供指导属性的前提下，根据该指导属性自动地完成细化工作，同时使细划后的划分能够保留与指导属性相关的信息。

申请人：中国科学院计算技术研究所

地址：100080 北京市海淀区中关村科学院南路6号

国籍：CN

代理机构：北京律诚同业知识产权代理有限公司

本文发布于:2024-09-22 04:22:45，感谢您对本站的认可！

本文链接：https://www.17tex.com/tex/4/428468.html

上一篇：一种基于OCR的资金代管方法、装置、存储介质及设备[发明专利]

下一篇：建立文档指定查看的技术[发明专利]