33896540
A Triangulated Spatial Model for Cartographic Generalisation of Areal Objects
Cartographic generalisation involves interaction between individual operators concerned with processes such as object elimination, detail reductions amalgamation, typification and displacement. Effective automation of these processes requires a means of maintaining knowledge of the spatial relationships between map objects in order to ensure that constraints of topology and of proximity are obeyed in the course of the individual generalisation transformations. Triangulated spatial models, based on the constrained Delaunay triangulation, have proven to be of particular value in representing the proximal and topological relations between map objects and hence in performing many of the essential tasks of fully automated cartographic generalisation. These include the identification of nearby objects; determination of the structure of space between nearby objects; execution of boundary simplification, merge and collapse operations; and the detection and resolution, by displacement, of topological inconsistencies arising from individual operators. In this paper we focus on the use of a triangulated model for operations specific to execution of merge operations between areal objects. The model is exploited to identify the regions of space between nearby objects and to execute merge operations in which the triangulation is used variously to adopt intervening space and to move adjacent rectangular objects to touch each other. Methods for updating the triangulation are described.
13190855
Conflict resolution in cartographic name placement
Abstract The increasing application of computer cartography in geographical information systems and in professional map production has highlighted the requirement for automatic positioning of cartographic text in a manner that ensures legibility. An important aspect of the implementation of automated name placement is the avoidance of conflict, in particular due to overlap between names, and between names and map features. This paper reviews the automated strategies that have been adopted for conflict resolution. The majority of these may be classified as either iterative or graph-search procedures. In general the problem may be seen as one in which initially trial positions are generated for each of a selected set of names. These trial positions should obey rules relating to text characteristics and to the relationships between names and other map features. Conflict resolution then consists in finding, for each name, a trial position that obeys the cartographic rules governing the relationships between names.
205571678
A Prolog Rule-Based System for Cartographic Name Placement
Manual name placement is an extremely time consuming task and has been one of the most difficult aspects of the map production process to automate. It is complicated by the large number of rules required for the selection and placement of names. A hybrid Prolog/Fortrau rule-based system is described for placing names on a variety of map types. It uses a set of Prolog primitives for spatial search and name placement operations. The Ordnance Survey's 1:625000 scale digital dataset has been used to illustrate the application of rules for the selection of labels as well as for controlling their size and orientation. The application to other types of maps and diagrams is also briefly described.
7423994
Computational Perspectives on Map Generalization
12540236
Map generalization in the Web age
Geographic information represents our understanding of the association of phenomena with their location on and near the Earth’s surface. When presented in map form, an essential aspect of that information is that it may be adapted in semantic abstraction and level of geometric detail according to the purpose of the map and the extent of the Earth that is being considered at any one time. Representations of small areas in detail result in so-called large-scale maps, while representations of large regions in lesser detail are referred to as small-scale maps. Traditionally, cartographers have performed the task of adapting the content and the level of detail of a map to suit its scale and purpose, and this process is called map generalization. The widespread use of geographic information in computers in the context of geographical information systems (GIS) has brought with it the demand for automation of map generalization. Ideally, when accessing geographic information in a GIS, it would be possible to be able to modify the level of generalization of the available geo-data entirely automatically. At present, no such automatic facilities are readily available in commercial GIS. Some commercial GIS do provide mapgeneralization tools that the user may apply in a somewhat ad hoc manner to selected geometric data. These tools appear, however, to be targeted at cartographic specialists wanting to derive a generalized dataset from a more detailed one. There are some notable examples of the way in which automated map-generalization tools have been exploited for purposes of professional map production. For example, the Institut Géographique National of France have used GALBE (this issue) to generalize the entire French road network to produce 1 : 250 000 scale maps from their BDCarto database (approximately 1 :50 000). More recently, the demand for automated map generalization, which has been longstanding in the context of conventional GIS, has been reinforced by the prevalence of geographical information access on the Internet. There are several types of public access map-based Web sites that allow a user to zoom in and out of a particular region, but at present this is usually based on stepping between independent pre-generalized datasets which may differ markedly in their degree of generalization. It would be desirable to be able to change the level of detail on such systems in a smooth and progressive manner rather than the quantum-leap changes that often characterize the current approach. Hand-held computers and mobile phones with small screens can now support the display of small maps, but the size
42189866
Episodes in Space: Qualitative Representation and Reasoning Over Spatio-Temporal Objects
There is growing interest in many application domains for the temporal treatment and manipulation of spatially referenced objects. Handling the time dimension in spatial databases can greatly enhance and extend their functionality and usability by offering means of understanding the spatial behaviour in time. Few works, to date, have been directed towards the development of formalisms for representation and reasoning in this domain. In this paper, a new approach is presented for the representation and reasoning over spatio-temporal relationships. The approach is simple and aims to satisfy the requirements of coherency, expressiveness and reasoning power. Consistent behaviours of spatial objects in time are denoted episodes. The topology of the domain is defined by decomposing episodes into representative components and relationships are defined between those components. Spatio-temporal reasoning is achieved by composing the relationships between the object components using constraint networks. New composition tables between simple spatio-temporal regions and between regions and volumes are also derived and used in the reasoning process.
7190198
Reasoning About Partial Functions in the Formal Development of Programs
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a number of approaches which cover up the fact that ''First Order Predicate Calculus'' does not handle undefined logical values. There is also at least one specific ''Logic of Partial Functions'' (LPF) which tackles the issue at its root by using a weaker logic. Recently, we have come to realise that LPF fits a particular way of developing programs. This paper explains why LPF is a suitable logic for ''posit and prove'' development and explores some problems that other approaches present.
16447462
Accommodating interference in the formal design of concurrent object-based programs
This paper is about formal development methods for concurrent programs. Interference is the bane of the quest for compositional methods for concurrency. Concepts from object-oriented languages are argued to be a promising way of taming interference. Two approaches to development are described which are applicable to differing degrees of interference.
26474395
Granularity and the development of concurrent programs
Abstract Interference is what makes the design of concurrent programs difficult. In the case of shared-variables, interference manifests itself as state changes; but the issue of interference is also present with communication-based concurrency. In order to reason about interfering programs it is necessary to assume something about the granularity of the steps of the processes concerned. Many development methods circumvent this difficulty by fixing which statement types are atomic. It can be argued that this is unfortunate and is likely to result in programs which are inefficient (in a particular way). This extended abstract shows how development methods based on rely/guarantee-conditions avoid a commitment to a fixed notion of atomicity and suggests that concurrent object-oriented languages are good targets for such a development method.
15085447
A Formal Basis for Some Dependability Notions
This paper shows how formal methods ideas can be used to clarify basic notions used in the field of dependability. Central to this endeavour is fixing a notion of system. Relationships between systems are also considered: in particular, the importance of the situation where one system is generated by another (possibly human) system is explored. The formalisation is used as a basis for definitions of the notions of fault, error and failure. Some applications to examples from the dependability literature and extensions of the basic model of system are also sketched.
26904654
Investigating Atomicity and Observability