合取范式相关论文
约束满足问题是计算机科学、数学和物理学等多个学科的热点研究问题,命题公式的可满足性问题（The Satisfiability Problem,SAT）是最......
组合测试是一种科学有效地软件测试方法,它能在保证软件质量的前提下,以较少的测试用例检测待测软件系统中各个变量以及它们之间的......
学位
算法是计算机科学中最核心的内容,自从有计算机以来,它始终是这门学科的研究热点内容。就在计算机科学分支众多的今天,每个分支的......
命题变元及其否定统称为文字，文字的析取称为子句，子句的合取称为合取范式(CNF公式)。如果存在一个赋值使得公式的值为1，则称该公式可......
可满足性问题(Satisfiability Problem,SAT)是计算科学的典型问题之一,目前有DP算法、SAT1.3算法和遗传算法等多种求解方法.文章根......
差别矩阵约简算法是粗集属性约简的重要方法,简化算法能省去生成、存储差别矩阵的中间环节,减少时空运算,是一种实用方法.指出简化......
基于分辨矩阵获取一个决策表所有约简的过程实质上是一个将分辨函数从合取范式转换为析取范式的过程,其效率对于属性约简算法性能......
函数P-集合是P-集合的函数形式,是通过改进P-集合得到的一个具有动态特征、规律(函数)特征的信息规律模型。在函数P-集合中,函数的......
针对关于ＳＡＴ问题物理模型的一个猜想，得到了该猜想成立的必要条件，然后构造出反例，说明该猜想是不成立的，同时指出，考虑到“算法吸引区”的......
在超大规模集成电路设计中,为了进行早期的设计错误检测与调试或层次化验证,常常需要使用含黑盒的设计验证方法.该文提出了一种结......
用F表示经典命题逻辑的合取范式（CNF）公式，G为F中的子句。公式F是极小不可满足的，如果F不可满足，并且从F中删去任意一个子句后得到的公......
提出了基于布尔可满足性（Boolean Satisfiability，SAT）的逻辑电路等价性验证方法。这一验证方法把每个电路抽象成一个有穷自动机（FSM），为......
把基于逻辑公式的粒计算方法用于优势关系下反优势函数的理论分析。首先证明反优势函数对应的粒等于所有反优势关系的并，然后对反优......
提出了一种将布尔公式划分为子句组来进行布尔可满足性判定的方法．CNF（conjunctive normal form）公式是可满足的当且仅当划分产生的每......
在许多分析验证研究中,经常要对问题中的多项式组进行求解。当多项式方程组规模较大时,求解比较困难,大大限制了分析研究的效率。......
提出了使用布尔可满足性来验证数字电路的等价性验证方法．这一验证方法把每个电路抽象成一个有限状态机，为两个待验证的电路构造积机......
合取范式化为析取范式的计算复杂度是指数级别的，为了降低它的计算复杂度，提出了合取范式化为析取范式的DNA表面计算．因为DNA中碱基对......
通过研究属性约简中合取范式到析取范式的转换过程,发现减少冗余项和重复计算可以适当提高转换效率。同时考虑到范式的动态变化,设......
当数据立方查询条件不是合取范式时,一般是将它转化成为若干合取范式的并的形式(析取范式).但如果各合取范式之间有交集,则交集部......
探讨了如何将数据结构中广义表进行扩展,并利用这个扩展广义表来设计逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上......
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。引入了一个饱和合取范式的概念，利用饱和合取范式的性质，对SAT问题的本质进行......
把可满足性算法应用到合取范式中并加以分析，借助改进的数据结构实现该算法。在四色图着色中应用该算法找出一组图着色方案，并与DPLL......
在双枝模糊集基础上，通过对单枝模糊逻辑的合理扩展，建立了双枝模糊逻辑的框架。从双枝模糊命题入手．给出双枝模糊逻辑的性质和双枝模......
针对如何为存在约束条件的软件系统生成尽可能小的组合测试用例集问题,提出了基于组合测试算法的约束组合测试法。该方法是对待测......
基于模型诊断一直是人工智能领域中热门的研究问题.近些年来,随着SAT求解器效率的逐渐提高,基于模型的诊断也被转换成SAT问题进行......
<正> 《法律命题逻辑系统及其实践意义》一文(载本刊1987年第四期),介绍了规范逻辑的K、KD和KDⅣⅤ三个系统,然后添加了“制裁”......
本文提出用高阶Ｈｏｐｆｉｅｌｄ神经网络求解ＳＡＴ问题，给出了连续及离散高阶神经网络模型与相应的离散快速求解算法，证明了网络的稳定性，并用实验证明了该......
合取范式可满足与最大可满足问题是理论计算机科学的核心问题.最大不全满足问题是最大可满足问题的一般化.限制每个子句均含有k（≥2......
该文充分深入地利用了待测系统中的约束条件,并在组合测试用例集中筛选出最优的测试用例。欲采取的方法是先将约束条件转化为布尔......
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足。基于符号模拟和变量划分的SAT算法将一个较大......
在双枝模糊集基础上，建立了双枝模糊逻辑的框架，这是对单枝模糊逻辑的合理扩展。从双枝模糊命题入手，给出双枝模糊逻辑的性质和双枝模......
基于模型诊断是一种智能诊断推理技术,旨在解决第一代专家诊断系统的重大缺陷,在人工智能领域内一直是热门研究课题之一。基于模型......
布尔可满足问题(SAT)作为第一个被证明的NP问题在许多方面有着重要的应用,该问题是人工智能、集成电路设计与验证、计算机科学、数......
<正> 当你在网上通过电子商务系统把一笔巨款转入预期的账户时,你一定是心安神泰,因为你相信这种系统是安全可靠的。当你被告知,它......
本文列举了逻辑演算中的各种联结词,对这些联结词所构成的完备集进行了较为详尽的讨论,给出了证明,同时对不完备的联结词集合也给......
为了解决粗糙集分辨函数的计算、概念格中内涵缩减的计算、逻辑程序设计的规则简化等问题,抽象出了从合取范式到析取范式转换这一......
数理逻辑中关于析取范式与合取范式的求法有两种,一种是利用真值表直接写出,另一种利用命题公式的等值演算得出.使用数学归纳法,从......
SAT是最著名的NPC问题。NPC类问题有两方面的特性,首先,这类问题的解可以在多项式时间复杂度内得到验证。其次,其它NP问题可以在多......
给出合取范式与带电质点在某类静电场中势函数的一一对应关系,证明判断一个合取范式是否可满足等价于判断一个带电质点在相应的静......
数理逻辑重点内容1.命题 命题表述为具有确定真假意义的陈述句.命题必须具备两个条件:其一,语句是陈述句;其二,语句有唯一确定的真......
目前布尔逻辑已成为计算机科学的重要理论基础之一,是研究人类思维规律的重要工具。可满足性问题是典型的NP问题,SAT求解器的开发......
期刊
<正> 三段论推理不仅是传统逻辑不可或缺的重要内容,也是我们日常思维中广泛使用的一种推理形式。本文拟立足于先贤们已有的研究成......
该文提出了一种在可满足性问题预处理过程中的异或约束提取新方法。相比较之前运算复杂的提取思路,该方法运用简单的加法及奇偶性......
合取范式可满足性问题(简称SAT问题)是典型的NP完全问题,本文引入了一个饱和子句集的新概念,利用饱和子句集的特性,研究了SAT问题......
<正> 在邏輯問題的討論中,有些同志承认思想的擺輯結构(或称邏輯形式)是形式邏辑的研究对象,也承认形式邏輯的規律是思想的結构的......
