约束程序相关论文
稳定匹配问题在1962年由诺贝尔奖获得者埃尔文·罗斯(Alvin Roth)和罗伊德·沙普利(Lloyd Shapley)提出。匹配问题是将一组对象与......
Petri网是一种广泛应用于描述异步并发现象的图形化建模和分析工具,Petri网的可达性判定问题是进行Petri网建模和分析的基础。判定P......
编组站作为铁路运输的重要基层生产单位、铁路枢纽及干线畅通的关键环节,主要负责货物列车的解体和编组作业,并按计划正点发车。编......
在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTM^ACLmaxRPC.该算法能根据约束的不同特性,在传播能力强但......
为解决混杂系统优化控制的计算复杂性问题,针对结合逻辑规则的工业过程混杂模型,采用结合约束程序的混合整数非线性规划算法,求解......
在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型......
由于优化和约束程序各自具有扩充能力,它们开始有效地结合在一起.它们的结合有着广阔的商业前景,近些年来引起了研究者浓厚的兴趣.......
作业计划的优化编制与动态调整是编组站综合自动化系统的关键技术,同时,计划编制质量的好坏直接关系到货物车辆在编组站的停留时间......
混杂系统的提出是离散事件系统的深入研究和现代工业过程控制的需要。利用混杂系统的理论,工业过程控制可以充分利用人工智能与计算......
本文主要对约束逻辑程序的语义、分层约束满足的应用、随机约束满足问题的生成模型以及约束求解系统实现等问题进行了研究,拓展了......
数独是一个风靡世界的基于逻辑的填数字游戏,因为非常流行吸引了世界各地的爱好者。从计算的角度来看,数独也是一个如我们所期望的......
约束求解是人工智能领域最热门的关键词之一,它是约束程序(ConstraintProgramming,CP)的核心问题。约束求解方法的发展为业界提供了许......