二元约束满足问题

作品数：12被引量：61H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：孙吉贵张居阳杨轻云袁际军付宏杰更多>>
相关机构：吉林大学复旦大学湖南大学长春工业大学更多>>
相关期刊：《广西师范大学学报（自然科学版）》《计算机研究与发展》《软件学报》《计算机工程》更多>>
相关基金：国家自然科学基金吉林省杰出青年科学基金国家教育部博士点基金湖北省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
非二元约束满足问题的产品配置建模与求解被引量：1
《武汉理工大学学报》2010年第1期103-106,118,共5页张泉乐 袁际军 
针对传统二元约束满足问题直观建模产品配置问题存在的不足,提出了一种更适宜表示配置知识、基于非二元约束满足问题的产品配置方法。根据配置问题中配置知识的表现形式,提出了配置问题向非二元约束满足问题转化的映射方法,并建立了配...
关键词：非二元约束 产品配置 大规模定制 
一种求解二元约束满足问题自适应粒子群算法
《计算机工程与应用》2009年第29期10-13,共4页付宏杰 欧阳丹彤 孙吉贵 
国家自然科学基金(No.60496321);吉林省杰出青年基金项目(No.20080107;No.20080617)~~
提出了一种求解二元约束满足问题的自适应粒子群算法(SAPSO),其中每个粒子具有两种状态,定义了一个反应粒子活跃程度的变量以决定粒子所属的状态。为了平衡粒子不同进化阶段的开发和探测能力,在SAPSO中引入了随着每个粒子的进化状态和...
关键词：粒子群算法 二元约束满足问题 惯性权重 适应度 
基于非二元约束满足的配置问题求解方法被引量：3
《计算机工程》2008年第7期205-208,共4页单汨源 袁际军 
国家自然科学基金资助项目(70671037);高等学校博士学科点专项科研基金资助项目(20050532005)
依据产品的可配置性,提出基于非二元约束的逻辑产品模型,给出基于动态变量序的一类配置求解算法。采用仿真实验比较各种算法的求解效率,指出各算法在不同配置约束密度下快速求解配置问题时的适用范围。基于逻辑产品模型,依据配置问题实...
关键词：大规模定制 逻辑产品模型 产品配置 非二元约束满足问题 
基于关联约束非二元弧一致性的约束满足问题求解被引量：1
《计算机科学》2008年第5期158-162,共5页袁际军 单汨源 王克喜 
国家自然科学基金项目(70671037);高等学校博士学科点专项科研基金项目(20050532005)
弧一致性算法在二元约束满足问题中取得了成功的应用,但并不能被有效泛化至预处理非二元约束满足问题(NCSP)。本文提出了处理NCSP的关联约束非二元弧一致性算法。通过随机NCSP生成器产生问题实例,分别采用关联约束非二元孤一致性算法和...
关键词：非二元约束满足问题 回溯算法 关联约束非二元弧一致性 随机NCSP生成器 
基于CSP的配电网大面积断电供电恢复模型和算法被引量：20
《电力系统自动化》2006年第10期28-32,共5页刘栋 陈允平 沈广 樊友平 徐箭 
国家自然科学基金资助项目(50477018)湖北省自然科学基金资助项目(2005ABA289)
当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划。文中建立了供电恢复的约束满足问题(CSP)模型。配电网恢复中的各种因素被表示为CSP模型中的变量、约束和目标。为提高在线计算速度,与故障模式无关的计算量被转移到离线方式...
关键词：配电网 供电恢复 约束满足问题 二元约束满足问题 回溯算法 
非二元约束满足问题的E-GENET求解原理
《东北大学学报（自然科学版）》2005年第9期844-847,共4页冯欣 唐立新 梁浩锋 
国家杰出青年学者自然科学基金资助项目(70425003);国家自然科学基金资助项目(70171030;60274049)
通过E-GENET的重定义,将非二元约束满足问题(NB-CSPs)转化为整数最小化问题,提出一类非二元变量约束关系的离散拉格朗日搜索模式(NB-LSDL)与算法,实现了基于NB-LSDL的E-GENET重构,为求解一般约束CSPs的最小冲突启发式修补方法提供新的...
关键词：约束满足问题 E-GENET网 离散拉格朗日方法 启发式修补方法 
求解二元约束满足问题的多智能体进化算法被引量：1
《自然科学进展》2005年第2期234-242,共9页钟伟才 刘静 焦李成 
国家自然科学基金重点项目(批准号:60133010)西安电子科技大学青年科研工作站基金资助
基于智能体对环境的感知与反作用的能力提出了一种新的求解二元约束满足问题的方法.该方法将多智能体系统与进化算法有机地结合起来,每个智能体固定在网格的一个格点上,而它为了增加自身能量将与其邻域展开竞争.同样,智能体也可利用自...
关键词：多智能体系统 约束满足问题 进化算法 自学习 网格 邻域 编码 求解 全局收敛性 二元 
非二元约束满足问题求解被引量：16
《计算机学报》2003年第12期1746-1752,共7页孙吉贵 景沈艳 
国家自然科学基金 (60 0 730 39;60 2 730 80 );吉林省科技发展计划(2 0 0 2 0 30 6);吉林大学创新基金资助
在约束满足问题 (CSP)的研究中 ,大部分工作集中在二元约束 ,但处理实际问题时 ,常常会遇到非二元约束的情况 .该文在概要地讨论了两类求解非二元约束问题方法的基础上 ,研究了一种将约束传播技术和一般弧相容回溯算法相结合的非二元约...
关键词：非二元约束满足问题 对偶图法 隐藏变量法 启发式搜索算法 
二元约束满足问题求解的结点开销模型
《软件学报》1998年第12期922-926,共5页薛瀚宏 蔡庆生 
国家自然科学基金;国家教委博士点基金
提出了在二元约束满足问题中以搜索结点个数为衡量标准的求解开销模型，该模型被应用于随机二元约束满足问题的求解开销相变分析中，并且比较了模型所导出的理论开销和实际中的搜索结点个数、约束检查次数、求解时间３种衡量标准的开销...
关键词：约束满足 求解开销 求解启发式 机器学习 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部