• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 23
  • 6
  • 5
  • 1
  • Tagged with
  • 35
  • 15
  • 15
  • 13
  • 10
  • 10
  • 9
  • 9
  • 8
  • 8
  • 6
  • 6
  • 5
  • 5
  • 5
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants

Lemattre, Thibault 09 July 2013 (has links) (PDF)
La conception d'architectures opérationnelles d'un système de contrôle-commande est une phase très importante lors de la conception de systèmes de production d'énergie. Cette phase consiste à projeter l'architecture fonctionnelle sur l'architecture organique tout en respectant des contraintes de capacité et de sûreté, c'est-à-dire à allouer les fonctions de commande à un ensemble de contrôleurs tout en respectant ces contraintes. Les travaux présentés dans cette thèse proposent : i)une formalisation des données et contraintes du problème d'allocation de fonctions - ii)une méthode d'allocation, par recherche d'atteignabilité, basée sur un mécanisme d'appel/réponse dans un réseau d'automates communicants à variables entières - iii)la comparaison de cette méthode à une méthode de résolution par programmation linéaire en nombres entiers. Les résultats de ces travaux ont été validés sur des exemples de taille réelle et ouvrent la voie à des couplages entre recherche d'atteignabilité et programmation linéaire en nombres entiers pour la résolution de problèmes de satisfaction de systèmes de contraintes non linéaires.
22

Estimation du risque aux intersections pour applications sécuritaires avec véhicules communicants / Risk estimation at road intersections for connected vehicle safety applications

Lefèvre, Stéphanie 22 October 2012 (has links)
Les intersections sont les zones les plus dangereuses du réseau routier. Les statistiques montrent que la plupart des accidents aux intersections sont causés par des erreurs des conducteurs, et que la plupart pourraient être évités à l'aide de systèmes d'aide à la conduite. En particulier, les communications inter-véhiculaires ouvrent de nouvelles opportunités pour les applications sécuritaires aux intersections. Le partage d'informations entre les véhicules via des liens sans fil permet aux véhicules de percevoir leur environnement au-delà des limites du champ de vision des capteurs embarqués. Grâce à cette représentation élargie de l'environnement dans l'espace et dans le temps, la compréhension de situation est améliorée et les situations dangereuses peuvent être détectées plus tôt. Cette thèse aborde le problème de l'estimation du risque aux intersections d'un nouveau point de vue : une structure de raisonnement est proposée pour analyser les situations routières et le risque de collision à un niveau sémantique plutôt qu'au niveau des trajectoires. Le risque est déterminé en estimant les intentions des conducteurs et en identifiant les potentiels conflits, sans avoir à prédire les futures trajectoires des véhicules. L'approche proposée a été validée par des expérimentations en environnement réel à l'aide de véhicules équipés de modems de communication véhicule-véhicule, ainsi qu'en simulation. Les résultats montrent que l'algorithme permet de détecter les situations dangereuses à l'avance et qu'il respecte les contraintes temps-réel des applications sécuritaires. Il y a deux différences principales entre l'approche proposée et les travaux existants. Premièrement, l'étape de prédiction de trajectoire est évitée. Les situations dangereuses sont identifiées en comparant ce que les conducteurs ont l'intention de faire avec ce qui est attendu d'eux d'après les règles de la circulation et le contexte. Le raisonnement sur les intentions et les attentes est réalisé de manière probabiliste afin de prendre en compte les incertitudes des mesures capteur et les ambiguïtés sur l'interprétation. Deuxièmement, le modèle proposé prend en compte les informations sur le contexte situationnel, c'est-à-dire que l'influence de la géométrie de l'intersection et des actions des autres véhicules est prise en compte lors de l'analyse du comportement d'un véhicule. / Intersections are the most complex and dangerous areas of the road network. Statistics show that most road intersection accidents are caused by driver error and that many of them could be avoided through the use of Advanced Driver Assistance Systems. In particular, vehicular communications open new opportunities for safety applications at road intersections. The sharing of information between vehicles over wireless links allows vehicles to perceive their environment beyond the field-of-view of their on-board sensors. Thanks to this enlarged representation of the environment in time and space, situation assessment is improved and dangerous situations can be detected earlier. This thesis tackles the problem of risk estimation at road intersections from a new perspective: a framework is proposed for reasoning about traffic situations and collision risk at a semantic level instead of at a trajectory level. Risk is assessed by estimating the intentions of drivers and looking for conflicts in them, rather than by predicting the future trajectories of the vehicles and looking for intersections between them. The proposed approach was validated in field trials using passenger vehicles equipped with vehicle-to-vehicle wireless communication modems, and in simulation. The results demonstrate that this algorithm allows the early detection of dangerous situations in a reliable manner and complies with real-time constraints. The proposed approach differs from previous works in two key aspects. Firstly, it does not rely on trajectory prediction to assess the risk of a situation. Dangerous situations are identified by comparing what drivers intend to do with what they are expected to do according to the traffic rules and the current context. The reasoning about intentions and expectations is performed in a probabilistic manner to take into account sensor uncertainties and interpretation ambiguities. Secondly, the proposed motion model includes information about the situational context. Both the layout of the intersection and the actions of other vehicles are taken into account as factors influencing the behavior of a vehicle.
23

Vývoj přípravy dětí na přijetí eucharistie a svátosti smíření / Development of the Preparation of Children for Reception of the Sacrament of Eucharist and the Sacrament of Penance

BRYCHTOVÁ, Kateřina January 2007 (has links)
The dissertation describes development of the preparation of children for reception of the first Communion and the first confession. In particular time periods of our history the church passed its teaching and faith on in a lot of various ways. The first Christians educated the newcomers in catechism. In the Middle Ages begins the development of catechesis and primarily of preaching, which should educate both children and adults. There isn{\crq}t still much time devoted to children and their preparations for reception of the sacraments; children cannot receive the sacrament until they reach an older age. Change in a bestowal of the sacraments is brought by a decree Quam singulari promulgated in 1910 by Pius X. It{\crq}s a decree on the age at which children are to be admitted to first Communion and it still influences the pursuance of preparing the new communicants for the reception of the sacraments. In my work I described, with the help of an available literature, the course of the preparations of the new communicants from the promulgation of the decree until now. I am also stating the methodic materials used by those, who lead those preparations.
24

La communication politique au Bénin, 1945-2011: vers la naissance d'une profession? / Political communication in Benin, 1945-2011: towards the birth of a profession?

Kakpovi, Bellarminus 05 December 2014 (has links)
Au Bénin, l’avènement, en 1990, d’un régime libéral caractérisé par le pluralisme politique, la libre expression et l’organisation régulière d’élections disputées, s’est accompagné de l’émergence d’une communication politique concurrentielle. Cette thèse a essayé d’étudier de façon diachronique les pratiques de communication politique en tant qu’activité émergente, à travers notamment le processus qui a conduit à sa professionnalisation ou non, ses praticiens ainsi que les outils mobilisés par ces derniers. <p>Ainsi, l’analyse est partie des origines de la communication politique « moderne » qui remontent aux années 1945 pour montrer qu’à partir de 1990, elle a connu l’apparition, d’une part, de nouveaux acteurs distincts des journalistes qui en étaient les principaux praticiens, d’autre part, de nouveaux outils (la foisonnante presse écrite, les médias audiovisuels prolifiques et tout récemment Internet) mue la libéralisation du secteur de la presse. <p>L’analyse croisée des discours des praticiens recueillis par le biais d’entretiens semi-directifs, de leurs pratiques observées directement lors du scrutin présidentiel de mars 2011, et de la recherche documentaire a permis de comprendre et de décrire le processus de professionnalisation de cette activité émergente, d’identifier les communicants à travers leur profil et d’étudier les outils mobilisés ainsi que les dispositifs informels auxquels ont recouru les candidats dans le but de la mobilisation électorale. <p> / Doctorat en Information et communication / info:eu-repo/semantics/nonPublished
25

A formal framework for run-time verification of Web applications : an approach supported by ccope-extended linear temporal logic

Haydar, May January 2007 (has links)
Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.
26

Création semi-automatique de modèles numériques de terrains - Visualisation et interaction sur terminaux mobiles communicants

Pouderoux, Joachim 29 June 2007 (has links) (PDF)
Les modèles numériques de terrains (MNT) permettent de représenter efficacement la topographie d'une zone géographique donnée. Ces MNT peuvent être issus d'une télé acquisition à l'aide de radars embarqués ou de levés manuels sur le terrain à l'aide d'un tachéomètre. Les MNT constituent le contexte thématique de cette thèse qui est composée en trois parties.<br /><br />Dans un premier temps, nous nous intéressons à la création de ces modèles à partir d'une source importante de données topographiques constituée par les cartes topographiques. Nous présentons une chaîne complète de traitements permettant de générer un MNT à partir d'une carte topographique numérisée. Nous détaillons particulièrement de nouvelles méthodes de reconstruction des courbes de niveaux et d'interpolation de ces courbes pour générer un MNT. Les différents travaux effectués dans cette thématique s'intègrent au sein de la plate-forme logicielle AutoDEM que nous avons développée durant cette thèse.<br /><br />Puis, dans une deuxième partie, nous présentons une nouvelle technique permettant de visualiser des MNT en 3D sur une large gamme de dispositifs allant de stations de travail reliées à de grands écrans jusqu'à des terminaux mobiles (TM) à faibles capacités tels que les PDA ou les téléphones portables. L'intérêt majeur de la technique présentée, qui repose sur un mode connecté client-serveur, réside dans l'adaptation dynamique du modèle 3D aux capacités d'affichage du terminal. Nous nous intéressons également à des techniques de rendu à distance et présentons deux techniques permettant d'offrir d'une part une visualisation interactive temps réel et d'autre part un panorama virtuel à l'utilisateur.<br /><br />Enfin, dans un troisième temps, nous décrivons des techniques nouvelles permettant à un utilisateur mobile disposant d'un TM de naviguer et d'interagir avec des données géographiques (cartes ou plans 2D et scènes 3D). La première est une technique d'interaction tangible et bi-manuelle reposant sur la détection par analyse du flux vidéo d'une cible décrivant un code couleur. La deuxième est une technique de sélection à deux niveaux adaptée aux TM ne disposant pas de dispositif de pointage continu.
27

Contribution à la Modélisation et à la Gestion des Interactions Produit-Processus dans la Chaîne Logistique par l'Approche Produits Communicants

Cea Ramirez, Aldo 18 July 2006 (has links) (PDF)
Dans le domaine de la chaîne logistique, nous constatons des besoins croissants d'information et d'interactions entre produits, processus et clients, et ceci durant le cycle de vie du produit. Cela entraîne le besoin, au niveau du produit, de nouvelles capacités de communication, de gestion de l'information, de perception et d'action avec son environnement physique. Ces besoins ont engendré le concept de produit ou objet communicant. Un produit avec ces nouvelles capacités pourra interagir avec d'autres entités physiques ou informationnelles dans son environnement et apporter des transformations significatives sur la gestion de la chaîne logistique. Le travail présenté dans cette thèse vise à analyser et contribuer à appliquer la notion d'objet communicant aux produits physiques dans le domaine de la chaîne logistique. L'approche proposée considère un produit comme un demandeur ou un fournisseur de services. La méthodologie proposée de gestion des produits communicants s'appuie sur la caractérisation d'une architecture de services ambiants devant permettre de gérer les services d'un produit d'une façon automatique et ubiquiste. Nous avons choisi l'architecture UPnP pour gérer les services des objets communicants. La communication directe avec le produit est supportée par les méthodes d'identification automatique RFID. Nous nous sommes appuyés sur le formalisme standard de modélisation UML afin de modéliser les interactions et les services associés à un produit physique. Comme résultat, nous avons élaboreé des démonstrateurs de laboratoire validant la faisabilité de notre proposition méthodologique de gestion de la chaîne logistique par les objets communicants.
28

Approches formelles pour l'analyse de la performabilité des systèmes communicants mobiles : Applications aux réseaux de capteurs sans fil

Abo, Robert 06 December 2011 (has links) (PDF)
Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking. Nous modélisons ces systèmes à l'aide d'un formalisme de haut niveau issu du π-calcul, permettant de considérer des comportements stochastiques, temporels, déterministes, ou indéterministes. Cependant, dans le π-calcul, la primitive de communication de base des systèmes est la communication en point-à-point synchrone. Or, les systèmes mobiles, qui utilisent des réseaux sans fil, communiquent essentiellement par diffusion locale. C'est pourquoi, dans un premier temps, nous définissons la communication par diffusion dans le π-calcul, afin de mieux modéliser les systèmes que nous étudions. Nous proposons d'utiliser des versions probabilistes et stochastiques de l'algèbre que nous avons défini, pour permettre des études de performance. Nous en définissons une version temporelle permettant de considérer le temps dans les modèles. Mais l'absence d'outils d'analyse des propriétés sur des modèles spécifiés en une algèbre issue du π-calcul est un obstacle majeur à notre travail. La définition de règles de traduction en langage PRISM, nous permet de traduire nos modèles, en modèles de bas niveau supports du model checking, à savoir des chaînes de Markov à temps discret, à temps continu, des automates temporisés, ou des automates temporisés probabilistes. Nous avons choisi l'outil PRISM car, à notre connaissance, dans sa dernière version, il est le seul outil à supporter les formalismes de bas niveau que nous venons de citer, et ainsi il permet de réaliser des études de performabilité complètes. Cette façon de procéder nous permet de pallier à l'absence d'outils d'analyse pour nos modèles. Par la suite, nous appliquons ces concepts théoriques aux réseaux de capteurs sans fil mobiles.
29

Assistance robotisée à la personne en environnement coopérant

Andriatrimoson, Antonio 11 January 2012 (has links) (PDF)
La rencontre de l'intelligence ambiante et de la robotique d'assistance a donné naissance à ce que nous avons appelé robotique ambiante d'assistance car destinée à assister une personne en perte d'autonomie. Elle s'appuie sur l'existence de réseaux d'objets communicants présents dans l'environnement de la personne pour décliner un ensemble de services et de téléservices destinés à faciliter la vie quotidienne de cette personne et de son entourage. Un, voir plusieurs robots peuvent être présents dans cet environnement. Une communauté scientifique récente s'est construite autour de la robotique ubiquitaire. Tandis que les robots des générations précédentes ont été conçus pour réaliser des tâches spécifiques et construits en tant qu'unité indépendante, la nouvelle génération vise l'ubiquité. L'autonomie du robot est, dans ce cadre, obtenue par une interaction étroite entre le robot et l'environnement ambiant communicant. Jusqu'à ces dernières années le robot évoluait dans un environnement plutôt hostile qui ne lui facilitait pas la tâche. Dans le contexte de l'intelligence ambiante, les objets communicants de l'environnement peuvent jouer un rôle "facilitateur" en aidant le robot à se localiser, naviguer, rechercher un objet. Inversement, le robot peut être vu comme un objet communicant qui est mis à contribution par des services autres que l'assistance à la personne en perte d'autonomie. Le premier objectif de cette thèse est de proposer une architecture informatique permettant la coopération entre le robot et les objets communicants présents dans l'environnement tels que les capteurs ou les actionneurs. Une des difficultés est que le robot évolue dans un environnement encombré, changeant de façon non prédictible au sens où, par exemple, les capteurs ambiants peuvent être disponibles/indisponibles, accessibles/inaccessibles. Il est donc nécessaire de disposer de mécanismes d'adaptation face à des situations diverses voir imprévues afin qu'au final, le robot réussisse sa mission, se déplacer d'un point A à un point B, si possible en tenant compte de contraintes telles que le degré d'urgence ou le niveau de précision. Nous avons aussi pris en compte une autre contrainte, d'ordre éthique, dimension très débattue dans les projets de robotique d'assistance à domicile, qui est le degré d'intrusion. L'intrusion d'une intelligence ambiante capable d'agir et de percevoir, en présence de la personne, occasionne une gêne pour celle-ci et son entourage. Dans le cadre de cette thèse, nous évaluerons notre architecture informatique de coopération entre le robot et le réseau de capteurs, ainsi que les mécanismes d'adaptation avec la tâche de localisation du robot. L'ambition est de fournir un résultat de localisation à tout prix, quitte à ce qu'il soit dégradé et ce, quelle que soit la situation rencontrée. Pour répondre à cette obligation de résultat, nous avons introduit la notion d'effet. Le système cherche à se rapprocher le plus près possible de l'effet demandé. C'est la solution acceptable, au sens de certains critères, qui est retenue. Ce n'est pas forcément la solution optimale. Le deuxième objectif de la thèse est de proposer une méthode de localisation par coopération robot-environnement communicant. Notre ambition est de localiser avec certitude le robot dans une zone de l'habitat. Les dimensions de cette zone peuvent être très variables. Ces dimensions dépendent des besoins de la tâche, voire de l'enchaînement de tâches, que prévoit de réaliser le robot à cet instant, mais découlent aussi de facteurs comme la dispersion des capteurs dans l'environnement, la qualité des mesures disponibles. Nous partons du principe qu'une bonne connaissance de sa situation, la certitude d'être dans cette zone avec une précision connue, permettra au robot d'adopter la meilleure stratégie possible pour assurer sa mission qui est de retrouver la personne dans son habitat. Aussi, la position et l'orientation du robot doivent être données avec une précision garantie. C'est moins la précision que la certitude que le robot appartienne à cette zone qui importe. Bien que l'approche de localisation ait pour ambition d'utiliser les mesures provenant d'un réseau de capteurs, les plus variés possibles, situés dans l'environnement ou sur le robot, elle n'a pas vocation, du moins dans sa version de base, à répondre à tous les cas de figure. Nous allons préciser le périmètre de son utilisation. L'un des intérêts de cette méthode est d'être apte à utiliser des mesures issues de capteurs du robot et de l'environnement. Les mesures sont des angles connus avec une certaine incertitude. La localisation est obtenue par multilatération. La version de l'algorithme proposé dans cette thèse a pour vocation d'une part, de montrer l'intérêt de l'approche par intervalles, et d'autre part, de disposer d'une méthode de localisation qui sera utilisée par les agents capteurs du SMA décrit plus haut. Des améliorations peuvent être apportées sur plusieurs points. Tout d'abord, les mesures aberrantes qui violent de l'hypothèse d'erreur bornée ne sont pas traitées. Il existe des pistes dans la littérature pour y remédier. Par ailleurs, il a été considéré, pour simplifier la présentation de l'approche, que la localisation des capteurs et des marqueurs de l'environnement était connue. Mais il est facile d'introduire cette incertitude dans l'algorithme.
30

Du capteur de gaz à oxydes métalliques vers les nez électroniques sans fil

Menini, Philippe 25 November 2011 (has links) (PDF)
Bien que développés depuis plus de 50 ans, les capteurs chimiques (au sens large) et les capteurs de gaz plus particulièrement, sont toujours aujourd'hui en plein développement. Côté industriel, le marché global des capteurs chimiques et biochimiques connait la plus forte progression (+9,6%/an) depuis la fin des années 2000 avec un volume de 15 milliards de dollars en 2010 (10% pour le seul marché des capteurs de gaz). Ces dispositifs de détection offrent potentiellement des applications dans les principaux domaines qui sont le transport, l'environnement, la santé, l'industrie et l'agroalimentaire. On conçoit dès lors, que le marché de capteurs de gaz bas coût soit florissant et plein d'avenir. Les défauts des détecteurs actuels performants et commercialisés tels que les systèmes basés sur la détection infrarouge, électrochimiques ou encore à photo-ionisation, sont leur consommation en puissance de l'ordre du Watt, leur prix de revient mais aussi la complexité de leur électronique associée. Avec l'émergence des micro/nanosystèmes, nous assistons de plus en plus au développement de dispositifs miniatures, portables, " intelligents ", intégrant le (ou les) capteurs, l'alimentation, l'électronique de traitement et bien d'autres éléments ; on parle alors de nez électroniques intégrés. Parmi les capteurs développés à ce jour, les capteurs de gaz semi-conducteurs répondent le mieux encore aujourd'hui à ces besoins avec un coût de fabrication modéré (d'autant plus faible que le nombre fabriqué sera grand) ; ils sont en effet non seulement très bien adaptés aux techniques de la microélectronique mais peuvent intégrer également une grande diversité de matériaux tels que les oxydes métalliques, les polymères semiconducteurs et autres composites. De très nombreux travaux de recherches ont été réalisés et le sont encore à ce jour pour améliorer leurs performances, toujours perfectibles notamment en termes de sensibilité, de sélectivité, de stabilité, de reproductibilité, de rév ersibilité, de temps de réponse et de recouvrement. Les trois principales voies de recherche explorées dans nos travaux sont au niveau : i) de la technologie du détecteur (optimisation des matériaux et des étapes de fabrication), ii) de son mode de fonctionnement et iii) du traitement du signal au travers de quatre thèses. Les performances de nos structures sont à ce jour très largement supérieures à celles des capteurs commerciaux de même type. Depuis 2007, une thèse a été menée en collaboration avec l'équipe MINC (Micro et Nano systèmes pour les Communications sans fil) du LAAS pour développer, en totale rupture technologique, un nouveau transducteur électromagnétique permettant la détection de gaz à distance sans fil, sans consommation d'énergie par conséquent voué au déploiement de réseau de capteurs communicants. Les prospectives de recherche à court, moyen et long termes sur les dix prochaines années sont abordées. Elles s'appuient sur trois grandes idées en totale complémentarité : i. l'intégration de nouveaux matériaux nanostructurés vers une ultra sensibilité. L'étude des phénomènes de surface et de différentes voies de transduction permettrait d'envisager de nouvelles générations capteurs pour l'environnement mais aussi pour la santé. ii. le développement de nouveaux microsystèmes multicellules de détection, permettant une grande sélectivité en jouant sur des modes de fonctionnement évolués. L'objectif est de réaliser des nez électroniques intégrés pour de multiples applications. iii. le développement de nouvelles générations de capteurs communicants sans fil pour une cartographie olfactive de l'environnement encore appelée " intelligence ambiante ".

Page generated in 0.07 seconds