Centre de documentation
scientifique

OCL for formal modelling of topological modelling constraints involving regions with broad boundaries / L. Bejaoui in Geoinformatica, vol 14 n° 3 (July 2010)  

Public [article]  inGeoinformatica > vol 14 n° 3 (July 2010) . - pp 353 - 378 Titre : OCL for formal modelling of topological modelling constraints involving regions with broad boundaries Type de document : Article/Communication Auteurs : L. Bejaoui, Auteur ; F. Pinet, Auteur ; Monique Schneider, Auteur Année de publication : 2010 Article en page(s) : pp 353 - 378 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées [Termes IGN] base de données localisées [Termes IGN] contrainte d'intégrité [Termes IGN] incertitude géométrique [Termes IGN] intégrité des données [Termes IGN] intégrité topologique [Termes IGN] limite indéterminée [Termes IGN] modèle topologique de données [Termes IGN] OCL Résumé : (Auteur) Integrity constraints can control topological relations of objects in spatial databases. These constraints can be modelled using formal languages such as the spatial extension of the Object Constraint Language (Spatial OCL). This language allows the expression of topological integrity constraints involving crisp spatial objects but it does not support constraints involving spatial objects with vague shapes (e.g. forest stand, pollution zone, valley or lake). In this paper, we propose an extension of Spatial OCL based on (1) a geometric model for objects with vague shapes, and (2) an adverbial approach for modelling topological constraints involving regions with broad boundaries. This new language provides an easiness in the formal modelling of these complex constraints. Our approach has been implemented in a code generator. A case study is also presented in the paper in the field of agriculture spreading activities. AOCL OVS takes account of the shape vagueness of spread parcel and improve spatial reasoning about them. Numéro de notice : A2010-105 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Article DOI : 10.1007/s10707-010-0104-5 Date de publication en ligne : 07/02/2010 En ligne : https://doi.org/10.1007/s10707-010-0104-5 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=30301 [article]

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
057-2010031	RAB	Revue	Centre de documentation	En réserve L003	Disponible

Modélisation de contraintes d'intégrité spatiales avec OCL / F. Pinet in Revue internationale de géomatique, vol 19 n° 1 (mars – mai 2009)  

Public [article]  inRevue internationale de géomatique > vol 19 n° 1 (mars – mai 2009) . - pp 93 - 122 Titre : Modélisation de contraintes d'intégrité spatiales avec OCL Type de document : Article/Communication Auteurs : F. Pinet, Auteur ; M. Duboisset, Auteur ; Monique Schneider, Auteur Année de publication : 2009 Article en page(s) : pp 93 - 122 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Bases de données localisées [Termes IGN] base de données localisées [Termes IGN] contrainte d'intégrité [Termes IGN] épandage [Termes IGN] OCL [Termes IGN] relation topologique [Termes IGN] SQL [Termes IGN] UML Résumé : (Auteur) Dans cet article, nous proposons des extensions spatiales du langage OCL (Object Constraint Language) associé à UML. L'objectif de ces extensions est de permettre d'exprimer de façon déclarative un éventail large de contraintes d'intégrité dans les bases de données spatiales. Nous explicitons plus particulièrement deux extensions pour exprimer des contraintes impliquant des régions spatiales ; la première est basée sur les relations topologiques du modèle des 9 intersections, et la seconde sur des relations topologiques qualifiées par des adverbes. Nous établissons alors l'équivalence de ces deux extensions en termes d'expressivité. Leur différence se situe au niveau de leur facilité d'utilisation. Nos propositions ont été intégrées dans un générateur de code OCL2SQL, qui permet de produire automatiquement, à partir de contraintes écrites en OCL, des mécanismes opérationnels de contrôle d'intégrité de bases de données spatiales. Nous présentons une étude de cas issue de l'expérimentation de la solution proposée sur un système d'information pour l'épandage agricole. Copyright Lavoisier Numéro de notice : A2009-082 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Article DOI : 10.3166/geo.19.93-122 En ligne : https://doi.org/10.3166/geo.19.93-122 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29712 [article]

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
047-09011	RAB	Revue	Centre de documentation	En réserve L003	Disponible
047-09012	RAB	Revue	Centre de documentation	En réserve L003	Disponible

Topological feature vectors for exploring topological relationships / R. Praing in International journal of geographical information science IJGIS, vol 23 n°3-4 (march - april 2009)  

Public [article]  inInternational journal of geographical information science IJGIS > vol 23 n°3-4 (march - april 2009) . - pp 319 - 353 Titre : Topological feature vectors for exploring topological relationships Type de document : Article/Communication Auteurs : R. Praing, Auteur ; Monique Schneider, Auteur Année de publication : 2009 Article en page(s) : pp 319 - 353 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Analyse spatiale [Termes IGN] détail topographique [Termes IGN] données vectorielles [Termes IGN] exploration de données géographiques [Termes IGN] primitive géométrique [Termes IGN] relation topologique Résumé : (Auteur) Topological relationships between spatial objects such as overlap, disjoint, and inside have for a long time been a focus of research in a number of disciplines like cognitive science, robotics, linguistics, artificial intelligence, and spatial reasoning. In particular as predicates, they support the design of suitable query languages for spatial data retrieval and analysis in spatial database systems and Geographic Information Systems. While conceptual aspects of topological predicates (like their definition and reasoning with them) as well as strategies for avoiding unnecessary or repetitive predicate evaluations (like predicate migration and spatial index structures) have been emphasized, the development of correct and efficient implementation techniques for them has been rather neglected. Recently, the design of topological predicates for different combinations of complex spatial data types has led to a large increase of their numbers and accentuated the need for their efficient implementation. The goal of this article is to develop efficient implementation techniques of topological predicates for all combinations of the complex spatial data types point2D, line2D, and region2D, as they have been specified by different authors and in different commercial and public domain software packages. Our solution is a two-phase approach. In the exploration phase, for a given scene of two spatial objects, all topological events like intersection and meeting situations are recorded in two precisely defined topological feature vectors (one for each argument object of a topological predicate) whose specifications are characteristic and unique for each combination of spatial data types. These vectors serve as input for the evaluation phase which analyzes the topological events and determines the Boolean result of a topological predicate or the kind of topological predicate. This paper puts an emphasis on the exploration phase and the definition of the topological feature vectors. In addition, it presents a straightforward evaluation method. Copyright Taylor & Francis Numéro de notice : A2009-153 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Article DOI : 10.1080/13658810802001305 En ligne : https://doi.org/10.1080/13658810802001305 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29783 [article]

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
079-09021	RAB	Revue	Centre de documentation	En réserve L003	Disponible
079-09022	RAB	Revue	Centre de documentation	En réserve L003	Disponible

Efficient implementation techniques for topological predicates on complex spatial objects / R. Praing in Geoinformatica, vol 12 n° 3 (September - November 2008)  

Public [article]  inGeoinformatica > vol 12 n° 3 (September - November 2008) . - pp 313 - 356 Titre : Efficient implementation techniques for topological predicates on complex spatial objects Type de document : Article/Communication Auteurs : R. Praing, Auteur ; Monique Schneider, Auteur Année de publication : 2008 Article en page(s) : pp 313 - 356 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées [Termes IGN] arbre de décision [Termes IGN] données vectorielles [Termes IGN] implémentation (informatique) [Termes IGN] matrice [Termes IGN] méthode robuste [Termes IGN] objet géographique complexe [Termes IGN] optimisation (mathématiques) [Termes IGN] prédicat [Termes IGN] relation topologique Résumé : (Auteur) Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of interdisciplinary research as in artificial intelligence, cognitive science, linguistics, robotics, and spatial reasoning. Especially as predicates, they support the design of suitable query languages for spatial data retrieval and analysis in spatial database systems and geographical information systems. While, to a large extent, conceptual aspects of topological predicates (like their definition and reasoning with them) as well as strategies for avoiding unnecessary or repetitive predicate executions (like predicate migration and spatial index structures) have been emphasized, the development of robust and efficient implementation techniques for them has been largely neglected. Especially the recent design of topological predicates for all combinations of complex spatial data types has resulted in a large increase of their numbers and stressed the importance of their efficient implementation. The goal of this article is to develop correct and efficient implementation techniques of topological predicates for all combinations of complex spatial data types including two-dimensional point, line, and region objects, as they have been specified by different authors and in different commercial and public domain software packages. Our solution consists of two phases. In the exploration phase, for a given scene of two spatial objects, all topological events like intersection and meeting situations are summarized in two precisely defined topological feature vectors (one for each argument object of a topological predicate) whose specifications are characteristic and unique for each combination of spatial data types. These vectors serve as input for the evaluation phase which analyzes the topological events and determines the Boolean result of a topological predicate (predicate verification) or the kind of topological predicate (predicate determination) by a formally defined method called nine-intersection matrix characterization. Besides this general evaluation method, the article presents an optimized method for predicate verification, called matrix thinning, and an optimized method for predicate determination, called minimum cost decision tree. The methods presented in this article are applicable to all known complete collections of mutually exclusive topological predicates that are formally based on the well known nine-intersection model. Copyright Springer Numéro de notice : A2008-283 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Article DOI : 10.1007/s10707-007-0035-y En ligne : https://doi.org/10.1007/s10707-007-0035-y Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=29276 [article]

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
057-08031	RAB	Revue	Centre de documentation	En réserve L003	Disponible

Zur Entwicklung von Bahntheorien / Enrico Mai (2008)

Public Titre : Zur Entwicklung von Bahntheorien : Methodik und Anwendung Titre original : [Sur le développement de l'orbitographie : méthodes et applications] Type de document : Monographie Auteurs : Enrico Mai, Auteur ; Monique Schneider, Auteur ; C. Cui, Auteur Editeur : Munich : Bayerische Akademie der Wissenschaften Année de publication : 2008 Collection : DGK - A Sous-collection : Theoretische Geodäsie num. 122 Importance : 140 p. Format : 21 x 30 cm ISBN/ISSN/EAN : 3-7696-8202-05 Note générale : Bibliographie Langues : Allemand (ger) Descripteur : [Vedettes matières IGN] Techniques orbitales [Termes IGN] orbite [Termes IGN] orbitographie [Termes IGN] satellite de positionnement Note de contenu : Vorwort Teil I Einleitung 1 Einfiihrung in die Aufgabenstellung 1.1 N-K6rper-Problem der Bahnbewegung 1.2 Zwei-Korper-Problem und Kepler-Problem 1.3 Erweitertes Zwei-Korper-Problem der Bahnbewegung 1.4 Gravitationspotential bzw. Kraftfunktionen fiir das erweiterte Zwei-Korper-Problem 1.5 Darstellungen in Hill-Variablen 2 Hauptprobleme in der Bahntheorie und Losungsstrategie fiir das erweiterte Zwei-Korper-Problem 2.1 Allgemeine Form der Bewegungsgleichungen . 2.2 Hauptproblem 3 Losbarkeit des Hauptproblems 3.1 Integrabilitat des Hauptproblems . 3.2 Integrable Naherungssysteme des Hauptproblems 4 Integrable Formen von Lelgemann und Cui . 4.1 Verallgemeinertes Hauptproblem in Hill-Variablen 4.2 Ein als integrables Naherungssystem zur Bahntheorie verwendbares integrables kanoni-sches System Teil II Quadratisch konvergente Losungsverfahren 5 Allgemeine Storungsrechnung basierend auf fast-identischen Transformationen 5.1 Bearbeitungen des Hauptproblems der Theorie der Satellitenbahnen . 5.2 Lie-Transformationen 5.3 Produkte von Lie-Transformationen 5.4 Abschatzungstheoreme fur kanonische Systems 6 Modifiziertes Cui-Verfahren 6.1 Aufgabenstellung 6.2 Vorbereitende Bemerkungen . 6.3 Schrittweise Konstruktion von IAS beliebiger Ordnung 7 Modifiziertes Kamel-Deprit-Verfahren v 7.1 Losungskonzept 7.2 Verweridung der Kamel-Gleichungen 7.3 fcte Transformation 7.4 Zusammenfassende Darstellung des Algorithmus 7.5 Methodischer Vergleich der vorgeschlagenen quadratisch konvergenten Verfahren Teil III Vom Hauptproblem zum Gesamtproblern 8 Hamiltonisierung des Gesamtproblems 8.1 Hamiltonisierung von Bewegungsgleichungen 1. Ordnung 8.2 Hamiltonisierung von Bewegungsgleichungen 2. Ordnung 8.3 Rekonstruktion der Hamilton-Funktion aus ihren partiellen Ableitungen 8.4 Zur Losung der Gleichungen im Allgemeinfall 8.5 Das inverse Problem der Newton'schen Mechanik 9 Linearisierung des Gesamtproblems 9.1 Poincare'sche Variationsgleichung 9.2 Encke-Linearisierung 9.3 Losung des linearisierten Gesamtproblems 10 Elimination von Storanteileri aus dem Gesamtproblem mit Hilfe fast-identischer Transformationer 10.1 Aufgabenstellung 10.2 Bedingung an die Transformation 10.3 Bestimmungsgleichungen fur die Koeffizientenfunktionen 10.4 Ubertragung auf Bewegungsgleichungen 1. Ordnung 10.5 Zusammenfassung und Ausblick Teil IV Anwendungen 11 Duffing-Oszillator . 11.1 Bewegungsgleichung 11.2 Losung nach der modifizierten Cui-Methode 11.3 Losung durch Elimination des Storanteils . 12 Satellitenbahntheorie (Skizze) 12.1 Anwendung des modifizierten Cui-Verfahrens auf das verallgemeinerte Hauptproblem . 12.2 Alternative Entwicklungen einer hochgenauen Bahntheorie 12.3 Offene fragen und Qualittät sbeuteilung der Lösungen Zusammenfassung und Ausblick Literaturverzeichnis Anhang 13 Details zum Duffing-Oszillator 13.1 Bekannte Losungen . 13.2 Losungen nach dem Eliminationsverfahren Danksagung Numéro de notice : 15366 Affiliation des auteurs : non IGN Thématique : IMAGERIE/POSITIONNEMENT Nature : Monographie Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=62706

Exemplaires(1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15366-01	21.10	Livre	Centre de documentation	Technologies spatiales	Disponible

Theoreme über Bewegungsintegrale und ihre Anwendung in Bahntheorien / Monique Schneider (2005)

Permalink

3. DFG-Rundgespräch zum thema Bezugssysteme / Monique Schneider (1999)

Permalink

Relativistic motion of gyroscopes and space gradiometry / E. Gill (1992)

Permalink

Satellitengeodäsie / Monique Schneider (1990)

Permalink

Anwendung der Hammersteinschen Methode der unendlich vielen Variablen auf Probleme der Satellitengeodäsie und Himmelsmechanik / Rudolf Sigl (1970)

Permalink

Messung der Lotschwankungen mit Vertikalpendeln in Freiberg/Sa. / Monique Schneider (1965)

Permalink