约束满足问题

作品数：209被引量：636H指数：13
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李占山张永刚孙吉贵刘大有李宏博更多>>
相关机构：吉林大学国防科学技术大学桂林电子科技大学清华大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金吉林省科技发展计划基金国家教育部博士点基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于置信传播的算法求解随机约束满足问题
《理论数学》2024年第6期54-64,共11页刘梦圆 
为了求解具有增长域的随机约束满足问题(CSP),提出一种基于置信传播的算法即NBP* (new-selected belief propagation*, NBP*)。在置信传播算法中,当BP方程不收敛时,算法就会终止。然而算法在经过多次迭代之后,虽然约束发送给变量的信息...
关键词：约束满足问题 置信传播算法 BP方程 最后一次迭代信息 
基于边际概率分布重新进行单变量选取的置信传播算法求解约束满足问题
《理论数学》2024年第5期335-343,共9页刘梦圆 
针对RB模型这一类具有增长取值域的随机约束满足问题,提出一种基于边际概率分布重新进行单变量选取的置信传播算法。该算法在置信传播方程不收敛时,通过边际概率分布顺序由大到小找到下一个变量进行重新赋值,从而消去变量的过程。实验...
关键词：约束满足问题 RB模型 置信传播 边际概率分布 
两种高效局部搜索算法求解RB模型实例
《计算机应用研究》2024年第5期1394-1401,共8页杨易 王晓峰 唐傲 彭庆媛 杨澜 庞立超 
国家自然科学基金资助项目(62062001);宁夏青年拔尖人才资助项目(2021);北方民族大学研究生创新项目(YCX23145)。
RB(revised B)模型是一种在约束可满足问题中具备精确相变增长域的随机实例模型,提出两种高效的启发式局部搜索算法用于解决RB模型生成的大值域约束可满足问题。首先为基于权重指导搜索的W-MCH算法,该算法通过约束判断和违反约束数计分...
关键词：RB模型 约束满足问题 局部搜索算法 模拟退火 最小冲突启发式 
云资源调度的回答集程序描述性求解
《广西师范大学学报（自然科学版）》2024年第2期94-104,共11页王卫舵 王以松 杨磊 
国家自然科学基金(61976065)。
针对求解难度为NP完全的基础设施即服务(IaaS)模式云资源调度问题,本文提出一种基于回答集程序(ASP)的描述性优化求解方法,并对其正确性进行分析。首先,把满足虚拟机CPU使用的情况下关闭尽可能多的主机做为减少云平台能耗的方法,将云资...
关键词：回答集程序 云资源调度 多目标优化 约束满足问题 能耗 
基于学习-推理的约束求解方法研究进展
《软件学报》2024年第1期220-235,共16页邹悦 赖家洋 张永刚 
国家自然科学基金(62076108,61872159);吉林省自然科学基金(20210101172JC)。
机器学习与自动推理的融合是当前人工智能研究的新趋势.约束满足问题是人工智能研究的经典问题,现实世界中大量的调度、规划和配置等问题均可以建模为约束满足问题,高效的求解算法一直是研究热点.近年来涌现出众多将机器学习应用于约束...
关键词：约束满足问题 消息传递神经网络 序列到序列 强化学习 最优化 
船舶动力定位非线性模型预测控制被引量：1
《哈尔滨工程大学学报》2024年第1期129-135,共7页张泉 郭晨 
国家自然科学基金项目(51879027,51579024);中央高校基本科研业务费(3132019318)。
针对受船舶运动状态和推力饱和约束影响的动力定位控制问题,本文提出了一种非线性模型预测控制方法。依据多面体描述理论建立了船舶动力定位多面体描述偏差模型,针对上述模型采用线性矩阵不等式设计非线性模型预测控制器中的终端要素,...
关键词：动力定位 模型预测控制 约束满足问题 运动控制 多面体描述系统 线性矩阵不等式 终端约束 渐进稳定性 
复杂约束条件下导引头抗干扰试验样本空间分析
《国防科技》2023年第4期103-110,共8页程志君 潘正强 刘天宇 贾祥 
国家自然科学基金项目(72171231)。
针对试验样本空间组成要素众多、动态变化且存在复杂关联约束的特点,围绕典型作战场景下导引头、目标、背景和干扰等4类要素及其相互作用,提出复杂约束条件下抗干扰试验样本空间的分析框架,实现“典型作战场景—全干扰对抗要素—全因子...
关键词：导引头抗干扰 复杂约束 性能试验 样本空间 约束满足问题 
约束可满足性中求解RB模型实例的算法综述
《计算机应用研究》2023年第7期1929-1936,1946,共9页杨易 王晓峰 莫淳惠 庞立超 杨澜 赵星宇 
国家自然科学基金资助项目(62062001);宁夏青年拔尖人才资助项目(2021)。
约束满足问题是人工智能领域中最基本的NP完全问题之一。多年来,随着约束满足问题的深入研究,国内外学者提出多种实例模型。其中,RB模型是一种能生成具有精确相变的增长域约束满足问题实例,其求解难度极具挑战性。为了寻找其求解的新型...
关键词：约束满足问题 RB模型 回溯启发式算法 信息传播算法 元启发式算法 
基于多层级约束满足问题的产品全生命周期设计方案决策研究被引量：2
《机械工程学报》2023年第11期276-289,共14页孔琳 王黎明 吕晓腾 李方义 
国家重点研发计划(2020YFB1711603);国家自然科学基金(52175473)资助项目。
为实现产品全生命周期绿色设计方案的生成与决策,构建了基于功能-行为-结构-材料-工艺(FBS-MP)的设计方案多层级表达模型,并将绿色设计方案的生成转化为基于设计约束的约束满足问题(Constraint satisfaction problem, CSP)。进一步提出...
关键词：绿色设计 约束满足问题 回溯算法 多属性决策 
一种基于回溯求解约束满足问题的置信传播算法被引量：1
《应用数学进展》2023年第3期993-1002,共10页林童 
针对一个典型的具有可变取值域的随机约束满足问题模型即RB模型,提出一种基于回溯的置信传播的算法。该算法在置信传播方程不收敛时,通过回溯对上一个变量进行重新赋值,从而将消去变量的过程继续进行下去。数值结果表明:这种基于回溯的...
关键词：约束满足问题 RB模型 置信传播 回溯算法 
全选清除导出
共21页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部