Table Of ContentHasle·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
Geir.Hasle@sintef.no
Knut-Andreas.Lie@sintef.no
EwaldQuak
SINTEFICT,AppliedMathematics
P.O.Box124Blindern
NO-0314Oslo,Norway
Ewald.Quak@sintef.no
and
CentreforNonlinearStudies(CENS)
InstituteofCybernetics
TallinnUniversityofTechnology
Akadeemiatee21
EE-12618Tallinn,Estonia
Ewald.Quak@cs.ioc.ee
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 Marielle.Christiansen@iot.ntnu.no
Jorg.Aarnes@sintef.no
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
odd.andersen@gmail.com geird@ifi.uio.no
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 Tor.Dokken@sintef.no
avle@ii.uib.no
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, Truls.Flatberg@sintef.no
University of Oslo
P.O. Box 1105 Blindern, NO–0316 Marte Fodstad
Oslo, Norway SINTEF Technology and Society
j.g.bjaalie@medisin.uio.no Applied Economics and Operations
Research
Marielle Christiansen S.P. Andersens vei 5, NO–7465
Department of Industrial Economics Trondheim, Norway
and Technology Management Marte.Fodstad@sintef.no
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 Jon.A.Mikkelsen@sintef.no
Oslo, Norway
Simen.Gaure@usit.uio.no Vegard Kippe
SINTEF ICT, Applied Mathematics
Tore Gimse Now: Norsk Hydro, Bergen, Norway
SINTEF ICT, Applied Mathematics Vegard.Kippe@hydro.com
Now: Conax AS, Oslo, Norway
Tore.Gimse@conax.com 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 Oddvar.Kloster@sintef.no
Norwegian University of Science and
Technology Knut–Andreas Lie
Trondheim, Norway SINTEF ICT, Applied Mathematics
Roar.Gronhaug@iot.ntnu.no P.O. Box 124 Blindern, NO–0314
Oslo, Norway
Trond Runar Hagen Knut-Andreas.Lie@sintef.no
SINTEF ICT, Applied Mathematics
P.O. Box 124 Blindern, NO–0314 Jens Olav Nygaard
Oslo, Norway SINTEF ICT, Applied Mathematics
Trond.R.Hagen@sintef.no P.O. Box 124 Blindern, NO–0314
Oslo, Norway
Geir Hasle Jens.O.Nygaard@sintef.no
SINTEF ICT, Applied Mathematics
P.O. Box 124 Blindern, NO–0314 Christian Pettersen
Oslo, Norway Neural Systems and Graphics
Geir.Hasle@sintef.no 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 Christian.Pettersen@medisin.uio.no
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
Kjetil.Midthun@iot.ntnu.no Ewald.Quak@cs.ioc.ee
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
abir@statoil.com Technology
Frode Rømo Trondheim, Norway
SINTEF Technology and Society Asgeir.Tomasgard@sintef.no
Applied Economics and Operations
Research
Karsten Trulsen
S.P. Andersens vei 5, NO–7465
Trondheim, Norway Mechanics Division, Department of
Frode.Romo@sintef.no Mathematics, University of Oslo
P.O. Box 1053 Blindern, NO-0316
Johan Simon Seland
Oslo, Norway
Center of Mathematics for Applica-
karstent@math.uio.no
tions, University of Oslo
P.O. Box 1053 Blindern, NO–0316
Oslo, Norway
Torbjørn Utnes
johans@cma.uio.no
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
Torbjorn.Utnes@sintef.no
Oslo, Norway
Vibeke.Skytt@sintef.no
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
Martin.Stolevik@sintef.no vasilak@iti.gr