约束满足问题相关论文
约束规划是人工智能领域的重要分支,它为解决组合优化问题提出一整套从建模到求解的解决方案。回溯搜索算法是求解约束规划的完备......
我国是成品油消费大国,大量成品油每日通过不同物流方式进行调度和销售。目前成品油区域多油源调度计划编制面临约束多、调度时域......
路径规划是人工智能领域的一个重要研究方向,一个好的路径规划算法需要满足两个基本的要素:第一,算法应规划出一条能在飞行过程中......
维持表约束网络广义弧相容（generalized arc consistency,简称GAC）的串行传播模式是约束程序搜索技术研究的一个重要分支,该模式由串......
当今正处于信息爆炸时代,信息具有数据量大,来源广,不确定等新特点.一方面,需要将多种信息进行有效的融合,另一方面需要提取关系到......
图作为一种结构化的数据结构非常容易刻画事物之间的内联关系,现实生活中的许多数据都可以用图来进行表示。图匹配中的子图同构问......
针对油料保障优化问题,引入多时间窗口,考虑了油料保障的复杂时间约束和运力约束,提出了基于多时间窗口的调度模型.在求解算法上,......
约束满足问题(Constraint Satisfaction Problem-CSP)是人工智能中的一个重要研究领域,是近年来很多学者所研究的一个非常活跃的内......
定性空间推理主要是对几何形状或者运动性质进行定性推理,是利用空间理论和人工智能技术对空间对象进行建模、描述和表示,并据此对......
面对全球化浪潮和个性化买方市场的冲击,越来越多的企业认识到针对市场瞬息万变的顾客需求快速进行产品配置以争取顾客将成为未来......
随着互联网金融的高速发展,企业和个人的借贷频率越来越快。银行等以借贷为主营业务的金融企业为了降低资金损失的风险,不仅会考察......
约束满足问题(Constraint Satisfaction Problem,CSP)是人工智能领域的一个重要分支,也是当前国际上人工智能领域研究的热点。CSP......
约束满足问题是人工智能领域重要的研究方向之一,主要用于求解实际问题和学术问题。约束满足问题技术解决问题的主要思想是:首先将......
约束满足问题(CSP)是人工智能领域的重要的研究问题,它为计算机、数学、实际生产生活等领域的复杂问题的建模与求解提供了足够泛化......
博弈论在多Agent系统中常用来研究理性并且自利的Agent之间的交互,特别是如何设计交互策略使得整个系统稳定并且尽可能使每个Agent......
约束满足问题在人工智能领域有着广泛的应用。目前有许多求解约束满足问题的方法,本文对常用的求解约束满足问题的维持弧相容算法......
约束程序(Constraint Programming,CP)是求解组合优化问题的一种经典方法,在交通、电信、教育等领域发挥了重要的作用。CP现在已成......
利用企业现有资源降低生产成本、提高经济效益并为用户提供更好的服务一直是现代企业面临的重要课题,而这些问题可以通过制定合理......
实际生活中的许多问题都可以建模为约束问题模型,然后用约束满足问题求解技术进行处理,比如物流规划,硬件电路设计,生产调度等各领......
系统地分析了并行产品开发过程中检测冲突的策略 ,提出了以人为核心的非形式化方法和以约束管理工具为核心的形式化方法相结合的检......
在并行工程产品开发过程中 ,往往按照问题的结构特点将较大规模的问题分解成一些子问题 ,并希望通过求解子问题来获得原问题的解 .......
从可用性的角度提出一个基于属性的访问控制模型.首先介绍了属性、属性项等相关概念,在此基础之上,通过约束满足问题建立了访问控......
针对一般人工神经网络不能用于求解包含矛盾的约束满足问题（ＣＳＰ）的不足，本文依据神经网络的逻辑分析理论，提出了一个约束满足神经网络（ＣＳＮＮ）．ＣＳＮＮ体现......
对定性仿真中流行的QSIM算法进行了较为详细的剖析,介绍了QSIM算法内核函数的动态特性和数据流关系,在此基础上提出了并行QSIM算法......
将影像匹配看作一个约束满足问题（ＣＳＰｓ），并用约束满足神经网络（ＣＳＮＮ）来实现整体影像匹配。根据新松弛标号法对网络的结构和迭代方式进行了改进，使......
