...Solving the Salinity Control Problem in a Potable Water System⋆ Chiu Wo Choi and Jimmy H.M. Lee Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin, N.T., Hong Kong {cwchoi,jlee}@cse.cuhk.edu.hk 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. 1 Introduction Salinity is the relative concentration of salts in water measured in parts...
Words: 7607 - Pages: 31
...How is the scientific method used to solve problems? Scientific method used to solve problems by keen observations, rational analysis, and experimentation. Observation: Closely observe the physical world around you. How is the scientific method used to solve problems? Scientific method used to solve problems by keen observations, rational analysis, and experimentation. Observation: Closely observe the physical world around you. Question: Recognize a question or a problem. Hypothesis: An educated guess or a reasonable explanation. When the hypothesis can be tested by experiment, it qualifies as a scientific hypothesis Prediction: Consequences that can be observed if the hypothesis is correct. The consequences should be absent if the hypothesis is not correct. Conclusion: Formulate the simplest general rule that organizes the hypothesis, predicted effects, and experimental findings. What is the principle of falsifiability? For a hypothesis to be considered scientific it must be testable?it must, in principle, be capable of being proven wrong. Fact: A phenomenon about which competent observers can agree. Theory: A synthesis of a large body of information that encompasses well-tested hypotheses about certain aspects of the natural world. Law: A general hypothesis or statement about the relationship of natural quantities that has been tested over and over again and has not been contradicted. Also known as a principle. Evidence: which...
Words: 33649 - Pages: 135
...SENIOR SECONDARY COURSE PHYSICS 1 (CORE MODULES) Coordinators Dr. Oum Prakash Sharma Sh. R.S. Dass NATIONAL INSTITUTE OF OPEN SCHOOLING A-25, INSTITUTIONAL AREA, SECTOR-62, NOIDA-201301 (UP) COURSE DESIGN COMMITTEE CHAIRMAN Prof. S.C. Garg Former Pro-Vice Chancellor IGNOU, Maidan Garhi, Delhi MEMBERS Prof. A.R. Verma Former Director, National Physical Laboratory, Delhi, 160, Deepali Enclave Pitampura, Delhi-34 Dr. Naresh Kumar Reader (Rtd.) Deptt. of Physics Hindu College, D.U. Dr. Oum Prakash Sharma Asstt. Director (Academic) NIOS, Delhi Prof. L.S. Kothari Prof. of Physics (Retd.) Delhi University 71, Vaishali, Delhi-11008 Dr. Vajayshree Prof. of Physics IGNOU, Maidan Garhi Delhi Sh. R.S. Dass Vice Principal (Rtd.) BRMVB, Sr. Sec. School Lajpat Nagar, New Delhi-110024 Dr. G.S. Singh Prof. of Physics IIT Roorkee Sh. K.S. Upadhyaya Principal Jawahar Navodaya Vidyalaya Rohilla Mohammadabad (U.P.) Dr. V.B. Bhatia Prof. of Physics (Retd.) Delhi University 215, Sector-21, Faridabad COURSE DEVELOPMENT TEAM CHAIRMAN Prof. S.C. Garg Former Pro-Vice Chancellor IGNOU, Delhi MEMBERS Prof. V.B. Bhatia 215, Sector-21, Faridabad Prof. B.B. Tripathi Prof. of Physics (Retd.), IIT Delhi 9-A, Awadhpuri, Sarvodaya Nagar Lucknow-226016 Sh. K.S. Upadhyaya Principal Navodaya Vidyalaya Rohilla Mohammadabad, (U.P.) Dr. V.P. Shrivastava Reader (Physics) D.E.S.M., NCERT, Delhi EDITORS TEAM CHAIRMAN Prof. S.C. Garg Former Pro-Vice Chancellor IGNOU, Delhi MEMBERS Prof. B.B. Tripathi Prof...
Words: 131353 - Pages: 526
...Beginning theory An introduction to literary and cultural theory Second edition Peter Barry © Peter Barry 1995, 2002 ISBN: 0719062683 Contents Acknowledgements - page x Preface to the second edition - xii Introduction - 1 About this book - 1 Approaching theory - 6 Slop and think: reviewing your study of literature to date - 8 My own 'stock-taking' - 9 1 Theory before 'theory' - liberal humanism - 11 The history of English studies - 11 Stop and think - 11 Ten tenets of liberal humanism - 16 Literary theorising from Aristotle to Leavis some key moments - 21 Liberal humanism in practice - 31 The transition to 'theory' - 32 Some recurrent ideas in critical theory - 34 Selected reading - 36 2 Structuralism - 39 Structuralist chickens and liberal humanist eggs Signs of the fathers - Saussure - 41 Stop and think - 45 The scope of structuralism - 46 What structuralist critics do - 49 Structuralist criticism: examples - 50 Stop and think - 53 Stop and think - 55 39 Stop and think - 57 Selected reading - 60 3 Post-structuralism and deconstruction - 61 Some theoretical differences between structuralism and post-structuralism - 61 Post-structuralism - life on a decentred planet - 65 Stop and think - 68 Structuralism and post-structuralism - some practical differences - 70 What post-structuralist critics do - 73 Deconstruction: an example - 73 Selected reading - 79 4 Postmodernism - 81 What is postmodernism? What was modernism? -...
Words: 98252 - Pages: 394
...idea of the number of electrons per second that represents current of the usual order of magnitude is readily possible. F'or example, since the charge per electron is 1.60 X 10- 19 C, the number of electrons per coulomb is the reciprocal of this nutnber, or approximately, 6 X 10 18 Further, since a current of 1 A (ampere) is the flow of 1 Cis, then a current of only 1 pA (1 picoampere, or 10- 12 A) represents the motion of approximately 6 million electrons per second. Yet a current of 1 pA is so small that considerable difficulty is experienced in attempting to measure it. The charge of a positive ion is an integral multiple of the charge of the electron, although it is of opposite sign. For the case of singly ionized particles, the charge is equal to that of the electron. For the case of doubly ionized particles, the ionic charge is twice that of the electron. The mass of an atom is expressed as a number that is based on the choice of the atomic weight of oxygen equal to 16. The mass of a hypothetical atom of atomic weight unity is, by this definition, onesixteenth that of the mass of monatomic oxygen and has been calculated to be 1.66 X 10- 27 kg. Hence, to calculate the mass in kilograms 1 2 /...
Words: 63477 - Pages: 254
... 1947 Labour Laws (Exemption From Furnishing Returns & Maintaining Registers By Certain Establishments) Act, 1988 h) Payment of Bonus Act, 1965 i) j) Payment of Gratuity Act, 1972 Workmen’s Compensation Act, 1923 83 87 91 58 74 80 1 k) l) The Trade Unions Act, 1926 Shops and Establishment Act, 1954 97 101 104 118 129 132 135 144 147 151 157 172 177 179 180 186 190 m) Laws related to wages n) Laws related to child labour o) Law related to contract labour p) Maternity Benefit Act, 1961 5. 6. 7. 8. 9. Checklist of labour law compliance Unfair labour practice Labour laws in the unorganized sector Women labour and the Law Industrial relations 10. Special points to be noted while drafting Employment Agreement 11. Important case laws under various labour legislations 12. Important organizations 13. Authorities under the labour law in India 14. Labour legislations across the world 15. Bibliography 16. Annexure a) Agreements between employee and employer 192 196 b) Agreement for reference of disputes to arbitration 2 1. INTRODUCTION Labour law also known as employment law is the body of laws, administrative rulings, and precedents which address the legal rights of, and restrictions on,...
Words: 57757 - Pages: 232
