Harajuku Lovers

Verification of Branch and Bound Algorithms Applied to Water Distribution Networ

Description: Verification of Branch and Bound Algorithms Applied to Water Distribution Network Design by Angelika Hailer Estimated delivery 3-12 business days Format Paperback Condition Brand New Description The design of distribution networks is an integral factor in the planning process of water supply systems. Models concerning this design process contain the problem of selecting pipe diameters for a given layout of the network. Assuming the demand to be estimated for a certain point of time and the costs for pipes of different diameters to be known, this stationary problem can be formulated as a nonlinear global optimization problem. Restrictions to the pressure head and the calculations of head-loss due to friction in the pipes imply nonlinear constraints. Heuristic as well as deterministic algorithms have been developed during the last 30 years to solve this problem. Their implementation is based on floating point arithmetic. In a branch and bound algorithm the decision for every branch depends on numerical results. Therefore even small errors may have farreaching consequences. In the context of this thesis the software package WaTerInt has been developed which contains the first verified algorithm for water distribution design optimization to avoid this problem.WaTerInt is based on the branch and bound algorithm developed by Sherali, Subramanian and Loganathan1 and results from interval analysis, allowing rigorous bounds together with a guarantee of existence and uniqueness. Furthermore, a new additional constraint propagation technique is introduced which decreases the computational time for expansion networks by approximately one third to one half. The computational results using non-verified floating point calculations are found to show numerical artifacts. For example, it is possible that a problem is identified as infeasible that in reality does have a solution, or that the lower bound for the optimal solution is larger than the upper bound. Using verified calculations, these artifacts are avoided, the obtained results are always reliable. Nevertheless for this improved quality, in the current implementation the computational time for verified calculations takes on average fifteen times the time needed for the calculation without error analysis when relying just on pure floating point arithmetic. This factor could probably be decreased when not depending on interpretation overhead of MATLAB, especially for object orientation.In addition to the model based on Hazen-Williams formula as used by Sherali, Subramanian and Loganathan, the optimization problem is reformulated to contain Darcy-Weisbach and Colebrook-White equations. The algorithm has been expanded to be able to solve this more accurate problem as well, and again a verified version is presented. Essentially, detailed investigation of the nonlinearity of the implicitly defined Colebrook-White equation was necessary to retain certain monotonicity and convexity arguments. The adjacency property is proved for this new problem as well. However, the computational effort is around forty times higher than for the Hazen-Williams problem. To combine the advantages of the Darcy-Weisbach optimization problem with the more simple structure and lower computational times of Hazen-Williams, the coefficients of this formula are adjusted to obtain a closer approximation. Finally, verified results have been used to compare results obtained for different head loss formulae and hydraulic parameters for known test networks.When regarding the whole life span of a pipe network it occurs that energy costs form a significant part of the overall costs, except when water is mainly delivered by gravity. In summary, recently developed verification techniques are combined with a branch and bound algorithm to investigate the practicability of obtaining error estimates along with the calculation of the optimal solution of a nonlinear optimization problem. They are applied to water network distribution design, both to the known branch and bound algorithm of Sherali, Subramanian and Loganathan and to the one for the more realistic network model based on the Darcy-Weisbach equation. Details ISBN 3832513167 ISBN-13 9783832513160 Title Verification of Branch and Bound Algorithms Applied to Water Distribution Network Design Author Angelika Hailer Format Paperback Year 2006 Pages 350 Publisher Logos Verlag Berlin GmbH GE_Item_ID:137242321; About Us Grand Eagle Retail is the ideal place for all your shopping needs! With fast shipping, low prices, friendly service and over 1,000,000 in stock items - you're bound to find what you want, at a price you'll love! Shipping & Delivery Times Shipping is FREE to any address in USA. Please view eBay estimated delivery times at the top of the listing. Deliveries are made by either USPS or Courier. We are unable to deliver faster than stated. International deliveries will take 1-6 weeks. NOTE: We are unable to offer combined shipping for multiple items purchased. This is because our items are shipped from different locations. Returns If you wish to return an item, please consult our Returns Policy as below: Please contact Customer Services and request "Return Authorisation" before you send your item back to us. Unauthorised returns will not be accepted. Returns must be postmarked within 4 business days of authorisation and must be in resellable condition. Returns are shipped at the customer's risk. We cannot take responsibility for items which are lost or damaged in transit. For purchases where a shipping charge was paid, there will be no refund of the original shipping charge. Additional Questions If you have any questions please feel free to Contact Us. Categories Baby Books Electronics Fashion Games Health & Beauty Home, Garden & Pets Movies Music Sports & Outdoors Toys

Price: 80.39 USD

Location: Fairfield, Ohio

End Time: 2025-01-14T04:12:52.000Z

Shipping Cost: 0 USD

Product Images

Verification of Branch and Bound Algorithms Applied to Water Distribution Networ

Item Specifics

Restocking Fee: No

Return shipping will be paid by: Buyer

All returns accepted: Returns Accepted

Item must be returned within: 30 Days

Refund will be given as: Money Back

ISBN-13: 9783832513160

Book Title: Verification of Branch and Bound Algorithms Applied to Water Dist

Number of Pages: 350 Pages

Publication Name: Verification of Branch and Bound Algorithms Applied to Water Distribution Network Design

Language: English

Publisher: Logos Verlag Berlin

Subject: Computer Science, General

Publication Year: 2006

Type: Textbook

Item Weight: 22.3 Oz

Item Length: 8.3 in

Author: Angelika Hailer

Subject Area: Mathematics, Computers, Science

Item Width: 5.7 in

Format: Trade Paperback

Recommended

Writing Testbenches: Functional Verification Of Hdl Models
Writing Testbenches: Functional Verification Of Hdl Models

$112.12

View Details
Howard Barringer / Survey of Verification Techniques for Parallel Programs 1985
Howard Barringer / Survey of Verification Techniques for Parallel Programs 1985

$20.00

View Details
Verification, Validation, and Testing of - Hardcover, by Engel Avner - Good
Verification, Validation, and Testing of - Hardcover, by Engel Avner - Good

$106.07

View Details
Finding & Verification of The Cross, Church of St. Francis, Arezzo Postcard
Finding & Verification of The Cross, Church of St. Francis, Arezzo Postcard

$25.00

View Details
CGC/JSA SIGNATURE SERIES
CGC/JSA SIGNATURE SERIES

$100.00

View Details
IET Wiring Regulations: Design and Verification of Electrical Installations...
IET Wiring Regulations: Design and Verification of Electrical Installations...

$21.96

View Details
Formal Specification and Verification of Digital Systems by George Milne (1994,
Formal Specification and Verification of Digital Systems by George Milne (1994,

$15.00

View Details
Taxonomies For The Development And Verification Of Digital Systems
Taxonomies For The Development And Verification Of Digital Systems

$104.56

View Details
The Verification of Christianity  by Louis Matthew Sweet, The Gorham Press 1920
The Verification of Christianity by Louis Matthew Sweet, The Gorham Press 1920

$39.00

View Details
2009-2010 G Tech BASKETBALL PLAYERS SIGNATURES WITH CERTIFICATE OF VERIFICATION
2009-2010 G Tech BASKETBALL PLAYERS SIGNATURES WITH CERTIFICATE OF VERIFICATION

$29.95

View Details