|
|<
<< Page précédente
1
2
3
4
5
6
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Titre
Auteur
|
|
Informatique
/ 07-01-2014
Chédor Sébastien
Voir le résumé
Voir le résumé
L'une des façons les plus efficace de s'assurer du bon fonctionnement d'un système informatique est de les représenter par des modèles mathématiques. De nombreux travaux ont été réalisés en utilisant des automates finis comme modèles, nous essayons ici d'étendre ces travaux à des modèles infinis. Dans cette thèse, nous nous intéressons à quelques problèmes dans lesquels un système est observé de façon incomplète. Dans ce cas, il est impossible d'accéder à certaines informations internes. La diagnosticabilité d'une propriété donnée consiste à vérifier qu'à l'exécution du système, un observateur sera en mesure de déterminer avec certitude que la propriété est vérifiée par le système. L'opacité consiste, réciproquement, à déterminer qu'un doute existera toujours. Une autre application concerne la génération de cas de test. Une fois encore, on considère qu'un observateur n'accède qu'à une partie des événements se produisant dans le système (en général les entrées et les sorties). À partir d'une spécification, on produit automatiquement des cas de test, qui ont pour but de détecter des non-conformités (elles même formalisées de façon précise). Ces trois problèmes ont été étudiés pour des modèles finis. Dans cette thèse, nous étendons leur étude aux modèles récursifs, pour cela nous avons introduit notre propre modèle, les RTS, qui sont une généralisation des automates à pile, et d'autres modèles de la récursivité. Nous adaptons ensuite les techniques utilisées sur des modèles finis, qui servent à résoudre les problèmes qui nous intéressent.
|
|
physique
/ 08-01-2014
Chauzat Corinne
Voir le résumé
Voir le résumé
Le remplacement des lasers à colorant émettant dans la gamme 550-570 nm, à l'aide de lasers solides, représente un véritable enjeu industriel. Les applications sont multiples tant dans le domaine de la recherche biomédicale que dans celui de la métrologie. Quelques solutions ont été développées à 561 nm et à 553 nm. Néanmoins, elles ne permettent pas de fournir des lasers intégrables parfaitement mono-fréquences émettant en continu un faisceau gaussien, d'une puissance supérieure ou égale à 200 mW. Dans ces travaux, nous proposons une étude théorique et expérimentale de cavités lasers solides monolithiques à base de Nd:YAG pompé par diode, doublé en fréquence en intra-cavité, à l'aide d'un cristal non-linéaire de KTP. Ces cavités, constituées de plusieurs cristaux, sont contactées par adhérence moléculaire. Elles ne contiennent aucune optique de mise en forme des faisceaux et présentent la particularité de comporter un double filtre de Lyot. Nous présentons les résultats obtenus avec des cavités émettant à 561 nm pour des puissances supérieures ou égales à 300 mW. Puis, après une étude statistique et une analyse des résultats de test de ces cavités à long terme (> 6000 heures), nous discutons des problèmes éventuels de fiabilité et nous suggérons des axes d'amélioration. Ayant réussi à faire osciller, pour la première fois, la raie à 1106 nm du Nd:YAG, nous montrons ensuite la faisabilité d'un laser compact mono-fréquence continu à 553 nm, émettant une puissance de 200 mW à 500 mW avec un rendement de conversion pompe/laser visible de l'ordre de 19 %. Pour conclure, nous montrons qu'il est possible, dans des cavités de ce type, de faire osciller des raies Raman issues des raies fondamentales et de les doubler en fréquence en intra-cavité. Nous ouvrons ainsi la porte à toute une famille de lasers solides émettant dans la gamme 540-600 nm.
|
|
Biologie et sciences de la santé
/ 09-01-2014
Sulpice Laurent
Voir le résumé
Voir le résumé
Le but de ce travail était de rechercher le rôle du microenvironnement dans la progression tumorale du cholangiocarcinome intrahépatique (CCIH) par une approche translationnelle, associant recherche fondamentale et clinique. Une étude transcriptomique du stroma tumoral a permis de mettre en évidence une signature spécifique de celui-ci, dont l’analyse non supervisée montrait un enrichissement dans les gènes de la matrice extracellulaire, du cycle cellulaire, de la voie TGFβ et des marqueurs de cellules souches. Ces résultats ont été validés au niveau protéique par immunohistochimie sur tissue microarrays à partir d’une cohorte indépendante. La corrélation de ces résultats avec les données cliniques a permis de démontrer que le niveau d’expression de l’Osteopontin dans le stroma était un facteur de risque indépendant de récidive et de survie. Par ailleurs, nous avons démontré que le taux sérique d’Osteopontin préopératoire des patients porteurs d’un CCIH était significativement supérieur à celui de sujets sains. Avec un seuil déterminé à 57,8 ng/ml, la sensibilité et spécificité de ce biomarqueur diagnostique était respectivement de 80 et 100%. De plus, nous avons apporté des arguments supplémentaires concernant le rôle des cellules souches cancéreuses dans la progression du CCIH, en mettant en évidence une corrélation entre le niveau d’expression de marqueurs souches tels qu’EpCAM et CD44 dans le stroma tumoral ainsi que dans le tissu fibreux du foie « sain » péri-lésionnel et le risque de récidive. Les résultats de notre étude ont confirmé le rôle central du microenvironnement dans la progression du CCIH, permis de mettre en évidence 2 nouveaux biomarqueurs pronostiques, et ouvert de nouvelles voies de recherche thérapeutiques.
|
|
Informatique
/ 13-01-2014
Zhao Yulong
Voir le résumé
Voir le résumé
La modélisation dans le domaine de l'agro-écologie est importante car elle permet de mieux comprendre les interactions entre l'environnement et les activités humaines. Des travaux basés sur la simulation ont été développés depuis des années. Cependant, non seulement ces outils restent difficiles à utiliser par les utilisateurs non experts, mais aussi le coût des modèles rend leur utilisation difficile à case de la complexité élevée en cas d'application réelle. Nous proposons une approche qui consiste à représenter le système étudié dans un formalisme de système à événements discrets qui est bien adapté quand la dynamique du système est liée à des interactions entre les entités concernés. Ceci permet de profiter l'efficacité du model-checking pour étudier le comportement du système modélisé et d'utiliser la synthèse de contrôleur pour générer automatiquement des stratégies optimales. Nous présentons deux contributions dans cette thèse. La première contribution concerne le projet EcoMata. Cette modélisation qualitative en automates temporisés pour un réseau trophique marin de type proie-prédateur permet d'analyser l'écosystème à l'aide de model-checking sans avoir à faire des simulations. Des scénarios de requête prédéfinis ont été développés dans un langage naturel pour que les utilisateurs non expert puissent faire des requêtes sur les réseaux trophiques sans avoir des connaissances sur la langage TCTL. Nous avons amélioré la génération automatique d'automates temporisés à partir d'une description des équation Lotka-Votera. Nous avons aussi proposé une approche de synthèse de contrôleur pour générer automatiquement des stratégies optimales de gestion de pêche. Le prototype logiciel EcoMata implémente l'ensemble des propositions incluant la recherche de stratégies optimales. Dans la seconde contribution, nous proposons une modélisation hybride en automates temporisés d'une exploitation de pâturage. Cette modélisation hybride combine un modèle numérique de la croissance d'herbe et un modèle qualitatif des activités de pâturage. Une structure hiérarchique organise les modèles dans quatre couches: la couche biologique, la couche activité, la couche décisionnelle et la couche d'horloge. Nous proposons quatre méthodes pour générer des stratégies optimales des activités de pâturage. La première méthode est appliquée à la recherche de stratégies optimales de la mise au pâturage. Trois méthodes sont dédiées à la recherche de stratégies optimales de la fertilisation. Une d'entre elles utilise la synthèse de contrôleur alors que les deux autres combinent la synthèse de contrôleur et l'apprentissage supervisé pour générer des stratégies génériques par type d'exploitation. Un prototype logiciel PaturMata a été développé implémentant cette modélisation, permettant aux utilisateurs de simuler des scénarios de pâturage et rechercher des stratégies optimales de mise au pâturage.
|
|
Informatique
/ 17-01-2014
Ziegler Stefan
Voir le résumé
Voir le résumé
Cette thèse étudie l'intégration de repères phonétiques dans la reconnaissance automatique de la parole (RAP) continue à grand vocabulaire. Les repères sont des événements à temps discret indiquant la présence d’événements phonétiques dans le signal de parole. Le but est de développer des détecteurs de repères qui sont motivés par la connaissance phonétique afin de modéliser quelques événements phonétiques plus précisément. La thèse présente deux approches de détection de repères, qui utilisent l'information extraite par segments et étudie deux méthodes différentes pour intégrer les repères dans le décodage, qui sont un élagage basé sur les repères et une approche reposant sur les combinaisons pondérées. Alors que les deux approches de détection de repères présentées améliorent les performance de reconnaissance de la parole comparées à l'approche de référence, elles ne surpassent pas les prédictions phonétiques standards par trame. Ces résultats indiquant que la RAP guidée par des repères nécessite de l'information phonétique très hétérogène pour être efficace, la thèse présente une troisième méthode d'intégration conçue pour intégrer un nombre arbitraire de flux de repères hétérogènes et asynchrones dans la RAP. Les résultats indiquent que cette méthode est en effet en mesure d'améliorer le système de référence, pourvu que les repères fournissent de l'information complémentaire aux modèles acoustiques standards.
|
|
Informatique
/ 17-01-2014
Maubert Bastien
Voir le résumé
Voir le résumé
There are in the literature many examples of games where the desired strategies are submitted to ''transversal'' constraints involving sets of plays, related by some semantic relation. The most famous example is strategies for games with imperfect information, and games where the objective involves some epistemic aspect provide many more examples. Nevertheless, to the best of our knowledge, there has been no thorough study on this type of constraints in their generality. This is what this thesis intends to start. Therefore, we define a general notion of uniform strategies. Uniformity properties of strategies are expressed in a logical language that extends CTL∗ with two original quantifiers. These quantifiers are very close to the classic knowledge operators of epistemic logics, and they involve sets of plays related by binary relations. We show how this notion of uniform strategies captures the known examples from the literature, and we study in depth the problem of uniform strategy synthesis, assuming that the binary relations between plays can be recognized by finite automata (rational relations). We establish several decidability and complexity results, relying widely on automata techniques: in particular, we introduce as tools jumping tree automata and information sets automata. Moreover, our results enable us to improve existing results and establish new ones, in the domains of model checking epistemic temporal logics, and epistemic planning.
|
|
chimie
/ 17-01-2014
Tohme Ayham
Voir le résumé
Voir le résumé
Au cours de cette thèse, nous avons synthétisé et caractérisé de nouvelles phosphines possédant des groupements fonctionnels organométalliques rédox-actifs. En modifiant l'état rédox de ceux-ci, les propriétés électroniques de ces ''métalloligands'' devraient changer, induisant ainsi une modification de la densité électronique autour du métal auquel ils sont coordinés. Idéalement, cela devrait se traduire par un changement de l'activité catalytique du métal, si celui-ci intervient comme catalyseur dans une transformation catalytique. Nous avons tout d'abord étudié de ligands triarylphosphines fonctionnalisés par un ou trois groupements organofers. Après caractérisation de quatre métalloligands de ce type à l'état réduit et à l'état oxydé, leurs paramètres électroniques ont été évalués par deux méthodes expérimentales différentes. Finalement, les complexes Pd(II) correspondant aux métalloligands ont été synthétisés et testés en catalyse. Ensuite, nous nous sommes intéressés à la chimie de dérivés alkynyldiarylphosphines organométalliques. Ces complexes sont instables après oxydation, formant des complexes bis-acétylures Fe(II) dicationiques, qui ont pu être isolés et caractérisés. L'inhibition de la dimérisation a été possible par séquestration du doublet électronique du phosphore ou par apport de gêne stérique autour de celui-ci. Enfin, des pré-catalyseurs correspondant à ces métallophosphines ont été également synthétisés et étudiés. Ces complexes se sont révélés stables, après oxydation des ligands, et les performances de certains en catalyse ont été évaluées.
|
|
Chimie
/ 27-01-2014
Savel Paul
Voir le résumé
Voir le résumé
Le développement des nouvelles technologies, de l'informatique et d'internet ces dernières décennies s'est accompagné d'une demande croissante de supports de stockage de l'information. En particulier, le stockage optique de données. Les supports conventionnels (Cd-Rom, Blue-ray…), basés sur un stockage en surface du disque, ont atteint aujourd'hui leurs limites. Une nouvelle technologie en cours de développement, basée sur un stockage de données en trois dimensions, est une alternative prometteuse pour supplanter les supports conventionnels. Les matériaux doivent intégrer des entités aux propriétés photochromes (commutateur moléculaire) et d'absorption multi-photonique démontrées. Au cours de cette thèse, nous avons envisagé la synthèse de molécules fonctionnelles qui présenteraient ces deux caractéristiques. Dans un premier temps, nous nous sommes intéressés à la synthèse et à l'étude comparative de complexes homo et hétéroleptiques de ruthénium présentant une certaine potentialité pour l'absorption à deux photons. Nous avons montré que ces systèmes étaient très actifs et qu'ils permettaient d'accueillir une entité photochrome sans perte des propriétés bi-photoniques. Nous avons par la suite étudié les propriétés en photochromisme de complexes de ruthénium tris-bipyridine originaux comprenant un motif azobenzène. La complexation au métal bouleverse profondément le photochromisme de l'azobenzène avec des caractéristiques cinétiques notablement différentes de celles des ligands. Enfin, nous avons étudié les propriétés de complexes hybrides composés de ligands pour l'absorption à deux photons et d'autres pour le photochromisme, ces composés sont actifs dans ces deux domaines. Nous discutons finalement du potentiel du comportement optique de films composés de ces complexes. Nous avons procédé à des essais préliminaires de modulation du signal SHG sur ces films. Nous souhaitons optimiser toutes les composantes du processus afin de déterminer le potentiel de ces composés en stockage optique de données.
|
|
Chimie
/ 07-02-2014
Bizien Thomas
Voir le résumé
Voir le résumé
L'obtention de matériaux structurés sur plusieurs échelles de longueurs permet d'obtenir des propriétés physiques innovantes par rapport aux propriétés individuelles des constituants élémentaires. Dans cette thèse nous nous sommes intéressé à l'obtention de matériaux possédant des propriétés optiques nouvelles. Ainsi des bâtonnets semi-conducteurs anisotropes de type cœur-coquille ont été synthétisés. Leur forme permet de les assembler dans des phases de type cristal-liquides. Après fonctionnalisation de la surface des bâtonnets par des molécules hydrophiles possédant une charge négative, une méthode originale de séchage entre un substrat et un moule microstructuré a permis l'obtention de structures macroscopiques organisées sur plusieurs échelles. D'autres méthodes d'assemblages ont également été utilisées comme des membranes organiques forçant la structuration selon la phase cristalline désirée, mais également l'hybridation sélective de brins d'ADN complémentaire entre les bâtonnets et des nanoparticules métalliques. Les structures de ces matériaux ont alors été analysées par SAXS et microscopie électronique et les propriétés optiques par spectroscopie de fluorescence. Plusieurs types ont montré une exaltation de la fluorescence.
|
|
Informatique
/ 13-02-2014
Danieau Fabien
Voir le résumé
Voir le résumé
Les technologies haptiques, stimulant le sens du toucher, sont utilisées depuis des années dans des applications de réalité virtuelle et de téléopération pour accroître l'immersion de l'utilisateur. Elles sont en revanche très peu employées dans les systèmes audiovisuels comme les cinémas. L'objectif de cette thèse est d'exploiter le potentiel des retours haptiques pour les contenus audiovisuels. Dans la première partie de la thèse, nous nous intéressons au rendu d'effets haptiques lors du visionnage d'une vidéo. Nous présentons tout d'abord un appareil générant des sensations de mouvements à 6 degrés de liberté. Au lieu de mettre tout le corps de l'utilisateur en mouvement, comme cela est fait avec les simulateurs de mouvements traditionnels, seulement la tête et les mains sont stimulées. Ce dispositif permet ainsi d'enrichir l'expérience audiovisuelle. Nous nous intéressons ensuite aux algorithmes de rendu d'effets haptiques dans un contexte audiovisuel. La combinaison de retours haptiques et de séquences vidéo amène de nouveaux problèmes lors du rendu haptique. Nous proposons un nouvel algorithme adapté à ce contexte. Dans la seconde partie de la thèse, nous nous concentrons sur la production d'effets haptiques. Premièrement nous présentons un nouvel outil d'édition graphique. Celui-ci propose trois méthodes d'interaction pour créer des effets de mouvement et pour les synchroniser avec une vidéo. De plus, cet outil permet de ressentir les effets créés. Ensuite nous nous penchons sur les combinaisons haptiques et audiovisuelles. Dans une nouvelle approche nommée Cinématographie Haptique, nous explorons le potentiel des effets haptiques pour créer de nouveaux effets dédiés aux réalisateurs de films.
|
|
|<
<< Page précédente
1
2
3
4
5
6
Page suivante >>
>|
|
documents par page
|