约束传播相关论文
约束规划是人工智能领域的重要分支,它为解决组合优化问题提出一整套从建模到求解的解决方案。回溯搜索算法是求解约束规划的完备......
基于稀缺标记样本的半监督学习作为传统半监督学习的一个重要领域，主要研究当样本集中标记样本与未标记样本数量存在严重不平衡性时......
约束传播作为约束编程的关键方法,在许多工业应用中被广泛使用,例如在设计与配置问题,数据库问题,参数选择建模问题,调度问题中已......
约束满足问题(CSP)是人工智能领域的重要的研究问题,它为计算机、数学、实际生产生活等领域的复杂问题的建模与求解提供了足够泛化......
概念设计时期，系统结构的信息是不充足、不完全的，不能或不需要利用传统的数值分析工具进行分析求解。多数情况下，只需利用系统的各种......
目前，概念设计仍没有一个统一的方法，且其理论还不成熟。定性推理是近年来新兴的一种人工智能推理技术，具有处理不完全的、不精确的、......
概念设计作为产品创新的一个重要环节，受到了越来越多的关注。概念设计作为产品设计整个生命周期的初始阶段，在这个阶段我们所获得关......
探讨人工智能中的约束网络及约束传播技术在并行设计中的应用。先将设计变量构成约束网络 ,通过约束传播技术使得设计变量趋于精确......
在现有自适应约束求解方法基础上，提出一种新的自适应约束传播求解算法ADAPTM^ACLmaxRPC．该算法能根据约束的不同特性，在传播能力强但......
热轧调度中的板坯排序问题是一类特殊的排序问题，具有约束条件复杂、NP难特点。为了简化问题，将板坯排序问题转化为一个约束满足问题......
电路的故障诊断在实际工程应用中占有重要地位,而故障定位是电路故障诊断的主要内容。对故障定位的方法进行了详尽的研究。首先建......
为了提高地铁正线的运营效率和保障乘务人员的身心健康,针对便乘情况下的地铁乘务任务配对问题,综合考虑了乘务人员总的工作量、乘......
将炼钢批量计划问题转化为一个约束满足问题处理，建立问题的约束满足模型，给出了基于约束满足的求解算法。仿真实验证明了模型和算法......
约束传播算法是求解约束满足问题的一种重要方法.调度问题是一种特殊的约束满足问题.本文介绍了调度问题中的Edge-Finding和Energy......
为了满足单件小批定货生产方式下的交货期满足问题,本文着重研究CAPP/PPS集成并行模式下加工过程决策的调度方法,该方法采用基于动......
为进一步提高约束满足问题求解算法的效率，对约束传播过程进行了分析，并使用变量论域缩减比例对弧相容传播深度进行参数化描述，同时提......
将热轧批量计划问题作为一个约束满足问题处理，建立不确定计划数的VRPSTw约束满足模型．在求解过程中．先用约束满足的一致性技术过滤变......
根据知识不完备的复杂系统中部分变量的定量信息,合理地构造系统相关变量间的半定量约束,是建立复杂系统定性定量相结合模型的有效......
提出了一种基于约束传播的分布式多主体规划算法.主体之间的冲突检测与协调通过一种特殊的多主体协商来解决.在确定环境中该算法是......
在众多的自动谈判模式中，协同谈判是一种新型的多线程谈判形式。文章分析了面向电子商务的协同谈判中的冲突问题，提出了解决谈判冲突......
设计实现了并发约束程序设计语言COPS.该语言结合约束对象、不确定性计算及约束储仓技术,采用基于并发约束模型的推理控制和基于优......
约束传播是约束编程的关键方法,近些年来,一些约束传播算法中频繁用到简单表缩减(simple tabular reduction, STR)算法来降低约束......
基于约束的参数化描述及求解是计算机辅助设计研究的一个热点 ,欠约束图的求解是参数化设计的基本问题 ,为了提高欠约束草图求解的......
约束程序设计作为面向智能应用的实用型程序设计风格正在AI领域产生越来越大的影响,其关键问题是如何将说明性的知识表示、系统化......
随机测试是一种常用的软件测试自动化方法。该方法随机地从程序输入域中选取测试输入,其自动测试实现容易。但随机地从输入域中选......
由于目前的有向点方向代数（OPRA）推理只关注3个空间对象的静态关系推理,本文针对n个对象的方向关系定义了OPRA方向关系网络的时空推......
作业计划的优化编制与动态调整是编组站综合自动化系统的关键技术,同时,计划编制质量的好坏直接关系到货物车辆在编组站的停留时间......
为适应多品种小批量生产需求,企业普遍采用基于成组技术的混流生产,由此产生的成组调度需要平衡安装时间减少与满足交期之间的冲突......
现代调度问题往往都是NP完全问题,具有高复杂、动态随机等特性。本文主要研究内容为基于约束的现代调度,即运用约束程序设计方法来......
约束程序是人工智能的重要研究方向,约束推理是约束程序领域中一个重要的概念,它包括在求解一个约束满足时,为找到满足所有约束的......
目前,半监督机器学习方法不但在理论方面得到了深入地研究,而且在实践中已获得了广泛地应用。半监督学习的基本出发点是同时利用已......
约束满足问题是人工智能研究领域的重要问题.而弧相容算法是求解约束满足问题的重要工具.在弧相容算法中应用启发式规则已经证明是......
约束程序是人工智能领域重要的基础模型，在很多领域都有着广泛的应用。本文介绍了约束满足问题的基于回溯搜索结合约束传播技术的求......
多星对区域目标观测活动的协同问题是卫星任务规划与调度领域的新问题。讨论了采用多星协同模式观测区域目标的必要性,描述了协同......
约束规划源于人工智能,并结合了运筹学、算法、图论等多领域研究成果,是一种用于声明描述和有效解决约束满足和约束优化问题的软件......
模具方案设计是保证模具整体结构优化，各组成部分功能协调，加工制造方便，以及调试运行顺利与制品成型生产过程可靠的关键。如何在短时......
针对遥感卫星数据接收任务的特征,提出了多站多星任务调度的主要约束条件和优化目标函数,建立了基于约束满足优化问题的多站多星任......
约束求解是人工智能领域最热门的关键词之一，它是约束程序（ConstraintProgramming，CP）的核心问题。约束求解方法的发展为业界提供了许......
静态配流是铁路编组站阶段计划的核心,模型和算法的优劣直接影响编组站作业效率和经济效益。本文基于约束程序累积调度和字典序多......
