利用近似解加速求解SAT问题的启发式完全算法 被引量：5

1

作者 荆明娥 周电 +1 位作者 唐璞山 周晓方 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第9期1184-1189,共6页

结合DPLL完全算法能够证明可满足性(SAT)问题的不可满足性和局部搜索算法快速的优点,提出利用近似解加速求解SAT问题的启发式完全算法.首先利用局部搜索算法快速地得到一个近似解,并将该近似解作为完全算法的初始输入,用于其中分支变量... 结合DPLL完全算法能够证明可满足性(SAT)问题的不可满足性和局部搜索算法快速的优点,提出利用近似解加速求解SAT问题的启发式完全算法.首先利用局部搜索算法快速地得到一个近似解,并将该近似解作为完全算法的初始输入,用于其中分支变量的相位决策.该算法引导完全算法优先搜索近似解所在的子空间,加速解决器找到可满足解的过程,为SAT问题的求解提供了一种新的有效途径.实验结果表明,该算法有效地提高了决策的精度和SAT解决器的效率,对很多实例非常有效. 展开更多

关键词 SAT问题 完全算法 局部搜索 变量决策

在线阅读 下载PDF 职称材料

基于不完全算法的并行FPGA SAT求解器

2

作者 黎铁军 马柯帆 张建民 《计算机工程与科学》 CSCD 北大核心 2021年第12期2126-2130,共5页

可满足性问题是计算机理论与应用的核心问题。在FPGA上提出了一个基于不完全算法的并行求解器pprobSAT+。使用多线程的策略来减少相关组件的等待时间,提高了求解器效率。此外,不同线程采用共用地址和子句信息的数据存储结构,以减少片上... 可满足性问题是计算机理论与应用的核心问题。在FPGA上提出了一个基于不完全算法的并行求解器pprobSAT+。使用多线程的策略来减少相关组件的等待时间,提高了求解器效率。此外,不同线程采用共用地址和子句信息的数据存储结构,以减少片上存储器的资源开销。当所有数据均存储在FPGA的片上存储器时,pprobSAT+求解器可以达到最佳性能。实验结果表明,相比于单线程的求解器,所提出的pprobSAT+求解器可获得超过2倍的加速比。 展开更多

关键词 布尔可满足 FPGA 不完全算法 多线程

在线阅读 下载PDF 职称材料

基于ICEEMDAN算法的高速双圆弧斜齿轮泵振动试验特性分析

3

作者 董庆伟 李博 +2 位作者 李阁强 韩帅康 皇甫科维 《机床与液压》 北大核心 2025年第4期151-157,共7页

针对双圆弧斜齿轮泵高速工况下引起的振动问题,以过渡曲线为正弦曲线的双圆弧斜齿轮泵为研究对象,搭建液压工作站,以转速与压力负载为变量,采集不同转速与压力负载下泵的进油口、出油口与泵体上侧的振动信号,然后对数据进行时、频域分... 针对双圆弧斜齿轮泵高速工况下引起的振动问题,以过渡曲线为正弦曲线的双圆弧斜齿轮泵为研究对象,搭建液压工作站,以转速与压力负载为变量,采集不同转速与压力负载下泵的进油口、出油口与泵体上侧的振动信号,然后对数据进行时、频域分析。在此基础上,基于增强型完全集合经验模态分解(ICEEMDAN)算法对数据进行特征提取,通过模糊熵与峭度构建的综合指标选取内在模态函数分量(IMF)进行分析,得到双圆弧斜齿轮泵在不同转速和压力负载工况下的振动特性。结果表明:在所测工况下,出油口区域的振动幅度普遍高于进油口和泵体上侧区域,而且压力负载对泵的振动分布具有一定影响;在恒定压力负载下,泵的振动幅值随转速的提高而增加,且这种增长随转速的提高而加剧;在恒定转速下,泵的振动幅度整体趋势随着压力负载的增加而上升,但在特定压力负载点出现下降。 展开更多

关键词 斜齿轮泵 高速工况 振动特性 增强型完全集合经验模态分解(ICEEMDAN)算法

在线阅读 下载PDF 职称材料

基于完全耦合算法的绕水翼流固耦合特性研究 被引量：10

4

作者 吴钦 黄彪 +1 位作者 王国玉 曹树良 《船舶力学》 EI CSCD 北大核心 2017年第7期804-813,共10页

基于完全耦合算法对绕二维NACA0009水翼流固耦合特性进行了数值模拟研究。采用Theodorsen模型和Munch模型对刚性和弹性水翼的水弹性响应进行了数值计算,分析了流体与结构的相互作用关系,研究了影响结构水弹性响应和流固耦合特性的因素... 基于完全耦合算法对绕二维NACA0009水翼流固耦合特性进行了数值模拟研究。采用Theodorsen模型和Munch模型对刚性和弹性水翼的水弹性响应进行了数值计算,分析了流体与结构的相互作用关系,研究了影响结构水弹性响应和流固耦合特性的因素。研究结果表明:考虑了流体黏性的Munch模型与基于势流理论的Theodorsen模型对气动弹性响应的数值计算结果基本一致,而Theodorsen模型由于没有考虑流体黏性在一定程度上低估了结构的水弹性响应。结构的惯性、阻尼和刚度力矩与流体的相应附加载荷均处于同一数量级,故流体与结构的相互作用不可忽略,尤其对于弹性水翼,流体的惯性、附加阻尼作用增大,流固耦合算法的数值稳定性对流固耦合特性的计算结果影响将更大。外部激励频率为非共振频率时,结构的刚度作用是影响水弹性响应的主要因素,外部激励频率为共振频率时,流体的附加阻尼和附加刚度作用减弱,除结构的刚度作用外,流体与结构的惯性作用对水弹性响应和流固耦合特性的影响也较大。 展开更多

关键词 完全耦合算法 水弹性 流固耦合

在线阅读 下载PDF 职称材料

一种改进的完全搜索块匹配算法 被引量：12

5

作者 朱长征 沈振康 《红外与激光工程》 EI CSCD 北大核心 2004年第4期388-391,共4页

完全搜索块匹配算法是图像序列稳定中常用的运动估计方法,在传统的完全搜索块匹配算法中,在搜索区域中图像序列的当前帧和参考帧对应的像素对对匹配结果的贡献是完全一样的,这样使得算法的性能容易受到待稳定的图像序列中各种噪声的影... 完全搜索块匹配算法是图像序列稳定中常用的运动估计方法,在传统的完全搜索块匹配算法中,在搜索区域中图像序列的当前帧和参考帧对应的像素对对匹配结果的贡献是完全一样的,这样使得算法的性能容易受到待稳定的图像序列中各种噪声的影响。针对这个不足,提出了一种改进的完全搜索块匹配算法。在新的匹配准则中,搜索区域中图像序列的当前帧和参考帧对应的像素对对匹配结果是否有贡献取决于它们灰度值之差的绝对值与预先设定的门限值进行大小比较的结果,对应的灰度值之差的绝对值不超过该门限值的像素对对匹配结果有贡献,而且贡献大小受到与像素对位置相关的加权处理,否则该像素对对匹配结果无贡献。实验结果证明了该算法的优越性。 展开更多

关键词 图像序列 稳定 完全搜索块匹配算法 运动估计

在线阅读 下载PDF 职称材料

动量插值与完全压力校正算法及交错网格SIMPLE算法的比较 被引量：3

6

作者 宋道云 刘洪来 +1 位作者 方波 江体乾 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第2期124-128,143,共6页

对流体力学数值方法进行了扼要叙述,并比较各自优缺点。概述了有限体积法处理对流项的常用方案,重点描述了近年来为解决速度与压力耦合问题而提出的基于非交错网格(或同位网格)的完全压力校正算法(CPC),并与同样基于非交错网格动量插值... 对流体力学数值方法进行了扼要叙述,并比较各自优缺点。概述了有限体积法处理对流项的常用方案,重点描述了近年来为解决速度与压力耦合问题而提出的基于非交错网格(或同位网格)的完全压力校正算法(CPC),并与同样基于非交错网格动量插值算法(MI)以及传统的基于交错网格的SIMPLE(Semi-implicitMethodforPressure-linkedEquations)算法进行了比较。最后用二维顶盖驱动方腔流动为例,将CPC算法与传统的SIMPLE算法进行比较。结果表明,CPC算法结果准确,且程序上实现起来容易得多。 展开更多

关键词 同位网格 动量插值 完全压力校正算法 交错网格SIMPLE算法 流体力学 数值方法

在线阅读 下载PDF 职称材料

积空间中求解凸不等式系统的不完全投影算法 被引量：2

7

作者 党亚峥 高岩 《上海理工大学学报》 CAS 北大核心 2012年第4期359-363,共5页

针对凸不等式系统提出了一种具有可变权参数和下松弛因子的平行不完全投影算法,经过有限次的投影算法得到不完全投影点,并且通过构造一个新的积空间,将欧氏空间中的平行不完全投影算法转化为新空间中的半序列不完全投影算法,使得平行的... 针对凸不等式系统提出了一种具有可变权参数和下松弛因子的平行不完全投影算法,经过有限次的投影算法得到不完全投影点,并且通过构造一个新的积空间,将欧氏空间中的平行不完全投影算法转化为新空间中的半序列不完全投影算法,使得平行的不完全投影法的收敛性由半序列不完全投影算法的收敛性证明直接得到,在一定程度上简化了平行不完全投影算法的收敛性证明. 展开更多

关键词 凸不等式系统 不完全投影算法 积空间 收敛性分析

在线阅读 下载PDF 职称材料

求解频率指配问题改进的完全图算法

8

作者 王强 沙斐 王国栋 《北京交通大学学报》 CAS CSCD 北大核心 2009年第2期63-66,共4页

以四级预测模型为基础,提出改进的完全图算法,并推导出该算法计算量的解析式,从理论上证明了改进的完全图算法性能上的提高.四级预测模型来判断两电台之间的兼容性,而改进的完全图算法调用四级预测模型来搜索出多电台间的所有可用频组,... 以四级预测模型为基础,提出改进的完全图算法,并推导出该算法计算量的解析式,从理论上证明了改进的完全图算法性能上的提高.四级预测模型来判断两电台之间的兼容性,而改进的完全图算法调用四级预测模型来搜索出多电台间的所有可用频组,进行了小规模电台数目电子信息系统的完整电磁兼容分析,完成了系统内的频率指配.实际工程应用的结果与理论一致. 展开更多

关键词 改进的完全图算法 四级预测模型 频率指配 电子信息系统

在线阅读 下载PDF 职称材料

多目标分层规划问题的最优均衡宽容值序列算法 被引量：4

9

作者 李炳杰 周宏安 迟晓妮 《空军工程大学学报（自然科学版）》 CSCD 北大核心 2005年第1期83-86,共4页

对多目标分层规划问题的宽容完全分层序列算法做改进,寻求各层次多目标子问题的最优均衡值和最优均衡解,针对上级优先层次对下级层次的宽容值,求出所有层次按优先级顺序的最优均衡解;给出多目标分层规划问题的最优均衡宽容完全分层序列... 对多目标分层规划问题的宽容完全分层序列算法做改进,寻求各层次多目标子问题的最优均衡值和最优均衡解,针对上级优先层次对下级层次的宽容值,求出所有层次按优先级顺序的最优均衡解;给出多目标分层规划问题的最优均衡宽容完全分层序列算法,得到在一定宽容限下所有层次的帕雷托(Pareto)最优解。 展开更多

关键词 多目标分层规划 宽容完全分层序列算法 最优均衡解 帕雷托最优解

在线阅读 下载PDF 职称材料

求解大型非对称线性方程组的拟最小残量IOM(q)算法

10

作者 王正盛 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2001年第2期146-148,共3页

不完全正交化算法 ( IOM( q) )由于存储量和计算量小 ,常用来求解大型非对称线性方程组。而此方法收敛过程常出现不规则振荡现象 ,从而影响了收敛速度。本文将拟残量最小化性质加到 IOM( q)算法中 ,提出拟最小残量不完全正交化算法 ( QM... 不完全正交化算法 ( IOM( q) )由于存储量和计算量小 ,常用来求解大型非对称线性方程组。而此方法收敛过程常出现不规则振荡现象 ,从而影响了收敛速度。本文将拟残量最小化性质加到 IOM( q)算法中 ,提出拟最小残量不完全正交化算法 ( QMRIOM( q) ) ,这样收敛曲线光滑无振荡 ,从而大大加快其收敛速度 。 展开更多

关键词 线性系统 迭代法 不完全正交化算法 (IOM(q)) KRYLOV子空间

在线阅读 下载PDF 职称材料

线性分式多乘积规划问题的多项式时间近似算法

11

作者 申培萍 黄冰迪 《应用数学》 CSCD 北大核心 2018年第4期927-932,共6页

本文首先将一般形式的线性分式多乘积规划问题(MP),转化为特殊形式的子问题.再根据子问题提出一种求解(MP)的完全多项式时间近似算法,并从理论上证明该算法的收敛性和计算复杂性,数值算例也说明了算法是可行的.

关键词 线性分式多乘积规划 全局优化 完全多项式时间近似算法 计算复杂性

在线阅读 下载PDF 职称材料

全模型迭代重建算法评价^(125)I粒子植入术后CT图像 被引量：4

12

作者 韩佳悦 孙连鑫 +2 位作者 沙琳 张晓虹 赖声远 《中国医学影像技术》 CSCD 北大核心 2018年第7期1090-1093,共4页

目的探讨全模型迭代重建(IMR)算法评价^(125)I粒子植入术后图像的应用价值。方法收集接受^(125)I粒子植入术及术后CT随访的16例腹部肿瘤患者,对扫描原始数据分别以滤波反投影法(FBP)、IMR和高级重建迭代(iDose^4)算法进行重建,比较3种... 目的探讨全模型迭代重建(IMR)算法评价^(125)I粒子植入术后图像的应用价值。方法收集接受^(125)I粒子植入术及术后CT随访的16例腹部肿瘤患者,对扫描原始数据分别以滤波反投影法(FBP)、IMR和高级重建迭代(iDose^4)算法进行重建,比较3种重建方法图像的噪声、伪影指数(AI)、CNR和主观评分。结果 FBP重建图像的噪声、CNR及AI分别为(58.65±4.03)HU、1.09±0.43和51.60±9.23,iDose^4图像分别为(48.38±5.34)HU、1.29±0.48和43.77±4.91,IMR图像分别为(41.46±3.44)HU、1.58±0.56和38.51±4.64,3种重建方法图像的噪声、CNR及AI两两比较差异均有统计学意义(P均<0.05)。IMR图像的主观图像质量评分显著高于FBP和iDose^4算法图像(调整后P<0.001,P=0.011)。结论 IMR算法获得的图像质量较高,可有效减少^(125)I粒子伪影,为^(125)I粒子植入术后随访与疗效评估提供了更佳方法。 展开更多

关键词 体层摄影术 X线计算机 基于模型的完全迭代算法 125I粒子 金属伪影

在线阅读 下载PDF 职称材料

动态事件触发下一般线性多智能体系统完全分布式一致性控制 被引量：4

13

作者 张继雄 李宗刚 +1 位作者 宁小刚 陈引娟 《兵工学报》 EI CAS CSCD 北大核心 2023年第S02期223-234,共12页

针对事件触发下一般线性多智能体系统一致性问题研究中,现有算法多采用静态触发方式、一致性协议设计中存在全局信息、无法实现完全分布式控制的问题,提出一种基于动态事件触发的一致性协议。通过引入时变耦合权重自适应地调整图的标量... 针对事件触发下一般线性多智能体系统一致性问题研究中,现有算法多采用静态触发方式、一致性协议设计中存在全局信息、无法实现完全分布式控制的问题,提出一种基于动态事件触发的一致性协议。通过引入时变耦合权重自适应地调整图的标量增益,实现一致性问题的完全分布式求解。针对事件触发控制中需要持续检测触发条件的问题,引入基于个体的状态估计器,用于在触发间隔期内对自身状态进行估计,减少了智能体间的通信次数。基于所选择的Lyapunov函数,设计一种耦合系统状态估计值、测量误差和自适应参数的动态触发函数,显著地减少了系统的触发次数、降低了系统的能耗。数值计算表明所提一致性协议能够实现渐近一致性,且不发生Zeno行为。仿真结果表明所提协议能有效降低系统能耗、节省通信资源。 展开更多

关键词 多智能体系统 一致性问题 一般线性系统 动态事件触发 完全分布式算法

在线阅读 下载PDF 职称材料

增加结构非循环模糊自动机最小化算法(英文) 被引量：1

14

作者 胡红莉 莫智文 《工程数学学报》 CSCD 北大核心 2006年第4期599-606,共8页

我们提出了一种新的不完全的增加结构算法,该算法结合了非循环确定模糊自动机的性质。由于该算法与隶属度有关,因此算法给出了与传统方法不同的运算函数,而且通过构造模拟状态使该算法可在有多输入状态的条件下运行。所以这个新的不完... 我们提出了一种新的不完全的增加结构算法,该算法结合了非循环确定模糊自动机的性质。由于该算法与隶属度有关,因此算法给出了与传统方法不同的运算函数,而且通过构造模拟状态使该算法可在有多输入状态的条件下运行。所以这个新的不完全增加结构算法较传统算法更可行和实用。新算法由两部分构成:增加模糊字符串到最小非循环确定模糊自动机和最小化增加模糊字符串后得到的自动机。因为在增加模糊字符串到最小非循环确定模糊自动机的过程中,运用了一些相关的新函数,所以得到的自动机仍然是确定的,而且没有增加任何无关的字符串到自动机的可识别语言。 展开更多

关键词 非循环确定模糊自动机 模糊字符串 不完全增加结构算法 构造模拟状态 非必要隶属度状态

在线阅读 下载PDF 职称材料

基于改进型粒子群算法的全扭矩换挡冲击抑制研究

15

作者 龚俊杰 谷金良 +1 位作者 龚莎 蔡志华 《农业装备与车辆工程》 2021年第3期87-92,共6页

对于无离合器电控机械式自动变速器(AMT)电动汽车而言,提升换挡品质、减小车辆换挡时冲击度一直是研究的热点问题。本文针对全扭矩换挡过程中对车辆冲击度影响最大的控制对象驱动电机,结合完全学习型粒子群算法搜索速度快、调节的参数... 对于无离合器电控机械式自动变速器(AMT)电动汽车而言,提升换挡品质、减小车辆换挡时冲击度一直是研究的热点问题。本文针对全扭矩换挡过程中对车辆冲击度影响最大的控制对象驱动电机,结合完全学习型粒子群算法搜索速度快、调节的参数少、对全局收敛能力强,且容易实现的优势,将其应用于永磁同步电机矢量控制的速度环调节器上。模拟整车空载和满载急加速急减速2种工况。实验结果表明,采用完全学习型粒子群算法优化后可以大大改善电机的输出性能,从而减小了电机对车辆的冲击度。 展开更多

关键词 永磁同步电机 矢量控制 完全学习型粒子群算法 冲击度

在线阅读 下载PDF 职称材料

基于Hoek-Brown准则的岩体高温-荷载耦合损伤模型及其验证

16

作者 姜谙男 黄炫茜 +1 位作者 许梦飞 蒋浩鹏 《沈阳工业大学学报》 CAS 北大核心 2024年第4期442-448,共7页

针对隧道岩体在高温和荷载共同作用下产生的耦合损伤问题,基于连续损伤力学理论,引入高温-荷载耦合损伤因子,建立了考虑高温作用的广义Hoek-Brown(H-B)准则的弹塑性损伤本构模型,解决了模型在数值积分过程中的奇异点问题,并利用Fortran... 针对隧道岩体在高温和荷载共同作用下产生的耦合损伤问题,基于连续损伤力学理论,引入高温-荷载耦合损伤因子,建立了考虑高温作用的广义Hoek-Brown(H-B)准则的弹塑性损伤本构模型,解决了模型在数值积分过程中的奇异点问题,并利用Fortran语言编写了模型的有限元程序。结果表明:模型计算的应力-应变曲线与试验所得到的曲线趋势一致且计算结果误差在5%以内,温度作用下隧洞围岩损伤逐渐加剧,验证了模型的准确性和程序的稳健性,可为火灾作用下隧道围岩安全稳定性评价提供一种有效计算方法。 展开更多

关键词 广义Hoek-Brown准则 耦合损伤模型 完全隐式应力返回映射算法 弹塑性模型 高温-荷载耦合 单轴压缩试验 应力-应变曲线 隧洞

在线阅读 下载PDF 职称材料

考虑站点分类的城市轨道短时客流预测方法 被引量：4

17

作者 王泰州 徐金华 +2 位作者 陈姜会 李岩 任璐 《计算机工程与应用》 CSCD 北大核心 2024年第19期343-353,共11页

精确、可靠的短时客流预测可为城市轨道交通运营提供保障。考虑不同站点的客流时序特征差异,在对站点分类的基础上,建立了一种城市轨道站点客流的深度学习预测方法。以动态时间规整及K-means算法对站点进行分类,分析各类站点的客流时序... 精确、可靠的短时客流预测可为城市轨道交通运营提供保障。考虑不同站点的客流时序特征差异,在对站点分类的基础上,建立了一种城市轨道站点客流的深度学习预测方法。以动态时间规整及K-means算法对站点进行分类,分析各类站点的客流时序特征;采用自适应噪声完全集成经验模式分解算法对各类站点客流数据进行分解,以减少数据噪声的影响;提出一种融合长短期记忆网络和Transformer模型的深度学习预测方法,从而预测不同类型站点客流。应用西安市轨道交通客流数据验证该方法,结果表明:根据工作日及非工作日的客流数据时序特征可将站点分为职住均衡型、商务办公型、休闲娱乐型和密集居住型4类,所提出的方法在不同类型站点的客流预测结果相比于其他3种单一模型和3种组合模型,平均绝对误差降低16.36%~51.02%、均方根误差降低10.35%~50.76%,平均绝对百分比误差降低14.71%~48.62%,基于15 min、30 min、45 min及60 min不同时间间隔统计的站点客流数据的预测结果相比于其他6种模型,3种指标分别降低了12.63%~51.02%、8.08%~49.12%和6.83%~47.26%。 展开更多

关键词 城市轨道交通 短时预测 站点分类 自适应噪声完全集成经验模式分解算法 长短期记忆网络 TRANSFORMER

在线阅读 下载PDF 职称材料

带多项式量级约束条件的多商品流BWTSP线性规划 被引量：1

18

作者 江贺 张宪超 +1 位作者 车皓阳 陈国良 《计算机研究与发展》 EI CSCD 北大核心 2007年第10期1796-1800,共5页

黑白旅行商问题(BWTSP)是近年来出现的新NP-难解问题,根据图中边是否对称可以分为无向BWTSP和有向BWTSP两种.现有无向BWTSP的Ghiani线性规划中约束条件数目为指数多个.权值阈值等于+∞的有向BWTSP通过转换为RATSP问题而存在多项式个约... 黑白旅行商问题(BWTSP)是近年来出现的新NP-难解问题,根据图中边是否对称可以分为无向BWTSP和有向BWTSP两种.现有无向BWTSP的Ghiani线性规划中约束条件数目为指数多个.权值阈值等于+∞的有向BWTSP通过转换为RATSP问题而存在多项式个约束条件的线性规划.针对一般的有向BWTSP,提出了一种仅包含多项式个约束条件的新线性规划.其基本思想是首先将有向BWTSP问题归约为ATSP问题,然后利用ATSP包含n(n+4)个约束条件的Finke-Claus-Gunn线性规划,通过定义剩余和消耗基数商品流,分析了环路上的弧应满足的约束条件,并证明这些n2+2|W|的约束条件即是基数约束条件;类似地通过定义剩余和消耗权值商品流,得到n2+n+2|B|个权值约束条件.最终得到原始问题仅包含3n2+7n个约束条件的线性规划.由于无向BWTSP问题和权值阈值等于+∞的有向BWTSP均是一般有向BWTSP的特例,故此结果对于它们同样有效. 展开更多

关键词 黑白旅行商问题 NP-难解 线性规划 完全算法 商品流

在线阅读 下载PDF 职称材料

加强约束的布尔可满足硬件求解器 被引量：1

19

作者 马柯帆 肖立权 +2 位作者 张建民 黎铁军 周善祥 《国防科技大学学报》 EI CAS CSCD 北大核心 2018年第6期105-111,共7页

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一... 利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。 展开更多

关键词 现场可编程门阵列 布尔可满足性 加强约束 不完全算法

在线阅读 下载PDF 职称材料

多Agent系统中分布式约束优化问题

20

作者 丑超弘 马耀飞 《系统仿真学报》 CAS CSCD 北大核心 2011年第B07期171-176,共6页

分布式约束优化问题在多Agent系统中应用十分广泛,它已经作为多Agent分布式推理的一项关键技术,既能够最优化一组分布约束,又能够在一定程度上保护Agent的信息,同时提高解决问题的效率。首先介绍分布式约束优化问题的背景及其算法的发展... 分布式约束优化问题在多Agent系统中应用十分广泛,它已经作为多Agent分布式推理的一项关键技术,既能够最优化一组分布约束,又能够在一定程度上保护Agent的信息,同时提高解决问题的效率。首先介绍分布式约束优化问题的背景及其算法的发展,对现有解决问题的一些完全算法和不完全算法作出了具体论述,通过从效率、质量、隐私等方面这些算法进行比较和分析,然后介绍在分布式约束优化问题在具体领域中的应用,最后论述分布式约束优化算法目前存在的问题及未来发展方向。 展开更多

关键词 分布式约束优化问题 多AGENT系统 完全算法 不完全算法

在线阅读 下载PDF 职称材料