期刊文献+
共找到242篇文章
< 1 2 13 >
每页显示 20 50 100
随机正则3-(d,k)-SAT问题的可满足性相变
1
作者 王晓峰 唐傲 +4 位作者 彭庆媛 颜冬 华盈盈 何飞 王军霞 《华中科技大学学报(自然科学版)》 北大核心 2025年第10期42-48,83,共8页
受随机正则恰当(d,k)-SAT(可满足性)问题的特征启发,提出了随机正则3-(d,k)-SAT问题.首先,引入了随机正则3-(d,k)-SAT问题实例生成模型,用于产生随机正则(d,k)-CNF(合取范式)公式.该模型采用完美匹配机制,每个随机完美匹配都对应一个随... 受随机正则恰当(d,k)-SAT(可满足性)问题的特征启发,提出了随机正则3-(d,k)-SAT问题.首先,引入了随机正则3-(d,k)-SAT问题实例生成模型,用于产生随机正则(d,k)-CNF(合取范式)公式.该模型采用完美匹配机制,每个随机完美匹配都对应一个随机正则3-(d,k)-SAT实例.然后,结合一阶矩方法、二阶矩方法和正则(d,k)-CNF公式的解空间结构,给出了当k>3时,随机正则3-(d,k)-SAT问题的可满足性相变点dk.当d>dk时,随机正则(d,k)-CNF实例公式高概率3-恰当不可满足;当d<dk时,随机正则(d,k)-CNF实例公式高概率3-恰当可满足.最后,分别取变元规模n=10,k=6和n=15,k=10的两组数据集进行实验.实验结果表明:随机正则3-(d,k)-SAT问题存在相变现象,分别发生在d_(6)=1.407 4和d_(10)=1.962 4附近,验证了理论证明所得相变点的正确性. 展开更多
关键词 相变现象 随机正则3-(d k)-sat问题 矩方法 正则(d k)-CNF公式 生成模型
原文传递
一种求解3-SAT问题的新方法 被引量:6
2
作者 贺毅朝 王彦祺 寇应展 《计算机工程与应用》 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
3
作者 周锦程 许道云 +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问题 相变性质 计算复杂性 难解实例产生模型 生成函数
原文传递
基于聚类排序选择方法求解3-SAT问题的遗传算法 被引量:1
4
作者 王晓峰 尚旭静 《大连民族学院学报》 CAS 2009年第3期267-271,共5页
使用聚类排序选择方法的遗传算法,加入交叉算子和变异算子求解3-SAT问题。根据适应度函数及问题本身的特性,对阈值δ进行调节,重新生成新的种群聚类,有效地抑制了算法延迟收敛的可能性及可满足性范式无解的可能性,使得与同类算法相比,... 使用聚类排序选择方法的遗传算法,加入交叉算子和变异算子求解3-SAT问题。根据适应度函数及问题本身的特性,对阈值δ进行调节,重新生成新的种群聚类,有效地抑制了算法延迟收敛的可能性及可满足性范式无解的可能性,使得与同类算法相比,在时间上有很大的改进。最后给出基本的求解算法并分析了该算法的复杂性。 展开更多
关键词 3-sat问题 遗传算法 CNF范式
在线阅读 下载PDF
2-3-SAT问题相变现象剖析及其应用 被引量:1
5
作者 白硕 卜东波 《软件学报》 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
3-SAT问题的编码设计及评估函数值的求解 被引量:1
6
作者 田华 《铜仁学院学报》 2007年第3期88-89,96,共3页
基于遗传算法,采用二进制串对3-SAT问题进行编码,编码设计完全符合遗传算法的特点,在使用遗传算子的过程中不会出现非法编码,数据结构简单,易于实现,通过寻求较好的方式来表达问题及其解,尽可能从易于实现的角度高效率求得评估函数值。
关键词 遗传算法 3-sat问题 二进制 编码 评估函数
在线阅读 下载PDF
基于遗传算法的3-SAT问题判定
7
作者 王晓峰 《宁夏工程技术》 CAS 2009年第2期109-111,共3页
通过对遗传算法的改进,引入了聚类排序选择算子,将一个3-SAT的判定性问题转换成一个3-SAT的验证性问题,同时加快了算法的收敛程度,最后给出了基本的求解算法,并分析了该算法的复杂性。实验数据表明,该算法的可靠性有较大地提高,性能明... 通过对遗传算法的改进,引入了聚类排序选择算子,将一个3-SAT的判定性问题转换成一个3-SAT的验证性问题,同时加快了算法的收敛程度,最后给出了基本的求解算法,并分析了该算法的复杂性。实验数据表明,该算法的可靠性有较大地提高,性能明显优于其他同类算法。 展开更多
关键词 3-sat问题 遗传算法 CNF公式
在线阅读 下载PDF
用遗传算法求解3-SAT问题 被引量:2
8
作者 吴胜 《福建电脑》 2005年第7期49-49,51,共2页
本文用遗传算法(GA)来求解3-SAT问题时在染色体的实现上采用新的方法,并且选用C#2.0作为实现工具实现该设计。最后用实验验证了该设计的可行性。
关键词 遗传算法 3-sat问题 染色体 全局搜索算法 生物进化过程 人工智能理论
在线阅读 下载PDF
基于任务分配与调度的GSAT算法求解3-SAT问题 被引量:1
9
作者 付慧敏 徐扬 +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问题的可满足临界 被引量:3
10
作者 王永平 许道云 《软件学报》 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
中药调控PI3K/Akt信号通路干预多囊卵巢综合征大鼠实验研究的现状、问题及对策 被引量:2
11
作者 闫朋宣 刘奕清 +4 位作者 咸楠星 彭麟景 李鲲 张京春 赵雨坤 《中国实验方剂学杂志》 北大核心 2025年第1期259-266,共8页
多囊卵巢综合征(PCOS)及其导致的不孕症是妇科和生殖内分泌科常见的疾病之一。磷脂酰肌醇3-激酶/蛋白激酶B(PI3K/Akt)信号通路是干预PCOS发展研究相对较多的信号通路,中药通过此信号通路开展的PCOS大鼠实验也是机制研究的主要方向。笔... 多囊卵巢综合征(PCOS)及其导致的不孕症是妇科和生殖内分泌科常见的疾病之一。磷脂酰肌醇3-激酶/蛋白激酶B(PI3K/Akt)信号通路是干预PCOS发展研究相对较多的信号通路,中药通过此信号通路开展的PCOS大鼠实验也是机制研究的主要方向。笔者通过相应标准梳理并筛选出了近5年在学术期刊公开发表的文章20篇,从基线资料、造模与治疗、分组情况、评价性指标、药效学指标5个方面对入选的研究客观情况、存在问题进行分析,结果发现各个研究项目均存在不同程度的问题,如造模观察指标、模型成功判断标准、治疗周期、方药/有效成分剂量计算方式和具体用量等未明确,易造成结果偏倚或降低实验数据有效度。基于此,形成了PCOS大鼠实验研究操作清单,涉及实验大鼠、模型构建、研究实施、结局指标和分析与报告五大类共21条操作清单,以期为后续PCOS实验有关科研提供参考,助力形成高质量成果。 展开更多
关键词 中医药(TCM) 多囊卵巢综合征(PCOS) 磷脂酰肌醇3-激酶/蛋白激酶B(PI3K/Akt)信号通路 现状及问题 动物模型 肾虚型 蛋白
原文传递
Why is the Danger Cylinder Dangerous in the P3P Problem? 被引量:5
12
作者 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
Key Problems of Cold Power Spinning of Ti-15-3 Alloy 被引量:1
13
作者 Debin SHAN Yan LU and Ping LI School of Materials Science and Engineering, Harbin institute of Thchnology, Harbin 150001, China Yi XU Institute of Metal Research, Chinese Academy of Sciences, Shenyang 110015, China 《Journal of Materials Science & Technology》 SCIE EI CAS CSCD 2001年第1期125-126,共2页
The key problems of cold power spinning of Ti-15-3 alloy are studied. Reasonable billet preparation methods are presented to improve crystal structure and avoid crack of billet. Influences of original wall thickness,... The key problems of cold power spinning of Ti-15-3 alloy are studied. Reasonable billet preparation methods are presented to improve crystal structure and avoid crack of billet. Influences of original wall thickness, reduction rate and feed rate on expanding in diameter are analyzed and some methods to prevent expanding in diameter are given. 展开更多
关键词 TI Key problems of Cold Power Spinning of Ti-15-3 Alloy
在线阅读 下载PDF
An adiabatic quantum optimization for exact cover 3 problem
14
作者 张映玉 许丽莉 李俊青 《Chinese Physics B》 SCIE EI CAS CSCD 2014年第3期139-141,共3页
A perturbation method is applied to study the structure of the ground state of the adiabatic quantum optimization for the exact cover 3 problem. It is found that the instantaneous ground state near the end of the evol... A perturbation method is applied to study the structure of the ground state of the adiabatic quantum optimization for the exact cover 3 problem. It is found that the instantaneous ground state near the end of the evolution is mainly composed of the eigenstates of the problem Hamiltonian, which are Hamming close to the solution state. And the instantaneous ground state immediately after the starting is mainly formed of low energy eigenstates of the problem Hamiltonian. These results are then applied to estimate the minimum gap for a special case. 展开更多
关键词 adiabatic quantum optimization exact cover 3 problem perturbation expansion
原文传递
On the Solution to the Separated Equation in the 3-Particle Calogero-Moser Problem
15
作者 Natalia Inozemtseva Jaroslav Dittrich Vladimir Inozemtsev 《Advances in Pure Mathematics》 2018年第3期266-271,共6页
We propose the exact solution of the equation in separated variable which appears in the process of constructing solutions to the quantum Calogero-Moser three-particle problem with elliptic two-particle potential . Th... We propose the exact solution of the equation in separated variable which appears in the process of constructing solutions to the quantum Calogero-Moser three-particle problem with elliptic two-particle potential . This solution is found for special values of coupling constants . It can be used for solving three-particle Calogero-Moser problem under the appropriate boundary conditions. 展开更多
关键词 Calogero-Moser Model 3-Particle problem Separation of VARIABLES
在线阅读 下载PDF
Approximation Schemes for the 3-Partitioning Problems
16
作者 Jianbo Li Honglin Ding 《Communications and Network》 2013年第1期90-95,共6页
The 3-partitioning problem is to decide whether a given multiset of nonnegative integers can be partitioned into triples that all have the same sum. It is considerably used to prove the strong NP-hardness of many sche... The 3-partitioning problem is to decide whether a given multiset of nonnegative integers can be partitioned into triples that all have the same sum. It is considerably used to prove the strong NP-hardness of many scheduling problems. In this paper, we consider four optimization versions of the 3-partitioning problem, and then present four polynomial time approximation schemes for these problems. 展开更多
关键词 3-partitioning problem APPROXIMATION SCHEME
在线阅读 下载PDF
Structure Formation and Non Linear Electrodynamics with Attendant Changes in Gravitational Potential and Its Relationship to the 3 Body Problem
17
作者 Andrew Walcott Beckwith 《Journal of High Energy Physics, Gravitation and Cosmology》 2018年第4期779-786,共8页
We find that having the scale factor close to zero due to a given magnetic field value, an early universe magnetic field affects how we would interpret Mukhanov’s chapter on “self reproduction of the universe”. We ... We find that having the scale factor close to zero due to a given magnetic field value, an early universe magnetic field affects how we would interpret Mukhanov’s chapter on “self reproduction of the universe”. We extend such arguments, and refer to the possibility of modified gravity. We hope that some of the issues raised by Kobayashi and Seto as to allowed inflation models may be addressed, once further refinement of these preliminary results commences. We close with statements as to the value of α in a gravitational potential proportional to r?α and how this adjustment affects the 3 body problem. 展开更多
关键词 INFLATION Modified GRAVITY 3 BODY problem
暂未订购
GENERALIZED UPWIND SCHEME WITH FRACTIONAL STEPS FOR 3-D PROBLEM OF CONVECTION DOMINATING GROUNDWATER TRANSPORT
18
作者 姚磊华 《Journal of Coal Science & Engineering(China)》 1997年第2期68-72,共5页
A generalized upwind scheme with fractional steps for 3-D mathematical models of convection dominating groundwater quality is suggested. The mass transport equation is split into a convection equation and a dispersive... A generalized upwind scheme with fractional steps for 3-D mathematical models of convection dominating groundwater quality is suggested. The mass transport equation is split into a convection equation and a dispersive equation. The generalized upwind scheme is used to solve the convection equation and the finite element method is used to compute the dispersive equation.These procedures which not only overcome the phenomenon of the negative concentration and numerical dispersion appear frequently with normal FEM or FDM to solve models of convection dominating groundwater transport but also avoid the step for computing each node velocity give a more suitable method to calculate the concentrations of the well points. 展开更多
关键词 3-D problem of groundwater transport convection dominating fractional step generalized upwind scheme
在线阅读 下载PDF
The Analysis of Convergence for the 3<i>X</i>+ 1 Problem and Crandall Conjecture for the a<i>X</i>+ 1 Problem
19
作者 Zuojun Hu 《Advances in Pure Mathematics》 2021年第5期400-407,共8页
The 3X + 1 problem (Collatz conjecture) has been proposed for many years, however no major breakthrough has been made so far. As we know, the Crandall conjecture is a well-known generalization of the 3X + 1 problem. I... The 3X + 1 problem (Collatz conjecture) has been proposed for many years, however no major breakthrough has been made so far. As we know, the Crandall conjecture is a well-known generalization of the 3X + 1 problem. It is worth noting that, both conjectures are infamous for their simplicity in stating but intractability in solving. In this paper, I aim to provide a clear explanation about the reason why these two problems are difficult to handle and have very different characteristics on convergence of the series via creatively applying the probability theory and global expectancy value E(n) of energy contraction index. The corresponding convergence analysis explicitly shows that a = 3 leads to a difficult problem, while a > 3 leads to a divergent series. To the best of my knowledge, this is the first work to point out the difference between these cases. The corresponding results not only propose a new angle to analyze the 3X + 1 problem, but also shed some light on the future research. 展开更多
关键词 3X + 1 problem Crandall Conjecture Energy Method Expectancy Theory
在线阅读 下载PDF
On the Change Rule of 3x + 1 Problem
20
作者 Ke Li 《Journal of Applied Mathematics and Physics》 2022年第3期850-864,共15页
This article introduces a change rule of 3x + 1 problem (Collatz conjecture), it’s named LiKe’s Rule. It’s a map of 3x + 1 problem, and details the path of each step of the change: For any positive integer, change ... This article introduces a change rule of 3x + 1 problem (Collatz conjecture), it’s named LiKe’s Rule. It’s a map of 3x + 1 problem, and details the path of each step of the change: For any positive integer, change by the Collatz conjecture. 1) This positive integer will change to an odd number;2) The odd number must change to a number of LiKe’s second sequence {3<sup>n</sup> – 1| n ∈ Z<sup>+</sup>};3) Then this 3<sup>n</sup> - 1 will change to a smaller 3<sup>n </sup>– 1 and gradually decrease to 8 (that is 3<sup>2</sup> - 1) then back to 1 in the end. If we can determine each step, the Collatz conjecture will be true. This is certainly more valuable than 2<sup>n</sup> (it might even explain 2<sup>n</sup>). And to illustrate the importance of this rule, introduced some important funny corollaries related to it. 展开更多
关键词 3x +1 problem Collatz-problem Collatz Conjecture LiKe’s Rule Number Theory
在线阅读 下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部