Analysis of flow and visibility on triangulated terrains

Landscapes and their morphology have been widely studied for predicting physical phenomena, such as floods or erosion, but also for planning human activities effectively, such as building prominent fortifications and watchtowers. Nowadays, the study of terrains is done in a computer-based environment; terrains are modelled by digital representations, and algorithms are used to simulate physical processes like water flow and to compute attributes like visibility from certain locations. In the current thesis we focus on designing new algorithms for computing structures related to water ow and visibility on digital terrain representations. Most specifically, the terrain representations that we considered are the so-called Triangulated Irregular Networks (tins), that is, piecewise linear surfaces that consist of triangles. One of the problems that are considered is the effect of noise on the worst-case complexity of visibility structures on tins. The view that a person can have from a point on the surface of a tin can be very complex, since in the worst case thin obstacles in the foreground may appear to fragment many long terrain edges in the background into visible and invisible pieces. In our analysis we considered tins whose triangles have some well-defined properties that terrains in practice are expected to have. Although complex visibility structures can be induced on such tins as well, we proved formally that slight perturbations on the elevations of the tin vertex set will always get rid of the high complexity. Another key problem that is studied is to design efficient algorithms that compute flow-related structures on tins. So far it was known that, in the case of tins, drainage structures that were computed using a consistent flow-model could have high complexity for specific input instances. We managed to develop a mechanism that can extract important information on flow paths and other drainage structures without computing those structures explicitly. This mechanism can be used as a basis for designing a variety of efficient algorithms, such as for computing the area measure of drainage structures or for computing structures that represent the terrain topology. The last part of the presented work involves the implementation of a software package that computes drainage structures on tins. In this package flow is modelled as following strictly the direction of steepest descent on the tin surface. Existing software for related applications either constrain flow on the edge set of the tin, or use inexact arithmetic, both of which introduces imprecise and/or incorrect results in the output. Our implementation is the first one that, at the same time, follows a robust flow model and uses exact arithmetic. We have used this implementation as a point of reference for evaluating experimentally the quality of the output of other flow models which are used in many hydrological applications. We have also used our software for conducting experiments on extracting watersheds on imprecise tins, that is, tins where the elevation values of the vertices are not exactly defined but are subject to noise from some given interval. Based on the results of these experiments, we have designed a novel method for extracting watersheds on imprecise terrains that produces high quality output.

[1]  Herbert Edelsbrunner,et al.  Hierarchical Morse—Smale Complexes for Piecewise Linear 2-Manifolds , 2003, Discret. Comput. Geom..

[2]  Damiano Bolzoni,et al.  Revisiting Anomaly-based Network Intrusion Detection Systems , 2009 .

[3]  Hui Gao,et al.  Design and verification of lock-free parallel algorithms , 2005 .

[4]  B. Gebremichael-Tesfagiorgis,et al.  Expressivity of Timed Automata Models , 2006 .

[5]  M. Llobera Building Past Landscape Perception With GIS: Understanding Topographic Prominence , 2001 .

[6]  Ncwm Niels Braspenning Model-based integration and testing of high-tech multi-disciplinary systems , 2008 .

[7]  Joseph S. B. Mitchell,et al.  The Discrete Geodesic Problem , 1987, SIAM J. Comput..

[8]  Jan Ketil Rød,et al.  Visibility and Dominance Analysis: Assessing a High-Rise Building Project in Trondheim , 2009 .

[9]  T. D. Vu,et al.  Semantics and applications of process and program algebra , 2007 .

[10]  Olga Tveretina,et al.  A Decision Procedure for Equality Logic with Uninterpreted Functions , 2004, AISC.

[11]  M. Costa-Cabral,et al.  Digital Elevation Model Networks (DEMON): A model of flow over hillslopes for computation of contributing and dispersal areas , 1994 .

[12]  T. Sly,et al.  An application of Cumulative Viewshed Analysis to a medieval archaeological study: the beacon system of the Isle of Wight, United Kingdom , 2001 .

[13]  Mark de Berg,et al.  Exact and approximate computations of watersheds on triangulated terrains , 2011, GIS.

[14]  Aad Mathssen,et al.  Logical Calculi for Reasoning with Binding , 2008 .

[15]  Frédéric Chazal,et al.  Molecular shape analysis based upon the morse-smale complex and the connolly function , 2002, SCG '03.

[16]  R.S.S. O'Connor,et al.  Incompleteness & completeness : formalizing logic and analysis in type theory , 2005 .

[17]  Peter F. Fisher,et al.  Extending the applicability of viewsheds in landscape planning , 1996 .

[18]  Nicholas J. Lea,et al.  An Aspect-Driven Kinematic Routing Algorithm , 1992 .

[19]  AJ Arjan Mooij,et al.  Constructive formal methods and protocol standardization , 2006 .

[20]  Jörg-Rüdiger Sack,et al.  Shortest Anisotropic Paths on Terrains , 1999, ICALP.

[21]  Marcel Verhoef,et al.  Modeling and validating distributed embedded real-time control systems , 2009 .

[22]  Jason Fritts,et al.  Image Segmentation Using Topological Persistence , 2007, CAIP.

[23]  J. Ketema,et al.  Bohm-Like Trees for Rewriting , 2006 .

[24]  Arjen van Weelden,et al.  Putting Types To Good Use , 2007 .

[25]  Marcin Czenko,et al.  TuLiP : reshaping trust management , 2009 .

[26]  D. Tarboton A new method for the determination of flow directions and upslope areas in grid digital elevation models , 1997 .

[27]  O. Palacios-Velez,et al.  Automated river-course, ridge and basin delineation from digital elevation data , 1986 .

[28]  Carsten Steger Subpixel-precise extraction of watersheds , 1999, Proceedings of the Seventh IEEE International Conference on Computer Vision.

[29]  Michael McAllister A watershed algorithm for triangulated terrains , 1999, CCCG.

[30]  David R. Maidment,et al.  Developing a spatially distributed unit hydrograph by using GIS , 1993 .

[31]  Marc J. van Kreveld,et al.  On realistic terrains , 2006, SCG '06.

[32]  J. K. Berendsen,et al.  Abstraction, prices and probability in model checking timed automata , 2010 .

[33]  J. Fairfield,et al.  Drainage networks from grid digital elevation models , 1991 .

[34]  Igor L. Markov,et al.  Hypergraph Partitioning and Clustering , 2007, Handbook of Approximation Algorithms and Metaheuristics.

[35]  P. Zoeteweij,et al.  Composing constraint solvers , 2005 .

[36]  Alessandro Sperduti,et al.  Mining Structured Data , 2010, IEEE Computational Intelligence Magazine.

[37]  Ivan Kurtev Ivanov,et al.  Adaptability of model transformations , 2005 .

[38]  R. Colombo,et al.  Integration of remote sensing data and GIS for accurate mapping of flooded areas , 2002 .

[39]  Tim K. Cocx,et al.  Algorithmic tools for data-oriented law enforcement , 2009 .

[40]  Luc Vincent,et al.  Watersheds in Digital Spaces: An Efficient Algorithm Based on Immersion Simulations , 1991, IEEE Trans. Pattern Anal. Mach. Intell..

[41]  Bastiaan Stephan Graaf,et al.  Model-Driven Evolution of Software Architectures , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).

[42]  Ryan L. Saunders Terrainosaurus: realistic terrain synthesis using genetic algorithms , 2007 .

[43]  Robert M. Haralick,et al.  Topographic classification of digital image intensity surfaces using generalized splines and the discrete cosine transformation , 1984, Comput. Vis. Graph. Image Process..

[44]  M. T. de Berg,et al.  Multi-functional geometric data structures , 2003 .

[45]  S. Wechsler Uncertainties associated with digital elevation models for hydrologic applications: a review , 2006 .

[46]  Ichiro Hasuo,et al.  Tracing Anonymity with Coalgebras , 2008 .

[47]  M. G. van der Horst,et al.  Scalable block processing algorithms , 2008 .

[48]  Dmitri Jarnikov,et al.  QoS framework for video streaming in home networks , 2007 .

[49]  D. Mackay,et al.  Extraction and representation of nested catchment areas from digital elevation models in lake‐dominated topography , 1998 .

[50]  V. Sundramoorthy,et al.  At Home in Service Discovery , 2006 .

[51]  Christoph Stahl Accumulated Surfaces & Least-Cost Paths: GIS Modeling for Autonomous Ground Vehicle (AGV) Navigation , 2005 .

[52]  Mari Antonius Cornelis Dekker,et al.  Flexible Access Control for Dynamic Collaborative Environments , 2009 .

[53]  Christian Sohler,et al.  Extreme Points Under Random Noise , 2004, ESA.

[54]  B. J. Arnoldus,et al.  An illumination of the template enigma : software code generation with templates , 2011 .

[55]  Mark de Berg,et al.  Realistic Input Models for Geometric Algorithms , 2002, Algorithmica.

[56]  Jack Snoeyink,et al.  Flooding Triangulated Terrain , 2004, SDH.

[57]  Laura Brandán Briones,et al.  Theories for Model-based Testing: Real-time and Coverage , 2007 .

[58]  Jie Gao,et al.  Topological Data Processing for Distributed Sensor Networks with Morse-Smale Decomposition , 2009, IEEE INFOCOM 2009.

[59]  C. J. Boogerd,et al.  Focusing Automatic Code Inspections , 2010 .

[60]  Atze Dijkstra Stepping through Haskell , 2000 .

[61]  Boris Aronov,et al.  The Complexity of Bisectors and Voronoi Diagrams on Realistic Terrains , 2008, ESA.

[62]  Scw Bas Ploeger,et al.  Improved verification methods for concurrent systems , 2009 .

[63]  Yanjing Wang,et al.  Epistemic Modelling and Protocol Dynamics , 2010 .

[64]  Hasan Sözer,et al.  Architecting Fault-Tolerant Software Systems , 2009 .

[65]  de Ism Ivo Jong Integration and test strategies for complex manufacturing machines , 2008 .

[66]  John F. O'Callaghan,et al.  The extraction of drainage networks from digital elevation data , 1984, Comput. Vis. Graph. Image Process..

[67]  Mark de Berg,et al.  Implicit flow routing on terrains with applications to surface networks and drainage structures , 2011, SODA '11.

[68]  Andrew Danner,et al.  Bridge detection in grid terrains and improved drainage enforcement , 2010, GIS '10.

[69]  Siddhartha Chaudhuri,et al.  Smoothed analysis of probabilistic roadmaps , 2009, Comput. Geom..

[70]  J. Tison,et al.  Geometry, bed topography and drainage system structure of the Haut Glacier d'Arolla, Switzerland , 1993 .

[71]  Matt Duckham,et al.  GIS: A Computing Perspective, 2nd Edition , 1995 .

[72]  Friedhelm Meyer auf der Heide,et al.  Smoothed Motion Complexity , 2003, ESA.

[73]  Martijn van Veelen,et al.  Considerations on modeling for early detection of abnormalities in locally autonomous distributed systems , 2007 .

[74]  Eelco Dolstra,et al.  The purely functional software deployment model , 2006 .

[75]  R Ronald Ruimerman,et al.  Modeling and remodeling in bone tissue , 2005 .

[76]  Prosenjit Bose,et al.  The Complexity of Rivers in Triangulated Terrains , 1996, CCCG.

[77]  W E Higgins,et al.  Interactive morphological watershed analysis for 3D medical images. , 1993, Computerized medical imaging and graphics : the official journal of the Computerized Medical Imaging Society.

[78]  Mohammad Ali Abam New data structures and algorithms for mobile data , 2007 .

[79]  Ivan S. Zapreev Model checking Markov chains : techniques and tools , 2008 .

[80]  W. Bieniecki Oversegmentation avoidance in watershed-based algorithms for color images , 2004, Proceedings of the International Conference Modern Problems of Radio Engineering, Telecommunications and Computer Science, 2004..

[81]  Mark de Berg,et al.  On levels of detail in terrains , 1995, SCG '95.

[82]  David R. Maidment,et al.  Watershed delineation with triangle-based terrain models , 1990 .

[83]  E Elena Mumford,et al.  Drawing graphs for cartographic applications , 2008 .

[84]  Leila De Floriani,et al.  Morse-Smale Decompositions for Modeling Terrain Knowledge , 2005, COSIT.

[85]  Ana Sokolova,et al.  Coalgebraic analysis of probabilistic systems , 2005 .

[86]  J. Moore,et al.  Changes in geometry and subglacial drainage of Midre Lovénbreen, Svalbard, determined from digital elevation models , 2003 .

[87]  Alan K. Zundel,et al.  Risk Analysis Using Spatial Data in Flood Damage Reduction Studies , 2004 .

[88]  Erika Ábrahám,et al.  An Assertional Proof System for Multithreaded Java - Theory and Tool Support , 2005 .

[89]  K. Beven,et al.  THE PREDICTION OF HILLSLOPE FLOW PATHS FOR DISTRIBUTED HYDROLOGICAL MODELLING USING DIGITAL TERRAIN MODELS , 1991 .

[90]  Tomas Krilavicius,et al.  Hybrid Techniques for Hybrid Systems , 2006 .

[91]  Emmanuele Zambon,et al.  Towards optimal IT availability planning: methods and tools , 2011 .