Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Informatique spatiale.
Dissertationen zum Thema „Informatique spatiale“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Informatique spatiale" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
1
Lauret, Gérard. „Représentation en architecture et image informatique“. Paris 8, 1995. http://www.theses.fr/1995PA081081.
Der volle Inhalt der QuelleAnnotation:
L'architecture est grosse consommatrice d'images et de representation. Les nouvelles technologies, et notamment les images de synthese apportent-elles de nouveaux modes d'expression de cette representation, ou ne s'inscrivent-elles pas plutot dans la continuite des modes de representation existants ? une approche a la fois historique, technique et philosophique qui fait le point sur la specificite de l'architecture, et sur les nouveaux outils technologiques permet de definir la place de l'image informatique dans la representation du batiment et de l'architectureArchitecture is a big consumer of pictures and representation. Do the new technologies, and in particular synthesis pictures bring a new method of representation, or do they inscribe themselves in the following of old manners ? an approach historical, technical and philosophical, who is setting the specificity of architecture and new technological instrument, and define the place of synthesis pictures in the representation of building in architecture
2
Sinton, Antoine. „Modèles probabilistes avec structure spatiale en physique statistique et en informatique“. Paris 6, 2009. http://www.theses.fr/2009PA066690.
Der volle Inhalt der QuelleAnnotation:
Cette thèse est consacrée au développement et à l'étude de modèles probabilistes avec structure spatiale. Les problèmes envisagés font aussi bien partie de la physique statistique des systèmes désordonnés que du domaine de l'inférence statistique en informatique. L'intérêt de la structure spatiale est de pouvoir introduire des modèles concrets directement interprétables dans divers domaines. Nous sommes ainsi amenés à étudier une évolution de l'ensemble de satisfaction de contraintes XORSAT dans laquelle les interactions sont de portée finie. Ce nouvel ensemble s'interprète en champ moyen dans la limite de Kac. Dans une seconde limite où le rapport entre le nombre total de variables et la portée des interactions reste fixe, cet ensemble s'interprète comme un système de taille finie en champ moyen. L'étude à la fois analytique et numérique permet de mettre en évidence une divergence concrète de la longueur mosaïque ainsi que de présenter un problème de satisfiabilité possédant une interprétation réaliste. Nous avons aussi étudié un ensemble d'algorithmes approchés dans le domaine du codage. Certains problèmes de ce domaine possèdent une mémoire qui rend la complexité des algorithmes d'estimation exponentielle. Une interprétation en champ moyen de ces problèmes nous a permis d'obtenir des résultats probants quant à la réduction de la complexité algorithmique les concernant.
3
Bolognesi, Robert. „L'Analyse spatiale des risques d'avalanches : premiers développements d'un environnement informatique d'aide à la décision“. Université Joseph Fourier (Grenoble), 1991. http://www.theses.fr/1991GRE19008.
Der volle Inhalt der QuelleAnnotation:
De nombreuses recherches relatives aux avalanches ont ete entreprises ces dernieres annees, traitant tantot l'aspect spatial, tantot l'aspect temporel des phenomenes. La maitrise de l'avalanche, en effet, apparait souvent aujourd'hui comme un facteur incontournable du developpement des economies locales en montagne. Les objectifs de ces presents travaux ont consiste a elaborer, et a implementer un modele d'aide a l'analyse spatiale, en temps reel, des risques d'avalanches concernant un domaine a securiser. Compte tenu de la nature non algorithmique du probleme, et de la fiabilite constatee d'expertises fondees sur la manipulation d'heuristiques, la modelisation symbolique, utilisant des methodes d'intelligence artificielle, a ete retenue parmi les diverses methodologies envisageables. Le transfert de la connaissance des experts a ete realise a l'aide de la technique de l'analyse de protocole, permettant de batir un document de representation de l'expertise a partir duquel un prototype de modele de resolution a pu etre ebauche, puis affine. L'application informatique de ce modele est un systeme expert, dote d'un moteur d'inference d'ordre 0+, exploitant la connaissance experte exprimee sous forme de regles de production suivant une strategie monotone irrevocable. Il est integre dans un environnement d'aide a la decision baptise avalog. Celui, realise suivant un cahier des charges privilegiant des fonctionnalites operationnelles, comprend egalement un systeme de gestion de base d'informations, ainsi qu'un programme d'edition documentaire. Entre en phase d'evaluation au debut de l'hiver 1990 91, pour un secteur pilote du domaine skiable des grandes rousses (isere, france), le systeme a montre un taux d'accord avec l'expert humain de l'ordre de 90%, et un taux d'exactitude des diagnostics, etabli a partir de l'observation des evenements avalancheux reels, de plus de 80%In the last few years, many researches about avalanches have been undertaken, treating either the spatial aspect, or the temporal aspect of phenomena. The mastery of the avalanche, in effect, appears often today as an inevitable factor of the development of local economies in the mountains. The objectives of these current works consist in elaborating, and in implementing a support model to spatial analysis, in real time, of the avalanches hazards concerning an area to secure. Taking account of the non algorithmic nature of the problem, and of the noticed reliability of expertises founded on the manipulation of heuristics, the symbolic modelisation, using artificial intelligence methods. Has been chosen among the many possible methodologies. The transfer of the experts knowledge has been realized with the technique of the protocol analysis, permeating to build an expertise representation document from which a prototype resulting model could be found, then perfected. The computer application of this model is an expert system, with an inference engine of order 0+, exploiting the expert knowledge translated in the form of production rules, following a monotonous irreversible strategy. It is integrated in a decision support system called avalog. This, realized conforming operational specifications, also includes a database management system, as well as a documentation editing program. Used in the course of an evaluative phase, started at the beginning of the 1990 91 winter season, for an experimental sector of the skiing area of the grandes rousses (isere, france), the system has shown an agreement ratio with the senior snow specialist of approximately 90%, and a right diagnosis ratio, established from observing real avalanches, of more than 80%
4
Belouaer, Lamia. „Représentation de la connaissance spatiale pour la planification“. Caen, 2011. http://www.theses.fr/2011CAEN2070.
Der volle Inhalt der QuelleAnnotation:
Nous nous intéressons à la prise en compte de l'information spatiale d'un point de vue de la représentation et du raisonnement afin de planifier une mission dans le cadre de l'interaction homme-robot. Une première partie de la thèse concerne la représentation et le raisonnement spatial. Nous proposons une ontologie spatiale : SpaceOntology permettant de représenter l'information spatiale qualitative, quantitative et de mener un raisonnement sur celle-ci. Sur la base de cette modélisation spatiale nous avons mis en place un planificateur avec deux modules : un module de raisonnement symbolique supporté par un planificateur de tâches et un module de raisonnement spatial supporté par le planificateur de chemins et SpaceOntology. Enfin, la troisième partie de nos contributions concerne l'extension du langage de planification PDDL à l'information spatiale. Cette extension permet de donner à un problème de planification une sémantique spatialeWe are interested in the integration of spatial information for representation and reasoning to plan a mission in the human-robot interaction case. The first part of our work is for representation and spatial reasoning. We propose a spatial ontology: SpaceOntology qualitative and quantitative representation and reasonning. Based on this spatial modeling we have implemented a planner with two modules: a module for symbolic reasoning supported by a task planner and a module for spatial reasoning supported by the path planning and SpaceOntology. The third part of our contributions is the extension of the PDDL planning language to spatial information. This extension permits to express spatial planning problems
5
Batmanov, Kirill. „Modélisation spatiale des effets de communauté“. Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2014. http://tel.archives-ouvertes.fr/tel-00977082.
Der volle Inhalt der QuelleAnnotation:
Un embryon, initialement composé de cellules identiques, se transforme progressivement en une structure spatialement organisée de tissus distincts aux frontières clairement démarquées. Ce processus de formation de motifs est étudié dans le domaine de la biologie du développement. Les interactions cellulaires jouent un rôle clé dans la formation de motifs, et l'effet de communauté est un exemple d'une telle interaction. Une population de cellules dans un embryon présente un effet de communauté quand elle forme une communauté de cellules ayant une identité commune obtenue grâce à l'échange de molécules de signalisation qui diffusent dans le milieu (i.e. des morphogènes). Cet effet permet aux cellules de la communauté de maintenir un profil d'expression génétique commun pendant une période prolongée, et pour se différencier finalement de manière coordonnée dans un tissu fonctionnel, comme le muscle. Les processus auto-organisés tels que l'effet de communauté sont difficiles à comprendre intuitivement. Une description satisfaisante peut être obtenue sous la forme d'un modèle formel. Quelques modèles computationnels des effets de la communauté ont été donnés dans la littérature. Cependant, la notion d'espace n'ayant pas été explicitement incluse dans ces modèles, il est difficile de comprendre comment l'effet de communauté participe à la formation de motifs. Dans ce travail, nous étudions le comportement de l'effet de communauté dans l'espace et étudions ses rôles dans d'autres processus de formation de motif, en utilisant la modélisation computationnelle. Les contributions principales de cette thèse sont les suivantes: * Une méthode de réduction de modèle est développée pour l'analyse stochastique. Par cette méthode nous avons pu démontrer que le modèle de l'effet de communauté dans Xenopus est influencé par un bruit stochastique. * En utilisant un modèle spatial simple d'effet de communauté, nous montrons que celui-ci doit finalement se propager dans l'ensemble de la population de cellules qui réagissent au morphogène. Cela est confirmé par un modèle plus détaillé. * Deux modèles montrant comment cette expansion peut être contrôlée sont présentés. Tout d'abord, si l'effet de communauté est augmenté d'un mécanisme de rétroaction négative, il forme un système de réaction-diffusion qui s'auto-organise et forme une zone d'activation stable et localisée. En second lieu, quand un circuit simple de repression génétique est associé au circuit produisant l'effet de communauté, un motif d'expression de gène avec une frontière bien démarquée apparaît en réponse à un gradient de morphogène transitoire. Le motif reste stable y compris après disparition du gradient, ce qui indique que le réseau de gènes garde en mémoire la dynamique du morphogène.
6
Chulyadyo, Rajani. „Un nouvel horizon pour la recommandation : intégration de la dimension spatiale dans l'aide à la décision“. Thesis, Nantes, 2016. http://www.theses.fr/2016NANT4012/document.
Der volle Inhalt der QuelleAnnotation:
De nos jours, il est très fréquent de représenter un système en termes de relations entre objets. Parmi les applications les plus courantes de telles données relationnelles, se situent les systèmes de recommandation (RS), qui traitent généralement des relations entre utilisateurs et items à recommander. Les modèles relationnels probabilistes (PRM) sont un bon choix pour la modélisation des dépendances probabilistes entre ces objets. Une tendance croissante dans les systèmes de recommandation est de rajouter une dimension spatiale à ces objets, que ce soient les utilisateurs, ou les items. Cette thèse porte sur l’intersection peu explorée de trois domaines connexes - modèles probabilistes relationnels (et comment apprendre les dépendances probabilistes entre attributs d’une base de données relationnelles), les données spatiales et les systèmes de recommandation. La première contribution de cette thèse porte sur le chevauchement des PRM et des systèmes de recommandation. Nous avons proposé un modèle de recommandation à base de PRM capable de faire des recommandations à partir des requêtes des utilisateurs, mais sans profils d’utilisateurs, traitant ainsi le problème du démarrage à froid. Notre deuxième contribution aborde le problème de l’intégration de l’information spatiale dans un PRMNowadays it is very common to represent a system in terms of relationships between objects. One of the common applications of such relational data is Recommender System (RS), which usually deals with the relationships between users and items. Probabilistic Relational Models (PRMs) can be a good choice for modeling probabilistic dependencies between such objects. A growing trend in recommender systems is to add spatial dimensions to these objects, and make recommendations considering the location of users and/or items. This thesis deals with the (not much explored) intersection of three related fields – Probabilistic Relational Models (a method to learn probabilistic models from relational data), spatial data (often used in relational settings), and recommender systems (which deal with relational data). The first contribution of this thesis deals with the overlapping of PRM and recommender systems. We have proposed a PRM-based personalized recommender system that is capable of making recommendations from user queries in cold-start systems without user profiles. Our second contribution addresses the problem of integrating spatial information into a PRM
7
Robineau, Fabien. „Étude d'un dispositif de guidage de geste chirurgical de ponction par stimulation électrotactile linguale“. Grenoble 1, 2009. http://www.theses.fr/2009GRE10030.
Der volle Inhalt der QuelleAnnotation:
Les travaux effectués au cours de cette thèse ont pour but d'utiliser la modalité tactile pour permettre au chirurgien de guider une aiguille jusqu'à une cible tout en conservant la modalité visuelle dédiée à l'observation du champ opératoire. Pour ce faire, le paradigme de suppléance perceptive utilisant le dispositif visuo-tactile lingual (Tongue Display Unit -TDU-) de Bach-y-Rita est exploité. Le travail de recherche que nous avons réalisé concerne le guidage d'un geste de ponction par des informations spatiales électrotactiles linguales. L'objectif de notre étude est d'évaluer les performances d'un système de guidage chirurgical électrotactile lingual et les capacités discriminatives tactiles spatiales de la langue. Pour cela, différentes expériences ont été réalisées. Deux séries d'expériences fondamentales psychophysiques ont permis d'analyser les seuils de perception et de confort électrotactiles linguaux sur différentes régions de la surface de la langue, ainsi que sa capacité à discriminer des patterns électrotactiles directionnels. Les résultats sont très hétérogènes en fonction de la position de la stimulation sur la langue et dépendent de la tâche perceptive effectuée. De plus, deux expériences appliquées à la réalisation de trajectoire de ponction en utilisant le guidage TDU ont montré qu'un guidage électrotactile lingual permettait d'orienter une aiguille très précisément jusqu'à une cible percutanée de quelques millimètres avec peu d'entrainementThe purpose of the work is to use the tactile modality to allow the surgeon to guide a needle until a target preserving the visual modality dedicated to the operative field observation. With this intention, the paradigm of sensory substitution using the lingual visuo-tactile device (Tongue Display Unit - TDU -) of Bach-y-Rita is exploited. This research relates to the guidance of puncture gesture with lingual electrotactile spatial information. The objective is to evaluate the performances of the lingual electrotactile system and the spatial tactile discriminative capacities of the tongue. For that, various experiments were carried out : two series of psychophysical fundamental experiments to analyze the lingual comfort and liminary electrotactile thresholds on various areas of the tongue surface and the capacity to discriminate electrotactile patterns of direction. The results are very heterogeneous according to the position of stimulation on the tongue and depend on the perceptive task carried out. Moreover, two experiments applied to the realization of trajectory of puncture using guidance TDU showed that a lingual electrotactile guidance allowed very precisely to direct a needle until a percutaneous target of a few millimeters
8
Mathé, Nathalie. „Assistance intelligente au contrôle de processus : application à la télémanipulation spatiale“. Toulouse, ENSAE, 1990. http://www.theses.fr/1990ESAE0012.
Der volle Inhalt der QuelleAnnotation:
L'utilisation de l'intelligence artificielle dans le cadre de l'assistance a l'opérateur fait intervenir des disciplines comme les sciences cognitives, l'ergonomie, l'interaction homme-machine et l'intelligence artificielle. Ce travail se situe également au carrefour de la théorie et de l'expérimentation. La première partie présente les problèmes théoriques poses par l'assistance a l'operateur dans un environnement dynamique. Un système d'assistance est un système d'interaction homme-machine par l'intermédiaire duquel un système physique peut être pilote. La prise en compte de l'operateur dans la boucle de contrôle nécessite d'analyser son activité cognitive. L'auteur présente un modèle cognitif fondé sur l'utilisation de connaissances procédurales dans des taches de contrôle de processus.
9
Doukari, Omar. „Changement de croyances local et application à l'information spatiale“. Aix-Marseille 1, 2010. http://www.theses.fr/2010AIX11002.
Der volle Inhalt der QuelleAnnotation:
Lorsque nous sommes confrontés à des informations incomplètes, incertaines, imprécises ou évolutives, nous avons besoin d’un mécanisme de changement de croyances car celles-ci évoluent en présence d’une nouvelle information. Ce problème de changement de croyances est connu pour être un problème NP-difficile, pour lequel il n’existe pas d’algorithmes efficaces pouvant traiter un volume important de données. Pour résoudre ce problème, cette thèse se concentre sur les approches locales du changement de croyances, à savoir la révision, la contraction et l’expansion locales de croyances. Nous proposons un nouveau modèle, appelé le modèle C-structure, pour la représentation et la révision locale de croyances. Une C-structure représente une vision thématique de la connaissance globale d’un agent avec une bonne compréhension des interactions entre thèmes. Elle permet d’équiper l’agent d’une extra-structure qui facilite l’introduction de la notion de pertinence lors de la révision de croyances. Ensuite, quatre opérateurs de changement de croyances locaux sont définis, basés sur le modèle C-structure. Ces opérateurs locaux comprennent un opérateur d’expansion, un opérateur de contraction et deux opérateurs de révision, interne et externe. Nous prouvons que les opérateurs de révision et de contraction locales sont complets et corrects en les comparant à des opérateurs traditionnels non locaux. La révision de croyances locale basée sur le modèle C-structure est caractérisée sémantiquement, d’abord dans le cas spécial des théories complètement chevauchantes, ensuite dans le cas général des théories arbitraires. Enfin, comme application aux modèles et approches de révision locale précédents, nous définissons un nouveau modèle, nommé G-structure, pour représenter et réviser localement l’information spatiale. Une approche de révision locale basée sur ce dernier modèle est proposée et comparée à l’approche REM basée sur l’algorithme de Reiter pour le diagnosticWhen facing uncertain, incomplete and inaccurate information, we need a belief change operation in order to manage the belief evolution in presence of new information. The problem of belief change, in general, is known as a NP-difficult one, and there does not exist an efficient algorithm that can process huge amount of data. To circumvent this problem, we are interested in local belief change operations, namely local belief revision, local belief contraction, and local belief expansion operations. A new model -the C-structure model- for belief representation and local belief revision is proposed. A C-structure represents a thematic view of the overall knowledge of an agent with a good understanding of the interactions between topics. Hence, it provides the agent with an extra-structure, which helps circumscribing the relevant part of beliefs during a revision operation. Then, four local belief change operators are defined, based on the C-structure model : one for local expansion, one for local contraction, and two for local belief revision, internal and external ones. The contraction and revision operators are proved sound and complete by comparing them to traditional non local belief change operators. Local belief revision based on the C-structure model is characterized semantically ; first, in the special case of fully overlapping theories, then in the general case of arbitrary theories. Finally, the spatial information is considered : it provides an interesting application to the C-structure model and the associated revision operations. A new model -the G-structure model- is defined. Then, a new local belief revision approach, based on the G-structure model, is proposed and compared to the REM approach which is based on the Reiter algorithm for diagnosis
10
Zhao, Jian. „Extraction d'information tri-dimensionnelle par stéréo vision“. Toulouse 3, 1989. http://www.theses.fr/1989TOU30207.
Der volle Inhalt der QuelleAnnotation:
Nous abordons, dans un premier chapitre, des problemes du pre-traitement de l'image dans un systeme de stereo vision, qui sont le filtrage de l'image et la detection de contours. Une famille de detecteurs de contours sur le filtre optimal exponentiel est presentee et une analyse des performances des filtres est donnee. Dans le deuxieme chapitre, nous analysons d'abord le modele de la camera lineaire et le probleme de la calibration d'une camera, et nous proposons ensuite une methode originale de calibration, cette methode permet de calibrer les parametres extrinseques pour un systeme binoculaire et les parametres intrinseques et extrinseques pour un systeme trinoculaire, a partir des points correspondants dans les images, sans connaitre les coordonnees 3-d des points dans l'espace. Nous proposons dans le troisieme chapitre une methode originale de stereo vision binoculaire: a methode de mise en correspondance par les graphes pyramidaux des images bli. Nous faisons l'analyse statisituqe sur le probleme des fausses cibles pour les systemes binoculaires et trinoculaires, et proposons ensuite un nouveau systeme trinoculaire qui met en correspondance les trois images au niveau des primitives dans l'espace tridimensionnel, sans utiliser les contraintes supplementaires usuelles dans les systemes binoculaires courants
11
Bounekkar, Ahmed. „Analyse statistique de texture : autocorrélation spatiale et notion de contiguïté“. Lyon 1, 1997. http://www.theses.fr/1997LYO10142.
Der volle Inhalt der QuelleAnnotation:
L'évolution technologique de ces dernières années est fortement marquée par la grande quantité d'images produites et consommées. Un contenu sémantique à la fois riche et très souple explique cet avènement de l'image et l'intérêt croissant qui lui est témoigné. La texture est présente au sein d'un grand nombre d'images. Cette présence peut être forte (images aériennes, tissus et matières synthétiques,. . Ect), ou faible (objets et scènes naturellesn cellules et images microscopiques,. . . ) suivant le type d'image. Ce travail s'inscrit dans une démarche de reconnaissance de formes dans les images numériques inspirée de la réalité des diverses activités humaines. Nous nous intéressons ici aux méthodes d'analyse de textures destinées à caractériser du mieux possible une image de texture. Nous avons ainsi évalué l'intérêt d'une approche statistique où la priorité est donnée à la notion de proximité dans le domaine spatial. On considère qu'une forme est la combinaison d'une forme (géométrique), d'une texture, d'une composante liée au mode d'acquisition de l'image et d'un terme d'erreur. Seule la composante texture nous intéresse. Par conséquent, on utilisera une forme plus simplifiée du modèle dans laquelle ne figurent que les composantes textures pures à une erreur près. .
12
Regnauld, Nicolas. „Généralisation du bâti : structure spatiale de type graphe et représentation cartographique“. Aix-Marseille 1, 1998. http://www.theses.fr/1998AIX11022.
Der volle Inhalt der QuelleAnnotation:
La base de données topographique de l'Institut géographique national (BDTopo) est actuellement utilisée à divers fins dont la production des cartes au 1:25000e. Une extension possible serait de dériver aussi des cartes à de plus petites échelles (notamment au 1:50000e ) et ce de manière automatique. Le principal obstacle à cette automatisation est la phase de généralisation cartographique, qui doit extraire de la base l'information pertinente pour la nouvelle échelle. D'une manière plus générale, cette fonctionalité importante des systèmes d'information géographiques, n'est présente à l'heure actuelle que sous la forme d'outils spécifiques proposés à l'utilisateur du système pour traiter des cas précis. On peut faire l'analogie par exemple avec la génération automatique de résumé de texte : la généralisation cartographique est à la carte ce que le résumé de texte est au texte, il ne s'agit pas de jouer sur la taille des caractères mais de supprimer ce qui n'est pas essentiel, de regrouper et réduire les développements tout en conservant leur sens, parfois de conserver ce qui est exceptionnel. Nous avons limité le contexte de nos recherches au cas du bâti, avec pour objectif d'identifier les liens qui existent entre les données initiales et leurs représentations graphiques à une échelle plus petite. Le but est ensuite de définir un outil automatique pour associer à un lot de données représentant une zone de bâti dense une représentation graphique adaptée à une échelle donnée. La première partie est consacrée à la modélisation de la perception visuelle des groupements de bâtiments sur une carte. Le but est d'extraire les structures qui sont visuellement repérables. On utilise pour celà un graphe de plus proche voisinage sur les bâtiments, sur lequel on fait des mesures selon des critères issus de la théorie de Gestalt (perception de groupes). Le résultat de cette analyse fournit l'information géographique associée à chacune des strutures, c'est à dire leur caractère : taille moyenne des bâtiments, forme du groupe, densité, ces informations sont indépendants de l'échelle. A partir de ces structures, nous définissons une méthode permettant de leur associer d'autres représentations à différentes échelles. Nous avons enfin défini des méthodes d'évaluation du résultat permettant d'assurer la bonne intégration du processus dans un système de généralisation automatique. Les éventuelles dégradations constatées sont évalués et stockées au niveau des objets de la classe structure. La modélisation des structures et leur stockage permettent au processus global lorsqu'il effectue des modifications individuelles sur un bâtiment (déplacement), de déterminer à quelle structure il appartient et de vérifier que les modifications n'ont pas dégradé la perceptibilité de la structure. Si une dégradation est survenue, alors un traitement local au groupe peut être entrepris. La structure peut donc servir d'index spatial intelligent pour accéder aux bâtiments.
13
Duval-Destin, Marc. „Analyse spatiale et spatio-temporelle de la stimulation visuelle à l'aide de la transformée en ondelettes“. Aix-Marseille 2, 1991. http://www.theses.fr/1991AIX22055.
Der volle Inhalt der QuelleAnnotation:
Notre systeme visuel elabore des representations de l'information visuelle qui lui permettent d'en extraire des invariants de l'environnement physique. La structure de ces representations est conditionnee par les parametres sur lesquels le systeme decompose l'information, position, taille, orientation, frequence temporelle, vitesse des composantes du stimulus. Elle est similaire a celle des representations multi-echelle des signaux. Les proprietes de localisation de la transformee en ondelettes permettent de lui associer une normalisation locale qui reproduit en partie la sensibilite logarithmique a la lumiere, de notre vision. La nouvelle representation est non-lineaire, et constitue une definition multi-echelle du contraste. Elle donne une description morphologique de structures du signal, directement liee a la nature reflective des objets de l'image. L'analyse dynamique de la stimulation visuelle est orientee vers l'extraction et la separation des composantes mobiles et immobiles de l'image. La transformee en ondelettes est etendue au cadre spatio-temporel en reproduisant le compromis entre resolution spatiale et temporelle caracteristique de notre perception du mouvement
14
Ouattara, Mamadou. „Fouille de données : vers une nouvelle approche intégrant de façon cohérente et transparente la composante spatiale“. Thesis, Université Laval, 2010. http://www.theses.ulaval.ca/2010/27723/27723.pdf.
Der volle Inhalt der QuelleAnnotation:
Depuis quelques décennies, on assiste à une présence de plus en plus accrue de l’information géo-spatiale au sein des organisations. Cela a eu pour conséquence un stockage massif d’informations de ce type. Ce phénomène, combiné au potentiel d’informations que renferment ces données, on fait naître le besoin d’en apprendre davantage sur elles, de les utiliser à des fins d’extraction de connaissances qui puissent servir de support au processus de décision de l’entreprise.
Pour cela, plusieurs approches ont été envisagées dont premièrement la mise à contribution des outils de fouille de données « traditionnelle ». Mais face à la particularité de l’information géo-spatiale, cette approche s’est soldée par un échec. De cela, est apparue la nécessité d’ériger le processus d’extraction de connaissances à partir de données géographiques en un domaine à part entière : le Geographic Knowlegde Discovery (GKD).
La réponse à cette problématique, par le GKD, s’est traduite par la mise en œuvre d’approches qu’on peut catégoriser en deux grandes catégories: les approches dites de prétraitement et celles de traitement dynamique de l’information spatiale.
Pour faire face aux limites de ces méthodes et outils nous proposons une nouvelle approche intégrée qui exploite l’existant en matière de fouille de données « traditionnelle ». Cette approche, à cheval entre les deux précédentes vise comme objectif principal, le support du type géo-spatial à toutes les étapes du processus de fouille de données. Pour cela, cette approche s’attachera à exploiter les relations usuelles que les entités géo-spatiales entretiennent entre elles. Un cadre viendra par la suite décrire comment cette approche supporte la composante spatiale en mettant à contribution des bibliothèques de traitement de la donnée géo-spatiale et les outils de fouille « traditionnelle »In recent decades, geospatial data has been more and more present within our organization. This has resulted in massive storage of such information and this, combined with the learning potential of such information, gives birth to the need to learn from these data, to extract knowledge that can be useful in supporting decision-making process. For this purpose, several approaches have been proposed. Among this, the first has been to deal with existing data mining tools in order to extract any knowledge of such data. But due to a specificity of geospatial information, this approach failed. From this arose the need to erect the process of extracting knowledge from geospatial data in its own right; this lead to Geographic Knowledge Discovery. The answer to this problem, by GKD, is reflected in the implementation of approaches that can be categorized into two: the so-called pre-processing approaches and the dynamic treatment of spatial relationships. Given the limitations of these approaches we propose a new approach that exploits the existing data mining tools. This approach can be seen as a compromise of the two previous. It main objective is to support geospatial data type during all steps of data mining process. To do this, the proposed approach will exploit the usual relationships that geo-spatial entities share each other. A framework will then describe how this approach supports the spatial component involving geo-spatial libraries and "traditional" data mining tools
15
Boneva, Iovka. „Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés“. Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2006. http://tel.archives-ouvertes.fr/tel-00613198.
Der volle Inhalt der QuelleAnnotation:
Trees are said to be unordered if the order between successor nodes of a given node is not important. Unranked trees are trees which do not have a priori bound on the number of successors of each node of the tree. Unranked and unordered trees are a possible model for semistructured data. The advantage of this model is that it is less dependant on the representation of semistructured data as XML documents, and the drowback is that formalisms (tree automata, logics) for manipulating this kind of trees are generally related with worse complexity results compared with similar formalisms for unranked and ordered trees. Our aim is a theoretical study of some logics for unranked and unordered trees, espetially from the point of view of using it as query languages for semistructured data. Thus, we are interested in the model checking problem and its complexity, in the satisfiability problem and in caracterising the expressive power of these logics. The model checking problem is, given a tree and a logic formula, to decide whether the trees satisfies the formula; model checking is the mecanism used for query evaluation. The satisfiability problem is, given a logic formula, to decide whether this formula admits some models; satisfiability can be used for query optimisation. Finally, caracterisation of the expressive power of a logic is a caracterisation of the kind of properties it can express. We start from a spatial logic which has been introduced as the basis of a query language for semistructured data. This logic is quite expressive and has several kinds of operators. We consider different fragments of this logic. We identify several interesting fragments of the logic for which the satisfiability problem is decidable, when this problem is known to be undecidable for other fragments. We compare fragments of the logic with monadic second order logic on trees and extensions of it. Finally, studying the model checking problem and its complexity allowed us to propose a model checking algorithm and to establish several results on theoretic complexity of model checking for several fragments of the spatial logic.
16
Pampagnin, Luc-Henri. „Reconnaissance d'objets tridiéensionnels en perception monoculaire et multisensorielle : application à la robotique spatiale“. Toulouse 3, 1990. http://www.theses.fr/1990TOU30149.
Der volle Inhalt der QuelleAnnotation:
Les travaux exposes dans ce memoire traitent de la reconnaissance d'objets tridimensionnels (3d) en vision par ordinateur. Un etat de l'art concernant, d'une part la modelisation, et, d'autre part la reconnaissance, d'objets 3d, est presente. L'accent est mis sur la notion de graphe d'aspects qui est exploitee par la suite. Le probleme consiste, dans un premier temps, a identifier et localiser un objet polyedrique, convexe ou non, connaissant son modele, a partir d'une seule image de luminance. Le point de vue est quelconque et inconnu. Le modele comprend un modele geometrique et le graphe d'aspects en projection perspective. La reconnaissance est fondee sur la construction et l'exploitation d'un graphe de compatibilite traduisant les contraintes geometriques et de visibilite entre appariements d'entites de haut niveau (faces de l'objet). Des resultats experimentaux montrent la reussite de la methode sur des images complexes. Enfin un systeme multisensoriel, de meme finalite que le systeme monoculaire, est decrit. L'interet de cette approche reside dans la complementarite des informations de natures differentes qui permet de pallier aux limitations liees a l'utilisation d'une seule image. Le systeme utilise comprend une camera achrome et un telemetre laser a balayage en site et azimut. L'accent est mis sur la fusion symbolique et numerique des diverses informations disponibles, qui permet de decrire la scene dans une representation unifiee. La strategie de reconnaissance s'inspire de celle du systeme monoculaire
17
NEDELEC, ALEXIS. „Application, en imagerie spatiale informatique, d'une methode et d'un systeme de multiplexage holographique, avec prise en compte de phenomenes perceptifs“. Université Louis Pasteur (Strasbourg) (1971-2008), 1989. http://www.theses.fr/1989STR13186.
Der volle Inhalt der QuelleAnnotation:
Nous avons etudie, a partir de considerations psycho-physiques et neurophysiologiques, une methode de creation et visualisation tridimensionnelle d'images synthetiques realisees par ordinateur. Nous avons defini un logiciel de modelisation prenant en compte les notions de rigidite et homogeneite 3d sur les representations informatiques des objets et scenes crees. Un module d'operations booleennes permet de construire des scenes evoluees spatialement coherentes par utilisation d'operateurs d'euler. La restitution spatiale des images ainsi realisees s'effectue par interfacage avec un systeme holographique, la sithographie, dont nous avons explique les bases theoriques et technologiques. La sithographie exploite les analyses perceptives de la reconstruction du relief par le systeme visuel dont le fonctionnement est decrit dans une premiere partie. L'interpretation visuelle de l'image sithographique resultante ouvre la voie a de nouvelles etudes perceptives reposant sur la superposition spatiale d'images holographiques
18
Maria, Maxime. „Partition spatiale contrainte et convexe pour la simulation basée rayons“. Thesis, Poitiers, 2016. http://www.theses.fr/2016POIT2292/document.
Der volle Inhalt der QuelleAnnotation:
Les méthodes basées rayons sont connues pour simuler précisément les phénomènes d'ondes acoustiques, thermiques, radios ou encore optiques. L'efficacité de telles méthodes réside dans leur capacité à déterminer rapidement l'intersection la plus proche entre un rayon et les primitives géométriques composant l'environnement de simulation. Le plus souvent, une structure accélératrice est utilisée pour réduire la complexité algorithmique de la recherche. Ces trente dernières années, de nombreuses structures performantes ont été proposées. Cependant, toutes ont des inconvénients en fonction du type d'application et de la configuration de la scène.Nous proposons d'explorer une voie peu étudiée jusqu'alors, en utilisant une partition de l'espace convexe et contrainte (CCSP) comme structure accélératrice. Ce type de partition se distingue des structures classiques par plusieurs concepts apportant des propriétés uniques et intéressantes. Dans un premier temps, nous proposons une nouvelle structure accélératrice, de type CCSP, spécialement dédiée à la simulation en environnement architectural. Ensuite, nous utilisons ces résultats pour généraliser l'approche à des scènes quelconques. Nous nous concentrons notamment sur l'utilisation d'une tétraédrisation de Delaunay contrainte comme structure accélératrice et proposons un nouvel algorithme de parcoursRay-based methods are known to simulate accurately acoustic, thermic, radios or optic wave propagation phenomena. The efficiency of such a method lies in its capacity to quickly determine the closest intersection between a ray and the geometric primitives making up the simulation environment. Generally, an acceleration structure is used to reduce the algorithmic complexity of the search. These last thirty years, a lot of efficient structures have been proposed. However, all have drawbacks according to the application kind and the scene configuration. We propose to explore a way slightly studied up to then, using a constrained convex space partition (CCSP) as an acceleration structure. This kind of partition differs from conventional structures by several concepts bringing unique and interesting properties. In a first phase, we propose a new acceleration structure, based on a CCSP, specifically dedicated to simulation in architectural environments. Then, we used these results to generalize the approach to any kind of scene. In particular, we focus on the use of a constrained Delaunay tetrahedralization as an acceleration structure and propose a new traversal algorithm
19
Fize, Jacques. „Mise en correspondance de données textuelles hétérogènes fondée sur la dimension spatiale“. Thesis, Montpellier, 2019. http://www.theses.fr/2019MONTS099.
Der volle Inhalt der QuelleAnnotation:
Avec l’essor du Big Data, le traitement du Volume, de la Vélocité (croissance et évolution) et de la Variété de la donnée concentre les efforts des différentes communautés pour exploiter ces nouvelles ressources. Ces nouvelles ressources sont devenues si importantes, que celles-ci sont considérées comme le nouvel « or noir ». Au cours des dernières années, le volume et la vélocité sont des aspects de la donnée qui sont maitrisés contrairement à la variété qui elle reste un défi majeur. Cette thèse présente deux contributions dans le domaine de mise en correspondance de données hétérogènes, avec un focus sur la dimensions spatiale.La première contribution repose sur un processus de mise en correspondance de données textuelles hétérogènes divisé en deux étapes : la géoreprésentation et le géomatching. Dans la première phase, nous proposons de représenter la dimension spatiale de chaque document d'un corpus à travers une structure dédiée, la Spatial Textual Representation (STR). Cette représentation de type graphe est composée des entités spatiales identifiées dans le document, ainsi que les relations spatiales qu'elles entretiennent. Pour identifier les entités spatiales d'un document et leurs relations spatiales, nous proposons une ressource dédiée, nommée Geodict. La seconde phase, le géomatching, consiste à mesurer la similarité entre les représentations générées (STR). S'appuyant sur la nature de la structure de la STR (i.e. graphe), différents algorithmes de graph matching ont été étudiés. Pour évaluer la pertinence d'une correspondance, nous proposons un ensemble de 6 critères s'appuyant sur une définition de la similarité spatiale entre deux documents.La seconde contribution repose sur la dimension thématique des données textuelles et sa participation dans le processus de mise en correspondance spatiale. Nous proposons d'identifier les thèmes apparaissant dans la même fenêtre contextuelle que certaines entités spatiales. L'objectif est d'induire certaines des similarités spatiales implicites entre les documents. Pour cela, nous proposons d'étendre la structure de la STR à l'aide de deux concepts : l'entité thématique et de la relation thématique. L'entité thématique représente un concept propre à un domaine particulier (agronome, médical) et représenté selon différentes orthographes présentes dans une ressource terminologique, ici un vocabulaire. Une relation thématique lie une entité spatiale à une entité thématique si celles-ci apparaissent dans une même fenêtre contextuelle. Les vocabulaires choisis ainsi que la nouvelle forme de la STR intégrant la dimension thématique sont évalués selon leur couverture sur les corpus étudiés, ainsi que leurs contributions dans le processus de mise en correspondance spatialeWith the rise of Big Data, the processing of Volume, Velocity (growth and evolution) and data Variety concentrates the efforts of communities to exploit these new resources. These new resources have become so important that they are considered the new "black gold". In recent years, volume and velocity have been aspects of the data that are controlled, unlike variety, which remains a major challenge. This thesis presents two contributions in the field of heterogeneous data matching, with a focus on the spatial dimension.The first contribution is based on a two-step process for matching heterogeneous textual data: georepresentation and geomatching. In the first phase, we propose to represent the spatial dimension of each document in a corpus through a dedicated structure, the Spatial Textual Representation (STR). This graph representation is composed of the spatial entities identified in the document, as well as the spatial relationships they maintain. To identify the spatial entities of a document and their spatial relationships, we propose a dedicated resource, called Geodict. The second phase, geomatching, computes the similarity between the generated representations (STR). Based on the nature of the STR structure (i.e. graph), different algorithms of graph matching were studied. To assess the relevance of a match, we propose a set of 6 criteria based on a definition of the spatial similarity between two documents.The second contribution is based on the thematic dimension of textual data and its participation in the spatial matching process. We propose to identify the themes that appear in the same contextual window as certain spatial entities. The objective is to induce some of the implicit spatial similarities between the documents. To do this, we propose to extend the structure of STR using two concepts: the thematic entity and the thematic relationship. The thematic entity represents a concept specific to a particular field (agronomic, medical) and represented according to different spellings present in a terminology resource, in this case a vocabulary. A thematic relationship links a spatial entity to a thematic entity if they appear in the same window. The selected vocabularies and the new form of STR integrating the thematic dimension are evaluated according to their coverage on the studied corpora, as well as their contributions to the heterogeneous textual matching process on the spatial dimension
20
Paille, Joffrey. „La localisation spatiale d'outils chirurgicaux par systèmes électromagnétiques alternatifs : applications et domaines de validité des modélisations numériques“. Université Joseph Fourier (Grenoble), 2004. http://www.theses.fr/2004GRE19002.
Der volle Inhalt der QuelleAnnotation:
Les localisateurs magnétiques sont les seuls systèmes de localisation spatiale à permettre une localisation intra-corporelle. Cependant, les performances de ces systèmes sont fréquemment dégradées dans des conditions "normales" d'utilisation. Les erreurs constatées, de l'ordre de plusieurs millimètres pour les plus significatives, sont notamment provoquées par la présence de matériaux métalliques dans la zone de fonctionnement du localisateur. Ces matériaux engendrent des perturbations électromagnétiques qui modifient les valeurs du champ généré par les sources magnétiques du localisateur. Nous présentons un modèle numérique des phénomènes d'induction électromagnétiques créés dans des milieux conducteurs et/ou magnétiques avec la méthode des éléments finis, utilisant le logiciel FluxExpert. Deux techniques numériques différentes ont été mises en œuvre et comparées. Les résultats obtenus ont été validés. La cohérence et la complémentarité des domaines de validité ont été démontréesMagnetic tracking devices are the only systems that allow tracking movement of surgical tools inside the human body. Nevertheless, when used in a typical working environnement, these systems are usually disturbed by electromagnetic fields induced in nearby metals. The presence of metallic objects within the working field results in measurement errors which can be important, several millimeters for the most significant. Three-dimensional finite element modelling is presented, which is performed with FluxExpert software. This model is used to study the effect of the two metal-related phenomena that impinge on the performance of electromagnetic based trackers : eddy currents and ferromagnetism. Two numerical techniques have been developed. An experimental investigation was undertaken to validate the aumerical results. Validity domains of the numerical modellings have also been determined
21
Genadot, Alexandre. „Etude multi-échelle de modèles probabilistes pour les systèmes excitables avec composante spatiale“. Paris 6, 2013. http://www.theses.fr/2013PA066531.
Der volle Inhalt der QuelleAnnotation:
L'objet de cette thèse est l'étude mathématique de modèles probabilistes pour la génération et la propagation d'un potentiel d'action dans les neurones et plus généralement de modèles aléatoires pour les systèmes excitables. En effet, nous souhaitons étudier l'influence du bruit sur certains systèmes excitables multi-échelles possédant une composante spatiale, que ce soit le bruit contenu intrinsèquement dans le système ou le bruit provenant du milieu. Pour étudier le bruit intrinsèque, nous considérons des processus de Markov déterministes par morceaux à valeurs dans des espaces de Hilbert ("Hilbert-valued PDMP"). Nous nous sommes intéressés à l'aspect multi-échelles de ces processus et à leur comportement en temps long. Dans un premier temps, nous étudions le cas où la composante rapide est une composante discrète du PDMP. Nous démontrons un théorème limite lorsque la composante rapide est infiniment accélérée. Nous étudions ensuite les fluctuations du modèle multi-échelles autour du modèle moyenné en montrant que celles-ci sont gaussiennes à travers la preuve d'un théorème de type central limit. Dans un deuxième temps, nous abordons le cas où la composante rapide est elle-même un PDMP. Cela requiert de connaître la mesure invariante d'un PDMP à valeurs dans un espace de Hilbert. Nous montrons qu'il existe une unique mesure invariante et la convergence exponentielle du processus vers cette mesure. Pour étudier le bruit externe, nous considérons des systèmes d'équations aux dérivées partielles stochastiques (EDPS) conduites par des bruits colorés. Nous menons l'analyse numérique d'un schéma de type différences finies en temps et éléments finis en espaceThe purpose of the present thesis is the mathematical study of probabilistic models for the generation and propagation of an action potential in neurons and more generally of stochastic models for excitable cells. Indeed, we want to study the effect of noise on multiscale spatially extended excitable systems. We address the intrinsic as well as the extrinsic source of noise in such systems. To study the intrinsic or internal noise, we consider Hilbert-valued Piecewise Deterministic Markov Processes (PDMPs). We are interested in the multiscale and long time behavior of these processes. In a first part, we study the case where the fast component is a discrete component of the PDMP. We prove a limit theorem when the speed of the fast component is accelerated. Then, we study the fluctuations of the multiscale model around the averaged one and show that the fluctuations areGaussians through the proof of a Central Limit Theorem. In a second part, we consider the case where the fast component is itself a PDMP. This requires knowledge about the invariant measure of Hilbert-valued PDMPs. We show the existence and uniqueness of an invariant measure and the exponential convergence of the process toward this measure. To study the extrinsic or external noise, we consider systems of Stochastic Partial Differential Equations (SPDEs) driven by colored noises. We analyze numerical schemes based on finite differences in time and finite elements in space
22
Crawshaw, Alexis Story. „La musique électro-Somesthésique : approches spatiales, théorisation et expérimentations créatives“. Electronic Thesis or Diss., Paris 8, 2022. http://www.theses.fr/2022PA080074.
Der volle Inhalt der QuelleAnnotation:
Ce travail de recherche propose l’idée d’une musique électro-somesthésique (MES). Nous la définissons en tant qu'une musique informatique qui cible la somesthésie dans des perspectives artistiques et musicales. La MES engage les sens somatiques non-cochléaires sensibles aux ondes mécaniques. Nous proposons que l’expérience somesthésique de l’espace est qualitativement distincte des autres sens. Ces sensations opèrent en haute précision dans notre espace intime : à travers notre seuil corporel et voire à l’intérieur de nous-même. Ces subtilités offrent un terrain novateur artistique à explorer. Toutefois, les considérations spatiales potentielles sont complexes et peuvent prêter à confusion. Ainsi, pour mieux apprécier leurs relations et expérimenter des idées compositionnelles, nous avançons des considérations théoriques avec quelques preuves de concept techniques et artistiques. Dans la première partie, nous abordons l’espace conceptuel de l’expression spatiale MES : les relations spatiales parmi les niveaux du percepteur, du contenu et de l’environnement. Dans la seconde partie, nous élaborons les possibilités matricielles du rendu spatial en informatique : trois paradigmes principaux de la manipulation spatiale—la physique (par l’acoustique), le virtuel (par l’informatique), le perceptuel (par des illusions d’espace pas apparentes)—qui passent par deux optiques : où des événements sonores sont relatifs au niveau du corps (égocentrée) ou où ils sont relatifs à l’environnement externe au corps (allocentrée). Ensemble, ces cas théoriques constituent un espace créateur prometteur et les expérimentations pratiques explorent des chemins pour ses investigations futuresThis work of research proposes the idea of electro-somaesthetic music (ESM). We define it as a computer music that targets somatosensation for artistic and musical ends. ESM engages the non-cochlear somatic senses sensitive to mechanical waves. We propose that the somatosensory experience of space is qualitatively distinct from other senses. These sensations operate at high resolution within our intimate space: across our bodily threshold and even within the interior space of our bodies. These subtleties offer a novel artistic terrain for exploration. However, its potential spatial considerations are complex, and these can lend themselves to confusion. As such, to better appreciate their relationships and experiment with compositional ideas, we advance some theoretical considerations with several technical and artistic proofs of concept. In the first part, we address the conceptual space of ESM spatial expression. We examine the relationships among the levels of the perceiver, the content, and the environment. In the second part, we elaborate upon the matrix of possibilities regarding computational spatial rendering: three principal paradigms of spatial manipulation—physical (via acoustics), virtual (via computation), perceptual (via non-evident spatial illusions)—that transpire through two lenses: where sonic events are relative to the level of the body (egocentric) or where they are relative to the environment external to the body (allocentric). Together, these theoretical cells form a promising creative space and our practical experimentations explore paths forward toward future investigations
23
Bombrun, Lionel. „Développement d'outils et de méthodes de télédétection spatiale optique et radar nécessaires à la haute résolution spatiale“. Phd thesis, Grenoble INPG, 2008. http://www.theses.fr/2008INPG0152.
Der volle Inhalt der QuelleAnnotation:
Le travail de recherche présenté dans ce mémoire de thèse est dédié au développement des méthodes en télédétection radar polarimétrique et interférométrique. L'interférométrie radar à synthèse d'ouverture renseigne sur la topographie de la zone étudiée ou sur ses déformations. Nous mettons en place des traitements interférométriques pour obtenir un champ de déplacement au sol. La polarimétrie radar étudie les interactions de l'onde électromagnétique avec le milieu étudié et nous informe sur les propriétés physiques des rétrodiffuseurs. Nous examinons en détail les deux modèles de paramétrisation des vecteurs de rétrodiffusion : le modèle alpha/beta et le modèle TSVM. Nous proposons ensuite d'utiliser la distribution de Fisher pour modéliser la texture dans les images polarimétriques. En utilisant le modèle multiplicatif scalaire, nous dérivons l'expression littérale de la distribution de la matrice de cohérence et nous proposons d'implémenter cette nouvelle distribution dans un algorithme de segmentation hiérarchique. Les différentes méthodes proposées durant cette thèse ont été appliquées sur des données interférométriques en bande C sur les glaciers et sur des données polarimétriques en bande L dans le milieu urbainThis Ph. D. Thesis research work is dedicated to the development of polarimetric and interferometric remote sensing methods. Synthetic aperture radar interferometry estimates the topography of the observed scene or his deformations. Interferometric processings are implemented to derive displacement field. SAR Polarimetry study the interactions between the electromagnetic wave and the scene to characterize the scatterers. Two parametrization model of the target scattering vector are analyzed : the alpha/beta model and the TSVM. Next, we propose to model the texture parameter by a Fisher distribution. Under the scalar product model assumption, we mathematically establish the covariance matrix distribution and we propose to implement this new distribution in a hierarchical segmentation algorithm. All the proposed methods are applied on C-band interferometric SAR data over glaciers and on L-band polarimetric SAR data over urban areas
24
Viovy, Nicolas. „Étude spatiale de la biosphère terrestre : intégration de modèles écologiques et de mesures de télédétection“. Toulouse, INPT, 1990. http://www.theses.fr/1990INPT040H.
Der volle Inhalt der QuelleAnnotation:
L'etude des changements de la biosphere terrestre necessite un suivi continuel de la vegetation. La teledetection est le seul moyen qui permette une mesure frequente de son etat global. Le but de ce travail est de definir une methodologie pour le suivi de la vegetation a partir de mesures de teledetection pour permettre a terme d'extraire des caracteristiques dynamiques de fonctionnement du couvert a l'echelle globale a partir de modeles ecologiques. Le principe de la methode proposee consiste a comparer l'evolution d'une observation a un ensemble de modeles predictifs representatifs des divers types de couverts auxquels l'observation est susceptible d'appartenir. La modelisation du signal d'evolution radiometrique est basee sur la notion de modeles de markov caches. On montrera alors un exemple d'applications de cette methode pour la caracterisation du cycle vegetatif des savanes d'afrique de l'ouest. On cherchera ensuite a relier la reponse du couvert a ces conditions d'environnement. On utilise pour ce faire des mesures sur les conditions d'environnement auxquelles le couvert a ete soumis et la connaissance eventuellement qualitative des ecologistes sur les modeles de fonctionnement meme si celle-ci n'est qu'incomplete. On verra une application de cette demarche a la cartographie du couvert en afrique de l'ouest a l'aide d'un modele simplifie reliant la pluviometrie a l'activite chlorophylienne
25
Dumoncel, Franck. „Géographie et graphes : une interaction pour exprimer des requëtes spatiales guidée par des adjacences conceptuelles“. Caen, 2006. http://www.theses.fr/2006CAEN2007.
Der volle Inhalt der QuelleAnnotation:
L'accès à l'information géographique sous forme électronique s'ouvre de plus en plus au grand public. Des interfaces intuitives ne nécessitant pas ou peu d'apprentissage apparaissent alors dans le domaine. Néanmoins, lorsqu’il s’agit de spécifier plus finement l’information recherchée, le pouvoir expressif de ces interfaces est limité. Le projet Antéserveur Géographique propose un environnement complet pour permettre d’exprimer une requête de manière bi-modale (schéma + étiquette textuelle). Dans la première partie du manuscrit nous mettons en avant deux qualités de la modalité schématique : apprentissage réduit et pouvoir expressif riche. En contre partie, nous voyons les problèmes d’ambiguïtés dus aux différents sens qu’une telle modalité peut véhiculer. La seconde partie évoque le fonctionnement multimodal de notre interface et notamment la complémentarité du texte et du schéma pour lever les ambiguïtés grâce à une interaction contrôlée, celle-ci reposant sur un mécanisme appelé glissement de sens. Le mode textuel et les glissements de sens nécessitent une analyse spatiale adaptée du schéma. Nous abordons alors le domaine de l’analyse spatiale qualitative, au cœur de ce travail de recherche, dans lequel une utilisation récurrente par centre d’intérêt du modèle 9-intersections de M. J. EGENHOFFER est proposée. Grâce à cette méthode, nous disposons d’un modèle d’analyse spatiale unique permettant de relever différentes contraintes relevées jusqu’ici par des modèles distincts et sans lien. C’est cette unité qui nous permet de mettre en œuvre notre mécanisme de glissement de sens. Enfin, nous présentons brièvement notre réalisation informatique.
26
Spinelli, Laurent. „Analyse spatiale de l'activité électrique cérébrale : nouveaux développements“. Phd thesis, Université Joseph Fourier (Grenoble), 1999. http://tel.archives-ouvertes.fr/tel-00004851.
Der volle Inhalt der QuelleAnnotation:
La localisation de l'activité électrique cérébrale sur la base des enregistrements électromagnétiques est un domaine dans lequel de nombreux facteurs peuvent altérer le résultat final. Nous avons, ainsi, investigué l'effet du nombre d'électrodes sur la qualité de la localisation des sources électriques cérébrales. Il est démontré, en utilisant les propriétés de la matrice de résolution, que les erreurs de localisation diminuent lorsque le nombre d'électrodes augmente. Cependant, au delà d'une centaine d'électrodes, l'information entre électrodes devient dépendante et la qualité des reconstructions se stabilise. D'autre part il est indispensable de couvrir l'ensemble de l'espace de reconstruction avec les électrodes, afin de minimiser les erreurs de localisation. A l'aide des différents algorithmes d'interpolation suivants : meilleurs voisins, surface splines et splines sphériques, nous avons étudié le comportement des solutions inverses de type norme minimale. Les résultats obtenus pour la composante P100 d'un potentiel évoqué visuel montrent des erreurs de localisation importantes dans le cas d'une interpolation de type meilleurs voisins, alors que l'utilisation de splines sphériques permet de minimiser ces erreurs. Le modèle sphérique utilisé en l'état ne permet pas de prendre en compte l'anatomie cérébrale, la tête étant modélisée sous la forme de sphères concentriques homogènes. Le développement des algorithmes de type BEM et FEM et l'augmentation de la qualité des images IRM anatomiques ont permis l'émergence de ces modèles anatomiques qui s'avèrent cependant assez lourds à manipuler. Nous proposons ici une nouvelle approche permettant l'usage simplifié des modèles sphériques. Après avoir extrait d'une IRM anatomique et défini la surface du scalp en terme de fonctions spline, il est alors possible de projeter cette surface sur celle d'une sphére. Ainsi nous obtenons une IRM sphérique à l'intérieur de laquelle nous pouvons définir notre espace de reconstruction en fonction des tissus cérébraux. Les simulations montrent le gain du point de vue de la localisation. Nous avons par la suite corréler la localisation de phénomènes épileptiques avec des enregistrements intracraniaux chez des patients épileptiques pharmaco-résistants.
27
Fribault, Pascale. „Modélisation déclarative d'espaces habitables“. Limoges, 2003. http://aurore.unilim.fr/theses/nxfile/default/02f934e0-825c-4633-878d-b1d8934b4c9c/blobholder:0/2003LIMO0051.pdf.
Der volle Inhalt der QuelleAnnotation:
Les différents outils d'aide à la conception proposés actuellement aux architectes ne leur permettent pas de bénéficier d'une assistance lors de l'élaboration des premières esquisses. C'est pourtant pendant cette toute première phase de la conception que se décide le parti architectural. Notre travail porte sur l'étude d'un outil d'assistance à l'architecte lors de la phase de conception. Notre logiciel MOSAICA (Modeleur Spatial d'Assistance Informatisée à la Conception Architecturale) est basé sur les techniques de la modélisation déclarative par décomposition hiérarchique. Nous présentons le système d'information produisant un modèle interne du projet, puis l'interface avec le moteur de résolution de contraintes générant les solutions associées et enfin le module de prise de connaissance permettant de choisir des solutions et de les visualiser sous forme de maquettes numériques en trois dimensions. Les résultats obtenus montrent la faisabilité et l'intérêt d'une telle démarche
28
Bombrun, Lionel. „Développement d'outils et de méthodes de télédétection spatiale optique et radar nécessaires à la haute résolution spatiale“. Phd thesis, Grenoble INPG, 2008. http://tel.archives-ouvertes.fr/tel-00369350.
Der volle Inhalt der QuelleAnnotation:
Le travail de recherche présenté dans ce mémoire de thèse est dédié au développement des méthodes en télédétection radar polarimétrique et interférométrique.L'interférométrie radar à synthèse d'ouverture renseigne sur la topographie de la zone étudiée ou sur ses déformations. Nous mettons en place des traitements interférométriques pour obtenir un champ de déplacement au sol.
La polarimétrie radar étudie les interactions de l'onde électromagnétique avec le milieu étudié et nous informe sur les propriétés physiques des rétrodiffuseurs. Nous examinons en détail les deux modèles de paramétrisation des vecteurs de rétrodiffusion : le modèle alpha/beta et le modèle TSVM. Nous proposons ensuite d'utiliser la distribution de Fisher pour modéliser la texture dans les images polarimétriques. En utilisant le modèle multiplicatif scalaire, nous dérivons l'expression littérale de la distribution de la matrice de cohérence et nous proposons d'implémenter cette nouvelle distribution dans un algorithme de segmentation hiérarchique.
Les différentes méthodes proposées durant cette thèse ont été appliquées sur des données interférométriques en bande C sur les glaciers et sur des données polarimétriques en bande L dans le milieu urbain.
29
Ambroise, Christophe. „Approche probabiliste en classification automatique et contraintes de voisinage“. Compiègne, 1996. http://www.theses.fr/1996COMPD917.
Der volle Inhalt der QuelleAnnotation:
Ce travail propose de nouveaux algorithmes de classification pour résoudre des problèmes d'analyse de données où des contraintes naturelles apparaissent : respect d'une topologie (cartes de Kohonen), données spatiales. Les mélanges finis de lois gaussiennes et l'estimation de paramètres par l'algorithme EM constituent le cadre de ce mémoire. Le modèle des cartes topologiques de Kohonen introduisant la notion de contrainte, nous nous sommes intéressés à montrer les liens qui existent entre cette approche et les modèles de mélanges. Cette recherche a abouti au développement de variantes de l'algorithme EM ayant des comportements identiques à l'algorithme de Kohonen et possédant de bonnes propriétés de convergence. Dans le cas des données spatiales, l'a priori suivant est considéré : deux individus géographiquement proches ont plus de chance d'appartenir à une même classe que deux individus éloignés. Des algorithmes originaux, basés sur l'algorithme EM, sont proposés pour prendre en compte l'aspect spatial des données. Ces algorithmes peuvent être utilisés pour trouver une partition d'un ensemble d'individus localisés géographiquement, ce qui englobe la problématique de la segmentation d'image. Un parallèle entre les méthodes développées dans ce mémoire et les techniques markoviennes de segmentation bayésienne non supervisée d'image a été établi. Enfin, les méthodes présentées sont illustrées et comparées à l'aide d'applications concrètesThis thesis proposes new clustering algorithms well suited for data analysis problems where natural constraints appear: preservation of a topology, spatial data. Gaussian mixture models and the estimation of parameters by the EM algorithm constitute the background of the work. The Kohonen Map algorithm introduces the idea of constraint in clustering. We show the relationship between this neural approach and Gaussian mixture models. This leads us to propose a variant of the EM algorithm which has similar behaviour as the Kohonen algorithm and whose convergence is proven. When dealing with spatial data, we consider the following constraint: two objects which are neighbours are more likely to belong to the same class than two objects which are spatially far away. Original algorithms based on the EM algorithm are proposed for taking into account this spatial constraint. These algorithms may be used for seeking a partition of objects which have a geographical location. This encompasses the problem of unsupervised image segmentation. A theoretical link between our approach and Markov random field models is established. The proposed methods are compared and illustrated by means of applications based on real data
30
Amdouni, Ichrak. „Réseaux sans fil auto-adaptatifs: efficacité énergétique et réutilisation spatiale“. Phd thesis, Université Pierre et Marie Curie - Paris VI, 2013. http://tel.archives-ouvertes.fr/tel-00808651.
Der volle Inhalt der QuelleAnnotation:
La nécessité de maximiser la durée de vie du réseau sans fil dans les réseaux ad hoc et en particulier dans les réseaux de capteurs sans fil nécessite l'utilisation d'algorithmes d'efficacité énergétique. Motivée par le fait qu'un noeud consomme le moins d'énergie lorsqu'il est en veille, nous réalisons l'efficacité énergétique vi des algorithmes d'ordonnancement des activités des noeuds. Les noeuds reçoivent des slots temporels durant lesquels ils peuvent transmettre et ils peuvent éteindre leur radio quand ils ne sont ni en train de transmettre, ni en train de recevoir. Par rapport au TDMA classique, l'utilisation de la bande passante est optimisée: deux noeuds interférents ne partagent pas les mêmes slots. Dans notre travail sur l'ordonnancement, deux cas sont étudiés. Tout d'abord, lorsque les nœuds nécessitent le même temps d'accès au canal, nous utilisons le coloriage des nœuds. Deuxièmement, lorsque les nœuds requièrent des débits hétérogènes, nous utilisons une allocation de slots " traffic aware ". Contrairement à la majorité des travaux antérieurs, nous généralisons la définition du coloriage des noeuds et les problèmes d'attribution des slots. En effet, nous considérons que la distance maximale entre deux nœuds interférents est un paramètre de ces problèmes. Nous prouvons qu'ils sont NP-complets, ce qui rend inévitable l'utilisation des heuristiques dans la pratique. Une directive centrale de cette thèse est de concevoir des solutions auto-adaptatives. Cette adaptabilité concerne de nombreux aspects tels que la mission confiée par l'application, l'hétérogénéité des demandes de trafic de nœuds, la densité du réseau, de la régularité de la topologie du réseau, et la non fiabilité des liens sans fil.
31
Guillemin, Hervé. „Amelioration de la resolution spatiale des images scintigraphiques de medecine nucleaire. Application a la glande thyroide“. Cergy-Pontoise, 1997. http://www.theses.fr/1997CERG0036.
Der volle Inhalt der QuelleAnnotation:
Les images scintigraphiques de medecine nucleaire sont entachees d'un certain nombre de defauts qui rendent leur interpretation difficile aussi bien du point de vue visuel que quantitatif. Le faible pouvoir separateur energetique du detecteur, sa mauvaise resolution spatiale et le bruit statistique sont les principaux phenomenes responsables des degradations dans l'image. La combinaison de tous ces phenomenes limite considerablement le potentiel de diagnostic fonctionnel de cette technique d'imagerie. Un ensemble de methodes ont ete mises en uvre afin de corriger la mauvaise resolution spatiale des images. Les filtres usuels de restauration comme wiener ou metz ne donnent pas entieres satisfaction car les solutions qu'ils proposent sont globalement lisses. La technique bayesienne du maximum a posteriori (map) pallie a cet inconvenient en permettant l'introduction d'informations a priori au niveau local sur l'objet recherche. Nous modelisons l'objet recherche par un champ de markov dont la fonction potentiel de voisinage associee permet de regulariser la solution tout en preservant les discontinuites. A cause de la mauvaise resolution energetique des detecteurs, un grand nombre de photons diffuses contribuent a l'information acquise dans la fenetre centree autour du pic photoelectrique. Ce phenomene induit une perte supplementaire de la resolution spatiale et une surestimation de la quantification du nombre de photons primaires. Nous deconvoluons les spectres obtenus au niveau de chaque pixel par la methode du map, en choisissant un a priori adapte a la forme theorique connue du spectre.
32
Djellal, Faridah. „Les firmes de conseil en technologie de l'information comme agents d'un paradigme socio-technique : analyse de leur organisation fonctionnelle et spatiale“. Lille 1, 1993. http://www.theses.fr/1993LIL12010.
Der volle Inhalt der QuelleAnnotation:
S'ils sont desormais reconnus comme productifs, et s'ils contribuent d'une maniere importante aux grands agregats economiques, les services continuent neanmoins d'etre apprehendes selon une logique de subordination vis-a-vis des biens. L'analyse de l'innovation et du changement technique met en evidence l'importance et le role strategique des "industries fondees sur la science" qui constituent le support du nouveau paradigme technico-economique. Le role des services quand il est envisage, ce qui est rare, l'est toujours sous l'angle de ses rapports avec l'innovation technologique. Autrement dit, selon ces analyses, l'innovation dans les services proviendrait pour l'essentiel des potentialites offertes par les technologies de l'information. La capacite des firmes de services a promouvoir des innovations organisationnelles et institutionnelles, independamment de ces technologies de l'information est generalement absentes de ces analyses. La ligique de subordination des services vis-a-vis des biens est egalement dominante dans la litterature relative au comportement de localisation de ces activites. Cette these selon laquelle les entreprises industrielles sont les seules activites motrices doit etre reexaminee a la lumiere de l'importance que prennent les services rendus aux entreprises dans le developpement regional. Dans cette these, nous proposons de rompre avec la logique de subordination dans laquelle l'analyse en termes de paradigme technico-economique contribue a enfermer les servicesServices are new recognized as productive and highly contribute to the main economic agregates. However, they remain to be considered in a logic of subordination toward goods. This analysis of innovation and technical changes points out the importance and the strategic role of " "the science-based industries". When the role of services is envisaged - which is rarether rarely- this is always from the point of view of their relations to technological innovation. In other words, in such analyses, innovation in services seem essentially to arise from potentialities supplied by information technology. The capacity of service firms to promote organizational and institutional innovations, independently from information technologies, is generally absent from these analysis. Thelogic of subordination of services toward goods also prevails in the literature on the localization behavior of these activities. The idea according to wiich industrial enterprises are the only driving activities, must be reexamined in the light to the growing importance in the regional development, of the services provided to enterprises. In this doctoral thesis, we propose to break with the logic of subordination in which the analysis in terms of technico-economic paradigm contributes to confine services
33
Petit, Mathieu. „Approche spatiale pour la caractérisation du contexte d'exécution d'un système d'information ubiquitaire“. Phd thesis, Paris, ENSAM, 2010. http://pastel.archives-ouvertes.fr/pastel-00511919.
Der volle Inhalt der QuelleAnnotation:
Les nouvelles technologies en matière d'accès à l'information, de communication sans-fil et de localisation d'informations ouvrent la voie à des innovations majeures dans l'utilisation des systèmes informatiques. Ces avancées permettent d'imaginer de nouveaux usages informatiques dont la mise en œuvre motive le développement de méthodes de conception appropriées. Plus particulièrement, l'informatique mobile combine désormais des enjeux conceptuels tels que l'accès à des services par un utilisateur en mobilité, la généralisation d'outils de localisation, la compréhension de systèmes complexes par un public non-expert ou l'importante variabilité des situations d'exécution. Cette thèse propose un cadre de conception qui adresse certains des enjeux pour la mobilité des systèmes d'information. Dans cette perspective, les attentes des utilisateurs et les contraintes technologiques inhérentes à la mobilité des constituants du système définissent un espace contextuel dont les dimensions sont prises en compte dès les premières étapes de la conception. Le modèle proposé établit comme point d'entrée une description de l'espace géographique du système pour différencier un ensemble de contextes d'exécution. L'énoncé de ces contextes permet de corréler les attentes des utilisateurs avec les capacités techniques de la plate-forme et d'offrir le niveau fonctionnel le plus acceptable dans une situation donnée. Dans un second temps, les différentes fonctionnalités et les données mises en œuvre dans chaque contexte d'exécution peuvent être ordonnées ou filtrées afin d'optimiser la présentation des informations aux utilisateurs. Ces recommandations sont produites par l'analyse conjointe des préférences d'utilisateurs selon leurs interactions et leurs comportements spatiaux. Deux cadres expérimentaux viennent illustrer les propositions du modèle. La conception d'un système mobile de suivi de compétition nautique prend en compte différents contextes d'exécution et adapte un niveau de service à des situations dégradées. Un système de documentation et de visite de campus illustre les algorithmes de recommandation et affine la présentation d'informations localement à chaque contexte d'exécution.
34
Achour, Amel. „Gestion de la mobilité pour les terminaux multi-homés dans un environnement sans-fil hétérogène“. Paris 6, 2012. http://www.theses.fr/2012PA066344.
Der volle Inhalt der QuelleAnnotation:
Dans la conjoncture actuelle, les réseaux sans fil sont très largement déployés, plusieurs technologies ont vu le jour, ayant chacune une réponse à un problème particulier. Ces technologies n’ont d’autre choix que de cohabiter afin d’offrir les meilleurs services aux utilisateurs. De plus, l’émergence des terminaux mobiles multi-interfaces (3G, WLAN, WMAN, etc. ) a complètement modifié la vision des services IP offerts. Un terminal mobile est capable d’accéder aux services proposés par son fournisseur d’accès n'importe où, n’importe quand et plus important, à travers n’importe quel réseau d’accès disponible selon le concept du "Always Best Connected" (ABC). Dans l’optique de profiter pleinement de cet environnement hétérogène, le concept ABC sera étendu à l’utilisation simultanée des différents réseaux d’accès disponibles. Cette nouvelle génération de systèmes de communication est communément appelée « multi-homing ». Dans ce contexte, différentes technologies cohabitent tels que les réseaux cellulaires, les réseaux locaux sans fil et les réseaux filaires. Un tel environnement hétérogène engendre de nombreux problèmes tels que le contrôle de sessions, l’authentification, la gestion de la qualité de service, la mobilité des utilisateurs, etc. De ce fait, la tendance actuelle tend à proposer des réseaux tout-IP afin de faciliter cette convergence. L’IMS se positionne comme une solution prometteuse en permettant la convergence de réseaux hétérogènes et leur interconnexion en offrant une gestion qui soit totalement indépendante du réseau d’accès. Cette thèse étudie tout d'abord les propositions relatives au multi-homing, puis à la gestion de la mobilité pour les terminaux multi-homés. Elle s'intéresse aux solutions basées sur le terminal, et particulièrement au protocole SHIM6. Elle propose une extension permettant aux terminaux implémentant SHIM6 d'avoir un accès simultané aux différents réseaux d'accès disponibles, ce qui garantie aux applications de disposer du meilleur réseau d'accès possible. Par la suite, une étude de la mobilité dans ce contexte est présentée. Une plateforme de tests est mise en place pour évaluer et valider ces propositions, montrant ainsi leur faisabilité dans un environnement réel. Maintenant que l'accès simultané est mis en place, la deuxième partie de cette thèse se focalise sur la gestion de mobilité avec garantie de la qualité de service pour les sessions en cours. Pour y parvenir, la solution proposée combine le protocole SHIM6 avec l'architecture IMS. Le protocole SHIM6 a pour rôle la gestion de la mobilité, et ainsi le changement de réseaux d'accès, de manière transparente, tandis que l'IMS permet d'assurer la qualité du service des sessions établies. Deux modes de mobilité sont étudiés : le mode réactif et le mode proactif. Nous avons également étudié la mobilité inter-domaine et intra-domaine. Dans les deux cas, une plateforme de tests est mise en place pour valider les propositions. Les résultats ont montré une réduction notable dans le délai de handover, particulièrement dans le mode proactif. Enfin, les solutions proposées étant basées sur le terminal, nous avons évalué leur impact sur les performances de ce dernierIn the current environment, wireless networks are widely deployed, several technologies coexist, each of them response to a particular issue. These technologies have coexist to provide the best services to users. Moreover, the emergence of multi-interface mobile terminals (3G, WLAN, WMAN, etc. . ) has completely changed the vision of IP services. A mobile terminal is able to access services provided by their ISPs anywhere, any-time and most importantly, through any available access network according to the concept "Always Best Connected" (ABC). In order to take full advantage of this heterogeneous environment, the concept of ABC will be extended to the simultaneous use of different access networks. This new generation of communication systems is commonly called "multi-homing". In this context, different technologies, cellular, wireless LAN and wired networks coexist. Moreover, the generalization the heterogeneous environment has led operators to consider the combination of these different technologies, with the objective of offering better services to users. However, such a combination raises many issues such as the sessions control, authentication, QoS, user mobility. . . Etc, therefore, the current trend tends to offer an all IP network to facilitate this convergence. The IMS is a promising solution, which allows the convergence of heterogeneous networks and their interconnection with a management that is totally independent of the access network. This thesis studied the proposals for the multi-homing, and the mobility management for multi-homed terminals. It is interested in solutions based on the terminal, and the protocol SHIM6. It proposes an extension allowing the terminals implementing SHIM6 to have a simultaneous access to different access networks, which guarantee the application to have the best available access network. Subsequently, a study of mobility in this context is presented. Test-bed is set up to evaluate and validate these proposals, demonstrating their feasibility in a real environment. Now the simultaneous access is established, the second part of this thesis focuses on mobility management with guaranteed quality of service for current sessions. To achieve this, the proposed solution combines the protocol SHIM6 with IMS. The protocol SHIM6's role is the mobility management, and thus the change of access networks, seamlessly, while IMS ensures quality of service of established sessions. Two modes of mobility are studied: reactive and proactive. We also studied the inter-domain mobility and intra-domain. In both cases, a test-bed is set up to validate the proposals. The results show a significant reduction in the handover period, particularly in the proactive mode. The proposed solutions are based on the terminal, we evaluated their performance impact of the latter
35
Lozes, Etienne. „Expressivité des logiques d'espace“. Lyon, École normale supérieure (sciences), 2004. http://www.theses.fr/2004ENSL0289.
Der volle Inhalt der QuelleAnnotation:
Les logiques spatiales sont une nouvelle classe de formalismes dedies a la specification des systemes distribues dans la lignee des logiques modales (Hennessy-Milner). Elles peuvent aussi etre vues comme une extension de la logique classique mieux adaptee a la semantique axiomatique des langages imperatifs manipulant des pointeurs, dans la lignee de la logique de Hoare-Floyd. Cette these presente ces diverses logiques en les comparant du point de vue de leur expressivite. On etablit ainsi des encodages des logiques, des fragments minimaux, des unifications de logiques, et des resultats de decidabiliteSpatial logics are a new formalism for specifying properties of concurrent systems in the line of modal logics (Hennessy - Milner). They may be seen also as an extension of classical logic better suited for giving an axiomatic semantics for imperative programs manipulating pointers in the line of Hoare-Floyd logic. This thesis present these several issues and compare the different approaches from the point of view of expressiveness. Several encoding, minimal fragments, and decidability results are presented
36
Daubet, Michel. „L'organisation de l'espace proche en section des Grands de l'école maternelle (enfants de cinq à six ans) à partir du pilotage des déplacements d'un robot en langage LOGO“. Bordeaux 1, 1986. http://www.theses.fr/1999BOR12153.
Der volle Inhalt der QuelleAnnotation:
Cette recherche sur la construction de l'espace prochen en section des grands d'école maternelle s'inscrit dans le cadre de l'enseignement de la géométrie en tant que modèle de l'espace tel qu'il est conçu dans la théorie didactique de G. Brousseau. Les investigations des élèves s'exercent rdans un méso-espace selon les déplacements d'un robot pilotte en langage logo. L'utilisation de ce mobile les conduit à prévoir, commander et décrire ses déplacements à l'aide d'un langage de commande non ambigü (Logo) qui a pour effet des déplacements précis d'un robot.
37
Daubet, Michel. „L'organisation de l'espace proche en section des Grands de l'école maternelle (enfants de cinq à six ans) à partir du pilotage des déplacements d'un robot en langage LOGO“. Bordeaux 1, 1986. http://www.theses.fr/1986BOR10697.
Der volle Inhalt der QuelleAnnotation:
Cette recherche sur la construction de l'espace prochen en section des grands d'école maternelle s'inscrit dans le cadre de l'enseignement de la géométrie en tant que modèle de l'espace tel qu'il est conçu dans la théorie didactique de G. Brousseau. Les investigations des élèves s'exercent rdans un méso-espace selon les déplacements d'un robot pilotte en langage logo. L'utilisation de ce mobile les conduit à prévoir, commander et décrire ses déplacements à l'aide d'un langage de commande non ambigü (Logo) qui a pour effet des déplacements précis d'un robot.
38
Boneva, Iovka. „Expressivité, satisfiabilité et model checking d'une logique spatiale pour arbres non ordonnés“. Lille 1, 2006. https://ori-nuxeo.univ-lille1.fr/nuxeo/site/esupversions/dffac6b2-50d6-4e6d-9e4c-f8f5731c75e2.
Der volle Inhalt der QuelleAnnotation:
Les structures arborescentes (arbres) sont largement étudiées en informatique. Les données semi-structurées en sont un récent champ d'application : il est admis que les arbres ordonnés d'arité non bornée sont un bon modèle pour ces données. Dans certains cas il est intéressant de considérer des arbres non ordonnés. Des formalismes logiques (logiques) sont utilisés pour décrire des requêtes ou vérifier des propriétés sur des données semi-structurées. Il est important d'identifier des logiques représentant un compromis entre expressivité et praticabilité des algorithmes. Des critères pertinents sont la satisfiabilité et la complexité du model checking de la logique. Nous étudions une logique spatiale, LS, qui est à la base d'un langage de requètes pour données semi-structurées modélisées par des arbres non ordonnés. La logique LS est très expressive, incluant des opérateurs spatiaux pour décrire localement la structure d'un arbre, un opérateur de point fixe et permettant de quantifier sur des étiquettes et sur des arbres. Nous établissons des résultats sur la satisfiabilité et la complexité du model checking pour différents fragments de LS. Nous identifions deux fragments syntaxiques de LS à satisfiabilité décidable, montrons que ces fragments sont équivalents aux logiques MSO et PMSO respectivement, et introduisons des classes d'automates d'arbres qui capturent ces deux fragments. Nous montrons que la complexité du mode! checking de LS est dans PSPACE-complet. Si seule la taille de l'arbre est prise en compte, la complexité du model checking va de linéaire à PSP ACE-complet pour les différents fragments de la logique.
39
Degenne, Pascal, und Pascal Degenne. „Une approche générique de modélisation spatiale et temporelle : application à la modélisation de la dynamique des paysages“. Phd thesis, Université Paris-Est, 2012. http://tel.archives-ouvertes.fr/tel-00786490.
Der volle Inhalt der QuelleAnnotation:
Les sciences qui traitent de la réalité, qu'elles soient naturelles, de la société ou de la vie, fonctionnent avec des modèles. Une partie de ces modèles décrivent les relations entre certaines grandeurs mesurables de la réalité, sans aller jusqu'au détail des interactions entre les éléments qui la composent. D'autres modèles décrivent ces interactions en prenant le point de vue des individus qui constituent le système, le comportement global n'est alors plus décrit à priori, mais observé à posteriori. Nous faisons le constat que dans les deux cas le scientifique a peu de liberté pour décrire les structures, en particulier spatiales, susceptibles de porter ces interactions. Nous proposons une approche de modélisation que l'on peut situer à mi-chemin entre les deux, et qui incite à étudier un système à travers la nature de ses interactions et des structures de graphes qui peuvent les porter. En plaçant au même niveau les relations spatiales, fonctionnelles, sociales ou hiérarchiques, nous tentons aussi de nous affranchir des contraintes induites par le choix effectué souvent à priori d'une forme de représentation de l'espace. Nous avons formalisé les concepts de base de cette approche, et ceux-ci ont constitué les éléments d'un langage métier, nommé Ocelet, que nous avons défini. Les outils permettant la mise en œuvre de ce langage ont été développés et intégrés sous la forme d'un environnement de modélisation et de simulation. Enfin nous avons pu expérimenter notre nouvelle approche de modélisation et le langage Ocelet à travers la réalisation de plusieurs modèles présentant des situations variées de dynamiques paysagères
40
Laviole, Jérémy. „Interaction en réalité augmentée spatiale pour le dessin physique“. Phd thesis, Université Sciences et Technologies - Bordeaux I, 2013. http://tel.archives-ouvertes.fr/tel-00935602.
Der volle Inhalt der QuelleAnnotation:
Cette dissertation décrit le design, implémentation et évaluation de nouvelles applications en Réalité Augmentée Spatiale (RAS). Ces applications sont concentrées sur l'amélioration du dessin physique tel que les dessins au crayons ou peintures en projetant des outils numériques.Tout d'abord, nous décrivons notre système de RAS et ses possibilités. Il prend en comptes les paramètres internes et externes d'un couple caméra/projecteur pour permettre une projection précise sur des feuilles de papier. De plus, il permet la détection du toucher des feuilles et de la position de la main au dessus de celles-ci grâce à une caméra de profondeur. Par conséquent, il permet la création d'écrans tactiles interactifs sur des feuilles de papier posées sur une table.Ensuite, nous nous penchons sur la création d'art visuel, plus précisément sur les premières étapes de la création quand l'artiste créer la structure. Nous offrons la possibilité de créer et d'éditer des lignes de construction numériques (LCN) projetées sur le papier. Ces outils sont des outils de Réalité Augmentée (RA), c'est-à-dire qu'ils s'ajoutent aux outils existants: toute l'interface utilisateur est sur la table, et l'utilisateur n'utilise jamais ni une souris, ni un clavier ni un écran. En plus des simples LCN (lignes et courbes), nous proposons une spécialisation pour les dessins spécifiques tels que les dessins en perspective, les dessins de personnages ainsi que les dessins à partir d'un modèle 3D. Nous proposons de nouvelles méthodes pour afficher et interagir avec des objets 3D sur papier. Nous proposons également de créer des dessins mixtes:art visuel interactif qui tire parti à la fois des possibilités physiques et numériques.Pour finir, nous décrivons des nouveaux usages pour notre système de RAS de nombreux contextes différents à travers des démonstrations publiques. L'acceptabilité de ce genre de système a été très bonne, et "magique" par la plupart des utilisateurs. Ils ont juste vu et interagis avec des feuilles de papier sans remarquer le système de projection et suivi.
41
Bermes, Sébastien. „Les arbres octaux paresseux : une méthode dynamique de subdivision spatiale pour le lancer de rayons“. Toulouse, ENSAE, 1998. http://www.theses.fr/1998ESAE0018.
Der volle Inhalt der QuelleAnnotation:
Le lancer de rayons est une méthode de simulation visant à déterminer la progression d'une onde dans un milieu composé de surfaces. Quand le nombre de ces surfaces est important, il devient nécessaire de pouvoir déterminer rapidement quelles sont les surfaces susceptibles d'être sur la trajectoire d'un rayon. On utilise communément pour cela des ensembles de voxels (élément cubique d'espace), subdivisant l'espace et rassemblant les surfaces par zones géographiques. L'arbre local est l'une de ces structures, obtenue par découpage récursif octal de l'espace. Les feuilles de cet arbre sont les voxels ne contenant aucune surface, ou obéissant à certains critères de profondeur dans l'arbre ou de nombre de surface. Dans cette thèse, nous développons l'idée d'un arbre octal paresseux, afin de construire cette structure dynamiquement, en fonction des zones traversées par les rayons. Cet arbre est potentiellement ramifiable à l'infini, mais sa construction effective ne dépend que des rayons lancés. La notion de paresse découle des langages fonctionnels, l'évaluation paresseuse (aussi appelée évaluation par nécessité) permettant de n'effectuer que les calculs nécessaires à l'obtention du résultat. Cette construction de l'arbre octal permet d'obtenir d'importants gains en place mémoire, ainsi qu'en vitesse de calcul. Notre étude porte aussi sur l'exploration de cet arbre octal paresseux, c'est-à-dire les méthodes pour déterminer la succession des voxels rencontrés par un rayon. Nous proposons une méthode hybride, à la fois récursive et incrémentale, selon les méthodes de traversée de maillages réguliers. Enfin, dans le but de valider nos résultats, nous abordons diverses applications du lancer de rayons : la synthèse d'images, la simulation sismique ainsi que la simulation électromagnétique.
42
Le, Cuziat Joseph. „Contraintes environnementales et anthropiques influençant la répartition spatiale de l'outarde houbara Chlamydotis u. Undulata. Perspectives de conservation“. Aix-Marseille 3, 2005. http://www.theses.fr/2005AIX30032.
Der volle Inhalt der QuelleAnnotation:
Cette étude a consisté en l'identification et l'évaluation des contraintes environnementales et anthropiques agissant sur la répartition spatiale d'une population sauvage d'outarde houbara, espèce menacée et emblématique des milieux désertiques d'Afrique du Nord, afin d'optimiser les stratégies de conservation de l'espèce à l'échelle de son aire de répartition. Ce travail a été réalisé sur une zone d'étude de 600 Km² située dans les steppes semi-arides de l'Oriental marocain, dans des milieux représentatifs des conditions environnementales rencontrées en Afrique du Nord sub-sahélienne. Ces régions sont exploitées par des activités pastorales extensives en pleine mutation. Les études réalisées au cours de ce travail ont permis d'évaluer les différentes méthodes de modélisation existantes, d'identifier les variables explicatives pertinentes, de hiérarchiser les influences environnementales déterminant la répartition de la population d'outardes sur la zone d'étude, et de mettre en évidence les liens fonctionnels existant entre ces variables et certains traits d'histoire de vie de l'espèceThe objectives of this study was the identification and the assessment of environmental and human-induced constraints acting on the spatial distribution of a wild population of houbara bustards, an endangered flagship species of desert range-lands of North Africa. This will allow the definition of comprehensive conservation strategy for the species on its whole distribution area. This work focused on a 600 Km² study area located within semi-arid steppe-lands of the Eastern Morocco representative of North-Africa sub-sahelian environmental conditions. The study area was largely exploited by extensive pastoralism. The relevancy of the different suitable modelling techniques was assessed, relevant predictive variables were identified, environmental influences driving the spatial distribution of bustards on the study area have been put into a hierarchy, and existing functional links between factors and some life history traits of the species have been put into evidence
43
SILBER-GUTH, CATHERINE. „Un cadre pour specifier une base d'objets complexes : application a la teledetection spatiale“. Université Louis Pasteur (Strasbourg) (1971-2008), 1989. http://www.theses.fr/1989STR13022.
Der volle Inhalt der QuelleAnnotation:
Etude des problemes de specification de bases de donnees relationnelles. Il se resume en une demarche qui allie l'emploi du modele entite/association, d'un langage de types et de la methode deductive medee. Le travail a ete applique a la conception et realisation d'une base de donnees en teledetection, application qui s'est averee complexe car elle est confrontee a un volume colossal de donnees diverses
44
Zaharescu, Andrei. „Contributions à la reconstruction spatiale et temporelle à partir de plusieurs caméras“. Phd thesis, Grenoble INPG, 2008. http://tel.archives-ouvertes.fr/tel-00379394.
Der volle Inhalt der QuelleAnnotation:
Cette thèse propose une méthodologie pour construire un système de reconstruction spatiale et temporelle à partir de plusieurs caméras: étalonnage des caméras et reconstruction 3-D éparse, reconstruction 3-D dense, reconstruction temporelle éparse et dense. Tout d'abord, une formulation probabiliste est dévelo-ppée en association avec des algorithmes de factorisation affine (méthode de reconstruction 3-D fondée sur la factorisation matricielle). Elle permet de récupérer à la fois les paramètres extrinsèques des caméras et les coordonnées 3-D des points de contrôle, étant données les correspondances 2-D de leurs projections et les paramètres intrinsèques des caméras. Le cadre proposé est robuste au bruit et se compare favorablement avec l'ajustement de faisceaux, une méthode standard de minimisation non-linéaire, qui exige un bon estimé initial non loin de l'optimum. Deuxièmement, une méthode d'évolution de maillages est proposée. Elle est capable de gérer les changements topologiques et les auto-intersections sans imposer de contraintes d'échantillonnage sur le maillage. La géométrie exacte du maillage est préservée, à l'exception des parties qui s'auto-intersectent, que l'on retriangularise localement. Des applications sont présentées: le morphing des maillages et la reconstruction 3-D à partir de plusieurs caméras en utilisant des méthodes variationnelles. Troisièmement, une méthode de regroupement de caméras qui utilise l'information de la scène est développée, capable de séparer des reconstructions à grande échelle qui consomment beaucoup de mémoire en plusieurs petites tâches indépendantes de reconstructions partielles utilisant moins de ressources. Enfin, un nouveau descripteur en 3 dimensions est proposé, défini sur des maillages triangulaires échantillonné uniformément. Il est invariant à la rotation, la translation, l'échelle, étant en mesure de capturer les informations géométriques et photométriques locales. Il est particulièrement utile dans le cadre multi-caméras, où les maillages reconstruits bénéficient de la couleur / texture. De plus, le descripteur est défini d'une manière générique pour une fonction quelconque tout au long de la surface (i.e. la couleur, la courbure). Des résultats de correspondance rigide et non rigide sont présentés. Finalement, le descripteur est intégré dans un cadre de suivi temporel dense du maillage.
45
Zaharescu, Andrei. „Contributions à la reconstruction spatiale et temporelle à partir de plusieurs caméras“. Phd thesis, Grenoble INPG, 2008. http://www.theses.fr/2008INPG0099.
Der volle Inhalt der QuelleAnnotation:
Cette thèse propose une méthodologie pour construire un système de reconstruction spatiale et temporelle à partir de plusieurs caméras. Tout d'abord, une formulation probabiliste robuste au bruit est développée en association avec toutes les algorithmes de factorisation affine, en mesure de récupérer à la fois les paramètres extrinsèques des caméras multiples et les coordonnées 3-D des points de contrôle. Deuxièmement, une méthode d'évolution de maillages est proposée, capable de gérer les changements topologiques et les auto-intersections sans imposer de contraintes d'échantillonnage sur le maillage. Troisièmement, une méthode de regroupement de caméras qui utilise l'information de la scène est développée, capable de séparer des reconstructions à grande échelle qui consomment beaucoup de mémoire dans des petites tâches indépendantes. Enfin, un nouveau descripteur en 3 dimensions est proposé, défini sur des maillages triangulaires échantillonné d'un façon uniforme, invariant à la rotation, la translation, l'échelle, étant en mesure de capturer les informations géométriques et photométriques localesThis thesis addresses the necessary steps required to build a framework for spatial and temporal 3-D reconstruction using multiple camera environments. Firstly, a probabilistic formulation robust to outliers is developed in conjunction with any affine factorization technique, able to recover both the extrinsic parameters of multiple cameras and 3-D coordinates of control points, given the 2-D point correspondences and intrinsic camera parameters. Secondly, a provably correct mesh-based surface evolution approach is proposed, able to handle topological changes and self-intersections without imposing any mesh sampling constraints. Thirdly, a scene-aware camera cIustering method is developed, able to break large-scale reconstruction tasks in smaller independent partial reconstructions that are memory tractable. Lastly, a new 3 dimensional descriptor is proposed, defined on uniformly sampled triangular meshes, invariant to rotation, translation, scale, being able to capture local geometric and photometrie properties, useful in the multi-camera environments, where the reconstructed meshes benefit from colour information
46
Estopinan, Joaquim. „A predictive approach to determining the joint conservation status of species“. Electronic Thesis or Diss., Université de Montpellier (2022-....), 2023. http://www.theses.fr/2023UMONS062.
Der volle Inhalt der QuelleAnnotation:
Les modèles de distribution d'espèces (SDMs) ont pour but d'apprendre les préférences environnementales des espèces et de projeter leur distribution géographique.Les récentes percées dans le domaine de l'apprentissage profond, associées à l'explosion des données sur la biodiversité, ont conduit au développement d'une nouvelle génération de modèles appelés deep-SDMs.Dans cette thèse, nous explorons leur application pour la conservation de la biodiversité.Tout d'abord, nous évaluons la contribution des séries temporelles d'images satellites en tant que covariables environnementales.La capture de la phénologie des habitats d'espèces s'est avérée précieuse, en particulier pour les espèces rares et dans les régions riches en espèces.Deuxièmement, nous entraînons un deep-SDM pour déduire les assemblages mondiaux d'espèces d'orchidées à l'échelle du kilomètre.Des indicateurs spatiaux de leur risque d'extinction sont ensuite cartographiés à l'aide de la liste rouge des espèces menacées de l'UICN (Union Internationale pour la Conservation de la Nature).En mettant en évidence des motifs spatiaux du risque d'extinction de taxons sous-évalués, ces indicateurs multi-échelles et basés sur de grands volumes de données peuvent informer la planification de la conservation.Troisièmement, nous utilisons des représentations d’espèces issues d’un deep-SDM pour prédire avec succès les statuts UICN des espèces, tout en permettant de projeter l'étude dans des conditions bioclimatiques futures.En effet, l'évaluation automatisée du risque d'extinction est un domaine de recherche actif pour compléter les évaluations manuelles.Notre méthode de classification bénéficie du pouvoir de généralisation des deep-SDMs.Il vise à atténuer la dépendance à l'information géographique dans les évaluations du risque d'extinction de la flore et ainsi pouvoir prédire l'évolution future de ces risques.La modélisation de la distribution des espèces est une tâche extrêmement difficile en raison de leurs dépendances biotiques et abiotiques complexes.Les modèles d'apprentissage profond peuvent s'appuyer sur les informations clefs qui sont en corrélation avec les espèces observés, et ce même lorsque des covariables environnementales riches et de très grande dimension leur sont fournies.En outre, les données sur la biodiversité sont entravées par des biais (taxonomique, géographique, temporel, etc.) que les techniques d'apprentissage automatique peuvent aider à compenser.En conclusion, nous avons étudié trois directions dans lesquelles les deep-SDM peuvent contribuer à la production de supports d'aide à la décision pour la conservation. 1) Tirer parti des données satellitaires de grande dimension pour modéliser les distributions d'espèces, 2) utiliser le pouvoir de généralisation et l'inférence des deep-SDMs pour cartographier mondialement le risque d’extinction d'assemblages d'espèces, et enfin 3) encoder des variables de grande dimension et leurs interactions reflétant les préférences environnementales des espèces pour des tâches connexes telles que la classification des statuts UICNSpecies distribution models (SDMs) aim to learn the environmental preferences of species and ultimately project their geographic distributions.Recent breakthroughs in deep learning, coupled with the explosion of biodiversity data, have led to the development of a new generation of models, called deep-SDMs.In this thesis, we explore their application in biodiversity conservation.First, we evaluate the contribution of satellite image time-series as environmental covariates.Capturing the phenology of species' habitats was found to be valuable, especially for rare species and in species-rich regions.Second, we train a deep-SDM to infer global orchid species assemblages at the kilometre scale.Spatial indicators of their extinction risk are then mapped using the IUCN Red List of threatened species.By highlighting spatial patterns of extinction risk for under-assessed taxa, such scalable and data-intensive indicators can inform conservation planning.Third, we use SDM-based species features to successfully predict the IUCN extinction risk status of species while being flexible enough to project the study into future bioclimatic conditions.Indeed, automated extinction risk assessment is an active research avenue to complement manual assessments.Our classification scheme benefits from the generalisation power of deep-SDMs.It aims to mitigate the over-reliance on geographic information in flora extinction risk assessments, thus allowing prediction of future extinction risk patterns.Modelling species distributions is an incredibly difficult task due to complex biotic and abiotic dependencies.Deep learning models can rely on the critical information that correlates with observed species patterns when provided with rich, high-dimensional environmental covariates.Furthermore, biodiversity data are hampered by biases (taxonomic, geographic, temporal, etc.) that machine learning techniques can help to compensate for.Ultimately, in our work we have investigated three directions in which deep-SDMs can contribute to the production of decision support for conservation: 1) taking advantage of high-dimensional satellite data to model species distributions, 2) using their generalisation and inference power to map the extinction risk of global species assemblages, and finally 3) encoding high-dimensional covariate information for downstream tasks such as flexible IUCN status classification
47
Erhel, Séverine. „Les effets de l'intégration spatiale des informations textuelles aux informations illustrées correspondantes à l'aide de fenêtres escamotables“. Rennes 2, 2006. http://www.theses.fr/2006REN20027.
Der volle Inhalt der QuelleAnnotation:
Cette recherche vise à évaluer les effets de l'intégration spatiale texte image à l'aide de fenêtres ponctuelles (pop-up) comparativement à un format séparant le texte de l'illustration et un format intégrant le texte à l'illustration. Les résultats montrent que le format " pop-up " améliore les performances des apprenants par rapport au format " séparé " aux épreuves ciblant la mémorisation et la compréhension des informations mais conduit également à des performances supérieures en matière de mémorisation des éléments illustrés et de compréhension comparé au format intégré. Dans un deuxième temps, cette recherche permet d'avancer diverses hypothèses explicatives concernant ces observations. Ainsi, il a été établi que la facilitation de la coréférenciation texte-illustration, la saillance perceptive de l'illustration et la disparition de la surcharge perceptive permettent d'expliquer les effets bénéfiques du format " pop-up " sur les performances en d'apprentissageThis research aims at evaluating the spatial integration of textual information by means of pop-up windows compared to a separated text-illustration format and integrated text-illustration format. The results show that the formats which concentrate on the spatial integration of the information by means of pop-up windows improve students' performance in tasks which require the memorization and comprehension of information and suggest that the group “pop-up windows” performed better than the integrated group when asked to understand the document and memorize illustrated elements. In the second time, this research enables to propose various assumptions concerning the superiority of “pop-up” format compared to the two other formats. It has been established that the facilitation of text-illustration co-referencing, the visual salience of the illustration or the diminution of perceptual overload explain the beneficial effect of “pop-up” format on the performances in terms of learning
48
Bigo, Louis. „Représentations symboliques musicales et calcul spatial“. Thesis, Paris Est, 2013. http://www.theses.fr/2013PEST1074/document.
Der volle Inhalt der QuelleAnnotation:
Représentations symboliques musicales et calcul spatial. La notion d'espace symbolique est fréquemment utilisée en théorie, analyse et composition musicale. La représentation de séquences dans des espaces de hauteurs, comme le Tonnetz, permet de capturer des propriétés mélodiques et harmoniques qui échappent aux systèmes de représentation traditionnels. Nous généralisons cette approche en reformulant d'un point de vue spatial différents problèmes musicaux (reconnaissance de style, transformations mélodiques et harmoniques, classification des séries tous-intervalles, etc.). Les espaces sont formalisés à l'aide de collections topologiques, une notion correspondant à la décoration d'un complexe cellulaire en topologie algébrique. Un complexe cellulaire per- met la représentation discrète d'un espace à travers un ensemble de cellules topologiques liées les unes aux autres par des relations de voisinage spécifiques. Nous représentons des objets musicaux élémentaires (par exemple des hauteurs ou des accords) par des cellules et construisons un complexe en les organisant suivant une relation de voisinage définie par une propriété musicale. Une séquence musicale est représentée dans un complexe par une trajectoire. L'aspect de la trajectoire révèle des informations sur le style de la pièce et les stratégies de composition employées. L'application d'opérations géométriques sur les trajectoires entraîne des transformations sur la pièce musicale initiale. Les espaces et les trajectoires sont construits à l'aide du langage MGS, un langage de programmation expérimental dédié au calcul spatial, qui vise à introduire la notion d'espace dans le calcul. Un outil, HexaChord, a été développé afin de faciliter l'utilisation de ces notions pour un ensemble prédéfinis d'espaces musicauxMusical symbolic representations and spatial computing. The notion of symbolic space is frequently used in music theory, analysis and composition. Representing sequences in pitch (or chord) spaces, like the Tonnetz, enables to catch some harmonic and melodic properties that elude traditional representation systems. We generalize this approach by rephrasing in spatial terms different musical purposes (style recognition, melodic and harmonic transformations, all-interval series classification, etc.). Spaces are formalized as topological collections, a notion corresponding with the label- ling of a cellular complex in algebraic topology. A cellular complex enables the discrete representation of a space through a set of topological cells linked by specific neighborhood relationships. We represent simple musical objects (for example pitches or chords) by cells and build a complex by organizing them following a particular neighborhood relationship defined by a musical property. A musical sequence is represented in a complex by a trajectory. The look of the trajectory reveals some informations concerning the style of the piece, and musical strategies used by the composer. Spaces and trajectories are computed with MGS, an experimental programming language dedicated to spatial computing, that aims at introducing the notion of space in computation. A tool, HexaChord, has been developped in order to facilitate the use of these notions for a predefined set of musical spaces
49
Nogues, Jean-François. „Identification et localisation spatiale de cibles sous-marines. Apport d'un noyau temps réel à la réalisation d'une instrumentation évolutive“. Toulouse 3, 1994. http://www.theses.fr/1994TOU30115.
Der volle Inhalt der QuelleAnnotation:
Le but de cette these est de concevoir et realiser une instrumentation portable, autonome et evolutive capable de saisir et traiter les signaux issus d'un echosondeur, dans le cadre de l'etude des eaux continentales. Il s'agit de localiser dans l'espace des cibles sous-marines telles que des poissons ou le fond, et d'evaluer ainsi la biomasse pisciaire contenue dans l'espace echantillonne. Les elements d'acoustique sous-marine relatifs a ce sujet sont exposes dans le premier chapitre, incluant la description des caracteristiques physiques du milieu aquatique ainsi que l'etude de la detection des cibles, en particulier des poissons. La localisation horizontale des cibles a ete etudiee dans le deuxieme chapitre et a conduit au choix du systeme gps de radiolocalisation par satellites, decrit en detail. L'instrumentation realisee est decrite d'un point de vue materiel et logiciel dans le troisieme chapitre. Les algorithmes de traitement des signaux et la gestion de l'ensemble par un noyau temps reel os-9 y sont egalement decrits. Le dernier chapitre est dedie a la validation experimentale de l'instrumentation. Elle concerne la detection et l'identification des cibles par des essais sur simulateur, en cuve, in situ sur des poissons, et enfin a grande echelle sur plusieurs lacs. La mise en uvre de techniques differentielles a partir de deux recepteurs gps, dont un est inclus dans l'instrumentation, a permis l'obtention d'une precision de localisation horizontale inferieure a six metres. Celle-ci a ete mesuree en mode statique puis confirmee en mode dynamique par les resultats de nombreuses campagnes de mesures
50
Morsli, Nadia. „Inférence non paramétrique pour les modèles Gibbsiens de processus ponctuels spatiaux“. Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENM055/document.
Der volle Inhalt der QuelleAnnotation:
Parmi les modèles permettant d'introduire de l'interaction entre les points, nous trouvons très large famille des modèles gibbsiens de processus ponctuels spatiaux issus de la physique statistique, permettant de modéliser à la fois des motifs répulsifs ou attractifs. Dans cette thèse, nous nous intéressons à l'inférence semi-paramétrique de ces modèles caractérisés par l'intensité conditionnelle de Papangelou. Deux contextes sont étudiés. Dans le premier thème, nous décrivons une procédure d'estimation du terme d'interaction du premier ordre (qui peut être aussi appelé l'intensité de Poisson) de l'intensité conditionnelle de Papangelou. L'idée sur laquelle l'estimation est basée permet, sous l'hypothèse d'une portée finie, de négliger les termes d'interaction d'ordre supérieur quelle que soit leur nature. La consistance forte et la normalité asymptotique de l'estimateur sont prouvées. Une étude par simulations illustre la performance de l'estimateur sur une fenêtre d'observation finie. Dans le second thème, nous nous focalisons sur la classe la plus connue et utilisée; le processus ponctuel à interaction par paires. Nous construisons une nouvelle méthode d'estimation de la fonction d'interaction de paires dans l'esprit des estimations non paramétriques par lissage à partir d'une réalisation du processus ponctuel spatial à interaction par paires. Deux cas sont étudiées: le cas stationnaire et le cas isotrope. Ces estimateurs exploitent à nouveau la propriété de portée finie des processus ponctuels et intégrent l'estimation du paramètre de l'intensité de Poisson vue dans le premier thème. Nous présentons les propriétés asymptotiques telles que la consistance forte ponctuelle, la consistance forte globale avec différentes vitesses de consistance, le comportement de l'erreur quadratique moyenne et la normalité asymptotique de ces estimateursAmong models allowing to introduce interaction between points, we find the large class of Gibbs models coming from statistical physics. Such models can produce repulsive as well as attractive point pattern. In this thesis, we are interested in the semi-parametric inference of such models characterized by the Papangelou conditional intensity. Two frameworks are considered. First, we describe a procédure which intends to estimate the first-order interaction term (also called Poisson intensity) of the Papangelou conditional intensity. Under the assumption of finite range of the process, the idea upon which the procedure is based allows us to neglect higher-order interaction terms. We study the stong consistency and the asymptotic normality and conduct a simulation study which highlights the efficiency of the method for finite observation window. Second, we focus on the main class of Gibbs models which is the class of pairwise interaction point processes. We construct a kernel-based estimator of the pairwise interaction function. Two cases are studied: the stationary case and the isotropic case.The estimators, we propose, exploit the finite range property and the estimator of the Poisson intensity defined in the first part. We present asymptotic properties, namely the strong consistency, the behavior of the mean squared error and the asymptotic normality