可满足问题相关论文
约束满足问题是计算机科学、数学和物理学等多个学科的热点研究问题,命题公式的可满足性问题（The Satisfiability Problem,SAT）是最......
可满足(SAT)问题是指:是否存在一组布尔变元赋值,使得合取范式公式中每个子句至少有一个文字为真。多文字可满足SAT问题是指:是否......
在现有基于冲突学习子句的求解器中,频繁重启和变量相位存储技术的应用,导致重启之后产生大量重复变量赋值序列,在求解过程中对变......
研究了非确定有限自动机的最短D1-同步字的计算问题.针对这种自动机定义了D1W问题及其参数化版本问题p-D1W和最优问题shortest-p-D......
命题逻辑公式是由命题变元和逻辑连结词(Φ)(否定)、∧(合取)、∨(析取)、→ (蕴涵)以及括号按照一定的规则组成的表达式.其中命题......
会议
自动测试产生技术,以及形式验证中的模型检验,等价性检验中的很多关键问题可以借助可满足问题得到有效的解决,本文研究了提取不可......
度量知识库的不一致程度可以帮助我们处理矛盾。目前存在着多种不一致度量的定义,其中一类定义基于多值语义。基于不同的多值语义(......
DNA自组装技术在DNA计算和纳米技术领域都发挥着极其重要的作用,许多小规模NP完全问题都可以通过自组装模型得以解决.文中以可满足......
一种研究DNA计算的新模型--三链DNA计算模型在本文中提出.此模型是在近年三链核酸的研究成果的基础上建立的.并应用于求解可满足性......
首先建立了0-1KP和3-SAT的数学模型;然后分别基于遗传算法（GA）与贪心策略相结合给出了一种求解0-1KP的有效算法,基于GA与局部搜索相......
研究针对PRESENT分组密码的代数分析。通过使用S盒的表达式形式,构建出多轮PRESENT加密中的代数方程组。这种构建方程的方法被推广......
对LILI-128算法对差分故障攻击的安全性进行了研究。攻击采用面向比特的故障模型,并结合差分分析和代数分析技术,在LILI-128算法LF......
该文研究了求解可满足问题的调查传播算法.该算法利用合取范式因子图进行调查消息的迭代,并根据每一次迭代的收敛情况对部分布尔变......
分子信标（Molecular Beacon）是一种发夹状的荧光探针，它可以特异地和那些与分子信标的环（Loop）互补的核酸靶序列杂交，具有单个碱基错配的......
已有的Johnson算法是求解组合问题的一种随机近似算法，可以用于求解MAX—CNF问题。基于该算法，提出新的随机近似算法RCNF求解MAX—CN......
检查强制文字是一种重要的预处理方法。结合学习子句,提出一种在求解过程中使用的策略-基于子句的动态检查强制文字(CNL),并且设计......
一种研究DNA计算的新模型——三链DNA计算模型在本文中提出。此模型是在近年三链核酸的研究成果的基础上建立的。并应用于求解可满......
变量极小不可满足(VMU)问题是极小不可满足(MU)问题的一个扩充和延伸.着重研究VMU子公式的提取算法.首先从理论上比较MU和VMU的基......
首先建立了0-1KP问题和3-SAT问题的数学模型；然后分别基于遗传算法（GA）与贪心策略相结合给出了一种求解0-1KP的有效算法，基于GA与局部......
解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值.不可满足子式能够为......
合取范式（CNF）公式F是（3,4=）-CNF公式,如果F中每个子句的长度是3,每个变元出现的次数恰好为4次。与（3,4=）-CNF公式所关联的因子图是一类......
本文以分子信标自组装为核心,生物传感器的设计为主要研究对象,以提高生物传感器的性能为目标,对分子信标自组装模型在组合优化的N......
利用粘贴DNA模型现有的4种基本操作来解决问题效率低下,为解决这一问题,提出多级分离的概念,设计一个多级分离装置的模型,引入了多......
密码分析学与密码编码学作为密码学的两个分支,有着矛和盾一样的关系,它们一直在相互促进对方的发展。代数分析是近年来密码分析学......
对于规则的(3,4)-CNF公式F,公式F对应的因子图GF恰好是一个(3,4)-双向正则二部图。利用正则二部图的有关性质,证明了对于任意的(3,......
在集成电路(IC)芯片广泛应用于电子信息系统、产品质量要求日益提高的大趋势下,为尽量减少芯片制造中产生的故障导致信息系统失效,......
在现有基于冲突学习子句的求解器中,频繁重启和变量相位存储技术的应用,导致重启之后产生大量重复变量赋值序列,在求解过程中对变......
针对全错位排列这类NP完全问题,提出了一种基于DNA自组装的全错位排列问题计算模型。该模型利用了DNA分子间的自组装能力,在具体操......
