论文部分内容阅读
设p1,p2,…,pn是一些命题符,--pi是pi的否定.考虑由pi,--pi(i=1,2,…,n)构成的文字符集合Q,其中的若干个文字符q1,q2,…,q1通过"或者关系"V构成一个子句:……
求合取范式可满足性问题全部解的一个算法
【摘 要】
：
设p1,p2,…,pn是一些命题符,--pi是pi的否定.考虑由pi,--pi(i=1,2,…,n)构成的文字符集合Q,其中的若干个文字符q1,q2,…,q1通过"或者关系"V构成一个子句:……
【出 处】
：
计算机科学
【发表日期】
：
2002年z1期
【基金项目】
：
本文工作得到国家重点基础研究发展规划项目G1998030602资助.
其他文献
1.引言 目前随着数据库系统的广泛应用,数据库中的存储的数据量急剧增大,人们已不仅仅满足对数据的简单查询和统计,更希望能够通过对数据的分析,得到更深层次的信息,以利
期刊
<正> 1 引言实时系统是指有时间限制的系统,与其它类型的软件系统相比具有许多独特的特性:(1)复杂的外部环境,通常是无智能的;(2)与环境交互的系统;(3)完成多个同时输入的并
三维场景中树木的建模方法有很多种,本文较为系统地阐述了其中的两种--分形法和纹理贴图法,分析了两种方法的适用条件,并对这两种方法在实现的复杂度、效果的逼真度等方面做
1 引言以CORBA为代表的对象中间件在企业应用中越来越发挥着重要的作用,但日趋增多的应用领域如:电子商务、多媒体与实时系统、移动计算等,及新CORBA标准都对中间件开发者提
<正> 1 引言目前,数字化信息已从过去的简单文本发展成含有视频、音频、图片、文本等信息类型的多媒体信息。在多媒体数据库中,视频媒体的有效管理需要对视频数据结构化的支
1 引言 在开放式环境中进行分布式信息处理和协同设计，有关各方如何共享彼此的信息是一个非常重要的问题[1]。在设计这样的信息系统时，由于要考虑不同信息源的集成、安全性、网
1引言 随着信息技术的高速发展和信息管理技术的广泛应用,自从九十年代以来,数据挖掘(Data Mining)已成为计算机科学中一个引人注目的新的研究方向[1].目前,数据挖掘技术
期刊
1 引言现代软件系统必须能快速灵活地适应需求变化,换言之,系统要有灵活性和可重构性.同样,对中间件也如此.以往的研究表明,反省(Reflection)己被公认为是增加语言或系统灵活
Along with the rapid development of parallel processing technology and the popularity of NOW,the scalability of parallel algorithm-machine combinations,which me
<正> 1 引言在多目标模糊决策支持系统中,通常要在多个目标中依据有关约束条件选择最佳的目标。由于信息的不确定性,许多学者采用Fuzzy集理论来处理这类问题。Chen在文[3]中