基于学习方式的符号化假设-保证推理方法技术

本发明专利技术涉及一种基于学习方式的符号化假设‑保证推理方法，包括：通过成员查询空赋值的扩展构造第一个推测，如果所有长度小于二得赋值成员查询的结果都为NO，L

Learning based symbolic hypothesis guarantee reasoning method

The present invention relates to a symbolic hypothesis based reasoning method based on learning methods, including: the first conjecture by the extension of a member query to the null assignment, if all the results of an assigned member query of all the length less than two are NO, L

【技术实现步骤摘要】
基于学习方式的符号化假设-保证推理方法
本专利技术涉及基于学习方式的符号化假设-保证推理方法装置。
技术介绍
计算机软硬件系统在当今社会已得到广泛的应用，但是软硬件系统的复杂度越来越高，保证系统运行的正确可靠也越来越重要。尤其是在航天、交通、通信、医疗等安全性要求比较高的领域，软硬件系统的可靠性以及安全性更是重中之重。传统的仿真和测试技术在系统设计的初期很容易发现设计缺陷，但是随着设计越来越清晰，这两项技术找出微小缺陷的效率急剧下降。它们的最大的缺点在于，不能够找出系统中存在的所有缺陷，保证系统的安全稳定。相对于测试和仿真技术，形式化验证是更加吸引人的一种方法。形式化验证技术是从数学上完备的证明系统是否实现了设计者的意图，主要优点就是完备性，能够完全断定设计的正确性。形式化验证主要思想是通过使用形式证明的方式来验证一个设计的功能是否正确。形式验证可以分为三大类：等价性检查(EquivalenceChecking)、模型检测(FormalModelChecking)和定理证明(TheoryProver)。由于模型检测多采用穷举搜索算法，其面临的最严重问题就是状态空间爆炸问题，这一点对软本文档来自技高网...

【技术保护点】
一种基于学习方式的符号化假设‑保证推理方法，其特征在于，包括：通过成员查询空赋值的扩展构造第一个推测，如果所有长度小于二得赋值成员查询的结果都为NO，L

【技术特征摘要】
1.一种基于学习方式的符号化假设-保证推理方法，其特征在于，包括：通过成员查询空赋值的扩展构造第一个推测，如果所有长度小于二得赋值成员查询的结果都为NO，L*就会构造接受空语言的最小化自动机作为推测；满足n个变量的布尔函数的赋值，其长度必然为n，任何赋值都不满足的布尔函数为F；当OBDD学习算法进行成员查询时，老师答案为YES则返回NO，否则返回YES；当OBDD学习算法进行等价查询时，将推测取反进行等价查询；经过这样的转化，OBDD学习算法初始进行的等价查询EQ(F)就会转换...

【专利技术属性】
技术研发人员：薛瑞峰，胡亚红，
申请(专利权)人：山西中创伟业科技有限公司，
类型：发明
国别省市：山西,14