Hasle·Lie·Quak Editors GeometricModelling,NumericalSimulation,andOptimization: AppliedMathematicsatSINTEF Geir Hasle · Knut-Andreas Lie · Ewald Quak Editors Geometric Modelling, Numerical Simulation, and Optimization: Applied Mathematics at SINTEF With162Figures,59inColor,and34Tables 123 Editors GeirHasle Knut-AndreasLie SINTEFICT,AppliedMathematics P.O.Box124Blindern NO-0314Oslo,Norway [email protected] [email protected] EwaldQuak SINTEFICT,AppliedMathematics P.O.Box124Blindern NO-0314Oslo,Norway [email protected] and CentreforNonlinearStudies(CENS) InstituteofCybernetics TallinnUniversityofTechnology Akadeemiatee21 EE-12618Tallinn,Estonia [email protected] LibraryofCongressControlNumber:2007927185 MathematicsSubjectClassification(2000):65-01;65D17,65D18,65D05,65D07,65D10; 35F25, 35J05, 35Q55, 65M06, 65N06, 65N30, 65Y05, 65Y10, 68N19, 76B60, 76B70, 76D05, 76M10;65K05,90C11,90C27,90C59,90C90 ISBN 978-3-540-68782-5 SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerial isconcerned,specificallytherightsoftranslation,reprinting,reuseofillustrations,recitation,broad- casting,reproductiononmicrofilmorinanyotherway,andstorageindatabanks.Duplicationof thispublicationorpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLaw ofSeptember9,1965,initscurrentversion,andpermissionforusemustalwaysbeobtainedfrom Springer.ViolationsareliableforprosecutionundertheGermanCopyrightLaw. SpringerisapartofSpringerScience+BusinessMedia springer.com ©Springer-VerlagBerlinHeidelberg2007 Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnot imply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantpro- tectivelawsandregulationsandthereforefreeforgeneraluse. TypesettingbytheeditorsusingaSpringerTEXmacropackage Production:LE-TEXJelonek,Schmidt&VöcklerGbR,Leipzig Coverdesign:WMXDesignGmbH,Heidelberg Printedonacid-freepaper 46/3180/YL-543210 Preface ThisbookpresentscurrentactivitiesoftheDepartmentofAppliedMathemat- ics atSINTEF, the largestindependent researchorganisationin Scandinavia. Thebookcontainsfifteenpaperscontributedbyemployeesandfellowpartners from collaborating institutions. The research and development work within the department is focused on threemainsubjectareas,andthestructureofthebookreflectsthisclustering: Part I Geometric Modelling Part II Numerical Simulation Part III Optimization Addressing Mathematics for Industry and Society, each contribution de- scribesaproblemsettingthatisofpracticalrelevanceinoneofthethreeareas and communicates the authors’ own experiences in tackling these problems. The papers are written in a tutorial style, understandable for non-specialist researchers and students. The goal is to highlight the importance of math- ematics for practical issues by providing material for educational purposes, such as a course or seminar on mathematical topics of industrial and societal relevance. To ensure the scientific quality of the contributions to this volume, each paper was carefully reviewed by severalinternational experts. Special thanks go to all authors and referees, without whom making this book would not have been possible. Last but not least, the friendly and effective collabora- tion with Springer Verlag through Martin Peters and Ute McCrory is kindly appreciated. Oslo/Tallinn, Geir Hasle November 2006 Knut–Andreas Lie Ewald Quak Contents Welcome to the World of SINTEF Applied Mathematics! Tore Gimse ..................................................... 1 Part I Geometric Modelling Building an Ontology of CAD Model Information Odd A. Andersen, George Vasilakis ................................ 11 Intersection Algorithms and CAGD Tor Dokken, Vibeke Skytt ......................................... 41 Surface Modelling of Neuronal Populations and Brain Structures: Use of Implicitly Represented Geometries Jens O. Nygaard, Jan G. Bjaalie, Simen Gaure, Christian Pettersen, Helge Avlesen ................................................... 91 An Introduction to General-Purpose Computing on Programmable Graphics Hardware Tor Dokken, Trond Runar Hagen, Jon Mikkelsen Hjelmervik ..........123 Real-Time Algebraic Surface Visualization Johan Simon Seland, Tor Dokken ..................................163 Part II Numerical Simulation Weakly Nonlinear Sea Surface Waves — Freak Waves and Deterministic Forecasting Karsten Trulsen .................................................191 VIII Contents How to Solve Systems of Conservation Laws Numerically Using the Graphics Processor as a High-Performance Computational Engine Trond Runar Hagen, Martin O. Henriksen, Jon M. Hjelmervik, Knut–Andreas Lie................................................211 An Introduction to the Numerics of Flow in Porous Media using Matlab Jørg E. Aarnes, Tore Gimse, Knut–Andreas Lie .....................265 Modelling of Multiscale Structures in Flow Simulations for Petroleum Reservoirs Jørg E. Aarnes, Vegard Kippe, Knut–Andreas Lie, Alf Birger Rustad ...307 Modelling of Stratified Geophysical Flows over Variable Topography Torbjørn Utnes ..................................................361 Part III Optimization Industrial Vehicle Routing Geir Hasle, Oddvar Kloster .......................................397 Solving the Long-Term Forest Treatment Scheduling Problem Martin Stølevik, Geir Hasle, Oddvar Kloster.........................437 An Integer Programming Approach to Image Segmentation and Reconstruction Problems Geir Dahl, Truls Flatberg .........................................475 The Impacts of By-products on Optimal Supply Chain Design Marielle Christiansen, Roar Grønhaug..............................497 Optimization Models for the Natural Gas Value Chain Asgeir Tomasgard, Frode Rømo, Marte Fodstad, Kjetil Midthun........521 List of Contributors Jørg Espen Aarnes Norwegian University of Science and SINTEF ICT, Applied Mathematics Technology P.O. Box 124 Blindern, NO–0314 Trondheim, Norway Oslo, Norway [email protected] [email protected] Geir Dahl Odd A. Andersen Center of Mathematics for Applica- SINTEF ICT, Applied Mathematics tions, University of Oslo Now: United Nations Statistics P.O. Box 1053 Blindern, NO–0316 Division, New York, USA Oslo, Norway [email protected] [email protected] Helge Avlesen Tor Dokken Parallab, UNIFOB, University of SINTEF ICT, Applied Mathematics Bergen P.O. Box 124 Blindern, NO–0314 Thormøhlensgate 55, NO-5008 Oslo, Norway Bergen, Norway [email protected] [email protected] Truls Flatberg Jan Gunnar Bjaalie SINTEF ICT, Applied Mathematics Neural Systems and Graphics P.O. Box 124 Blindern, NO–0314 Computing Laboratory,CMBN & Oslo, Norway Institute of Basic Medical Sciences, [email protected] University of Oslo P.O. Box 1105 Blindern, NO–0316 Marte Fodstad Oslo, Norway SINTEF Technology and Society [email protected] Applied Economics and Operations Research Marielle Christiansen S.P. Andersens vei 5, NO–7465 Department of Industrial Economics Trondheim, Norway and Technology Management [email protected] X List of Contributors Simen Gaure Jon Mikkelsen Hjelmervik Scientific Computing Group SINTEF ICT, Applied Mathematics Center for Information Technology P.O. Box 124 Blindern, NO–0314 Services, University of Oslo Oslo, Norway P.O. Box 1059 Blindern, NO-0316 [email protected] Oslo, Norway [email protected] Vegard Kippe SINTEF ICT, Applied Mathematics Tore Gimse Now: Norsk Hydro, Bergen, Norway SINTEF ICT, Applied Mathematics [email protected] Now: Conax AS, Oslo, Norway [email protected] Oddvar Kloster SINTEF ICT, Applied Mathematics Roar Grønhaug P.O. Box 124 Blindern, NO–0314 Department of Industrial Economics Oslo, Norway and Technology Management [email protected] Norwegian University of Science and Technology Knut–Andreas Lie Trondheim, Norway SINTEF ICT, Applied Mathematics [email protected] P.O. Box 124 Blindern, NO–0314 Oslo, Norway Trond Runar Hagen [email protected] SINTEF ICT, Applied Mathematics P.O. Box 124 Blindern, NO–0314 Jens Olav Nygaard Oslo, Norway SINTEF ICT, Applied Mathematics [email protected] P.O. Box 124 Blindern, NO–0314 Oslo, Norway Geir Hasle [email protected] SINTEF ICT, Applied Mathematics P.O. Box 124 Blindern, NO–0314 Christian Pettersen Oslo, Norway Neural Systems and Graphics [email protected] Computing Laboratory,CMBN & Institute of Basic Medical Sciences, Martin Ofstad Henriksen University of Oslo SINTEF ICT, Applied Mathematics P.O. Box 1105 Blindern, NO–0316 Now: Scandpower Petroleum Oslo, Norway Technology AS, Kjeller, Norway [email protected] Kjetil Midthun Ewald Quak Department of Industrial Economics SINTEF ICT, Applied Mathematics and Technology Management Now: Institute of Cybernetics Norwegian University of Science and Tallinn University of Technology Technology Akadeemia tee 21 Trondheim, Norway EE-12618Tallinn, Estonia [email protected] [email protected] List of Contributors XI Alf Birger Rustad Asgeir Tomasgard Statoil Research Centre, Rotvoll Department of Industrial Economics Arkitekt Ebbellsvei 10 and Technology Management NO–7005 Trondheim, Norway Norwegian University of Science and [email protected] Technology Frode Rømo Trondheim, Norway SINTEF Technology and Society [email protected] Applied Economics and Operations Research Karsten Trulsen S.P. Andersens vei 5, NO–7465 Trondheim, Norway Mechanics Division, Department of [email protected] Mathematics, University of Oslo P.O. Box 1053 Blindern, NO-0316 Johan Simon Seland Oslo, Norway Center of Mathematics for Applica- [email protected] tions, University of Oslo P.O. Box 1053 Blindern, NO–0316 Oslo, Norway Torbjørn Utnes [email protected] SINTEF ICT, Applied Mathematics Vibeke Skytt Sem Sælandsv 5, SINTEF ICT, Applied Mathematics NO–7465 Trondheim, Norway P.O. Box 124 Blindern, NO–0314 [email protected] Oslo, Norway [email protected] Martin Stølevik George Vasilakis SINTEF ICT, Applied Mathematics ITI CERTH P.O. Box 124 Blindern, NO–0314 Thermi–Thessaloniki, GR–57001 Oslo, Norway Greece [email protected] [email protected]