[发明专利]基于约束推演的MOF存储库冲突操作的发现方法有效
| 申请号： | 201710290213.6 | 申请日： | 2017-04-28 |
| 公开（公告）号： | CN107273407B | 公开（公告）日： | 2020-06-26 |
| 发明（设计）人： | 赵晓非;厉成元;刘艳昉;曲晓伟;王春辉 | 申请（专利权）人： | 天津电气科学研究院有限公司 |
| 主分类号： | G06F16/28 | 分类号： | G06F16/28;G06F16/242;G06F16/25 |
| 代理公司： | 天津盛理知识产权代理有限公司 12209 | 代理人： | 王利文 |
| 地址： | 300180 *** | 国省代码： | 天津;12 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明涉及一种基于约束推演的MOF存储库冲突操作的发现方法，其技术特点是包括以下步骤：定义影响良格式约束的内部活动并建立它们与MOF构造活动的对应关系；对良格式约束进行化简；建立发现图；对发现图进行标记；获取内部活动；确定违背约束的潜在操作。本发明通过推断可能违背约束条件的内部活动，进而推断出违背约束条件的潜在操作，最终能够推断出与给定操作无关的约束条件。将这些与给定操作无关的约束条件从该操作执行以后的约束检测过程中剔除，可以显著提高这一过程的效率，本发明可广泛用于约束检测领域。 | ||
| 搜索关键词： | 基于 约束 推演 mof 存储 冲突 操作 发现 方法 | ||
【主权项】：
一种基于约束推演的MOF存储库冲突操作的发现方法，其特征在于包括以下步骤：步骤1：定义影响良格式约束的内部活动并建立它们与MOF构造活动的对应关系；步骤2：对良格式约束进行化简；步骤3：建立发现图；步骤4：对发现图进行标记；步骤5：获取内部活动；步骤6：确定违背约束的潜在操作。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于天津电气科学研究院有限公司，未经天津电气科学研究院有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201710290213.6/，转载请声明来源钻瓜专利网。
