Region Connection Calculus: Composition Tables and Constraint Satisfaction Problems

Qualitative spatial reasoning (QSR) is an important field of AI that deals with qualitative aspects of spatial entities. Regions and their relationships are described in qualitative terms instead of numerical values. This approach models human based reasoning about such entities closer than other approaches. Any relationships between regions that we encounter in our daily life situations are normally formulated in natural language. For example, one can outline one's room plan to an expert by indicating which rooms should be connected to each other. Mereotopology as an area of QSR combines mereology, topology and algebraic methods. As mereotopology plays an important role in region based theories of space, our focus is on one of the most widely referenced formalisms for QSR, the region connection calculus (RCC). RCC is a first order theory based on a primitive connectedness relation, which is a binary symmetric relation satisfying some additional properties. By using this relation we can define a set of basic binary relations which have the property of being jointly exhaustive and pairwise disjoint (JEPD), which means that between any two spatial entities exactly one of the basic relations hold. Basic reasoning can now be done by using the composition operation on relations whose results are stored in a composition table. Relation algebras (RAs) have become a main entity for spatial reasoning in the area of QSR. These algebras are based on equational reasoning which can be used to derive further relations between regions in a certain situation. Any of those algebras describe the relation between regions up to a certain degree of detail. In this thesis we will use the method of splitting atoms in a RA in order to reproduce known algebras such as RCC15 and RCC25 systematically and to generate new algebras, and hence a more detailed description of regions, beyond RCC25.

A qualitive reasoning approach for improving query results for sketch based queries by topological analysis of spatial aggregation

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Generating Relation Algebras for Qualitative Spatial Reasoning

Basic relationships between certain regions of space are formulated in natural language in everyday situations. For example, a customer specifies the outline of his future home to the architect by indicating which rooms should be close to each other. Qualitative spatial reasoning as an area of artificial intelligence tries to develop a theory of space based on similar notions. In formal ontology and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries between parts. We shall introduce abstract relation algebras and present their structural properties as well as their connection to algebras of binary relations. This will be followed by details of the expressiveness of algebras of relations for region based models. Mereotopology has been the main basis for most region based theories of space. Since its earliest inception many theories have been proposed for mereotopology in artificial intelligence among which Region Connection Calculus is most prominent. The expressiveness of the region connection calculus in relational logic is far greater than its original eight base relations might suggest. In the thesis we formulate ways to automatically generate representable relation algebras using spatial data based on region connection calculus. The generation of new algebras is a two pronged approach involving splitting of existing relations to form new algebras and refinement of such newly generated algebras. We present an implementation of a system for automating aforementioned steps and provide an effective and convenient interface to define new spatial relations and generate representable relational algebras.

Framework development for providing accessibility to qualitative spatial calculi

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Preemption delay analysis for floating non-preemptive region scheduling

In real-time systems, there are two distinct trends for scheduling task sets on unicore systems: non-preemptive and preemptive scheduling. Non-preemptive scheduling is obviously not subject to any preemption delay but its schedulability may be quite poor, whereas fully preemptive scheduling is subject to preemption delay, but benefits from a higher flexibility in the scheduling decisions. The time-delay involved by task preemptions is a major source of pessimism in the analysis of the task Worst-Case Execution Time (WCET) in real-time systems. Preemptive scheduling policies including non-preemptive regions are a hybrid solution between non-preemptive and fully preemptive scheduling paradigms, which enables to conjugate both world's benefits. In this paper, we exploit the connection between the progression of a task in its operations, and the knowledge of the preemption delays as a function of its progression. The pessimism in the preemption delay estimation is then reduced in comparison to state of the art methods, due to the increase in information available in the analysis.

Phlebotominae (Diptera: Psycodidae) fauna in the Chaco region and Cutaneous Leishmaniasis transmission patterns in Argentina

In Argentina, the incidence of American Cutaneous Leishmaniasis (ACL) has shown a steady increase over the last few decades. In the Chaco biogeographical region, specifically, several outbreaks of ACL were recently reported in addition to the usual time-space scattering of ACL cases. However, little is known about the sandfly composition in the eastern, humid Chaco (HC) region or the western, dry Chaco (DC) region. Therefore, phlebotomine captures were performed throughout this region and an analysis of the distribution of reported ACL cases was conducted in order to assess the vector diversity in ACL endemic and epidemic scenarios in the Chaco region. The results support the hypothesis of two distinct patterns: (1) the DC, where Lutzomyia migonei was the most prevalent species, had isolated ACL cases and a zoonotic cycle; (2) the HC, where Lutzomyia neivai was the most prevalent species, had an increase in ACL incidence and outbreaks and an anthropozoonotic cycle. The epidemic risk in the Chaco region may be associated with the current climate trends, landscape modification, connection with other ACL foci, and Lu. neivai predominance and abundance. Therefore, changes in sandfly population diversity and density in the Chaco region are an indicator of emergent epidemic risk in sentinel capture sites.

The oldest Triassic platform margin reef from the Alpine - Carpathian region (Aggtelek, NE Hungary): platform evolution, reefal biota and biostratigraphic framework

The 1:10,000 scale mapping of the southern part of the Aggtelek Plateau (Western Carpathians, Silica Nappe, NE Hungary) and the study of five sections revealed two Middle Triassic reef bodies. In the late Pelsonian the uniform Steinalm Platform was drowned and dissected due to the Reifling Event. A connection with the open sea was established, indicated by the appearance of gladigondolellid conodonts from the early Illyrian. Basins and highs were formed. In the NW part of the studied area lower - middle? Illyrian basinal carbonates were followed by a platform margin reef (early? - middle Illyrian; reef stage 1) developed on a morphological high. This is the oldest known Triassic platform margin reef within the Alpine-Carpathian region. The reef association is dominated by sphinctozoans and microproblematics. The fossils are characteristic of the Wetterstein - type reef communities. Differently from this in the SE part of the studied region a basin existed from the late Pelsonian until the early Ladinian. During the late Illyrian - early Ladinian, the reef prograded to the SE, and reef stage 2 was established. Meanwhile, on the NW part of the platform a lagoon was formed behind the reef. Based on our palaeontological study the stratigraphic range of Colospongia catenulata, Follicatena cautica, Solenolmia manon manon, Vesicocaulis oenipontanus must be extended down to the middle Illyrian. Synsedimentary tectonics were detected in the 1. Binodosus Subzone, 2. Trinodosus Zone - the most part of the Reitzi Zone, 3. Avisianum Subzone.

Optimization of multiclass queueing networks with changeover times via the achievable region approach: Part I, the single-station case

We address the performance optimization problem in a single-stationmulticlass queueing network with changeover times by means of theachievable region approach. This approach seeks to obtainperformance bounds and scheduling policies from the solution of amathematical program over a relaxation of the system's performanceregion. Relaxed formulations (including linear, convex, nonconvexand positive semidefinite constraints) of this region are developedby formulating equilibrium relations satisfied by the system, withthe help of Palm calculus. Our contributions include: (1) newconstraints formulating equilibrium relations on server dynamics;(2) a flow conservation interpretation of the constraintspreviously derived by the potential function method; (3) newpositive semidefinite constraints; (4) new work decomposition lawsfor single-station multiclass queueing networks, which yield newconvex constraints; (5) a unified buffer occupancy method ofperformance analysis obtained from the constraints; (6) heuristicscheduling policies from the solution of the relaxations.

Integrating eco-innovation principles into regional strategy and policy: case of Päijät-Häme region, Finland

This study focuses on the integration of eco-innovation principles into strategy and policy at the regional level. The importance of regions as a level for integrating eco-innovative programs and activities served as the point of interest for this study. Eco-innovative activities and technologies are seen as means to meet sustainable development objective of improving regions’ quality of life. This study is conducted to get an in-depth understanding and learning about eco-innovation at regional level, and to know the basic concepts that are important in integrating eco-innovation principles into regional policy. Other specific objectives of this study are to know how eco-innovation are developed and practiced in the regions of the EU, and to analyze the main characteristic features of an eco-innovation model that is specifically developed at Päijät-Häme Region in Finland. Paijät-Häme Region is noted for its successful eco-innovation strategies and programs, hence, taken as casework in this study. Both primary (interviews) and secondary data (publicly available documents) are utilized in this study. The study shows that eco-innovation plays an important role in regional strategy as reviewed based on the experience of other regions in the EU. This is because of its localized nature which makes it easier to facilitate in a regional setting. Since regional authorities and policy-makers are normally focused on solving its localized environmental problems, eco-innovation principles can easily be integrated into regional strategy. The case study highlights Päijät-Häme Region’s eco-innovation strategies and projects which are characterized by strong connection of knowledge-producing institutions. Policy instruments supporting eco-innovation (e.g. environmental technologies) are very much focused on clean technologies, hence, justifying the formation of cleantech clusters and business parks in Päijät-Häme Region. A newly conceptualized SAMPO model of eco-innovation has been developed in Päijät-Häme Region to better capture the region’s characteristics and to eventually replace the current model employed by the Päijät-Häme Regional Authority. The SAMPO model is still under construction, however, review of its principles points to some of its three important spearheads – practice-based innovation, design (eco-design) and clean technology or environmental technology (environment).

Local Hadley circulation over the Asian monsoon region associated with the Tropospheric Biennial Oscillation

The Tropospheric Biennial Oscillation (TBO), a major interannual variation phenomenon in the Indo-Pacific region, is the result of strong ocean-atmosphere coupling over the Asian-Australian monsoon area. Along with other meteorological and oceanographic parameters, the tropical circulation also exhibits interannual oscillations. Even though the TBO is the result of strong air–sea interaction, the circulation cells during TBO years are, as yet, not well understood. In the present study, an attempt has been made to understand the interannual variability of the mean meridional circulation and local monsoon circulation over south Asia in connection with the TBO. The stream function computed from the zonal mean meridional wind component of NCEP=NCAR reanalysis data for the years 1950–2003 is used to represent the meanmeridional circulation. Mean meridional mass transport in the topics reverses from a weak monsoon to a strong monsoon in the presence of ENSO, but in normal TBO yearsmean transport remains weak across the Northern Hemisphere. The meridional temperature gradient, which drives the mean meridional circulation, also shows no reversal during the normal TBO cycle. The local Hadley circulation over the monsoon area follows the TBO cycle with anomalous ascent (descent) in strong (weak) monsoon years. During normal TBO years, the Equatorial region and Indian monsoon areas exhibit opposite local Hadley circulation anomalies

Periodic auroral events at the high-latitude convection reversal in the 16 MLT region

Combined optical and radar observations of two breakup-like auroral events near the polar cap boundary, within 74–76° MLAT and 1210 – 1240 UT (roughly 1540 – 1610 MLT) on 9 Jan. 1989 are reported. A two-component structure of the auroral phenomenon is indicated, with a local intensification of the pre-existing arc as well as a separate, tailward moving discrete auroral event on the poleward side of the background aurora, close to the reversal between well-defined zones of sunward and tailward ion flows. The all-sky TV observations do not indicate a connection between the two components, which also show different optical spectral composition. The 16 MLT background arc is located on sunward convecting field lines, as opposed to the 12–14 MLT auroral emission observed on this day. Although the magnetospheric plasma source (s) of the 16 MLT events are not easily identified from these ground-based data alone, it is suggested that the lower and higher latitude components, may map to the plasma sheet boundary layer and along open field lines to the magnetopause boundary, respectively. The events occur at the time of enhancements of westward ionospheric ion flow and corresponding eastward electrojet current south of 74° MLAT. Thus, they seem to be very significant events, involving periodic (10 min period), tailward moving filaments of field-aligned current/discrete auroral emission at the 16 MLT polar cap boundary.

Can agroforest woodlots work as stepping stones for birds in the Atlantic forest region?

In fragmented landscapes, agroforest woodlots can potentially act as stepping stones facilitating movement between forest fragments. We assessed the influence of agroforest woodlots on bird distribution and diversity in the Atlantic forest region (SE Brazil), and also tested which categories of species can use different types of connection elements, and whether this use is influenced by the distance to large forest patches. We studied two fragmented landscapes, with and without stepping stones linking large fragments, and one forested landscape. Using a point count, a bird survey was undertaken in the fragmented landscapes in five different elements: large remnants (> 400 ha), agroforest woodlots (0.4-1.1 ha), small patches (0.5-7 ha), riparian corridor, and pasture areas (the main matrix). Generalist and open-area species were commonly observed in the agroforest system or other connection elements, whereas only a few forest species were present in these connections. For the latter species, the distance of woodlots to large patches was essential to determine their richness and abundance. Based on our results and data from literature, we suggest that there is an optimal relationship between the permeability of the matrix and the efficiency of stepping stones, which occurs at intermediate degrees of matrix resistance, and is species-dependent. Because the presence of agroforest system favors a higher richness of generalist species, they appeared to be more advantageous for conservation than the monoculture system; for this reason, they should be considered as a management alternative, particularly when the matrix permeability requirement is met.

Outer Trust-Region Method for Constrained Optimization

Given an algorithm A for solving some mathematical problem based on the iterative solution of simpler subproblems, an outer trust-region (OTR) modification of A is the result of adding a trust-region constraint to each subproblem. The trust-region size is adaptively updated according to the behavior of crucial variables. The new subproblems should not be more complex than the original ones, and the convergence properties of the OTR algorithm should be the same as those of Algorithm A. In the present work, the OTR approach is exploited in connection with the ""greediness phenomenon"" of nonlinear programming. Convergence results for an OTR version of an augmented Lagrangian method for nonconvex constrained optimization are proved, and numerical experiments are presented.

Leading particle effect, inelasticity, and the connection between average multiplicities in e+e- and pp processes

The Regge-Mueller formalism is used to describe the inclusive spectrum of the proton in pp collisions. From such a description the energy dependences of both average inelasticity and leading proton multiplicity are calculated. These quantities are then used to establish the connection between the average charged particle multiplicities measured in e+e- and pp/p̄p processes. The description obtained for the leading proton cross section implies that Feynman scaling is strongly violated only at the extreme values of xF, that is at the central region (xF≈0) and at the diffraction region (XF≈1), while it is approximately observed in the intermediate region of the spectrum. ©1999 The American Physical Society.

Phytoplankton community response to hydrological variations in oxbow lakes with different levels of connection to a tropical river

Changes to the structure of the phytoplankton community and to the physical and chemical variables of the water were investigated in oxbow lakes with different levels of connection to a tropical river and subject to annual hydrological pulse variations. The selected lentic environments are located at the mouth region of the main tributary in a reservoir built for water storage and electric power generation. The temporal variation of phytoplankton in the studied lentic environments can be attributed mainly to the hydrological level of the river. A similar variation pattern of the ecological attributes was observed in the structure of the phytoplankton community in the connected lakes and Paranapanema River, evidencing the high degree of association that the lacustrine systems maintain with the river. The highest values of richness and diversity for connected environments were observed at the end of the emptying period and in the drought. However, considering the isolated lake, the highest values of these attributes were recorded during the flooding period. © 2013 Springer Science+Business Media Dordrecht.