Descripteur
|
Termes IGN > informatique > génie logiciel > programmation informatique > programmation par contraintes
programmation par contraintesSynonyme(s)PpcVoir aussi |
Documents disponibles dans cette catégorie (149)
Ajouter le résultat dans votre panier
Visionner les documents numériques
Affiner la recherche Interroger des sources externesEtendre la recherche sur niveau(x) vers le bas
A taxonomy of spatial data integrity constraints / Sophie Cockcroft in The information science Discussion paper series, vol 97 n° 5 (01/05/1997)
Titre : A taxonomy of spatial data integrity constraints Type de document : Article/Communication Auteurs : Sophie Cockcroft, Auteur Année de publication : 1997 Article en page(s) : 27 p. Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Géomatique
[Termes IGN] classification
[Termes IGN] contrainte d'intégrité
[Termes IGN] données localisées
[Termes IGN] qualité des données
[Termes IGN] règleRésumé : (Auteur) Spatial data quality has become an issue of increasing concern to researchers and practitioners in the field of Spatial Information Systems (SIS)1. Clearly the results of any spatial analysis are only as good as the data on which it is based. There are a number of significant areas for data quality research in SIS. These include topological consistency; consistency between spatial and attribute data; and consistency between spatial objects' representation and their true representation on the ground. The last category may be subdivided into spatial accuracy and attribute accuracy. One approach to improving data quality is the imposition of constraints upon data entered into the database. This paper presents a taxonomy of integrity constraints as they apply to spatial database systems. Taking a cross disciplinary approach it aims to clarify some of the terms used in the database and SIS fields for data integrity management. An overview of spatial data quality concerns is given and each type of constraint is assessed regarding its approach to addressing these concerns. Some indication of an implementation method is also given for each. Numéro de notice : A1997-122 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Article DOI : sans En ligne : https://ourarchive.otago.ac.nz/handle/10523/989 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=33580
in The information science Discussion paper series > vol 97 n° 5 (01/05/1997) . - 27 p.[article]Documents numériques
en open access
A taxonomy of spatial data ... - pdf éditeurAdobe Acrobat PDF
Titre : Tendances nouvelles en modélisation pour l'environnement : Journées du Programme Interdisciplinaire de Recherche Environnement Vie et Sociétés (PIREVS) du CNRS (textes sélectionnés) Type de document : Actes de congrès Auteurs : François Blasco, Éditeur scientifique Editeur : Amsterdam [Pays Bas] : Elsevier Année de publication : 1997 Conférence : PIREVS 1996, Journées du Programme Interdisciplinaire de Recherche Environnement Vie et Sociétés du CNRS Paris France Importance : 445 p. Format : 17 x 24 cm ISBN/ISSN/EAN : 978-2-84299-019-0 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Géomatique
[Termes IGN] cohérence des données
[Termes IGN] croissance végétale
[Termes IGN] données environnementales
[Termes IGN] données spatiotemporelles
[Termes IGN] écosystème
[Termes IGN] étalonnage des données
[Termes IGN] mise à l'échelle
[Termes IGN] modèle logique de données
[Termes IGN] modélisation
[Termes IGN] programmation par contraintes
[Termes IGN] système multi-agentsRésumé : (Éditeur) La résolution des problèmes d'environnement nécessite le développement des connaissances en modélisation. Or, la modélisation pour l'environnement pose des questions multiples et complexes. Ces questions regroupent les problèmes propres à la modélisation en tant que telle. Elles vont même bien au-delà de celle-ci. Les enjeux sont grands, tant scientifiques que techniques ou sociaux. Cet ouvrage met en lumière divers aspects de l'évolution récente des approches modélisatrices en environnement. Ces approches concernent de plus en plus de champs disciplinaires (sciences de la nature, du vivant, sciences humaines et sociales, sciences physiques, mathématiques et informatiques) et de domaines d'application (économie, dynamique des populations, météorologie et climat, pollution, milieux terrestres, aquatiques, côtiers, écosystèmes forestiers, sols, etc.). Elles utilisent une diversité toujours plus grande d'outils et de méthodes. Ces textes sont issus des journées du Programme Environnement, Vie et Sociétés du CNRS, premier colloque à s'être tenu sur ce thème en France, du moins avec une telle ampleur (Paris, janvier 1996, 700 participants, 200 intervenants). Il s'agit d'une sélection des communications présentées à cette occasion. Cet ouvrage a pour objectif de contribuer à la maîtrise des techniques de modélisation pour l'environnement, cette maîtrise devant inclure notamment la compréhension des limites de la modélisation. H s'adresse à toutes les communautés s'intéressant aux recherches sur l'environnement. Note de contenu : 1. Conférences invitées
L'espace en dynamique des populations / Lebreton J.D.
Quelques aspects de la modélisation du climat / Sadourny R.
Echanges de CO2 de l'écosystème à la biosphère / Saugier B.
Modéliser les dernier et prochain cycles glaciaire-interglaciaire / Berger A.
La représentation des paysages et la modélisation dans le domaine de l'environnement / Brunet Y.
Modélisation mathématique et environnement - Quelques remarques / Lions J.L.
Modélisation et simulation de la croissance d'une architecture végétale : une approche morphogénétique expérimentale / De Reffye P., Houllier F., Barthelemy D., Dauzat J., Auclair D.
La modélisation à multi-agents : un outil d'aide à l'analyse de phénomènes complexes / Ferber J.
La modélisation du développement durable : approche économiques / Willinger M.
2. Action sur les modèles, contrôlabilité, coordination, adaptation
Modes de gestion et viabilité de périmètres irrigués : questions de représentation / Barreteau o., Bousquet F., Weber J.
Modèle logique pour l'agrégation spatiale / Jeansoulin R.
Modélisation des hydrosystèmes souterrains : identification des paramètres par approche inverse / Ackerer P., Chardigny E., Lehmann F., Mosé R., Poulard C., Siegel P.
Modélisation des composantes culturelles de l'interaction économie-environnement / Weisbuch G., Duchateau-NGuyen G.
Usage des ressources renouvelables et modélisation des représentations. Une approche par les systèmes multi-agents / Bousquets F.
3. Structure, espace-temps, hétérogénéité, changements d'échelles
Quelques remarques sur l'intégration de modèles climatiques, biophysiques et économiques dans le cadre de recherches sur l'environnement / Matarasso P.
Quelques problèmes de changement d'échelle pour la modélisation des écoulements souterrains complexes / Bourgeat A.
Modélisation des systèmes agroforestiers basée sur des données biologiques / Bergez J.E., Msika B., Etienne M., Auclair D.
Multiplicité d'échelles dans l'organisation spatiale des poissons marins : modélisation des schémas locaux, couplage avec le comportement du pêcheur et conséquences sur l'observation d'une ressource halieutique / Gauthiez F.
Origines et conséquences de la variabilité spatiale et temporelle des paramètres démographiques sur la dynamique des populations de mammifères / Yoccoz N.G., Gaillard J.M.
Une approche multi-agents pour simuler les interactions entre des acteurs hétérogènes de l'infiltration et du ruissellement d'eau sur une surface de sol / Perrier E., Cambier C.
Modélisation interdisciplinaire des écosystèmes dans une perspective du changement global et de développement viable / Nihoul J.C.J., Delhez E.J.M.
Des critères logiques pour construire les modèles : applications aux réseaux trophiques / Gouzé J.L.
Une nouvelle classe de simulateurs à contrainte spatiale. Exemple d'application à une lande à Calluna vulgaris : reproduction végétative et sexuée, aspects génétiques / Coquillard P., Gueugnot J., Hill D., Mahy G.
4. Comportement, stabilité, viabilité, résilience, etc.
Sur l'application du modèle darwinien à la modélisation environnementale / Mullon C., Treuil J.P.
Décisions individuelles, contraintes de perception, dispersion et dynamique des systèmes proies-prédateurs / Bernstein C., Auger P.
Une modélisation du recrutement / Touzeau S., Gouzé J.L.
Essai de modélisation de l'interface économie-environnement. Une approche par la dynamique des systèmes / Meral P., Schembri P., Zyla E.
Dynamique des populations et modélisation : application aux systèmes hôtes-macroparasites et à l'épidémiologie en environnement marin / Silan P., Langlais M., Bouloux C.
Modélisation de systèmes d'exploitation. Quelques considérations statistiques / Laloë F.
Croissance des peuplements forestiers hétérogènes : modélisation par des réseaux d'automates cellulaires / Franc A.
Modélisation de la réponse de brousses tigrées à différents modes de gestion / Thiery J.M., Valentin C.
Le calcul du noyau de viabilité, outil d'analyse des modèles dynamiques de systèmes contraints / Saint-Pierre P.
5. Confrontation avec les données : assimilation de données, validation, calibration, cohérence
Questions à la modélisation à partir d'une expérience continue : le cas du Causse Méjan / Chassany J.P., Jollivet M.
Assimilation de données : une approche globale de la modélisation / Le Dimet F.X.
Systèmes de modèles dans les systèmes à base de connaissances. Application aux questions de l'environnement / Guarnieri F., Wybo J.L.
Modélisation de la dynamique forestières : recherche de configurations spatiales / Pascal J.P., Moravie M.A., Auger P.
De la validation des modèles en sciences de l'environnement / De Marsily G.
6. Nouvelles approches - difficultés méthodologiques
Spécificité et difficulté de la modélisation dans le domaine de la gestion de l'environnement / Barraqué B.
Modélisation rétrospective du fonctionnement des écosystèmes aquatiques : coopération entre historiens et hydrobiologistes / Billen C., Garnier J., Billen G.
L'environnement, du concept au champ de recherche et à la modélisation / Godard O.
Peut-on légiférer l'incertain ? Réflexions sur les nouvelles écritures du droit / Bourcier D.
Expérimentation sur mondes artificiels : pour une réflexion méthodologique / Treuil J.P., Mullon C.
Indices multilocus et description d'une métapopulation / Couvet D., Vitalis R.
Nouvelle approche pour la modélisation de système en expansion spatiale : dynamique de végétation / El Jai A.Numéro de notice : 19393 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE Nature : Actes Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=82331 Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 19393-01 CG1996 Livre Centre de documentation Congrès Disponible
Titre : Super-résolution en vision par ordinateur Type de document : Thèse/HDR Auteurs : Hassan Shekarforoush, Auteur ; M. Berthod, Directeur de thèse Editeur : Nice : Université de Nice - Sophia Antipolis Année de publication : 1996 Importance : 158 p. Format : 21 x 30 cm Note générale : bibliographie
thèse présentée pour obtenir le titre de docteur en sciences spécialité sciences de l'ingénieurLangues : Français (fre) Descripteur : [Vedettes matières IGN] Traitement d'image
[Termes IGN] algorithme du simplexe
[Termes IGN] appariement d'images
[Termes IGN] bruit (théorie du signal)
[Termes IGN] diffusion de Rayleigh
[Termes IGN] espace de Hilbert
[Termes IGN] limite de résolution radiométrique
[Termes IGN] optimisation (mathématiques)
[Termes IGN] programmation par contraintes
[Termes IGN] seuillage d'image
[Termes IGN] vision par ordinateurIndex. décimale : THESE Thèses et HDR Résumé : (auteur) Dans cette thèse, nous nous intéressons au problème de la super-résolution. Dans le premier chapitre, nous présentons une étude comparative des méthodes proposées dans la littérature suivie d'une classification de ces méthodes du point de vue du critère de Rayleigh et de celui d'Abbe sur la notion de résolution. Nous concluons le chapitre par une étude des différentes classes de méthodes dans le cadre de la notion d'invariant optique. Dans le deuxième chapitre le problème de la super-résolution multi-canal est étudié dans le cadre de la théorie des sous-espaces hilbertiens. Cette étude est fondée sur notre généralisation du théorème d'échantillonnage de Papoulis, qui nous permet d'établir l'existence d'une solution exacte dans le cas idéal et d'une meilleure approximation dans un sous-espace de Paley-Wiener quand le problème est sous-déterminé ou mal posé. L'algorithme de reconstruction qui en résulte consiste à optimiser une fonction de coût par une projection dans un sous-espace régulier, ie. optimisation sous contraintes. Dans le troisième chapitre, nous considérons d'abord le problème de la mise en correspondance sous-pixélique des images. Cette étude est essentielle afin de pouvoir appliquer notre méthode aux données réelles. Ensuite nous abordons la question de faisabilité de la super-résolution multi-canal qui dépend de la stabilité de l'échantillonnage définie par l'inégalité de Bessel. Enfin, nous étudions le problème du bruit. Notre estimation est fondée sur le seuillage de la partie principale de la suite de Riemann d'une fonction contenant des irrégularités dues au bruit. Nous avons démontré que les singularités isolées peuvent être séparées par un simple filtrage. Dans les deux annexes qui suivent, nous considérons la relation entre notre théorème d'échantillonnage et celui de Papoulis et nous établissons aussi une généralisation de la méthode du simplex non-linéaire. Note de contenu : Introduction
1. Résolution et super-résolution
2. Super-résolution Multi-canal
3. Estimation
4. ConclusionNuméro de notice : 19926 Affiliation des auteurs : non IGN Thématique : IMAGERIE/INFORMATIQUE Nature : Thèse française Note de thèse : thèse de doctorat : sciences de l'ingénieur : Nice : 1996 nature-HAL : Thèse DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=86239 Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 19926-01 THESE Livre Centre de documentation Thèses Disponible Spatial coincidence modelling, automated database updating and data consistency in vector GIS / O. Kufoniyi (1995)
Titre : Spatial coincidence modelling, automated database updating and data consistency in vector GIS Type de document : Thèse/HDR Auteurs : O. Kufoniyi, Auteur Editeur : Enschede : International Institute for Aerospace Survey and Earth Sciences ITC Année de publication : 1995 Collection : ITC publications series num. 28 Importance : 201 p. Format : 21 x 29 cm Note générale : Bibliographie
Affil-ensgt :
Org-stage :Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Bases de données localisées
[Termes IGN] cohérence des données
[Termes IGN] contrainte d'intégrité
[Termes IGN] données vectorielles
[Termes IGN] intégrité des données
[Termes IGN] mise à jour de base de données
[Termes IGN] modèle conceptuel de données localisées
[Termes IGN] modèle topologique de données
[Termes IGN] modélisation
[Termes IGN] système d'information géographiqueNuméro de notice : 64173 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Thèse étrangère Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=61300 Exemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 64173-01 37.10 Livre Centre de documentation Géomatique Disponible
Titre : Les bases de données relationnelles : conception et réalisation Type de document : Guide/Manuel Auteurs : Imad Saleh, Auteur Editeur : Paris : Hermès Année de publication : 1994 Collection : Informatique, ISSN 1242-7691 Importance : 250 p. Format : 16 x 24 cm ISBN/ISSN/EAN : 978-2-86601-431-5 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Produits informatiques
[Termes IGN] arbre-B
[Termes IGN] base de données relationnelles
[Termes IGN] contrainte d'intégrité
[Termes IGN] index
[Termes IGN] intégrité des données
[Termes IGN] langage de manipulation de données
[Termes IGN] modèle entité-association
[Termes IGN] modèle relationnel
[Termes IGN] SQL
[Termes IGN] système de gestion de bases de données relationnellesRésumé : (Editeur) Cet ouvrage propose une démarche progressive et rigoureuse, centrée sur l'approche relationnelle des bases de données tant sur le plan pratique que théorique, en s'appuyant sur les grands systèmes de bases de données ainsi que sur un système réalisé par l'auteur. Cet ouvrage aborde également les problèmes fondamentaux liés à la mise en œuvre d'une base de données. De nombreux exercices pratiques sont proposés pour chaque chapitre. Numéro de notice : 41049 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Manuel de cours Accessibilité hors numérique : Accessible via le SUDOC (sur demande au cdos) Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=47583 IJCAI-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)
PermalinkPermalinkPermalinkPermalinkPermalinkPermalink
