Abstract
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the winter dry season, the intrusion of sea water raises the salinity of the river to a high level and affects approximately the daily life of 450,000 residents of the city. This paper reports the application of constraint programming (CP) to optimize the logistical operations of the raw water system so as to satisfy the daily water consumption requirement of the city and to keep the potable salinity below a desirable level for as many days as possible. CP is the key to the success of the project for its separation of concerns and powerful constraint language that allows for rapid construction of a functional prototype and production system. Flexibility and adaptiveness allow us to deal with our clients’ many changes in the requirements. Deriving good variable and value ordering heuristics, and generating useful implied constraints, we demonstrate that branch-and-bound search with constraint propagation can cope with an optimization problem of large size and great difficulty.
We thank the anonymous referees for their insightful comments. The work described in this paper was substantially supported by a grant (Project no. CUHK4219/04E) from the Research Grants Council of the Hong Kong SAR.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Brdys, M., Creemers, T., Riera, J., Goossens, H., Heinsbroek, A.: Clockwise: Constraint logic for operational control of water systems. In: The 26th Annual Water Resources Planning and Management Conference, pp. 1–13 (1999)
Choi, C.W., Harvey, W., Lee, J.H.M., Stuckey, P.J.: Finite domain bounds consistency revisited. In: Australian Conference on Artificial Intelligence, pp. 49–58 (2006)
Choi, C.W., Lee, J.H.M., Stuckey, P.J.: Removing propagation redundant constraints in redundant modeling. ACM Transactions on Computational Logic (to appear, 2007)
Harvey, W., Stuckey, P.J.: Improving linear constraint propagation by changing constraint representation. Constraints 8(2), 173–207 (2003)
ILOG, S.A.: ILOG Solver 6.0: User’s Manual (2003)
Marriott, K., Stuckey, P.J.: Programming with Constraints: an Introduction. MIT Press, Cambridge (1998)
Palisade Corporation: Evolver 4.0 (2005), Available from http://www.palisade.com
Vanderbei, R.J.: Linear Programming—Foundations and Extensions, 2nd edn. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Choi, C.W., Lee, J.H.M. (2007). Solving the Salinity Control Problem in a Potable Water System. In: Bessière, C. (eds) Principles and Practice of Constraint Programming – CP 2007. CP 2007. Lecture Notes in Computer Science, vol 4741. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74970-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-74970-7_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74969-1
Online ISBN: 978-3-540-74970-7
eBook Packages: Computer ScienceComputer Science (R0)