Research On The Cardinal Direction Relation And Consistency Of Constraints Set

Cardinal direction relation as one of the most basic spatial relationships in spatial reasoning,Geographic Information Systems and Computer Vision with important applications in such areas,which in spatial query,Spatial Databases Modeling,such as the process plays a crucial role.Cardinal direction relation reflects spatial objects the relative position of the relationship.At the basic study on the relationship between cardinal direction relation bearings has been a lot of models are proposed,the adoption of these models to the existing analysis and summary can be found there the following questions:(1) Has not yet formed a unified expression of the model of the cardinal direction relation and Formal Description Methods,are confined to their proposed model of analysis and discussion;(2)Expression and reasoning is not strong,such as the SK model at Skiadopoulos reasoning the results of reasoning with the information to gradually weaken and can not be bound to determine the consistency problem sets;(3) Existing models it is very difficult in the computer set up on the relevant model of practical application.In this paper,the regions of space around the cardinal direction relation of the formal expression of relations between the methods of the study and discussion.First of all, summed up the cardinal direction relation of these years of research results,and the status quo analyzed.Skiadopoulos then analyzed and summarized the cardinal direction relation of research,SK model for its problems in this paper,interval algebra,rectangular algebra relevant knowledge and MBR model,and then put forward the R-MBR model,the solution of the SK model the existence questions,we looked at R-MBR model the nature and associated inference.R-MBR-based model,give us a direction to solve the main problem in relations between the basic reasoning orientation relationship between the main complex algorithms and calculations are consistent sets of known binding constraint set to determine the consistency algorithm.In this paper,the main work,research ideas and research results are as follows:(1) Introduction this paper studies the basic background and significance,summed up the inter-object spatial relations in recent years,some research work,on the basis of its research on the status quo analyzed.(2) This article details the research work involved theoretical basis. Relations of space interval algebra,algebra and rectangular correlation exist between the two contact mbr model and a more detailed introduction,but also on Skiadopoulos et al study on the cardinal direction relation summarized.(3) Put forward a new basic model express the basic cardinal direction relation R-MBR model.Inter-regional boundaries in order to solve the problem and Reasoning in the integrity of the transmission of information,can be unified in order to express the main directions of basic inter-regional relations,taking into account the accuracy of expression,we Skiadopoulos et al basic idea of the SK model,the combination of Allen interval algebra and rectangular algebra-related knowledge,the R-MBR model.And the formal definition of the R-MBR model,give results related to the nature and reasoning.And give an example of SK model and R-MBR model comparison,the R-MBR be able to resolve the border issue and transmission in the binding process does not produce messages incomplete,and its strong expression in the SK model.(4) The use of R-MBR model of the basic cardinal direction relation between the relevant reasoning,pass in the region of space and multi-chip-chip classification,the basic relationship between the main direction of the compound into:basic master-chip and chip position the basic relationship between the main direction of the composite;monolithic fundamental relationship between the main bearings and main bearings basic relations compound;the basic relationship between the main bearings and main bearings basic relations compound.Finally give R-MBR-based model of the basic relationship between the main bearings between the composite algorithm,and describe its method of expression than Skiadopoulos force stronger and more accurate.(5) The use of R-MBR model solved the SK model can not solve the basic relationship between the main direction of the compatibility problem between the given constraint set to determine whether the CSCD algorithm,and give relevant examples of the algorithm description.(6) Design and implementation,respectively,the basic relationship between the main bearings between the composite reasoning and constraint set to determine the consistency of the demonstration system,which results of the theoretical demonstration of some of the conclusions was further authentication.The use of the system development tools are Microsoft.NET Framework 2.0, Microsoft Visual Studio 2005 and SQL Server 2005 Express Edition;development language for object-oriented language C#.At the basis of the traditional architecture on the MVC architecture,the architecture through the use of the system interface and the logic of good sub-decoupling.The system can realize the one under the Importation of the basic relationship between the main direction of its phase composite obtained the results;the given bound set,the system can determine its implementation are consistent.Calculated separately in Chapter 4 the basic relationship between the composite and the main directions in Chapter 5 to determine the consistency constraint set.Through the system demonstration,we validate the R-MBR model in the expression of the basic relationship between the main bearings complex,bound set to determine the consistency and practical application of the advantages of programming,its basic relationship between the expression of the main position is more accurate to express strong in the SK model.This paper studied regional relations limited to the basic relationship between the main bearings.Skiadopoulos through improvements in the SK model and combination of interval algebra and rectangular algebra knowledge,and then raised by R-MBR model can more accurately and comprehensively describe the basic inter-relationship between the main bearings and the reasoning methods Skiadopoulos overcome with the information at transmission of in-depth weakened gradually emerged from happening,but also solved the Skiadopoulos method can not determine the set of known constraints of the problem is consistent.The model is easy to carry out the reasoning on math expression and easy on the computer related applications.R-MBR-based model of the basic relationship between the main bearings between the composite algorithm can solve very good inter-regional relations position at the compound and conducted a demonstration of the system applications,a very good solution to the basic relationship between the main bearings problem composite; based on R -MBR model consistency constraint set to determine Skiadopoulos algorithm can solve the problem of the method can not be solved at demos and application systems.In this paper,the research work can be applied to spatial reasoning,spatial query language, geographic information systems in areas such as object orientation relationship between the main express and analysis,has a certain theoretical significance and application value.