Descripteur
Termes IGN > informatique > génie logiciel > programmation informatique > programmation par contraintes
programmation par contraintesSynonyme(s)PpcVoir aussi |
Documents disponibles dans cette catégorie (130)
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
Simulation 3D de la constructibilité et utilisations pour l’aménagement [diaporama] / Mickaël Brasebin (2018)
Titre : Simulation 3D de la constructibilité et utilisations pour l’aménagement [diaporama] Type de document : Article/Communication Auteurs : Mickaël Brasebin , Auteur Editeur : Saint-Mandé : Institut national de l'information géographique et forestière - IGN (2012-) Année de publication : 2018 Projets : 1-Pas de projet / Conférence : Séminaire 2018 du LOCIE 06/07/2018 06/07/2018 Le-Bourget-du-lac France Langues : Français (fre) Descripteur : [Termes IGN] analyse spatiale
[Termes IGN] base de données localisées
[Termes IGN] bati
[Termes IGN] construction
[Termes IGN] données localisées 3D
[Termes IGN] économie d'énergie
[Termes IGN] optimisation (mathématiques)
[Termes IGN] plan local d'urbanisme
[Termes IGN] programmation par contraintes
[Termes IGN] SIG 3D
[Termes IGN] simulation 3D
[Termes IGN] urbanisme
[Termes IGN] zone (aménagement du territoire)
[Vedettes matières IGN] GéovisualisationNuméro de notice : C2018-026 Affiliation des auteurs : LASTIG COGIT (2012-2019) Thématique : GEOMATIQUE/URBANISME Nature : Conférence invitée nature-HAL : Conf-Invitée DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=90497 Documents numériques
en open access
Simulation 3D de la constructibilité ... - pdf présentation auteurAdobe Acrobat PDF Testing deformation hypotheses by constraints on a time series of geodetic observations / Hiddo Velsink in Journal of applied geodesy, vol 12 n° 1 (January 2018)
[article]
Titre : Testing deformation hypotheses by constraints on a time series of geodetic observations Type de document : Article/Communication Auteurs : Hiddo Velsink, Auteur Année de publication : 2018 Article en page(s) : pp 77 - 94 Note générale : bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Systèmes de référence et réseaux
[Termes IGN] compensation par moindres carrés
[Termes IGN] congruence
[Termes IGN] déformation géométrique
[Termes IGN] programmation par contraintes
[Termes IGN] série temporelleRésumé : (auteur) In geodetic deformation analysis observations are used to identify form and size changes of a geodetic network, representing objects on the earth’s surface. The network points are monitored, often continuously, because of suspected deformations. A deformation may affect many points during many epochs. The problem is that the best description of the deformation is, in general, unknown. To find it, different hypothesised deformation models have to be tested systematically for agreement with the observations. The tests have to be capable of stating with a certain probability the size of detectable deformations, and to be datum invariant. A statistical criterion is needed to find the best deformation model. Existing methods do not fulfil these requirements. Here we propose a method that formulates the different hypotheses as sets of constraints on the parameters of a least-squares adjustment model. The constraints can relate to subsets of epochs and to subsets of points, thus combining time series analysis and congruence model analysis. The constraints are formulated as nonstochastic observations in an adjustment model of observation equations. This gives an easy way to test the constraints and to get a quality description. The proposed method aims at providing a good discriminating method to find the best description of a deformation. The method is expected to improve the quality of geodetic deformation analysis. We demonstrate the method with an elaborate example. Numéro de notice : A2018-016 Affiliation des auteurs : non IGN Thématique : POSITIONNEMENT Nature : Article DOI : 10.1515/jag-2017-0028 En ligne : https://doi.org/10.1515/jag-2017-0028 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=89095
in Journal of applied geodesy > vol 12 n° 1 (January 2018) . - pp 77 - 94[article]Traitement et analyse des contraintes urbaines pour une optimisation morphologique : Etude comparative des modèles MorVer et SimPLU3D / Alia Belkaid (2018)
Titre : Traitement et analyse des contraintes urbaines pour une optimisation morphologique : Etude comparative des modèles MorVer et SimPLU3D Type de document : Article/Communication Auteurs : Alia Belkaid, Auteur ; Mickaël Brasebin , Auteur ; Ines Hassoumi, Auteur Editeur : [s.l.] : [s.n.] Année de publication : 2018 Conférence : TAIMA 2018, Traitement et Analyse de l'Information Méthodes et Applications 30/04/2018 05/05/2018 Hammamet Tunisie Note générale : bibliographie Langues : Français (fre) Descripteur : [Termes IGN] analyse spatiale
[Termes IGN] morphologie urbaine
[Termes IGN] optimisation (mathématiques)
[Termes IGN] programmation par contraintes
[Termes IGN] règlement
[Termes IGN] volume (grandeur)
[Termes IGN] zone urbaine
[Vedettes matières IGN] GéovisualisationRésumé : (auteur) La morphologie urbaine est régulée par des règlements locaux d’urbanisme qui s’expriment à travers des textes. L’objectif de cet article est : i) de comparer deux modèles, SimPLU3D et MorVeR, qui traduisent les contraintes urbaines morphologiques en volumes, ii) et de relever les potentialités et les limites des deux approches informatiques. La mise en rapport des règles urbaines avec le volume contraint permet de distinguer le volume constructible optimal « géométriquement » du volume réglementaire qui optimise au mieux les contraintes urbaines.
Urban morphology is controlled by local planning regulations that are expressed through legal texts. The objective of this article is to compare two models, SimPLU3D and MorVeR, which transform the urban morphological constraints into volumes and to meet the potential and limitations of both computational approaches. The relation between the urban rules with the authorized volume leads to the optimal building volume "geometrically" regulatory volume which better optimizes the urban constraints.Numéro de notice : C2018-025 Affiliation des auteurs : LASTIG COGIT+Ext (2012-2019) Thématique : GEOMATIQUE/URBANISME Nature : Poster nature-HAL : Poster-avec-CL DOI : sans Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=90492 Documents numériques
en open access
Traitement et analyse des contraintes urbaines ... - posterImage Jpeg DEM generation from contours and a low-resolution DEM / Xinghua Li in ISPRS Journal of photogrammetry and remote sensing, vol 134 (December 2017)
[article]
Titre : DEM generation from contours and a low-resolution DEM Type de document : Article/Communication Auteurs : Xinghua Li, Auteur ; Huanfeng Shen, Auteur ; Ruitao Feng, Auteur ; et al., Auteur Année de publication : 2017 Article en page(s) : pp 135 - 147 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Applications photogrammétriques
[Termes IGN] apprentissage automatique
[Termes IGN] détection de contours
[Termes IGN] krigeage
[Termes IGN] MNS ASTER
[Termes IGN] MNS SRTM
[Termes IGN] modèle numérique de surface
[Termes IGN] programmation par contraintes
[Termes IGN] régularisation
[Termes IGN] représentation discrèteRésumé : (Auteur) A digital elevation model (DEM) is a virtual representation of topography, where the terrain is established by the three-dimensional co-ordinates. In the framework of sparse representation, this paper investigates DEM generation from contours. Since contours are usually sparsely distributed and closely related in space, sparse spatial regularization (SSR) is enforced on them. In order to make up for the lack of spatial information, another lower spatial resolution DEM from the same geographical area is introduced. In this way, the sparse representation implements the spatial constraints in the contours and extracts the complementary information from the auxiliary DEM. Furthermore, the proposed method integrates the advantage of the unbiased estimation of kriging. For brevity, the proposed method is called the kriging and sparse spatial regularization (KSSR) method. The performance of the proposed KSSR method is demonstrated by experiments in Shuttle Radar Topography Mission (SRTM) 30 m DEM and Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER) 30 m global digital elevation model (GDEM) generation from the corresponding contours and a 90 m DEM. The experiments confirm that the proposed KSSR method outperforms the traditional kriging and SSR methods, and it can be successfully used for DEM generation from contours. Numéro de notice : A2017-735 Affiliation des auteurs : non IGN Thématique : IMAGERIE Nature : Article nature-HAL : ArtAvecCL-RevueIntern DOI : 10.1016/j.isprsjprs.2017.09.014 En ligne : https://doi.org/10.1016/j.isprsjprs.2017.09.014 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=88432
in ISPRS Journal of photogrammetry and remote sensing > vol 134 (December 2017) . - pp 135 - 147[article]Réservation
Réserver ce documentExemplaires(3)
Code-barres Cote Support Localisation Section Disponibilité 081-2017121 RAB Revue Centre de documentation En réserve L003 Disponible 081-2017122 DEP-EAF Revue Nancy Dépôt en unité Exclu du prêt 081-2017123 DEP-EXM Revue Saint-Mandé Dépôt en unité Exclu du prêt Structure from motion with line segments under relaxed endpoint constraints / Branislav Micusik in International journal of computer vision, vol 124 n° 1 (August 2017)
[article]
Titre : Structure from motion with line segments under relaxed endpoint constraints Type de document : Article/Communication Auteurs : Branislav Micusik, Auteur ; Horst Wildenauer, Auteur Année de publication : 2017 Article en page(s) : pp 65 – 79 Note générale : bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Traitement d'image optique
[Termes IGN] analyse d'image numérique
[Termes IGN] appariement de lignes
[Termes IGN] carte d'intérieur
[Termes IGN] compensation par faisceaux
[Termes IGN] géométrie épipolaire
[Termes IGN] programmation par contraintes
[Termes IGN] segment de droite
[Termes IGN] segmentation d'image
[Termes IGN] structure-from-motion
[Termes IGN] translationRésumé : (auteur) We present a novel structure from motion pipeline, which estimates motion and wiry 3D structure from imaged line segments across multiple views. Although the position and orientation of line segments can be determined more accurately than point features, the instability of their endpoints and the fact that lines are not constrained by epipolar geometry diverted most research focus away to point-based methods. In our approach, we tackle the problem of instable endpoints by utilizing relaxed constraints on their positions, both during matching and as well in the following bundle adjustment stage. Furthermore, we gain efficiency in estimating trifocal image relations by decoupling rotation and translation. To this end, a novel linear solver for relative translation estimation given rotations from five line correspondences in three views is introduced. Extensive experiments on long image sequences show that our line-based structure from motion pipeline advantageously complements point-based methods, giving more meaningful 3D representation for indoor scenarios. Numéro de notice : A2017-400 Affiliation des auteurs : non IGN Thématique : IMAGERIE Nature : Article DOI : 10.1007%2Fs11263-016-0971-9 En ligne : https://doi.org/10.1007/s11263-016-0971-9 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=85942
in International journal of computer vision > vol 124 n° 1 (August 2017) . - pp 65 – 79[article]Constrained Palette-Space Exploration / Nicolas Mellado in ACM Transactions on Graphics, TOG, Vol 36 n° 4 (July 2017)PermalinkData-driven estimation of building interior plans / Julian F. Rosser in International journal of geographical information science IJGIS, vol 31 n° 7-8 (July - August 2017)PermalinkDIOGEN, a multi-level oriented model for cartographic generalization / Adrien Maudet in International journal of cartography, vol 3 n° 1 (June 2017)PermalinkMultilayer NMF for blind unmixing of hyperspectral imagery with additional constraints / L. Chen in Photogrammetric Engineering & Remote Sensing, PERS, vol 83 n° 4 (April 2017)PermalinkA spatial anomaly points and regions detection method using multi-constrained graphs and local density / Yan Shi in Transactions in GIS, vol 21 n° 2 (April 2017)PermalinkConstrained clustering by constraint programming / Thi-Bich-Hanh Dao in Artificial intelligence, vol 244 (March 2017)PermalinkMatching plot-level tree maps with 3D remote sensing data for assessing and estimating forest parameters / Cédric Vega (2017)PermalinkMise en place d’un processus de dessin automatisé de plans d’intérieurs à partir de nuages de points acquis par LIDAR / Léa Talec (2017)PermalinkCohérence logique dans les systèmes OLAP spatiaux : un état de l’art / Sandro Bimonte in Revue internationale de géomatique, vol 26 n° 1 (janvier - mars 2016)PermalinkFeature-driven generalization of isobaths on nautical charts: A multi-agent system approach / Eric Guilbert in Transactions in GIS, vol 20 n° 1 (February 2016)PermalinkRoutes visualization: Automated placement of multiple route symbols along a physical network infrastructure / Jules Teulade-Denantes in Journal of Spatial Information Science (JoSIS), n° 11 (September 2015)PermalinkInterferometric phase image estimation via sparse coding in the complex domain / Hao Hongxing in IEEE Transactions on geoscience and remote sensing, vol 53 n° 5 (mai 2015)PermalinkConstrained least squares algorithms for nonlinear unmixing of hyperspectral imagery / Hanye Pu in IEEE Transactions on geoscience and remote sensing, vol 53 n° 3 (March 2015)PermalinkFlexible building primitives for 3D building modeling / B. Xiong in ISPRS Journal of photogrammetry and remote sensing, vol 101 (March 2015)PermalinkRank-based strategies for cleaning inconsistent spatial databases / Nieves R. Brisaboa in International journal of geographical information science IJGIS, vol 29 n° 2 (February 2015)PermalinkDetection and correction of inconsistencies between river networks and contour data by spatial constraint knowledge / Tinghua Ai in Cartography and Geographic Information Science, Vol 42 n° 1 (January 2015)PermalinkPermalinkMulti-view 3D circular target reconstruction with uncertainty analysis / Bahman Soheilian in ISPRS Annals of the Photogrammetry, Remote Sensing and Spatial Information Sciences, vol II-3 (September 2014)PermalinkA general framework for trajectory data warehousing and visual OLAP / Luca Leonardi in Geoinformatica, vol 18 n° 2 (April 2014)PermalinkFiltering airborne lidar data by modified white top-hat transform with directional edge constraints / Yong Li in Photogrammetric Engineering & Remote Sensing, PERS, vol 80 n° 2 (February 2014)Permalink