Détail de l'auteur
Auteur Monique Schneider |
Documents disponibles écrits par cet auteur (11)
Ajouter le résultat dans votre panier Affiner la recherche Interroger des sources externesOCL for formal modelling of topological modelling constraints involving regions with broad boundaries / L. Bejaoui in Geoinformatica, vol 14 n° 3 (July 2010)
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] OCLRé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
in Geoinformatica > vol 14 n° 3 (July 2010) . - pp 353 - 378[article]Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 057-2010031 RAB Revue Centre de documentation En réserve L003 Disponible
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] UMLRé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
in Revue internationale de géomatique > vol 19 n° 1 (mars – mai 2009) . - pp 93 - 122[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
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 topologiqueRé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
in International journal of geographical information science IJGIS > vol 23 n°3-4 (march - april 2009) . - pp 319 - 353[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
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 topologiqueRé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
in Geoinformatica > vol 12 n° 3 (September - November 2008) . - pp 313 - 356[article]Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 057-08031 RAB Revue Centre de documentation En réserve L003 Disponible
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 positionnementNote 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
DanksagungNumé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 PermalinkPermalinkPermalinkPermalinkAnwendung der Hammersteinschen Methode der unendlich vielen Variablen auf Probleme der Satellitengeodäsie und Himmelsmechanik / Rudolf Sigl (1970)
PermalinkPermalink
