可满足性相关论文
近年来,关于工业互联网的研究不断推进发展,各个行业都在探索合适的解决方案,工业互联网平台应运而生。工业互联网平台提供了各种......
【摘要】可满足性问题（简称SAT问题）作为第一个被证明的NP完全问题，是计算机科学的核心问题之一。本文系统总结了基于硬件可编程逻辑（F......
在计算机集成电路不断飞速发展的信息时代,无论计算机的硬件还是软件设计的复杂度都在不断提高,也对开发设计提出了新的挑战,尤其......
本体词汇处于语义Web体系结构中的关键层,用于对信息的概念和语义进行抽象描述,而OWL建立在描述逻辑的基础之上。作为一阶逻辑的子......
膜计算是生物计算中一个新的分支，它是从生物体活细胞的结构和功能中抽象出来的计算模型。膜计算也被称为膜系统或P系统。这个研究......
学位
资源描述框架(RDF)是语义网的标准数据模型,它是万维网联盟(W3C)提出的一种使用有向标签图描述信息的标记语言技术标准。SPARQL查......
从数据中发现有用的知识并做出合理的决策是数据分析研究热点之一。三支决策作为一种符合人类认知的决策模型被广泛的应用于数据分......
#WS(≠)是互斥约束工作流可满足性的量化问题,与第三方环境中有重要意义的资源弹性密切相关.为克服其求解性能瓶颈,本文利用模式回......
DNA计算技术是现代科学界一个新的研究范畴,它主要是以DNA作为计算工具,巧妙的利用DNA计算的强大并行能力,成功而方便地解决了诸如......
本文为解决一类混合Horn公式([13,14]),又称为层次图公式([15])的MAXSAT问题进行了基于随机局部搜索过程的经验研究.具体地,我们首......
时间自动机是一种有效描述实时系统行为的计算模型。借助时间自动机对实时系统进行分析、设计能够保证所开发的实时系统具有较高的......
2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都......
利用非循环定义的概念可展开的特性,提出一个基于子句重构的增强Tableau算法.采用最简洁的概念合取子句代替原来的子概念集对完整......
证明了系统(￡)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(￡)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑......
