Data organization for routing on the multi-modal public transportation system: a GIS-T prototype of Hong Kong Island.

Yu Hongbo.Thesis (M.Phil.)--Chinese University of Hong Kong, 2001.Includes bibliographical references (leaves 130-138).Abstracts in English and Chinese.ABSTRACT IN ENGLISH --- p.i-iiABSTRACT IN CHINESE --- p.iiiACKNOWLEDGEMENTS --- p.iv-vTABLE OF CONTENTS --- p.vi-viiiLIST OF TABLES --- p.ixLIST OF FIGURES --- p.x-xiChapter CHAPTER I --- INTRODUCTIONChapter 1.1 --- Problem Statement --- p.1Chapter 1.2 --- Research Purpose --- p.5Chapter 1.3 --- Significance --- p.7Chapter 1.4 --- Methodology --- p.8Chapter 1.5 --- Outline of the Thesis --- p.9Chapter CHAPTER II --- LITERATURE REVIEWChapter 2.1 --- Introduction --- p.12Chapter 2.2 --- Origin of GIS --- p.12Chapter 2.3 --- Development of GIS-T --- p.15Chapter 2.4 --- Capabilities of GIS-T --- p.18Chapter 2.5 --- Structure of a GIS-T --- p.19Chapter 2.5.1 --- Data Models for GIS-T --- p.19Chapter 2.5.2 --- Relational DBMS and Dueker-Butler's Data Model for Transportation --- p.22Chapter 2.5.3 --- Objected-oriented Approach --- p.25Chapter 2.6 --- Main Techniques of GIS-T --- p.26Chapter 2.6.1 --- Linear Location Reference System --- p.26Chapter 2.6.2 --- Dynamic Segmentation --- p.27Chapter 2.6.3 --- Planar and Non-planar Networks --- p.28Chapter 2.6.4 --- Turn-table --- p.28Chapter 2.7 --- Algorithms for Finding Shortest Paths on a Network --- p.29Chapter 2.7.1 --- Overview of Routing Algorithms --- p.29Chapter 2.7.2 --- Dijkstra's Algorithm --- p.31Chapter 2.7.3 --- Routing Models for the Multi-modal Network --- p.32Chapter 2.8 --- Recent Researches on GIS Data Models for the Multi-modal Transportation System --- p.33Chapter 2.9 --- Main Software Packages for GIS-T --- p.36Chapter 2.10 --- Summary --- p.37Chapter CHAPTER III --- MODELING THE MULTI-MODAL PUBLIC TRANSPORTATION SYSTEMChapter 3.1 --- Introduction --- p.40Chapter 3.2 --- Elaborated Stages and Methods for GIS Modeling --- p.40Chapter 3.3 --- Application Domain: The Multi-modal Public Transportation System --- p.43Chapter 3.3.1 --- Definition of a Multi-modal Public Transportation System --- p.43Chapter 3.3.2 --- Descriptions of the Multi-modal Public transportation System --- p.44Chapter 3.3.3 --- Objective of the Modeling Work --- p.46Chapter 3.4 --- A Layer-cake Based Application Domain Model for the Multi- modal Public Transportation System --- p.46Chapter 3.5 --- A Conceptual Model for the Multi-modal Public Transportation System --- p.49Chapter 3.6 --- Logical and Physical Implementation of the Data Model for the Multi-modal Public Transportation System --- p.54Chapter 3.7 --- Criteria for Routing on the Multi-modal Public Transportation System --- p.57Chapter 3.7.1 --- Least-time Routing --- p.58Chapter 3.7.2 --- Least-fare Routing --- p.60Chapter 3.7.3 --- Least-transfer Routing --- p.60Chapter 3.8 --- Summary --- p.61Chapter CHAPTER IV --- DATA PREPARATION FOR THE STUDY AREAChapter 4.1 --- Introduction --- p.53Chapter 4.2 --- The Study Area: Hong Kong Island --- p.63Chapter 4.2.1 --- General Information of the Transportation System on Hong Kong Island --- p.63Chapter 4.2.2 --- Reasons for Choosing Hong Kong Island as the Study Area --- p.66Chapter 4.2.3 --- Mass Transit Routes Selected for the Prototype --- p.67Chapter 4.3 --- Data Source and Data Collection --- p.67Chapter 4.4 --- Geographical Data Preparation --- p.71Chapter 4.4.1 --- Data Conversion --- p.73Chapter 4.4.2 --- Geographical Data Input --- p.79Chapter 4.5 --- Attribute Data Input --- p.86Chapter 4.6 --- Summary --- p.88Chapter CHAPTER V --- IMPLEMENTATION OF THE PROTOTYPEChapter 5.1 --- Introduction --- p.89Chapter 5.2 --- Construction of the Route Service Network --- p.89Chapter 5.2.1 --- Generation of the Geographical Network --- p.90Chapter 5.2.2 --- Setting Attribute Data for the Route Service Network --- p.95Chapter 5.3 --- A GIS-T Prototype for the Study Area --- p.102Chapter 5.4 --- General GIS Functions of the Prototype --- p.104Chapter 5.4.1 --- Information Retrieve --- p.104Chapter 5.4.2 --- Display --- p.105Chapter 5.4.3 --- Data Query --- p.105Chapter 5.5 --- Routing in the Prototype --- p.105Chapter 5.5.1 --- Routing Procedure --- p.108Chapter 5.5.2 --- Examples and Results --- p.110Chapter 5.5.3 --- Comparison and Analysis --- p.113Chapter 5.6 --- Summary --- p.118Chapter CHAPTER VI --- CONCLUSIONChapter 6.1 --- Research Findings --- p.123Chapter 6.2 --- Research Limitations --- p.126Chapter 6.3 --- Direction of Further Studies --- p.128BIBLIOGRAPHY --- p.13

many sorted algebraic data models for gis

Although many GIS data models are available, a declarative, operational, well-defined, implementation-independent, and objectoriented language is lacking. Based on the theory of many sorted algebra, this work presents a family of geometric data models. Some geographical data models of urban information systems are illustrated using homomorphism. According to the results, the preferred characteristics of mixing declarative and operational statements, multiple representations, tight interdependency among objects, and integration of vector and raster based systems can be achieved through this mechanism. int. j. geographical information science. 1998. vol.12. no. 765-788. 1. many sorted algebraic data models for gis. feng-tyan lin. graduate institute of building & planning. national taiwan. university.. #1. sec

Methodische Aspekte der Generalisierung von Geodaten

Diese Arbeit stellt die Generalisierung in der Kartographie auf eine theoretische Grundlage im Zusammenhang mit mathematischen Strukturen. Ausgegangen wird von einem erfolgreich entwickelten Verfahren zur Modellgeneralisierung von Digitalen Landschaftsmodellen. Die Verallgemeinerung dieses Verfahrens ist wünschenswert, um auch andere Anwendungen von den Ergebnissen profitieren zu lassen. Gezeigt wird, dass in bestimmten Bereichen eine Verallgemeinerung des gesamten Verfahrens prinzipiell nicht zu erreichen ist. Um der Verallgemeinerung der Modellgeneralisierung dennoch näher zu kommen, wird das Problem der Generalisierung auf einer abstrakteren Ebene definiert. Das erste Ziel ist die Formalisierung der Generalisierungsziele. Hierbei wird auch die Formalisierung der Geodaten und des Generalisierungsvorganges angestrebt. Das zweite Ziel ist die Abstraktion und Verallgemeinerung der entwickelten Formalisierungen, um Gemeinsamkeiten zwischen verschiedenen Generalisierungsanwendungen zu finden. Das dritte Ziel ist die Erstellung von Bedingungen, die sich auf einzelne Komponenten der Geodaten beziehen. Die Erfüllung dieser Bedingungen ist Voraussetzung für eine Generalisierung mit korrekten und qualitativ hochwertigen Ergebnissen. Die Methodik stützt sich auf folgende Mittel: (1) Es wird ein Datenmodell entwickelt, das auf eine große Bandbreite unterschiedlicher Arten von Geodaten anwendbar ist. Zum einen ermöglicht es durch seine klare Strukturierung in Thematik, Topologie und Geometrie eine differenzierte Gruppierung der Formalisierungen. Zum anderen ermöglicht es eine Multirepräsentation von Geodaten in unterschiedlichen Auflösungen. (2) Die Generalisierung wird durch eine mathematische Funktion ausgedrückt, die aus der ungeneralisierten Menge von Geodaten auf die Menge der generalisierten Geodaten abbildet. Die Formulierung der Generalisierung als mathematische Funktion bildet die Grundlage für die Abstraktion der Generalisierung. (3) Die Generalisierungsfunktion wird als Morphismus formuliert. Dazu werden Eigenschaften auf den ungeneralisierten Daten identifiziert, die durch eine Generalisierung nicht verändert werden dürfen oder sollen. Diese Eigenschaften bilden Invarianzen der Generalisierung. Beispiele für invariante Eigenschaften sind die Zugehörigkeit zu Objektklassen, die topologische Adjazenz und Inzidenz, der Netzzusammenhang sowie die Flächendeckung. Die gefundenen invarianten Eigenschaften werden als Bedingungen formuliert, und zwar so, dass sie durch einen Rechner automatisch überprüfbar sind. Sie sind unabhängig von einer konkreten Generalisierungsanwendung, da sie abstrahiert und allgemein formuliert sind. Mit der abstrakten und formalisierten Erstellung von Bedingungen zu invarianten Eigenschaften der Generalisierung leistet diese Arbeit einen Beitrag zur bedingungsbasierten Modellierung der Generalisierung. Mit der Anwendung auf reale Daten wird die Praktikabilität der entwickelten Formalisierungen, Abstraktionen und Verallgemeinerungen gezeigt. Die Anwendung geschieht auf Basis der Implementation des eingangs erwähnten Verfahrens zur Modellgeneralisierung. An Hand von zwei weiteren Anwendungsbeispielen - der Generalisierung von geologischen Karten und der Generalisierung von Straßenkarten - wird gezeigt, wie die abstrahiert formulierten Bedingungen der Invarianzen auf andere Generalisierungsanwendungen übertragen werden können.Methodological Aspects of the Generalisation of Spatial Data This thesis establishes a theoretical framework for the generalisation in cartography in the context of mathematical structures. The starting point is a procedure of model generalisation developed for digital landscape models that has been successfully implemented. A more general procedure that lets other generalisation applications benefit from the results would be desirable. It is shown that for some aspects it's impossible to generate a most general level of this procedure. To bypass this problem, an attempt is made to approximate a general level by defining the task of model generalisation in a more abstract way. The first aim of this thesis is the formalisation of the goals of generalisation. Subordinate objectives are the formalisation of the spatial data and the formalisation of the generalisation process. The second aim is the abstraction of the formalisations developed and the identification of analogies that hold between different generalisation applications. The third aim is to establish constraints. These constraints concern different components of spatial data. The satisfaction of these constraints is a prerequisite for a generalisation that leads to correct and high quality results. The following methods are used to reach these aims: (1) A data model is developed which is applicable to a large variety of different types of spatial data. It makes possible a differentiation of the formalisations by a clear classification of the spatial data into thematic, topological and geometrical elements. It also supports multiple representations of spatial data in different resolutions. (2) The generalisation is expressed by a mathematical function that maps an ungeneralised set of spatial data onto a generalised set of spatial data. The formulation as a mathematical function provides the basis for the abstraction of the generalisation. (3) The generalisation function is formulated as a morphism. For this purpose invariant properties of the sets of spatial data are identified. They must---or at least should---be preserved within the generalisation process. These properties function as the invariant parts of the generalisation. Examples of such invariants are: Membership of object classes, topological adjacency and incidence, net connectivity and area coverage. The identified invariants are formulated as constraints in such a way that they can be verified automatically by a computer. They are independent of the specification of a generalisation application because they are abstracted and formalised in a general way. With the abstracted and formalised constraints of invariant properties this thesis makes a contribution to the constrained-based modelling of generalisation. The practicability of the developed formalisations and abstractions is shown by applying them to real data. Here the above mentioned procedure of model generalisation of digital landscape models is used. Two further examples---the generalisation of geological maps and the generalisation of road maps---show how the abstractly formulated constraints can be adapted to other generalisation applications