Descripteur
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
Modélisation graphique et validation formelle de politiques RBAC en systèmes d’information. Plateforme B4MSecure / Akram Idani in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI, vol 19 n° 6 (novembre - décembre 2014)
[article]
Titre : Modélisation graphique et validation formelle de politiques RBAC en systèmes d’information. Plateforme B4MSecure Type de document : Article/Communication Auteurs : Akram Idani, Auteur ; Yves Ledru, Auteur ; Amira Radhouani, Auteur Année de publication : 2014 Article en page(s) : pp 33 - 61 Note générale : Bibliographie Langues : Français (fre) Descripteur : [Vedettes matières IGN] Systèmes d'information
[Termes IGN] accès aux données
[Termes IGN] modèle numérique
[Termes IGN] modélisation
[Termes IGN] plateforme logicielle
[Termes IGN] sécurité informatique
[Termes IGN] UML
[Termes IGN] validation des donnéesRésumé : (Auteur) L’omniprésence de l’informatique, l’interconnexion des systèmes et leur ouverture à un nombre accru d’utilisateurs font que les enjeux de la sécurité d’un SI sont importants. Nos travaux dans ce contexte, visent les activités de validation de politiques de sécurité RBAC dès les phases conceptuelles. Pour cela, nous avons développé la plate-forme B4MSecure qui met en œuvre une modélisation conjointe en UML et B des aspects fonctionnels du Système d’Information ainsi que des politiques de contrôle d’accès. Les modèles graphiques UML, fondés sur le profil SecureUML, permettent de disposer de vues compréhensibles et structurantes, et leurs contreparties en B permettent de tirer profit des outils de validation formelle. Dans cet article, nous présentons les fondements de la plateforme B4MSecure ainsi que les activités de validation qui en résultent. Numéro de notice : A2015-156 Affiliation des auteurs : non IGN Thématique : INFORMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : 10.3166/isi.19.6.33-61 En ligne : https://doi.org/10.3166/isi.19.6.33-61 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=75843
in Ingénierie des systèmes d'information, ISI : Revue des sciences et technologies de l'information, RSTI > vol 19 n° 6 (novembre - décembre 2014) . - pp 33 - 61[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 093-2014061 SL Revue Centre de documentation Revues en salle Disponible Scalable multi-platform distribution of spatial 3D contents / Jan Klimke in International journal of 3-D information modeling, vol 3 n° 3 (July- September 2014)
[article]
Titre : Scalable multi-platform distribution of spatial 3D contents Type de document : Article/Communication Auteurs : Jan Klimke, Auteur ; Benjamin Hagedorn, Auteur ; Jürgen Döllner, Auteur Année de publication : 2014 Article en page(s) : pp 35 - 49 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Applications photogrammétriques
[Termes IGN] dalle
[Termes IGN] données localisées 3D
[Termes IGN] mise à l'échelle
[Termes IGN] modèle 3D de l'espace urbain
[Termes IGN] moteur de réalité virtuelle
[Termes IGN] PlaGe (plateforme de généralisation)
[Termes IGN] rendu réaliste
[Termes IGN] téléphonie mobile
[Termes IGN] visualisation 3DRésumé : (auteur) Virtual 3D city models provide powerful user interfaces for communication of 2D and 3D geoinformation. Providing high quality visualization of massive 3D geoinformation in a scalable, fast, and cost efficient manner is still a challenging task. Especially for mobile and web-based system environments, software and hardware configurations of target systems differ significantly. This makes it hard to provide fast, visually appealing renderings of 3D data throughout a variety of platforms and devices. Current mobile or web-based solutions for 3D visualization usually require raw 3D scene data such as triangle meshes together with textures delivered from server to client, what makes them strongly limited in terms of size and complexity of the models they can handle.
This paper introduces a new approach for provisioning of massive, virtual 3D city models on different platforms namely web browsers, smartphones or tablets, by means of an interactive map assembled from artificial oblique image tiles. The key concept is to synthesize such images of a virtual 3D city model by a 3D rendering service in a preprocessing step. This service encapsulates model handling and 3D rendering techniques for high quality visualization of massive 3D models. By generating image tiles using this service, the 3D rendering process is shifted from the client side, which provides major advantages: (a) The complexity of the 3D city model data is decoupled from data transfer complexity (b) the implementation of client applications is simplified significantly as 3D rendering is encapsulated on server side (c) 3D city models can be easily deployed for and used by a large number of concurrent users, leading to a high degree of scalability of the overall approach. All core 3D rendering techniques are performed on a dedicated 3D rendering server, and thin-client applications can be compactly implemented for various devices and platforms.Numéro de notice : A2014-693 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/IMAGERIE Nature : Article DOI : 10.4018/ij3dim.2014070103 En ligne : https://doi.org/10.4018/ij3dim.2014070103 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=75329
in International journal of 3-D information modeling > vol 3 n° 3 (July- September 2014) . - pp 35 - 49[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 138-2014031 RAB Revue Centre de documentation En réserve L003 Disponible SLIDER: Software for LongItudinal Data Exploration with R / Hadrien Commenges in Cybergeo, European journal of geography, n° 2014 ([01/06/2014])
[article]
Titre : SLIDER: Software for LongItudinal Data Exploration with R Type de document : Article/Communication Auteurs : Hadrien Commenges, Auteur ; Pierre Pistre, Auteur ; Robin Cura, Auteur Année de publication : 2014 Note générale : bibliographie Langues : Français (fre) Anglais (eng) Descripteur : [Termes IGN] application web
[Termes IGN] exploration de données
[Termes IGN] plateforme logicielle
[Termes IGN] programme interactif
[Termes IGN] R (langage)
[Termes IGN] visualisation de données
[Vedettes matières IGN] GéovisualisationRésumé : (auteur) Cet article présente une plateforme web interactive baptisée “SLIDER” et un type de graphique original baptisé “graphique en coulées” (slide plot), ces deux outils étant conçus pour explorer des données longitudinales. L’article commence par un court état de l’art des modes de visualisation existants pour analyser les données longitudinales. Il poursuit par une présentation de l’usage et des caractéristiques techniques du graphique en coulées. Enfin, il décrit la plateforme interactive mise en place avec le package shiny du logiciel R. Numéro de notice : A2014-810 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/INFORMATIQUE Nature : Article DOI : 10.4000/cybergeo.26530 En ligne : https://doi.org/10.4000/cybergeo.26530 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=86370
in Cybergeo, European journal of geography > n° 2014 [01/06/2014][article]The GeoCitizen-approach: community-based spatial planning, an Ecuadorian case study / Karl Atamanstorfer in Cartography and Geographic Information Science, vol 41 n° 3 (June 2014)
[article]
Titre : The GeoCitizen-approach: community-based spatial planning, an Ecuadorian case study Type de document : Article/Communication Auteurs : Karl Atamanstorfer, Auteur ; Richard Resl, Auteur ; Anton Eitzinger, Auteur ; Xiomara Izurieta, Auteur Année de publication : 2014 Article en page(s) : pp 248 - 259 Note générale : Bibliographie Langues : Anglais (eng) Descripteur : [Vedettes matières IGN] Géomatique web
[Termes IGN] analyse spatiale
[Termes IGN] données localisées des bénévoles
[Termes IGN] Equateur (état)
[Termes IGN] géomatique web
[Termes IGN] plateforme logicielle
[Termes IGN] réseau social
[Termes IGN] SIG participatifRésumé : (Auteur) Over the last years, geospatial web platforms, social media, and volunteered geographic information (VGI) have opened a window of opportunity for traditional Public Participatory GIS (PPGIS) to usher in a new era. Taking advantage of these technological achievements, this paper presents a new approach for a citizen-orientated framework of spatial planning that aims at integrating participatory community work into existing decision-making structures. One major cornerstone of the presented approach is the application of a social geoweb platform (the GeoCitizen platform) that combines geo-web technologies and social media in one single tool allowing citizens to collaboratively report observations, discuss ideas, solve, and monitor problems in their living environment at a local level. This paper gives an account of an ongoing participatory land-zoning process in the Capital District of Quito, Ecuador, where the GeoCitizen platform is applied in a long-term study. Numéro de notice : A2014-317 Affiliation des auteurs : non IGN Thématique : GEOMATIQUE/SOCIETE NUMERIQUE Nature : Article DOI : 10.1080/15230406.2014.890546 En ligne : https://doi.org/10.1080/15230406.2014.890546 Format de la ressource électronique : URL article Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=33220
in Cartography and Geographic Information Science > vol 41 n° 3 (June 2014) . - pp 248 - 259[article]Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 032-2014031 RAB Revue Centre de documentation En réserve L003 Disponible Les données géographiques 3D pour simuler l'impact de la réglementation urbaine sur la morphologie du bâti / Mickaël Brasebin (2014)
Titre : Les données géographiques 3D pour simuler l'impact de la réglementation urbaine sur la morphologie du bâti Type de document : Thèse/HDR Auteurs : Mickaël Brasebin , Auteur ; Christiane Weber, Directeur de thèse ; Sébastien Mustière , Directeur de thèse ; Julien Perret , Encadrant Editeur : Champs/Marne : Université Paris-Est Marne-la-Vallée UPEM Année de publication : 2014 Importance : 240 p. Format : 21 x 30 cm Note générale : Bibliographie
Thèse pour obtenir le grade de docteur de l'Université Paris-Est, spécialité sciences et technologies de l'information géographiqueLangues : Français (fre) Descripteur : [Vedettes matières IGN] Analyse spatiale
[Termes IGN] base de données localisées 3D
[Termes IGN] base de données topographiques
[Termes IGN] bâtiment
[Termes IGN] cohérence des données
[Termes IGN] données localisées 3D
[Termes IGN] droit
[Termes IGN] Géoxygène (plateforme de généralisation)
[Termes IGN] intégration de données
[Termes IGN] modélisation spatiale
[Termes IGN] photogrammétrie numérique
[Termes IGN] plan local d'urbanisme
[Termes IGN] règle d'urbanisme
[Termes IGN] urbanismeIndex. décimale : THESE Thèses et HDR Résumé : (Auteur) Les données géographiques 3D sont de plus en plus courantes et modélisent de manières variées le territoire. Elles sont souvent utilisées pour mieux comprendre la ville et ses phénomènes sous-jacents en intégrant de nombreuses informations (environnementales, économiques, etc.) pour l'appui à l'aménagement du territoire. À l'échelle locale, le plan local d'urbanisme (PLU) décrit les connaissances régulant le développement urbain, incluant des contraintes tri-dimensionnelles (par exemple : hauteur maximale d'un bâtiment ou surface de plancher) que doivent respecter les nouveaux bâtiments. Ces contraints sont rédigées dans un format textuel, difficile de compréhension pour le non-initié et dont l'interprétation sur un territoire donné est complexe.
L'objectif de cette thèse est de montrer comment les données géographiques 3D permettent d'exploiter les règlements locaux d'urbanisme à travers deux usages : la vérification de règles d'urbanisme et la proposition de configurations bâties. Notre méthodologie s'appuie sur une modélisation de l'espace urbain, représentant les objets pertinents mentionnés dans les règlements, support d'une formalisation des règles avec le langage OCL. La pro-position de configurations bâties est réalisée grâce à une méthode d'optimisation basée sur un recuit simulé trans-dimensionnel et une technique de vérification du respect des règles.Note de contenu : 1 Introduction : complémentarité des données 3D et des règlements d'urbanisme
1.1 Des cartes supports de réflexion sur la ville ...
1.1.1 Cartes papiers et plans-reliefs
1.1.2 Données géographiques numériques
1.1.3 Systèmes d'Information Géographique 2D
1.2 ... aux données urbaines 3D
1.2.1 Constitution de bases de données 3D
1.2.2 Usages des données 3D pour comprendre la ville
1.2.3 Problématiques de l'usage des données 3D
1.2.4 Conclusion sur les données géographiques 3D
1.3 Réglementation urbaine locale
1.3.1 Évolutions de la réglementation urbaine locale
1.3.2 Plan Local d'Urbanisme (PLU)
1.3.3 Règlement d'urbanisme
1.4 De l'usage conjoint des données 3D et de la réglementation urbaine
1.4.1 Analyse des apports potentiels de l'exploitation informatique des règlements
1.4.2 État de l'art de la modélisation des règlements d'urbanisme
1.4.3 État de l'art de la modélisation de l'environnement urbain pour exploiter le règlement
1.4.4 Exploitation du règlement
1.4.5 Représentation graphique des résultats
1.4.6 Synthèse de la rencontre entre les données 3D et le règlement urbain local
1.5 Constat et problématique de la thèse
2 Modélisation des connaissances spatialisables issues de la réglementation urbaine locale
2.1 Approche pour la modélisation des connaissances spatialisables
2.1.1 Objectif général
2.1.2 Périmètre de la modélisation
2.1.3 Corpus d'étude
2.2 Modèle géographique 3D adapté au règlement d'urbanisme
2.2.1 Zonage et règlement
2.2.2 Parcellaire
2.2.3 Emprises publiques et voirie
2.2.4 Bâtiments
2.2.5 Prescriptions graphiques
2.3 Formalisation des règles d'urbanisme avec le langage OCL
2.3.1 Choix d'un langage pour formaliser les règles d'urbanisme
2.3.2 Expressions de règles en OCL
3 Simulation 3D de la réglementation urbaine
3.1 Domaines concernés par la génération de bâtiments
3.1.1 Géosimulation
3.1.2 Conception urbaine
3.1.3 Conclusion sur les approches exploitant la génération de bâtiments
3.2 Méthodes d'optimisation sous contraintes
3.2.1 Fonctions d'optimisation
3.2.2 Descriptif des méthodes
3.2.3 Prise en compte des contraintes dans les méthodes d'optimisation
3.2.4 Conclusion et choix d'une méthode d'optimisation
3.3 Méthodes de génération géométrique de bâtiments
3.3.1 Génération par instanciation de primitives
3.3.2 Génération par grammaires de formes
3.3.3 Conclusion sur la génération géométrique de bâtiments
3.4 Couplage entre méthode d'optimisation et génération géométrique
3.4.1 Approche par transformation
3.4.2 Approche par dérivation
3.4.3 Choix méthodologiques pour la génération de bâtiments respectant les règles d'urbanisme
3.5 Proposition : Recuit simulé transdimensionnel pour la génération de configurations bâties contrainte par les règles d'urbanisme
3.5.1 Choix aléatoire d'une action à effectuer
3.5.2 Vérification du respect des règles
3.5.3 Détermination d'une probabilité d'acceptation de Cnew
3.5.4 Post-traitement
3.5.5 Initialisation du processus et des conditions d'arrêt
3.6 Conclusion sur la simulation de la réglementation urbaine
4 Intégration des données géographiques 3D et des règles
4.1 Données considérées dans les expérimentations
4.1.1 Parcellaire
4.1.2 Zonage et prescriptions graphiques
4.1.3 Voiries/Emprises publiques
4.1.4 Relief
4.1.5 Bâtiments
4.2 Processus d'intégration des données au modèle
4.2.1 Association des règles au plan de zonage
4.2.2 Import de la voirie et de l'espace publique
4.2.3 Import du parcellaire
4.2.4 Import des prescriptions
4.2.5 Import des bâtiments
4.2.6 Mise en cohérence entre la géométrie d'un objet spatial et le terrain
4.2.7 Opérateurs géométriques 3D
4.2.8 Illustration de l'influence de la méthode et des données sur l'évaluation de la surface de plancher
4.3 Prise en compte des imprécisions dans le processus
4.3.1 Méthode d'évaluation de l'influence des imprécisions
4.4 Aide à la formulation de la réglementation
4.4.1 Saisie de règles en OCL
4.4.2 Prise en compte d'autres éléments réglementaires
5 Mise en œuvre et expérimentations
5.1 Prototypage
5.1.1 Bibliothèques utilisées
5.1.2 Implémentation et échanges entre les bibliothèques
5.2 Zones d'études
5.3 Mise en œuvre et paramétrisation
5.3.1 Mise en œuvre et étude d'une première simulation
5.3.2 Influence des paramètres de simulation
5.3.3 Gestion de cas complexes de règles
5.4 Scénarios d'utilisation du simulateur
5.4.1 Étude de l'implantation d'un bâtiment à partir de contraintes d'urbanisme
5.4.2 Évaluer l'influence de règles sur la constructibilité
6 Conclusion
7 AnnexesNuméro de notice : 10215 Affiliation des auteurs : LASTIG COGIT (2012-2019) Thématique : GEOMATIQUE Nature : Thèse française Note de thèse : Thèse de docteur : Sciences et technologies de l'information géographique : Paris-Est : 2014 Organisme de stage : COGIT (IGN) nature-HAL : Thèse DOI : sans Date de publication en ligne : 06/03/2015 En ligne : https://theses.hal.science/tel-01124257 Format de la ressource électronique : URL Permalink : https://documentation.ensg.eu/index.php?lvl=notice_display&id=45137 Réservation
Réserver ce documentExemplaires(1)
Code-barres Cote Support Localisation Section Disponibilité 10215-01 THESE Livre Centre de documentation Thèses Disponible PermalinkProgrammation avec Node.js, Express.js et MongoDB / Eric Sarrion (2014)PermalinkLe ScaleMaster 2.0 : Une extension du modèle ScaleMaster pour gérer des généralisations multi-échelles automatiques / Guillaume Touya in Cartes & Géomatique, n° 217 (septembre 2013)PermalinkPermalinkJournée OGC 2012 / Anonyme in Géomatique expert, n° 90 (01/01/2013)PermalinkA multi-granularity parallel model for unified remote sensing image processing webservices / W. Guo in Transactions in GIS, vol 16 n° 6 (December 2012)PermalinkPlanYourPlace – A geospatial infrastructure for sustainable community planning / Andrew Hunter in Revue internationale de géomatique, vol 22 n° 2 (Juin - août 2012)PermalinkAchieving big results from small sensors / A. Aflalo in GEO: Geoconnexion international, vol 11 n° 1 (january 2012)PermalinkComprehensive GNSS solutions for international customers / M. Wang in GIM international, vol 26 n° 1 (January 2012)PermalinkPermalinkDéveloppements logiciels en géomatique / Bénédicte Bucher (2012)PermalinkGeOxygene: Built on top of the expertise of the French NMA to host and share advanced GI Science research results / Bénédicte Bucher (2012)PermalinkPermalinkInnovative software development in GIS, ch. 3. GEOXYGENE: an interoperable platform for geographical application development / Eric Grosso (2012)PermalinkModelling fauna movements with agents / Laurence Jolivet (2012)PermalinkConférence QGIS / Anonyme in Géomatique expert, n° 83 (01/11/2011)PermalinkConception of a GIS-platform to simulate urban densification based on the analysis of topographic data / Anne Ruas (01/07/2011)PermalinkSIG : Un tour de France en quatre plates-formes / Anonyme in Géomatique expert, n° 80 (01/05/2011)Permalinkn° 77 - avril 2011 - Bilan de la recherche LAREG 2008-2010 (Bulletin de Bulletin d'information scientifique et technique de l'IGN) / David CoulotPermalinkAutomated generalisation results using the agent-based platform CartAGen / Jérémy Renard (2011)Permalink