Descripteur
Termes IGN > informatique > génie logiciel > programmation informatique > programmation par contraintes
programmation par contraintesSynonyme(s)PpcVoir aussi |
Documents disponibles dans cette catégorie (127)
Ajouter le résultat dans votre panier
Visionner les documents numériques
Affiner la recherche Interroger des sources externes
Etendre la recherche sur niveau(x) vers le bas
Titre : Généralisation automatique pour la prise en compte de thèmes champ : le modèle GAEL Type de document : Thèse/HDR Auteurs : Julien Gaffuri , Auteur ; Anne Ruas , Directeur de thèse ; Cécile Duchêne , Encadrant Editeur : Champs/Marne : Université Paris-Est Marne-la-Vallée UPEM Année de publication : 2008 Importance : 292 p. Format : 21 x 30 cm Note générale : Bibliographie
Thèse présentée pour obtenir le grade de docteur de l'université Paris-Est, spécialité sciences de l'information géographiqueLangues : Français (fre) Descripteur : [Termes IGN] agent (intelligence artificielle)
[Termes IGN] GAEL
[Termes IGN] généralisation cartographique automatisée
[Termes IGN] modèle (conceptuel) de généralisation
[Termes IGN] occupation du sol
[Termes IGN] programmation par contraintes
[Termes IGN] relation spatiale
[Termes IGN] relief
[Termes IGN] système d'information géographique
[Termes IGN] système multi-agents
[Vedettes matières IGN] GénéralisationIndex. décimale : THESE Thèses et HDR Résumé : (Auteur) La généralisation de données géographiques est l'opération de simplification de ces données effectuée lors de la diminution de leur échelle de représentation. Cette thèse s'appuie sur le modèle de généralisation automatique à base d'agents de (Ruas et Duchêne, 2007), qui a été mis en œuvre avec succès pour la généralisation des objets géographiques discrets (bâtiments, routes, etc.). L'objectif est de permettre une prise en compte d'un nouveau type de thèmes, appelés « thèmes champ », comme le relief ou l'occupation du sol. Ces thèmes ont pour particularité d'être définis en tout point de l'espace. Nous souhaitons permettre une préservation des relations pouvant exister entre les objets géographiques et les champs, comme par exemple le fait qu'un cours d'eau s'écoule sur le relief. Pour répondre à cet objectif, nous proposons le modèle de généralisation GAEL (Généralisation à base d'Agents ELastiques) qui permet d'appliquer des déformations aux champs pour préserver les relations objet-champ. Les champs sont modélisés comme des agents, dits élastiques, qui ont la capacité de se déformer pour amortir les opérations de généralisation appliquées aux objets géographiques (bâtiments, routes, etc.). Ces déformations sont obtenues en s'appuyant sur une décomposition des champs en petits éléments contraints (points, segments, triangles, etc.) et sur une modélisation des points composant les champs sous forme d'agents. Couplé au modèle de (Ruas et Duchêne, 2007), le modèle GAEL permet de disposer d'un modèle de généralisation hybride, capable d'effectuer à la fois des opérations discrètes et continues. Note de contenu : Introduction
1 La généralisation et son automatisation
1.1 Généralisation de données géographiques
1.2 Automatisation de la généralisation
1.3 Généralisation et systèmes multi-agents
1.4 Synthèse et objectifs
2 Vers un modèle hybride de généralisation
2.1 Les champs
2.2 Améliorations nécessaires à la prise en compte des champs dans le modèle de (Ruas et Duchêne, 2007)
2.3 Vers un modèle de généralisation hybride à base d'agents
Conclusion
3 Le modèle GAEL
3.1 Un modèle pour la gestion d'opérations continues
3.2 Un modèle pour la gestion d'opérations continues intégré au modèle de (Ruas et Duchêne, 2007)
3.3 Un modèle pour la prise en compte de relations objet-champ
3.4 Bilan
4 Mise en œuvre et résultats
4.1 Cas de mise en œuvre et résultats
4.2 Critique et discussion
Conclusion
A Exemples de relations objet-champ
B Analogies
C Détails du déplacement de la contrainte d'aire de triangle
D A propos de la convergence
E Choix de la stratégie d'activation des agents-pointNuméro de notice : 15314 Affiliation des auteurs : COGIT (1988-2011) Thématique : GEOMATIQUE Nature : Thèse française Note de thèse : Thèse de doctorat : Sciences de l'information géographique : Paris-Est Marne-la-Vallée : 2008 Organisme de stage : COGIT (IGN) nature-HAL : Thèse DOI : sans En ligne : https://hal.science/tel-01128243 Format de la ressource électronique : URL Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=45260 Réservation
Réserver ce documentExemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 15314-01 THESE Livre Centre de documentation Thèses Disponible 15314-02 K325 Livre LASTIG Dépôt en unité Exclu du prêt Logical representation of a conceptual model for spatial data warehouses / E. Malinowski in Geoinformatica, vol 11 n° 4 (December 2007)
[article]
Titre : Logical representation of a conceptual model for spatial data warehouses Type de document : Article/Communication Auteurs : E. Malinowski, Auteur ; E. Zimanyi, Auteur Année de publication : 2007 Article en page(s) : pp 431 - 457 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées
[Termes IGN] contrainte d'intégrité
[Termes IGN] entrepôt de données localisées
[Termes IGN] modèle conceptuel de données localisées
[Termes IGN] modèle logique de données
[Termes IGN] modèle relationnel
[Termes IGN] OLAP
[Termes IGN] Oracle 10G
[Termes IGN] SQLRésumé : (Auteur) The MultiDimER model is a conceptual model used for representing a multidimensional view of data for Data Warehouse (DW) and On-Line Analytical Processing (OLAP) applications. This model includes a spatial extension allowing spatiality in levels, hierarchies, fact relationships, and measures. In this way decision-making users can represent in an abstract manner their analysis needs without considering complex implementation issues and spatial OLAP tools developers can have a common vision for representing spatial data in a multidimensional model. In this paper we propose the transformation of a conceptual schema based on the MultiDimER constructs to an object-relational schema. We based our mapping on the SQL:2003 and SQL/MM standards giving examples of commercial implemen-tation using Oracle lOg with its spatial extension. Further we use spatial integrity constraints to ensure the semantic equivalence of the conceptual and logical schemas. We also show some examples of Oracle spatial functions, including aggregation functions required for the manipulation of spatial data. The described mappings to the object-relational model along with the examples using a commercial system show the feasibility of implementing spatial DWs in current commercial DBMSs. Further, using integrated architectures, where spatial and thematic data is defined within the same DBMS, facilitates the system management simplifying data definition and manipulation. Copyright Springer Numéro de notice : A2007-469 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Article DOI : 10.1007/s10707-007-0022-3 En ligne : https://doi.org/10.1007/s10707-007-0022-3 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=28832
in Geoinformatica > vol 11 n° 4 (December 2007) . - pp 431 - 457[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 057-07041 RAB Revue Centre de documentation En réserve L003 Disponible Space-time opportunities for multiple agents: a constraint-based approach / T. Neutens in International journal of geographical information science IJGIS, vol 21 n° 9-10 (october 2007)
[article]
Titre : Space-time opportunities for multiple agents: a constraint-based approach Type de document : Article/Communication Auteurs : T. Neutens, Auteur ; F. Witlox, Auteur ; et al., Auteur Année de publication : 2007 Article en page(s) : pp 1061 - 1076 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Analyse spatiale
[Termes IGN] analyse spatio-temporelle
[Termes IGN] Autocad Map
[Termes IGN] migration pendulaire
[Termes IGN] programmation par contraintes
[Termes IGN] raisonnement spatiotemporel
[Termes IGN] système d'information géographique
[Termes IGN] système multi-agents
[Termes IGN] Time-geographyRésumé : (Auteur) Constraint-based models and models constructing accessibility measures mainly focus on single agents having only one available transport mode. However, numerous cases exist where multiple agents or groups of individuals with different available transport modes want to participate in a joint activity at a certain location. The aim of this paper is to provide new insights into representing and reasoning about feasible space-time opportunities for multiple agents. Relying on concepts of time geography, we propose a conceptual framework in order to determine interaction spaces for groups of individuals. Besides availability of means of transport and the locations of each individual, minimum activity duration and opening hours of opportunities are taken into account. The reasoning about space and time is visualized in three dimensions using a hybrid (CAD/GIS) system. Copyright Taylor & Francis Numéro de notice : A2007-556 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Article DOI : 10.1080/13658810601169873 En ligne : https://doi.org/10.1080/13658810601169873 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=28919
in International journal of geographical information science IJGIS > vol 21 n° 9-10 (october 2007) . - pp 1061 - 1076[article]Réservation
Réserver ce documentExemplaires(2)
Code-barres Cote Support Localisation Section Disponibilité 079-07061 RAB Revue Centre de documentation En réserve L003 Disponible 079-07062 RAB Revue Centre de documentation En réserve L003 Disponible A prototype generalisation system based on the multi-agent system paradigm / Cécile Duchêne (01/01/2007)
Titre : A prototype generalisation system based on the multi-agent system paradigm Type de document : Chapitre/Contribution Auteurs : Cécile Duchêne , Auteur ; Anne Ruas , Auteur Editeur : Amsterdam [Pays Bas] : Elsevier Année de publication : 01/01/2007 Importance : pp 269 - 284 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées
[Termes IGN] AGENT
[Termes IGN] CartACom
[Termes IGN] meso échelle
[Termes IGN] programmation par contraintes
[Termes IGN] système multi-agentsRésumé : (Auteur) Automation of the generalisation process is one of the main research subjects of the COGIT laboratory. The automation of this process is a real challenge for a NMA that in the short term wishes to reduce costs and time taken to produce series mapping, and in the longer term wants to be able to deliver maps over the internet, providing generalisation on demand. Research in this area, undertaken at the COGIT laboratory has resulted in the1 award of nine PhDs and a further two that are ongoing. This chapter presents various results with a particular focus on two generalisation engines conceived at the COGIT laboratory and based on the Multi-Agent System paradigm. The first one is based on the concept of constraints, ideas of autonomy and levels of details. It models the micro- and meso-generalisation of roads and urban areas. This model has been reused during the Agent project and has been commercialised in the form of "Clarity" -a Laser-Scan product. The other engine is based on interactions between micro-agents and has been optimised for the generalisation of rural areas. This recent development has produced some promising results. Work is ongoing to develop linkages between the two models. Numéro de notice : H2007-003 Affiliation des auteurs : IGN+Ext (1940-2011) Thématique : GEOMATIQUE/INFORMATIQUE Nature : Chapître / contribution Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=65895 Specifying and implementing constraints in GIS-with examples from a geo-virtual reality system / J. Louwsma in Geoinformatica, vol 10 n° 4 (December 2006)
[article]
Titre : Specifying and implementing constraints in GIS-with examples from a geo-virtual reality system Type de document : Article/Communication Auteurs : J. Louwsma, Auteur ; Sisi Zlatanova, Auteur ; et al., Auteur Année de publication : 2006 Article en page(s) : pp 531 - 550 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées
[Termes IGN] contrainte d'intégrité
[Termes IGN] objet géographique 3D
[Termes IGN] OCL
[Termes IGN] programmation par contraintes
[Termes IGN] réalité virtuelle
[Termes IGN] système d'information géographique
[Termes IGN] UMLRésumé : (Auteur) Constraints are important elements of every modelling process, but until now they have been treated in an ad hoc manner, depending on the specific application domain and the capabilities of the tools used. In GIS and GeoVR applications, constraints are conditions which always have to be valid (true) within the model populated with real geographic object instances. This paper argues that constraints should form a systematic part of the object class definition, similar to other aspects of the definition, viz. attributes, methods and relationships. Also, the implementation of constraints in all GIS and GeoVR subsystems (at front-end, database and exchange (I/O) level) should be derived automatically from the constraints specified by the framework. The paper therefore puts forward a framework for modelling constraints comprising (1) a classification and clarification of constraints, (2) a formal description using the unified modelling language/object constraint language (UML/OCL) and (3) implementation characteristics. The components of the framework are illustrated and applied to SALIX-2, a geo-virtual reality (GeoVR) landscape modelling system. Copyright Springer Numéro de notice : A2006-550 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Article DOI : 10.1007/s10707-006-0345-5 En ligne : https://doi.org/10.1007/s10707-006-0345-5 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=28273
in Geoinformatica > vol 10 n° 4 (December 2006) . - pp 531 - 550[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 057-06041 RAB Revue Centre de documentation En réserve L003 Disponible Deformation using agents for map generalization : application to the preservation of relationships between fields and objects / Julien Gaffuri (01/06/2006)PermalinkSystème multi-agent pour la déformation en généralisation cartographique : un problème multi niveau / Julien Gaffuri (2006)PermalinkPermalinkBuilding displacement over a ductile truss / M. Bader in International journal of geographical information science IJGIS, vol 19 n° 8 - 9 (september 2005)PermalinkIndexation multidimensionnelle de bases de données capteur temps-réel et spatiotemporelles / G. Noel in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 10 n° 4 (juillet -août 2005)PermalinkA layered stereo matching algorithm using segmentation and global visibility constraints / M. Bleyer in ISPRS Journal of photogrammetry and remote sensing, vol 59 n° 3 (May 2005)PermalinkConstraints as means of controlling usage of geovirtual environments / Jürgen Döllner in Cartography and Geographic Information Science, vol 32 n° 2 (April 2005)PermalinkPermalinkModélisation 3D de scènes urbaines à partir d'images satellitaires à très haute résolution / Nesrine Chehata (2005)PermalinkPropagation of the displacements and deformations during a generalisation process / Cristel Legrand (2005)PermalinkQualité de l'information géographique / Rodolphe Devillers (2005)PermalinkRévision et fusion d'information à base de contraintes linéaires / Mahat Khelfallah (2005)PermalinkGénération de MNE hybrides (Raster/Vecteur) : optimisation à base de flots de graphes contrainte par des primitives 3D / Nesrine Chehata in Revue Française de Photogrammétrie et de Télédétection, n° 176 (Décembre 2004)PermalinkIntegrating knowledge representation and reasoning in geographical information systems / P. Mancarella in International journal of geographical information science IJGIS, vol 18 n° 4 (june 2004)PermalinkThe design and implementation of a repository for the management of spatial data / Sophie Cockcroft in Geoinformatica, vol 8 n° 1 (March - May 2004)PermalinkAutomatic building reconstruction from aerial images : a generic Bayesian Framework / Patrick Taillandier (2004)PermalinkContribution à la reconstruction du bâti en milieu urbain, à l'aide d'images aériennes stéréoscopiques à grande échelle : étude d'une approche structurelle / Franck Taillandier (2004)PermalinkPermalinkModélisation et gestion des contraintes pour un problème d'optimisation sur-contraint : Application à l'aide à la décision pour la gestion du risque de ruissellement / Wassim Jaziri (2004)PermalinkWeight-setting and quality assessment in simultaneous graphic generalization / Lars Harrie in Cartographic journal (the), vol 40 n° 3 (December 2003)Permalink[bases de données spatiales et objets mobiles] / Philippe Rigaux (2002)PermalinkECAI 2002, 15th European Conference on Artificial Intelligence, July 21-26, Lyon, France / Frank Van Harmelen (2002)PermalinkGénéralisation et représentation multiple, ch. 4. Les problématiques de l'automatisation de la généralisation / Anne Ruas (2002)PermalinkA review of algebraic constraints in terrestrial reference frame datum definition / Patrick Sillard in Journal of geodesy, vol 75 n° 2-3 (May 2001)PermalinkAn optimisation approach to cartographic generalisation / Lars Harrie (2001)PermalinkModèle de généralisation de données géographiques à base de contraintes et d'autonomie / Anne Ruas (1999)PermalinkAnalyse automatique d'images aériennes stéréoscopiques pour la restitution 3D des milieux urbains / Olivier Dissard in Bulletin [Société Française de Photogrammétrie et Télédétection], n° 149 (Janvier 1998)PermalinkGeneralisation methods for propagating updates between cartographic data sets / Lars Harrie (1998)PermalinkOO-contrainst modelling to automate urban generalisation process / Anne Ruas (1998)PermalinkSDH 98 Proceedings, 8th international symposium on spatial data handling, Vancouver, July 11 - 15, 1998 / Thomas K. Poiker (1998)PermalinkA taxonomy of spatial data integrity constraints / Sophie Cockcroft in The information science Discussion paper series, vol 97 n° 5 (01/05/1997)PermalinkTendances nouvelles en modélisation pour l'environnement / François Blasco (1997)PermalinkSuper-résolution en vision par ordinateur / Hassan Shekarforoush (1996)PermalinkSpatial coincidence modelling, automated database updating and data consistency in vector GIS / O. Kufoniyi (1995)PermalinkLes bases de données relationnelles / Imad Saleh (1994)PermalinkEstimation, modélisation et langage de déclaration et de manipulation de champs spatiaux continus / Dillon Pariente (1994)PermalinkPermalinkBases de données spatiales, Beaune, France, 5 - 6 novembre 1993 / Robert Laurini (1993)PermalinkIJCAI-93, proceedings of the 13th International Joint Conference on Artificial Intelligence, Chambéry, Savoie, France, 28 August - 3 September 1993, 1. Proceedings / Ruzena Bajcsy (1993)PermalinkNeuvièmes Journées Bases de Données Avancées / François Bry (1993)PermalinkLes systèmes experts et leurs applications, Neuvièmes journées internationales, Avignon, 29 mai - 2 juin 1989, Volume 1. Conférence générale / Jean-Claude Rault (1990)PermalinkLes systèmes experts et leurs applications, Neuvièmes journées internationales, Avignon, 29 mai - 2 juin 1989, Volume 2. Conférence générale / Jean-Claude Rault (1990)PermalinkInteraktion mit raumbezogenen Informationssystemen vom Konstruiren zum Editieren geometrischer Modelle / Werner Kuhn (1989)PermalinkMéthode dynamique de recherche de points de contrôle pour le recalage de deux images / Agnès Anglade (1987)Permalink