约束满足问题相关论文
约束规划是人工智能领域的重要分支,它为解决组合优化问题提出一整套从建模到求解的解决方案。回溯搜索算法是求解约束规划的完备......
我国是成品油消费大国,大量成品油每日通过不同物流方式进行调度和销售。目前成品油区域多油源调度计划编制面临约束多、调度时域......
路径规划是人工智能领域的一个重要研究方向,一个好的路径规划算法需要满足两个基本的要素:第一,算法应规划出一条能在飞行过程中......
维持表约束网络广义弧相容（generalized arc consistency,简称GAC）的串行传播模式是约束程序搜索技术研究的一个重要分支,该模式由串......
当今正处于信息爆炸时代,信息具有数据量大,来源广,不确定等新特点.一方面,需要将多种信息进行有效的融合,另一方面需要提取关系到......
图作为一种结构化的数据结构非常容易刻画事物之间的内联关系,现实生活中的许多数据都可以用图来进行表示。图匹配中的子图同构问......
提出了一种求解二元约束满足问题的自适应粒子群算法(SAPSO)，利用自适应的选取方式代替随机选择的盲目搜索方式，使群体在解空间搜索......
基于可满足性(SAT)的模型检验技术已逐渐成为主流的形式验证技术.在RTL,SAT问题的复杂性表现在位(bit)和字(word)数据类型并存和多......
并行传播是并行约束程序领域中的一个研究方向,其研究内容是如何并行执行在约束上的过滤算法.根据维持表约束网络广义弧相容(gener......
该文研究了CIPS中的调度问题,就CIPS的特点,调度的典型问题,AI,OR和决策的框架,约束满足技术在调度问题中的应用,CSP和GA的结合,以......
该文基于约束满足问题,从协调体系结构、协调方法及协调管理系统等角度对并行工程协调理论和方法进行深入的研究.论文分为三部分:......
基于多代理技术构建敏捷供需链管理系统是实现敏捷供需链管理的可行解决方案.在敏捷供需链管理系统中,多个代理具有局部自治和全局......
该文从运行机制、运行效率以及运行效果等几个方面对于现存且常用的十几种一致性算法进行了详尽的剖析与研究,在此基础上,提出了新......
约束满足问题(Constraint Satisfaction Problem-CSP)是人工智能中的一个重要研究领域,是近年来很多学者所研究的一个非常活跃的内......
可满足性问题(the satisfiability prblem,简称SAT)是计算机科学的中心问题之一,相变现象则是SAT问题的一个重要特性.该文首先总结......
该文提出了一个基于组件的演化计算软件设计框架CBFEC(Component-Based Framework for Evolutionary Computation)来指导设计可重......
测试程序的自动生成技术在现代通用型微处理器和大规模硬件系统的验证工作中发挥着主要的作用.如何随机生成大量而且高效的测试程......
约束满足问题(ConstraintSatisfactionProblem,简称CSP)简而言之就是由一组变量和一组约束组成的约束关系,求解约束满足问题就要为......
定性空间推理主要是对几何形状或者运动性质进行定性推理,是利用空间理论和人工智能技术对空间对象进行建模、描述和表示,并据此对......
面对全球化浪潮和个性化买方市场的冲击,越来越多的企业认识到针对市场瞬息万变的顾客需求快速进行产品配置以争取顾客将成为未来......
随着互联网金融的高速发展,企业和个人的借贷频率越来越快。银行等以借贷为主营业务的金融企业为了降低资金损失的风险,不仅会考察......
约束满足问题(Constraint Satisfaction Problem,CSP)是人工智能领域的一个重要分支,也是当前国际上人工智能领域研究的热点。CSP......
约束满足问题是人工智能领域重要的研究方向之一,主要用于求解实际问题和学术问题。约束满足问题技术解决问题的主要思想是:首先将......
约束满足问题(CSP)是人工智能领域的重要的研究问题,它为计算机、数学、实际生产生活等领域的复杂问题的建模与求解提供了足够泛化......
约束满足问题在人工智能领域有着广泛的应用。目前有许多求解约束满足问题的方法,本文对常用的求解约束满足问题的维持弧相容算法......
约束程序(Constraint Programming,CP)是求解组合优化问题的一种经典方法,在交通、电信、教育等领域发挥了重要的作用。CP现在已成......
表约束是一种外延的知识表示方法,每个约束包含一组变量上所有支持或禁止的元组。广义弧相容(GAC)是求解多元约束满足问题应用最广......
伙伴选择是虚拟企业建立过程中的核心问题。在基于多agent的虚拟企业体系结构基础上，通过本体驱动的虚拟企业目标体系描述与分解，将......
基于对约束满足问题的改进,建立了一种能识别建筑结构损伤时外荷载大小及损伤位置的方法.首先对结构模型进行单元划分,并利用刚度......
解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个......
A-Teams是一种分布式的人工智能方法，它能充分组合现有的算法，利用多处理器对问题进行求解，适合解决复杂的优化和约束满足问题。在阅......
目前,很多静态分析和测试工具还需要人工挑选输入数据,处理的变量也仅限于整型和实型.本文介绍了一个能够生成测试数据的自动工具E......
提出一种基于模糊逻辑的神经网络控制结构优化设计的方案，叙述了PCSP（模糊约束满足问题）求解方法及利用模糊逻辑进行神经网络控制结构......
同时模拟人类自然进化与思维进化的优良模式自学习遗传算法（ＥＳＳＬＧＡ）在收敛性、最优性等方面表现出了良好的特性。该文着重探讨ＥＳＳＬＧＡ求解Ｊｏｂ－ｓｈｏｐ调度问题......
利用企业现有资源降低生产成本、提高经济效益并为用户提供更好的服务一直是现代企业面临的重要课题,而这些问题可以通过制定合理......
实际生活中的许多问题都可以建模为约束问题模型,然后用约束满足问题求解技术进行处理,比如物流规划,硬件电路设计,生产调度等各领......
该论文主要从设计的集成环境、CAD装配模型、特征模型、草图模型的研究入手,力图从本质上分析约束与约束网的基本属性,并在此基础......
卫星数据接收任务调度是空间资源管理的重要内容之一，其重点在于通过有效的调度手段对各类接收资源进行合理编排，达到相对优化的资源......
随机复杂系统特别是以NP完全问题为代表的大规模随机约束满足问题复杂性的研究，与新千年的世界七大数学难题之一密切关联，是理论计算......
当配电网中发生大规模停电事故时,必须尽快制定供电恢复计划.文中建立了供电恢复的约束满足问题(CSP)模型.配电网恢复中的各种因素......
系统地分析了并行产品开发过程中检测冲突的策略 ,提出了以人为核心的非形式化方法和以约束管理工具为核心的形式化方法相结合的检......
