期刊文献+
共找到72篇文章
< 1 2 4 >
每页显示 20 50 100
一种求解3-SAT问题的新方法 被引量:6
1
作者 贺毅朝 王彦祺 寇应展 《计算机工程与应用》 CSCD 北大核心 2006年第16期70-72,共3页
可满足性问题(SatisfiabilityProblem,SAT)是计算科学的典型问题之一,目前有DP算法、SAT1.3算法和遗传算法等多种求解方法。文章根据Kennedy和Eberhart提出的二进制粒子群优化算法(BinaryParticleSwarmOptimizers),基于局部随机搜索策略... 可满足性问题(SatisfiabilityProblem,SAT)是计算科学的典型问题之一,目前有DP算法、SAT1.3算法和遗传算法等多种求解方法。文章根据Kennedy和Eberhart提出的二进制粒子群优化算法(BinaryParticleSwarmOptimizers),基于局部随机搜索策略,给出了一种求解3-SAT问题的新方法:基于局部随机搜索的改进二进制粒子群优化算法(ModifedBinaryParticleSwarmOptimizersBasedonlocalstochasticsearch,简称MBPSO)。数值实验表明,对于随机产生的3-SAT问题测试实例,该算法是一种高效实用的新方法。 展开更多
关键词 3-sat问题 合取范式 PSO算法 局部搜索
在线阅读 下载PDF
严格随机正则(3,s)-SAT模型及其相变现象 被引量:7
2
作者 周锦程 许道云 +1 位作者 卢友军 代寸宽 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第12期2563-2571,共9页
研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则(3,s)-SAT问题,并给出了该问题的实例产生模型——SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则(3,s)-SAT问题相变点的上界,即... 研究变元和文字出现次数受限制的规则3-SAT问题,提出了一种严格随机正则(3,s)-SAT问题,并给出了该问题的实例产生模型——SRR模型。结合一阶矩方法和生成函数展开项系数的渐近近似技术,证明了严格随机正则(3,s)-SAT问题相变点的上界,即当变元规模N较大且变元出现次数s>11时,严格随机正则(3,s)-SAT实例是高概率不可满足的。实验结果表明:由SRR模型所生成的随机实例中,当N>60且s>11时,所有的(3,s)-SAT实例均是不可满足的,而当N>150且s<11时,所有的(3,s)-SAT实例均是可满足的,即严格随机正则(3,s)-SAT实例的相变点位于s=11处,且在s=11处(子句变元比为11/3)的严格随机正则(3,s)-SAT实例,比在相变点(子句变元比)4.267处同规模的均匀随机3-SAT实例更难求解,因此,SRR模型可以很方便地在s=11处构造难解的随机3-SAT实例。 展开更多
关键词 严格正则(3 s)-sat问题 相变性质 计算复杂性 难解实例产生模型 生成函数
在线阅读 下载PDF
2-3-SAT问题相变现象剖析及其应用 被引量:1
3
作者 白硕 卜东波 《软件学报》 EI CSCD 北大核心 1998年第11期828-832,共5页
3-SAT问题有一个非常奇妙的相变现象.对于固定的变量数N,合取范式的可满足概率随着子句个数K的变化而发生剧烈的变化;当K≈4.3*N时,可满足概率急剧地从1变为0.相变现象决定了问题的难易分布,对于快速求解算法的设... 3-SAT问题有一个非常奇妙的相变现象.对于固定的变量数N,合取范式的可满足概率随着子句个数K的变化而发生剧烈的变化;当K≈4.3*N时,可满足概率急剧地从1变为0.相变现象决定了问题的难易分布,对于快速求解算法的设计有着非常重要的意义.文章着重讨论了SAT问题的更一般形式,即2-3-SAT问题的相变现象.研究了相变点处的2-子句和3-子句个数的关系,发现了2-子句和3-子句在约束能力意义下的当量关系。 展开更多
关键词 NP完全问题 SAT问题 相变现象 计算机
在线阅读 下载PDF
基于任务分配与调度的GSAT算法求解3-SAT问题 被引量:1
4
作者 付慧敏 徐扬 +1 位作者 何星星 宁欣然 《计算机工程与科学》 CSCD 北大核心 2018年第8期1366-1374,共9页
基于不同分配策略的云计算任务调度以及任务分配与调度的主要目的,提出了一种新的算法—求解3-SAT问题的基于任务分配与调度的GSAT算法。该算法将3-SAT问题中的每一个变量形成一个任务,在GSAT算法的基础上,引入任务分配与调度指导贪心搜... 基于不同分配策略的云计算任务调度以及任务分配与调度的主要目的,提出了一种新的算法—求解3-SAT问题的基于任务分配与调度的GSAT算法。该算法将3-SAT问题中的每一个变量形成一个任务,在GSAT算法的基础上,引入任务分配与调度指导贪心搜索;同时,在保留原有贪心搜索的前提下,根据任务分配与调度的思想和3-SAT问题的特点,设计了两种新的策略—分配策略和调度策略共同完成整个贪心搜索过程。以标准的SATLAB库中变量个数从20~250的3 700个不同规模的标准Uniform Random-3-SAT问题对新的算法的性能进行了合理的测试,并与高效和普通性能改进的GSAT算法的结果作了比较,结果表明,该算法具有更高的成功率和更少的翻转次数。 展开更多
关键词 GSAT算法 贪心搜索 任务分配与调度 3-sat问题 分配策略 调度策略
在线阅读 下载PDF
取定s的严格d-正则随机(3,2s)-SAT问题的可满足临界 被引量:2
5
作者 王永平 许道云 《软件学报》 EI CSCD 北大核心 2021年第9期2629-2641,共13页
3-CNF公式的随机难解实例生成对于揭示3-SAT问题的难解实质和设计满足性测试的有效算法有着重要意义.对于整数k>2和s>0,如果在一个k-CNF公式中每个变量正负出现次数均为s,则称该公式是严格正则(k,2s)-CNF公式.受严格正则(k,2s)-CN... 3-CNF公式的随机难解实例生成对于揭示3-SAT问题的难解实质和设计满足性测试的有效算法有着重要意义.对于整数k>2和s>0,如果在一个k-CNF公式中每个变量正负出现次数均为s,则称该公式是严格正则(k,2s)-CNF公式.受严格正则(k,2s)-CNF公式的结构特征启发,提出每个变量正负出现次数之差的绝对值均为d的严格d-正则(k,2s)-CNF公式,并使用新提出的SDRRK2S模型生成严格d-正则随机(k,2s)-CNF公式.取定整数5<s<11,模拟实验显示,严格d-正则随机(3,2s)-SAT问题存在SAT-UNSAT相变现象和HARD-EASY相变现象.因此,立足于3-CNF公式的随机难解实例生成,研究了严格d-正则随机(3,2s)-SAT问题在s取定时的可满足临界.通过构造一个特殊随机实验和使用一阶矩方法,得到了严格d-正则随机(3,2s)-SAT问题在s取定时可满足临界值的一个下界.模拟实验结果验证了理论证明所得下界的正确性. 展开更多
关键词 3-CNF公式 随机难解实例生成 正则子类 严格d-正则随机(3 2s)-sat问题 可满足临界
在线阅读 下载PDF
Why is the Danger Cylinder Dangerous in the P3P Problem? 被引量:5
6
作者 ZHANG Cai-Xia HU Zhan-Yi 《自动化学报》 EI CSCD 北大核心 2006年第4期504-511,共8页
The PnP problem is a widely used technique for pose determination in computer vision community,and finding out geometric conditions of multiple solutions is the ultimate and most desirable goal of the multi-solution a... The PnP problem is a widely used technique for pose determination in computer vision community,and finding out geometric conditions of multiple solutions is the ultimate and most desirable goal of the multi-solution analysis,which is also a key research issue of the problem.In this paper,we prove that given 3 control points,if the camera's optical center lies on the so-called“danger cylinder”and is enough far from the supporting plane of control points,the corresponding P3P problem must have 3 positive solutions.This result can bring some new insights into a better understanding of the multi-solution problem.For example,it is shown in the literature that the solution of the P3P problem is instable if the optical center lies on this danger cylinder,we think such occurrence of triple-solution is the primary source of this instability. 展开更多
关键词 The P3P problem the danger cylinder instability of solution
在线阅读 下载PDF
随机正则3-可满足性问题的解簇结构分析 被引量:2
7
作者 庞立超 王晓峰 +3 位作者 谢志新 杨易 赵星宇 杨澜 《计算机应用》 CSCD 北大核心 2024年第7期2137-2143,共7页
正则3-可满足性(3-SAT)问题是一个NP难问题,研究正则3-SAT问题解簇结构变化,旨在深入理解该问题的判定难度和可满足性解的分布情况。然而,现有分析模型只研究了接近簇集相变点的几个离散值,在不同约束密度下,缺乏统一的分析模型来描述... 正则3-可满足性(3-SAT)问题是一个NP难问题,研究正则3-SAT问题解簇结构变化,旨在深入理解该问题的判定难度和可满足性解的分布情况。然而,现有分析模型只研究了接近簇集相变点的几个离散值,在不同约束密度下,缺乏统一的分析模型来描述解簇的结构演变。为了解决这一问题,提出解簇结构相变分析模型(PMSS)。该模型主要思想是采用WalkSAT算法和信息传播算法求得正则3-SAT问题可满足的初始解,再利用随机游走构造该初始解的解簇,并对解簇进行分析。用模块度和社区度量解簇社区结构,用结构熵度量解簇结构复杂性。实验结果表明,PMSS能够准确分析解簇结构演变过程,并且正则3-SAT问题实例的可满足相变点位于13~14,与使用Zchaff求解器得到的相变点一致,进一步验证了PMSS的有效性。 展开更多
关键词 结构熵 正则3-可满足性问题 解簇 模块度 相变
在线阅读 下载PDF
遗传算法和3-opt结合求解带有能力约束的VRP 被引量:26
8
作者 张涛 王梦光 《东北大学学报(自然科学版)》 EI CAS CSCD 北大核心 1999年第3期254-256,共3页
描述了带有能力约束的车辆路径问题(VRP),在预先不固定车辆数的情况下,把聚类和排序有机地结合起来,并用遗传算法和3opt算法相结合的混合算法对问题进行求解,实验结果表明算法获得的最好解、平均负荷率和计算成本都比较... 描述了带有能力约束的车辆路径问题(VRP),在预先不固定车辆数的情况下,把聚类和排序有机地结合起来,并用遗传算法和3opt算法相结合的混合算法对问题进行求解,实验结果表明算法获得的最好解、平均负荷率和计算成本都比较令人满意· 展开更多
关键词 车辆路径问题 遗传算法 3-opt算法 能力约束 VRP
在线阅读 下载PDF
图3-着色问题的O(2^n)链数DNA计算机算法 被引量:2
9
作者 李肯立 周旭 许进 《电子学报》 EI CAS CSCD 北大核心 2008年第11期2096-2101,共6页
随着DNA计算的不断发展,如何克服穷举算法带来的指数爆炸问题已成为DNA计算领域的重要研究目标之一.为减少图3-着色问题DNA计算机算法中的DNA链数,本文将Adleman-Lipton模型生物操作与粘贴模型解空间相结合的DNA计算模型进行扩展,通过... 随着DNA计算的不断发展,如何克服穷举算法带来的指数爆炸问题已成为DNA计算领域的重要研究目标之一.为减少图3-着色问题DNA计算机算法中的DNA链数,本文将Adleman-Lipton模型生物操作与粘贴模型解空间相结合的DNA计算模型进行扩展,通过设计顶点着色器、稀疏图/稠密图搜索器,提出一种用于求解图3-着色问题的DNA计算模型与算法.将本算法与同类算法对比分析表明:本算法在保持多项式操作时间的条件下,将求解n个顶点的图3-着色问题所需DNA分子链数从O(3n)减少至O(2n),改进了3-着色问题同类文献的研究结果. 展开更多
关键词 DNA超级计算 3-着色问题 剪枝策略 NP完全问题
在线阅读 下载PDF
植物种群-3/2幂自疏定律假设的点评 被引量:3
10
作者 王仁忠 方林 +2 位作者 卢文祥 姜世成 王平 《东北师大学报(自然科学版)》 CAS CSCD 1998年第4期58-62,共5页
通过对国外大量研究报道的综合分析,详细阐述了-3/2幂自疏定律假设的概念、表达式、发展及存在的问题,旨在澄清对植物种群-3/2幂自疏定律假设的认识,推动我国植物种群密度制约机制研究的发展.
关键词 植物种群 自疏定律假设 种群动态 种群密度
在线阅读 下载PDF
确定6自由度6-3-3并联机构位置正解的数值方法 被引量:5
11
作者 高洪 赵韩 吕新生 《机械设计》 CSCD 北大核心 2006年第4期29-32,共4页
首先,基于机构学理论和6自由度6-3-3并联机构的基本几何关系,利用MATLAB符号数学计算工具箱得到了求该机构正向位移解的非线性方程组。接着将该方程组的求解问题转化为非线性最小二乘问题,使用MATLAB优化工具箱库函数lsqnonlin求出了具... 首先,基于机构学理论和6自由度6-3-3并联机构的基本几何关系,利用MATLAB符号数学计算工具箱得到了求该机构正向位移解的非线性方程组。接着将该方程组的求解问题转化为非线性最小二乘问题,使用MATLAB优化工具箱库函数lsqnonlin求出了具有明确工程意义的正向位移解。最后,给出了一个算例。 展开更多
关键词 6自由度6—33并联机构 正向位移分析 符号数学计算工具箱 非线性最小二乘问题 优化工具箱
在线阅读 下载PDF
土壤中Al^(3+)对人参的为害 被引量:10
12
作者 赵曰丰 李晓明 《特产研究》 1998年第3期38-42,共5页
论述了Al3+为土壤致酸阳离子,土壤白浆化过程可提供较多的Al3+、Fe2+;Al3+与人参红皮病、烧须、锈腐病发生及老参地的形成均有密切关系。
关键词 人参 AL^3+ 老参地 土壤 人参红皮病 烧须
在线阅读 下载PDF
基于3维模型的月球表面软着陆燃耗最优制导方法 被引量:2
13
作者 肖尧 阮晓钢 魏若岩 《上海交通大学学报》 EI CAS CSCD 北大核心 2017年第6期734-740,共7页
为了解决月球探测器软着陆燃耗最优制导问题,基于变分法设计了最优制导律.首先,基于变分法,将问题转换为终端时间自由且带有条件约束的两点边值问题;其次,引入了时间尺度变换方法,将终端时间自由的两点边值转换成终点时间固定的两点边... 为了解决月球探测器软着陆燃耗最优制导问题,基于变分法设计了最优制导律.首先,基于变分法,将问题转换为终端时间自由且带有条件约束的两点边值问题;其次,引入了时间尺度变换方法,将终端时间自由的两点边值转换成终点时间固定的两点边值问题;最后,为了确保两点边值的求解迭代算法收敛,提出了一种终端时间和共轭变量初始值猜测方法,并通过数值方法取得终端时间和共轭变量精确的初始值以及着陆过程中最优制导律和3维最优轨迹.仿真实验结果表明,所提方法有效,算法可收敛,并且实现了燃耗最优制导. 展开更多
关键词 月球软着陆 3维动力学模型 燃耗最优 制导律 两点边值问题
在线阅读 下载PDF
一个高效的3SAT到Hamilton环转化方法 被引量:1
14
作者 杜立智 张晓龙 《南京理工大学学报》 EI CAS CSCD 北大核心 2013年第4期506-510,共5页
为了得到将三元可满足性问题(3-Satisfiability problem,3SAT)直接转化为哈密尔顿环(Hamilton cycle)的高效转化方法,该文以长年对哈密尔顿环研究计算所探索出的规律为基础进行研究。通过对各种可能实现转化的图形组合进行全面的比较分... 为了得到将三元可满足性问题(3-Satisfiability problem,3SAT)直接转化为哈密尔顿环(Hamilton cycle)的高效转化方法,该文以长年对哈密尔顿环研究计算所探索出的规律为基础进行研究。通过对各种可能实现转化的图形组合进行全面的比较分析,得出用无向图的两个节点模拟3SAT的一个变量,用无向图的13个节点模拟3SAT的一个子式的方法,实现了3SAT到哈密尔顿环的高效转化。研究结果表明:该转化所需要的节点数及其边数是最优的。 展开更多
关键词 计算机算法 哈密尔顿环 三元可满足性问题 非确定性多项式时间完全
在线阅读 下载PDF
弦图的L(3,2,1)-标号(英文) 被引量:1
15
作者 袁万莲 翟明清 《运筹学学报》 CSCD 2010年第3期48-54,共7页
图G的一个L(3,2,1)-标号是指从V(G)到非负整数集的一个映射f,满足:当d_G(u,u)=1时,|f(u)-f(v)|≥3;当d_G(u,v)=2时,|f(u)-f(v)|≥2;当d_G(u,v)=1时,|f(u)-f(v)|≥1.L(3,2,1)-标号问题就是确定出最小的整数λ_3(G)使得G存在最大标号不超... 图G的一个L(3,2,1)-标号是指从V(G)到非负整数集的一个映射f,满足:当d_G(u,u)=1时,|f(u)-f(v)|≥3;当d_G(u,v)=2时,|f(u)-f(v)|≥2;当d_G(u,v)=1时,|f(u)-f(v)|≥1.L(3,2,1)-标号问题就是确定出最小的整数λ_3(G)使得G存在最大标号不超过该数的L(3,2,1)-标号.本文研究了弦图的L(3,2,1)-标号问题,获得了弦图及其一些子类,如扇,r-路,r-树等的λ_3数的界. 展开更多
关键词 运筹学 频率分配问题 L(3 2 1)-标号 弦图 r-路 R-树
在线阅读 下载PDF
Goldberg snark图的L(3,2,1)-标号
16
作者 董晓媛 马登举 《东北师大学报(自然科学版)》 CAS CSCD 北大核心 2017年第3期5-7,共3页
讨论了Goldberg snark图的L(3,2,1)-标号问题,给出了Goldberg snark图Bk的L(3,2,1)-标号数的界,即11≤λ_(3,2,1)(B_k)≤16.
关键词 L(3 2 1)-标号 Goldberg snark图 标号问题
在线阅读 下载PDF
对称3-PRR并联机构的运动学分析与仿真 被引量:1
17
作者 李凯 张赤斌 《机械科学与技术》 CSCD 北大核心 2015年第4期518-521,共4页
以对称3-PRR平面并联机构为研究对象,通过矢量分析建立了3-PRR并联机构的运动学模型。采用坐标变换法建立了机构的运动学方程,并对机构的位置正逆解进行了理论求解和Matlab求解,在理论求解机构位置正解时使用了半角公式法。运用Pro/E的M... 以对称3-PRR平面并联机构为研究对象,通过矢量分析建立了3-PRR并联机构的运动学模型。采用坐标变换法建立了机构的运动学方程,并对机构的位置正逆解进行了理论求解和Matlab求解,在理论求解机构位置正解时使用了半角公式法。运用Pro/E的Mechanism模块对机构进行了运动学仿真,并将动平台中心点的仿真轨迹与规划的路径进行了比较,验证了建模方法的正确性及机构的可行性。 展开更多
关键词 3-PRR并联机构 运动学模型 位置正逆解 运动学仿真
在线阅读 下载PDF
带固定半径近邻搜索3-opt的离散烟花算法求解旅行商问题 被引量:8
18
作者 戚远航 蔡延光 +2 位作者 黄戈文 林卓胜 王福杰 《计算机应用研究》 CSCD 北大核心 2021年第6期1642-1647,共6页
传统烟花算法求解大规模离散问题存在收敛速度慢、求解精度不高等问题。针对旅行商问题的特点,提出一种带固定半径近邻搜索3-opt的离散烟花算法。该算法基于基本烟花算法进行离散化改进,采用整数编码的路径表示方法来表示旅行商问题的解... 传统烟花算法求解大规模离散问题存在收敛速度慢、求解精度不高等问题。针对旅行商问题的特点,提出一种带固定半径近邻搜索3-opt的离散烟花算法。该算法基于基本烟花算法进行离散化改进,采用整数编码的路径表示方法来表示旅行商问题的解,对爆炸算子、高斯变异算子进行离散化操作策略设计。为了使算法具有较好的局部搜索能力,提出固定半径近邻搜索3-opt策略来提高算法精度和收敛速度,同时采用不检测标志策略提高算法效率。实验结果表明:该算法能有效地求解旅行商问题,其离散烟花算子在全局收敛能力、收敛精度、求解时间和稳定性等方面均优于传统烟花算子;基准测试算例的最优解平均误差率仅为0.002%,优于对比算法。 展开更多
关键词 离散烟花算法 旅行商问题 固定半径近邻搜索 3-opt
在线阅读 下载PDF
利用改进的回溯算法求解3着色问题 被引量:2
19
作者 唐贵 鲁珊珊 李秦 《重庆工学院学报》 2007年第23期116-118,共3页
介绍了3着色问题,阐述了回溯算法与静态搜索树,提出了动态搜索树的概念,给出了一个基于动态搜索树的回溯算法,以3着色问题为例,说明该算法所用时间少于静态搜索树方法.
关键词 3着色问题 动态搜索树 回溯算法
在线阅读 下载PDF
关于3x+1问题的推广
20
作者 魏可鑫 《济南大学学报(自然科学版)》 CAS 2001年第4期372-373,378,共3页
推广了 3x + 1问题 ,得到一个一般意义的运算法则 。
关键词 3x+1问题 推广 运算法则
在线阅读 下载PDF
上一页 1 2 4 下一页 到第
使用帮助 返回顶部