基于CLP(FD)的供水管网阀门优化布置
计算机科学中的逻辑
2015-03-19 v1
摘要
本文展示了逻辑编程在水力工程中一个实际问题上的新应用。这项工作由计算机科学家与水力工程师合作完成，应用约束逻辑编程（Constraint Logic Programming）来解决一个困难的组合优化问题。该应用涉及供水管网设计的一个方面，即阀门隔离系统设计。我们采用Giustolisi和Savic（2008）对问题的表述，并展示了如何借助约束传播，获得比文献中已知的Apulian管网最优解更好的方案。我们相信，所谓的水信息学领域可以从约束逻辑编程技术以及可能的其他逻辑编程领域（如回答集编程）中获益。
引用
@article{arxiv.1109.1248,
title = {Optimal Placement of Valves in a Water Distribution Network with CLP(FD)},
author = {Massimiliano Cattafi and Marco Gavanelli and Maddalena Nonato and Stefano Alvisi and Marco Franchini},
journal= {arXiv preprint arXiv:1109.1248},
year = {2015}
}
备注
Best paper award at the 27th International Conference on Logic Programming - ICLP 2011; Theory and Practice of Logic Programming, (ICLP'11) Special Issue, volume 11, issue 4-5, 2011