约束满足问题相关论文
约束规划是人工智能领域的重要分支,它为解决组合优化问题提出一整套从建模到求解的解决方案。回溯搜索算法是求解约束规划的完备......
我国是成品油消费大国,大量成品油每日通过不同物流方式进行调度和销售。目前成品油区域多油源调度计划编制面临约束多、调度时域......
路径规划是人工智能领域的一个重要研究方向,一个好的路径规划算法需要满足两个基本的要素:第一,算法应规划出一条能在飞行过程中......
维持表约束网络广义弧相容（generalized arc consistency,简称GAC）的串行传播模式是约束程序搜索技术研究的一个重要分支,该模式由串......
当今正处于信息爆炸时代,信息具有数据量大,来源广,不确定等新特点.一方面,需要将多种信息进行有效的融合,另一方面需要提取关系到......
图作为一种结构化的数据结构非常容易刻画事物之间的内联关系,现实生活中的许多数据都可以用图来进行表示。图匹配中的子图同构问......
针对油料保障优化问题,引入多时间窗口,考虑了油料保障的复杂时间约束和运力约束,提出了基于多时间窗口的调度模型.在求解算法上,......
约束满足问题(Constraint Satisfaction Problem-CSP)是人工智能中的一个重要研究领域,是近年来很多学者所研究的一个非常活跃的内......
定性空间推理主要是对几何形状或者运动性质进行定性推理,是利用空间理论和人工智能技术对空间对象进行建模、描述和表示,并据此对......
面对全球化浪潮和个性化买方市场的冲击,越来越多的企业认识到针对市场瞬息万变的顾客需求快速进行产品配置以争取顾客将成为未来......
随着互联网金融的高速发展,企业和个人的借贷频率越来越快。银行等以借贷为主营业务的金融企业为了降低资金损失的风险,不仅会考察......
约束满足问题(Constraint Satisfaction Problem,CSP)是人工智能领域的一个重要分支,也是当前国际上人工智能领域研究的热点。CSP......
约束满足问题是人工智能领域重要的研究方向之一,主要用于求解实际问题和学术问题。约束满足问题技术解决问题的主要思想是:首先将......
约束满足问题(CSP)是人工智能领域的重要的研究问题,它为计算机、数学、实际生产生活等领域的复杂问题的建模与求解提供了足够泛化......
博弈论在多Agent系统中常用来研究理性并且自利的Agent之间的交互,特别是如何设计交互策略使得整个系统稳定并且尽可能使每个Agent......
约束满足问题在人工智能领域有着广泛的应用。目前有许多求解约束满足问题的方法,本文对常用的求解约束满足问题的维持弧相容算法......
约束程序(Constraint Programming,CP)是求解组合优化问题的一种经典方法,在交通、电信、教育等领域发挥了重要的作用。CP现在已成......
利用企业现有资源降低生产成本、提高经济效益并为用户提供更好的服务一直是现代企业面临的重要课题,而这些问题可以通过制定合理......
实际生活中的许多问题都可以建模为约束问题模型,然后用约束满足问题求解技术进行处理,比如物流规划,硬件电路设计,生产调度等各领......
系统地分析了并行产品开发过程中检测冲突的策略 ,提出了以人为核心的非形式化方法和以约束管理工具为核心的形式化方法相结合的检......
在并行工程产品开发过程中 ,往往按照问题的结构特点将较大规模的问题分解成一些子问题 ,并希望通过求解子问题来获得原问题的解 .......
从可用性的角度提出一个基于属性的访问控制模型.首先介绍了属性、属性项等相关概念,在此基础之上,通过约束满足问题建立了访问控......
针对一般人工神经网络不能用于求解包含矛盾的约束满足问题（ＣＳＰ）的不足，本文依据神经网络的逻辑分析理论，提出了一个约束满足神经网络（ＣＳＮＮ）．ＣＳＮＮ体现......
对定性仿真中流行的QSIM算法进行了较为详细的剖析,介绍了QSIM算法内核函数的动态特性和数据流关系,在此基础上提出了并行QSIM算法......
将影像匹配看作一个约束满足问题（ＣＳＰｓ），并用约束满足神经网络（ＣＳＮＮ）来实现整体影像匹配。根据新松弛标号法对网络的结构和迭代方式进行了改进，使......
针对一个典型的具有可变取值域的随机约束满足问题,提出了利用度启发式策略和最少约束值启发式策略来选择变量进行赋值的不完备回......
区域连接演算（Region Connection Calculus，RCC）是一种用于空间定性表示和推理的形式化模型，如RCC5，RCC8等，其一致性检查被证明是一个NP......
针对一类典型的约束满足问题--Job shop调度问题,提出一种CSP调度算法框架,详细讨论CSP调度算法中的工序开始时间窗、一致性预处理......
简要介绍了多智能体系统(MAS)在供应链研究中的应用,给出了约束满足问题(ConstraintSatisfaction Problem,CSP)和分布式约束满足问......
空间区域的拓扑关系和方位关系是空间推理的重要研究内容,以往的工作集中在单一的空间方面,这不能满足实际应用领域的需要。基于主......
在现有自适应约束求解方法基础上，提出一种新的自适应约束传播求解算法ADAPTM^ACLmaxRPC．该算法能根据约束的不同特性，在传播能力强但......
排课是学校教学管理中十分重要、又相当复杂的管理工作之一.本文基于约束满足问题,对其算法进行了详细的论述及分析,并提出一种MRV......
热轧调度中的板坯排序问题是一类特殊的排序问题，具有约束条件复杂、NP难特点。为了简化问题，将板坯排序问题转化为一个约束满足问题......
综合管线优化是指在有限区域内将暖通,给水,排水,强弱电等专业管线合理布置,以满足建筑对取暖,通风,水电等的需求。这是一类复杂的......
桶消元算法是求解约束满足问题的一种典型推理方法。针对桶消元算法面临的状态空间爆炸问题,将有序二叉决策图（OBDD）技术与该算法结......
约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题。由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解......
基于角色的协同RBC（Role-Based Collaboration）是一套研究角色及它们之间复杂关系的方法、理论和技术。在RBC中,群组角色分配GRA（Grou......
DG的孤岛运行可作为供电恢复过程中提高供电可靠性的一种重要运行方式．在配电网发生故障时，为了及时制定出优化的孤岛划分方案，提出了......
针对基于MAC的动态回溯算法在求解约束满足问题时,不仅需要大量空间存储删除解释,而且回溯机制过于复杂,对经典的删除解释及动态回......
约束满足问题(Constraint Satisfaction Problems CSP)是人工智能的一个研究领域,诸如空间查找、规划等问题都可转化为约束满足问......
值域增长的约束满足问题模型是计算复杂性理论中一类重要的实际问题模型,针对解决这类问题的算法研究仍然很少.通过研究RB模型这一......
通过E-GENET的重定义,将非二元约束满足问题(NB-CSPs)转化为整数最小化问题,提出一类非二元变量约束关系的离散拉格朗日搜索模式(N......
现有的Web服务复合一般都采用静态绑定的方法,无法实现服务的动态绑定和整个服务流程的动态性能优化.为此,提出了一种基于约束Agen......
用户的偏好在自动决策中起着重要的作用,作为一种表示多属性定性偏好断言的直观工具,CP-nets被许多学者研究.其上的占优查询算法的......
相容性技术作为约束满足问题的一种有效求解技术，不论是在求解前的预处理过程中，还是在搜索过程中，都扮演着极为重要的角色。文中对预......
空间变化是空间信息处理中的热点问题，标识变化是空间变化的关键问题之一．但是现有工作侧重表达，知识推理能力较弱．为此，研究了基于标识......
摘要:约束满足问题是人工智能的重要研究方向。约束传播技术和启发式策略是影响约束求解算法效率的关键。对于大规模和大型具有结......
