析取范式相关论文
本文对BDD的构造算法进行了分析和改进，给出了BDD包中构造BDD的算法，并分析了该算法存在的问题及相应的改进技术，提出了自己的改......
Ad hoc网络的自组织、无中心节点和网络拓扑结构动态变化等特性,使其所面临的安全问题更为复杂。基于属性加密是在基于身份加密技......
作为最具挑战的研究课题，人脸识别技术近年来备受人们的关注。人脸识别是一种通过计算机提取人脸的特征，并根据这些特征进行身份验证......
差别矩阵约简算法是粗集属性约简的重要方法,简化算法能省去生成、存储差别矩阵的中间环节,减少时空运算,是一种实用方法.指出简化......
介绍了利用析取范式进行查询分解的算法,该分解方法在语义分析和规范化的基础上,对查询语句进行重组,可以大幅度地减少连接运算的......
基于分辨矩阵获取一个决策表所有约简的过程实质上是一个将分辨函数从合取范式转换为析取范式的过程,其效率对于属性约简算法性能......
基于模糊集合方法和Wordnet的查询扩展技术,提出了一种用户查询词扩展的信息检索方法。先用Wordnet找出查询词的同义词,再利用广义......
属性约简是Rough集理论的核心内容之一,计算所有的属性约简已经被证明是NP完全问题.本文基于分而自治思想,在Skowron分明矩阵法的......
函数P-集合是P-集合的函数形式,是通过改进P-集合得到的一个具有动态特征、规律(函数)特征的信息规律模型。在函数P-集合中,函数的......
探讨了如何利用二叉树来设计逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上如何实现逻辑表达式的基本运算,进而实现......
对于粗糙集的一些基于信息熵等约简算法，极大地丰富了粗糙集理论。但在信息检索领域，实践证明，针对网络数据的不完备性，基于差别矩阵的......
把基于逻辑公式的粒计算方法用于优势关系下反优势函数的理论分析。首先证明反优势函数对应的粒等于所有反优势关系的并，然后对反优......
针对非循环概念提出了一种对SHOIN（D）概念可满足性进行判断的方法——CDNF（complete disjunctive normal form）算法．该算法通过把非循环......
基于Rough Set理论，研究从Skmwon分辨矩阵到规则自动生成过程中的关键算法的改进问题。提出由分辨矩阵到合取项矩阵的计算方法，建立......
合取范式化为析取范式的计算复杂度是指数级别的，为了降低它的计算复杂度，提出了合取范式化为析取范式的DNA表面计算．因为DNA中碱基对......
知识约简是粗糙集理论研究的主要内容之一，而析取范式的生成又是知识约简的重点，本文提出的析取范式生成算法可以直接从合取范式生成......
给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小支配集和最小支配集以及全部极小边支配集和最小边支配集的一般算法......
通过研究属性约简中合取范式到析取范式的转换过程,发现减少冗余项和重复计算可以适当提高转换效率。同时考虑到范式的动态变化,设......
当数据立方查询条件不是合取范式时,一般是将它转化成为若干合取范式的并的形式(析取范式).但如果各合取范式之间有交集,则交集部......
探讨了如何将数据结构中广义表进行扩展,并利用这个扩展广义表来设计逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上......
在双枝模糊集基础上，通过对单枝模糊逻辑的合理扩展，建立了双枝模糊逻辑的框架。从双枝模糊命题入手．给出双枝模糊逻辑的性质和双枝模......
基于分辨矩阵计算信息系统的所有约简,都需要将合取范式转化为析取范式,但是该转化过程存在组合爆炸问题。为解决该问题,根据合取......
针对主析取范式在命题逻辑中的作用,在文献[1]的理论基础上,给出了主析取范式的快速求法,这个快速求法能够准确快速求出一个命题公......
随着网络攻击的增多，各类安全系统被广泛应用，其关键和核心是规则匹配。加速规则匹配可以提高系统性能，使其适应更高速网络和更严格环......
在双枝模糊集基础上，建立了双枝模糊逻辑的框架，这是对单枝模糊逻辑的合理扩展。从双枝模糊命题入手，给出双枝模糊逻辑的性质和双枝模......
在经典逻辑和t-模基础逻辑中提出了排中律与拟排中律的新概念,说明经典逻辑（带对偶非的MTL）满足排中律（拟排中律）,证明了Go？del模糊逻辑......
给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法,并给出了一般算法.......
文中定义了区分属性集的码函数,并通过对区分矩阵中区分属性集码函数值的二次筛选得到区分函数的最小析取范式,最小析取式的每一个......
本文考虑具有优先代表资格的ＮＰ完全问题的对偶问题——析取范式永真性判定问题．本文从构造的角度对析取范式作了分析，得出了如下结果：在......
为了解决粗糙集分辨函数的计算、概念格中内涵缩减的计算、逻辑程序设计的规则简化等问题,抽象出了从合取范式到析取范式转换这一......
本文全面论述了逻辑式的化简(1)在公式法中的一些独特方法与技巧;(2)用卡诺图化简逻辑式,分组多、计算繁,如何减少组数便于计算,文......
数理逻辑中关于析取范式与合取范式的求法有两种,一种是利用真值表直接写出,另一种利用命题公式的等值演算得出.使用数学归纳法,从......
基于粗糙集理论，研究分辨函数（DF）的析取范式的自动生成算法，提出由分辨矩阵到合取项矩阵（CM）的计算方法。建立了从属性约简的合取项矩阵......
在WEB上提供机器可理解的知识并实现WEB信息的自动处理逐渐成为人们重要的生活、工作需求之一。这其中,如何恰当地表示知识并在其......
给出了利用命题逻辑公式的析取范式和主析取范式求图的全部极小覆盖和最小覆盖以及全部极小边覆盖和最小边覆盖的一般算法．......
从基于模型的规格说明中。应用形式化方法可以产生所需的测试用例。为了从静态模型中表达的形式化约束产生测试用例，本文阐述了一种......
数理逻辑重点内容1.命题 命题表述为具有确定真假意义的陈述句.命题必须具备两个条件:其一,语句是陈述句;其二,语句有唯一确定的真......
属性约简是粗糙集理论研究的核心内容之一，最常用的计算属性约简的方法是基于Skowron可辨识矩阵的方法．为解决该类方法中存在的如应......
针对现有基于析取范式的置信规则库构建方法存在过拟合、未合理利用已知数据信息等问题,提出利用聚类分析构建基于析取范式的置信......
