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