La reconnaissance vocale est une technologie sujette à amélioration. Malgré 40 ans de travaux, de nombreuses applications restent néanmoins hors de portée en raison d'une trop faible efficacité. De façon à pallier à ce problème, l'auteur propose une amélioration au cadre conceptuel classique. Plus précisément, une nouvelle méthode d'entraînement des modèles markoviens cachés est exposée de manière à augmenter la précision dynamique des classificateurs. Le présent document décrit en détail le résultat de trois ans de recherche et les contributions scientifiques qui en sont le produit. L'aboutissement final de cet effort est la production d'un article de journal proposant une nouvelle tentative d'approche à la communauté scientifique internationale. Dans cet article, les auteurs proposent que des topologies finement adaptées de modèles markoviens cachés (HMMs) soient essentielles à une modélisation temporelle de haute précision. Un cadre conceptuel pour l'apprentissage efficace de topologies par élagage de modèles génériques complexes est donc soumis. Des modèles HMM à topologie gauche-à-droite sont d'abord entraînés de façon classique. Des modèles complexes à topologie générique sont ensuite obtenus par écrasement des modèles gauche-à-droite. Finalement, un enchaînement successif d'élagages et d'entraînements Baum-Welch est fait de manière à augmenter la précision temporelle des modèles.

Cette thèse aborde des sujets liés à la théorie des automates, à la logique et à la théorie des jeux. Ces thèmes sont au cœur de l'informatique théorique depuis de nombreuses décennies. Les travaux de recherche dans ces domaines sont motivés entre autres par des questions de modélisation et de vérification de systèmes. La première partie de la thèse considère les automates finis et la logique temporelle sur des ordres linéaires arbitraires. On y donne une procédure (doublement exponentielle en espace) pour décider la satisfaisabilité d'une formule LTL, utilisant une étape de transformation d'une formule logique en un transducteur synchrone. La seconde partie s'intéresse à des jeux de longueur ordinale. On propose un modèle de jeux à deux joueurs sur des graphes finis, et on montre que la question du vainqueur pour ces jeux peut être résolue en espace polynomial. De plus, on montre qu'il existe des stratégies gagnantes à mémoire finie.

Etude de la dynamique temporelle de la catégorisation faciale depuis la détection d'un visage dans le champ visuel jusqu'a l'encodage d'une représentation individuelle du visage. Investigation de cette dynamique temporelle via l'électrophysiologie chez le sujet humain (potentiels évoqués). / Temporal dynamics of face visual categorization : an electrophysiological (event-related potentials) approach

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

L'utilisation, par les ingénieurs, de portées principales de plus en plus grandes pour les ponts suspendus ou haubanés fait de l'interaction vent-structure un phénomène d'importance lors de la conception de ces ponts. Effectivement, des portées plus grandes amènent une augmentation de la flexibilité de leur tablier, ce qui les rend plus vulnérables aux instabilités aérodynamiques telles que le flottement, un phénomène auto-excité causant de grands mouvements du tablier et pouvant mener à la ruine du pont. C'est la formulation de Scanlan qui est la plus utilisée pour représenter les forces auto-excitées dans l'étude du flottement des ponts. Cette formulation ne permet pas la réalisation d'une étude du flottement en tenant compte des non-linéarités structurales et aérodynamiques. Par contre, les ponts élancés sont des structures qui ont un comportement structural non linéaire. De plus, plusieurs études ont démontré la non-linéarité des forces auto-excitées. Pour des prédictions du flottement plus réalistes, ces non-linéarités devraient être incluses dans des simulations temporelles notamment en utilisant des formulations temporelles des forces auto-excitées. Les formulations temporelles existantes comme les fonctions indicielles et les fonctions rationnelles sont difficiles à mettre en œuvre. Ce projet a donc pour but de développer une nouvelle représentation des forces auto-excitées dans le domaine temporel. Pour mieux comprendre le comportement non linéaire des forces auto-excitées, des essais sectionnels en soufflerie en régime forcé harmonique ont été réalisés pour le pont est du Grand Belt, un pont suspendu, dans le but d'étudier l'effet de l'échelle, de la vitesse du tablier et de l'amplitude du mouvement sur les coefficients instationnaires de la formulation de Scanlan. Il est montré que l'adimensionnalisation utilisée dans la formulation de Scanlan est valide par rapport à la dimension du tablier. Par contre, il a été trouvé que les coefficients instationnaires montrent un comportement non linéaire par rapport à ces deux paramètres, mais plus particulièrement pour la vitesse du tablier. Puisque les coefficients instationnaires ont un comportement non linéaire par rapport à un paramètre temporel comme la vitesse du tablier, un nouveau modèle temporel des forces auto-excitées basé sur des coefficients instationnaires temporels qui sont fonction de la vitesse et de l'accélération du tablier a été développé. Ces coefficients instationnaires temporels ont été obtenus à partir d'essais en régime forcé cyclique à vitesse absolue constante et à accélération absolue constante. Ce modèle a été utilisé pour réaliser des simulations temporelles du flottement à échelle réelle. La vitesse de flottement prédite avec l'approche des coefficients instationnaires temporels concorde bien avec la vitesse de flottement expérimentale et celle prédite en utilisant la formulation de Scanlan.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.