|
|<
<< Page précédente
1
2
3
4
5
6
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Titre
Auteur
|
|
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.
|
|
Chimie
/ 21-10-2014
Zhou Gang
Voir le résumé
Voir le résumé
Une étude en deux parties a été effectuée sur la préparation et la caractérisation de céramiques de ZnSe et de verres de phosphate à des fins optiques. Pour préparer des poudres de ZnSe, deux voies de synthèse ont été utilisées: i) hydrothermales; ii) le broyage à billes. La taille des particules ainsi que leur morphologie a été analysée par différentes techniques (DRX, MEB…). Ensuite, deux technologies de frittage, pressage à chaud (HP) et frittage flash (SPS), ont été mises en œuvre pour obtenir des échantillons massifs de ZnSe optiquement transparents. La meilleure transmission obtenue dans le domaine du moyen infrarouge, pour les échantillons HP et SPS, est supérieure à 50% et 40% respectivement. Pour obtenir des verres de phosphate avec une grande durabilité chimique, des cations avec une intensité de champ élevée tels que Nb5+ et Ti4+ ont été incorporés dans un verre de phosphate. La transparence dans le domaine du visible a été obtenue en utilisant de petites quantités d'agents d'oxydation tels que les sulfates ou les nitrates. L’utilisation de la spectroscopie par réflectance diffuse a permis de déterminer les coordonnées chromatiques afin d’évaluer le bénéfice de ces ajouts.
|
|
Chimie
/ 07-10-2014
Zheng Jianxia
Voir le résumé
Voir le résumé
Ce travail de recherche est consacré au développement de catalyseurs à base de métaux de transition abondants de la première rangée du tableau périodique, tels que Mn, Fe, et Ni, pour les réactions d'hydro-élémentation. Tout d'abord, l'hydrosilylation de cétones et d'aldéhydes a été accomplie en utilisant un système catalytique simple Ni(OAc)₂ 4H2O/PCy₃ avec le PMHS, silane peu coûteux et stable en tant que source d'hydrure. L'amination réductrice d'aldéhydes avec des amines a également été réalisée avec le même système catalytique et le TMDS, comme silane. Deuxièmement, l’efficacité des complexes de manganèse demi-sandwich CpMn(CO)₂(IMes) a été prouvée pour la réduction des aldéhydes et des cétones en présence de Ph₂SiH₂ (1,5 équiv.) sous irradiation UV. La transformation difficile d'acides carboxyliques en aldéhydes a été effectuée à l'aide de Mn₂(CO)₁₀ et de Et3SiH. Troisièmement, la méthylation des amines secondaires avec le carbonate de diméthyle en tant que source C1 a été démontrée dans des conditions catalytique douces avec [CpFe(CO)₂(IMes)]I. Ensuite, l'hydroboration d'alcènes et d'alcynes fonctionnalisés a été réalisée en présence d’un complexe de fer (0), Fe(CO)₄(IMes) sous irradiation UV. Enfin, la réaction d'hydroboration a été étendue avec succès à la réduction de CO₂ en methoxyboranes avec Fe(CO)₃[P(OPh)₃]₂ en tant que catalyseur et les diverses sources de borane, tels que HBpin, HBcat ou 9-BBN.
|
|
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.
|
|
Chimie
/ 23-09-2014
Zhao Liqin
Voir le résumé
Voir le résumé
Au cours de cette thèse, nous nous sommes intéressés à l'activation de liaisons sp² et sp³ C-H catalysée par le palladium pour la préparation d'(hétéro)aryl-aryles et de biaryles. Cette méthode est considérée comme attractive pour l'environnement par rapport aux méthodes classiques, tels que Suzuki, Heck, ou Negishi. Tout d'abord, nous avons décrit que la C2-arylation directe de benzothiophènes peut être effectuée par un catalyseur du palladium en l'absence de ligand phosphine avec une grande sélectivité. Nous avons également démontré qu'il est possible d'activer les positions C2 et C5 de pyrroles pour accéder en une seule étape a des 2,5-diarylpyrroles. Des 2,5-diarylpyrroles non-symétriques ont été formés par arylation séquentielle en C2 suivie par une arylation en C5. Nous avons également étudié la réactivité de polychlorobenzenes pour l'activation de liaisons C-H catalysé au palladium. Nous avons finalement étudié l'activation sp² et sp³ sélective catalysé au palladium de liaisons C-H du guaiazulene. La sélectivité de la réaction dépend du solvant et de la base : C2-arylation (KOAc en éthylbenzène), C3-arylation (KOAc dans le DMAc) et C4-Me arylation (CsOAc/K₂CO₃ dans le DMAc). Grâce à cette méthode, une liaison sp³ C-H peu réactive a été activée.
|
|
Traitement du Signal et Télécommunications
/ 02-07-2014
Zhang Pengcheng
Voir le résumé
Voir le résumé
Ces travaux portent sur l'optimisation de la planification en radiothérapie prostatique et ORL. De façon à améliorer le calcul dosimétrique, la méthode de calcul de dose dite « Pencil beam » a d'abord été modifiée en considérant un système de coordonnées sphériques, en améliorant le mode de correction des hétérogénéités et en accélérant le calcul en effectuant les opérations de convolution grâce à la transformée de Fourier rapide. L'approche proposée a été comparée aux méthodes classiques en utilisant différents fantômes numériques. Cette évaluation a démontré la précision de la méthode proposée ainsi que l'accélération des calculs d'un facteur 40 par la méthode utilisant la transformée de Fourier, au prix toutefois d'une dégradation de la précision des résultats. Dans un second temps, l'incorporation de critères biologiques lors de l'optimisation du plan de traitement a été mise en œuvre à travers l'équivalent convexe du modèle NTCP (probabilité de toxicité des tissus sains) et son optimisation. L'évaluation de cette approche a été réalisée sur les données de dix patients traités pour un cancer de la prostate et a montré que la méthode proposée produit des planifications cliniquement satisfaisantes avec de meilleurs résultats en termes de toxicité prédite. Une méthode de compensation des incertitudes géométriques survenant lors du traitement a aussi été proposée, reposant sur une décomposition en séries de Taylor et un filtre de Butterworth. Son évaluation a montré son efficacité en termes de réduction des oscillations de haute fréquence ainsi que de présence de points chauds et froids. Enfin, dans un contexte de radiothérapie adaptative en ORL, une étude permettant d'identifier le scénario optimal de replanification, c'est-à-dire le nombre et les moments des replanifications, a été menée. Les critères de comparaison considérés reposaient sur le calcul de la dose cumulée reçue notamment par les parotides lors du traitement complet. L'efficacité des replanifications a ainsi été démontrée, avec par exemple une diminution du risque de toxicité de 9% pour le scénario optimal. Les perspectives de ce travail concernent la combinaison de ces méthodes dans un processus complet de planification pour évaluer leur impact dans un contexte clinique.
|
|
Informatique
/ 21-11-2014
Zapalowicz Jean-Christophe
Voir le résumé
Voir le résumé
Dans cette thèse, nous nous intéressons à la sécurité de générateurs pseudo-aléatoires et d'implémentations de schémas de signature. Concernant les schémas de signature, nous proposons, dans le cas d'une implémentation répandue de RSA, différentes attaques par injection de faute effectives quelque soit l'encodage du message. Nous présentons par ailleurs une contre-mesure infective prouvée sûre pour protéger le schéma RSA--PSS contre un certain nombre de fautes non aléatoires. Nous étudions également le schéma ECDSA couplé aux techniques d'accélération GLV/GLS. En fonction des implémentations, nous prouvons soit la bonne distribution du nonce utilisé, soit qu'il présente un biais permettant une attaque. Enfin, nous élaborons un outil qui recherche automatiquement des attaques par faute à partir d'une implémentation et d'une politique de faute, outil appliqué avec succès sur des implémentations de RSA et de ECDSA. Concernant les générateurs pseudo-aléatoires algébriques, nous étudions les générateurs non-linéaires et améliorons certaines attaques en diminuant l'information donnée à l'adversaire. Nous nous intéressons également à la sécurité du générateur Micali-Schnorr à travers quelques attaques et une étude statistique de son hypothèse de sécurité. Finalement nous proposons une cryptanalyse de tout schéma à clé publique basé sur la factorisation ou le logarithme discret dont la clé secrète est générée à partir d'un générateur linéaire.
|
|
Science politique
/ 18-12-2014
Yoo Eunkyung
Voir le résumé
Voir le résumé
Cette thèse porte sur la genèse de la politique familiale en Corée du Sud. Cette recherche présente dans un premier temps comment les mesures politiques en direction de la famille se sont développées depuis les années 1990. La démocratisation politique et sociale de la société coréenne a entraîné l’apparition de lois et de dispositifs dans le domaine de l’égalité entre les sexes et de la conciliation entre vie familiale et vie professionnelle. Le phénomène de la baisse de natalité était plus directement à l’origine de la naissance de la politique familiale dans les années 2000. Malgré le retard notable, le domaine de la politique familiale a évolué rapidement. Le ‘centre du soutien pour la famille saine’ est un exemple significatif et également symbolique de cette évolution récente, avec toutes ses limites. Malgré les efforts de l’Etat, ce centre affiche de nombreuses lacunes. Les dépenses réelles d'aides aux ménages sont faibles et les centres se contentent d'apporter un soutien d'ordre moral et préventif. On constate également la vulnérabilité de la condition des femmes dans leur travail professionnel et l’inégalité entre les femmes. Une minorité de femmes peuvent bénéficier du progrès acquis dans ce domaine. La dernière partie de la thèse situe le cas coréen dans les comparaisons internationales. Dans cette perspective, les typologies de la politique familiale et les expériences d’autres pays comme la France, le Japon, ou les pays d’Europe du Sud sont examinées. On peut constater le caractère résiduel des politiques menées en Corée du sud. Si la politique familiale y est désormais devenue explicite, elle demeure très limitée. L’auteur souligne donc le caractère limité de l’effort de l’Etat qui s’explique, en partie, par le maintien absolu du principe de la solidarité intrafamiliale. La raison de cette limite de la politique familiale réside en somme dans sa finalité même. Les institutions dans le domaine de la famille n’ont pas pour objectif de s’attaquer à l’origine des maux familiaux, mais d’aider les familles à les résoudre eux-mêmes ou en s’appuyant sur les réponses du marché.
|
|
Sciences de gestion
/ 19-12-2014
Yin Tianran
Voir le résumé
Voir le résumé
Depuis la réforme économique de la Chine en 1979, des milliers de dirigeants chinois ont travaillé au sein de multinationales, ils ont été inspirés par une solide expérience managériale et une vision globale. Du fait des différences culturelles entre la Chine et l’Occident, la maîtrise du leadership pour les patrons chinois dans un contexte professionnel de plus en plus interculturel et mondialisé, s’impose plus que jamais. Notre recherche empirique nous a conduite à analyser des données issues de l’observation, d’interviews en profondeur, ainsi que d’une expérimentation in situ, en immersion professionnelle, afin de répondre aux questions suivantes : Que signifie aux yeux de dirigeants chinois, la notion de «leadership global» ? A quelles difficultés, quels défis les dirigeants chinois sont-ils confrontés pour développer leurs capacités de leadership interculturel? Comment différents facteurs culturels influencent-ils le développement du leadership interculturel des dirigeants chinois ? Notre recherche nous a permis de comprendre comment le leadership interculturel peut être développé selon un modèle basé sur un cadre théorique interdisciplinaire. Nous avons pu proposer un prototype de développement du leadership en milieu interculturel qui doit permettre d’identifier le dirigeant doté d’un haut potentiel en matière de leadership interculturel et contribuer à optimiser ses talents en ce domaine.
|
|
Traitement du signal et télécommunications
/ 16-12-2014
Yang Yin
Voir le résumé
Voir le résumé
Les méthodes hybrides combinant les méthodes de 4D Variationnelle et le filtre de Kalman d'ensemble fournissent un cadre flexible. Dans ce cadre, les avantages potentiels par rapport à chaque méthode (e.g. la matrice de covariances d'erreur d'ébauche dépendant d'écoulement, la capacité d'obtenir explicitement la matrice de covariances d'erreur d'analyse, la procédure de minimisation itérative et l'assimilation simultanée de toutes les observations dans un intervalle de temps etc.) peuvent être conservés. Dans cette thèse, un système d'ensemblist-4DVar renforcé a été proposé et a été analysé en détail dans le cas du modèle de 2D shallow-water. Nous avons proposé un nouveau schéma de boucle imbriquée dans laquelle la matrice de covariances d'erreur d'ébauche est mis à jour pour chaque boucle externe. Nous avons aussi élaboré différents schémas de mise à jour ensemble avec deux stratégies de localisation et exploité les liens entre la matrice de covariances d'erreur d'analyse et la matrice hessienne de la fonction coût. Toutes ces variantes ont été testées avec les données réelles de l'image capturés par Kinect et les données d'image associés à un modèle de Surface Quasi-Géostrophique, respectivement. A la deuxième étape, un système d'estimation des paramètres à partir de notre méthode ensemblist-4DVar proposée est conçu. Cette formulation nous permet de estimer des paramètres d'une incertitude de stress tenseur. Et cette incertitude de stress tenseur est dérivé d'un point de vue de phénomène d'écoulement entraînée par un processus stochastique. Enfin, un premier effort est fait pour l'assimilation des données d'image à haute résolution avec le modèle dynamique sur une grille plus grossière.
|
|
|<
<< Page précédente
1
2
3
4
5
6
Page suivante >>
>|
|
documents par page
|