.

Malgré les progrés importants réalisés ces dernières décennies, les systèmes de reconnaissance de la parole spontanée grand vocabulaire sont encore beaucoup trop lents pour être utilisés dans des contextes réels. Le travail effectué au cours de cette thèse s'attache alors à proposer des méthodes de réduction du temps de calcul de ces systèmes en vue de permettre leur utilisation dans de tels contextes.<br />Parmi les tâches pour lesquelles l'optimisation du temps de reconnaissance est possible, nous nous sommes concentrés sur le calcul des probabilités des modèles, tâche occupant à elle seule souvent plus de la moitié du temps global de traitement. Les distributions des modles acoustiques utilisés par les systèmes de reconnaissance sont généralement représentées par des mélanges de gaussiennes. Le calcul des probabilités d'émissions relatives est donc particulièrement lié au nombre de gaussiennes considérées dans ces mélanges. Notre travail s'est porté alors sur la proposition et l'évaluation de méthodes de sélection de gaussiennes.<br />Les méthodes de sélection de gaussiennes existantes sont basées sur la classification. Pour améliorer cette classification, nous avons proposé une approche de partitionnement hiérarchique basée sur la similarité entre les distributions gaussiennes. La distance de Kullback-Leibler symétrisée et pondérée a été introduite à cet effet. Suite à la classification des gaussiennes, un algorithme de sélection multi-niveaux est appliqué.<br />Les mélanges de distributions gaussiennes correspondent à des contextes d'apparition différents. Malheureusement, Les méthodes de sélection existantes ne prennent pas en compte ces différents contextes, puisque lorsque le nombre de gaussiennes par état est faible, toutes les distributions sont mélangées avant d' être regroupées. Ainsi, nous avons développé une méthode de sélection contextuelle des gaussiennes.<br />Les méthodes de sous-quantification vectorielle sont apparues comme une alternative aux approches basées sur la sélection des gaussiennes. En regroupant toutes les distributions, elles mélangent certains contextes. Ainsi, nous avons introduit une sous-quantification vectorielle contextuelle.

Les vaisseaux sanguins sont tapissés d'une monocouche de cellules endothéliales qui est principalement responsable du maintien de la pression artérielle et des fonctions cardiaques via la relâche de médiateurs, en particulier le monoxyde d'azote (NO) et l'endothéline (ET). Le NO est un puissant vasodilatateur des cellules musculaires lisses suite à sa liaison à la guanylate cyclase tandis que l'ET-1, un vasopresseur très puissant, agit via deux récepteurs: ETA et ETB. La littérature traitant de la réactivité croisée entre l'ET-1 et le NO ne cesse d'augmenter. Brièvement, il a été rapporté que l'ET-1, via ses récepteurs ETB entraîne la libération d'une faible quantité de NO et que ce dernier, régule à la baisse la production d'ET-1 des cellules endothéliales. Dans ces conditions, le NO semble être un répresseur du système des endothélines. À l'inverse, plusieurs pathologies vasculaires et cardiaques sont associées avec une augmentation de l'ET-1 par exemple l'infarctus du myocarde et le choc endotoxique. Des études indépendantes rapportent, dans ces mêmes conditions, une production accrue de NO pouvant aller jusqu'à 100 fois. L'aspect contradictoire de ces effets est très intrigant et pourrait être explicable en partie par le fait qu'il existe deux familles d'isoenzymes responsable de la synthèse du NO appelés monoxyde d'azote synthase (NOS). Nous avons formulé l'hypothèse que la iNOS et la eNOS ont des effets opposés sur la régulation du système des endothélines. Les interactions entre l'ET-1 et les différentes NOS sont complexes et encore mal comprises dû au manque d'inhibiteurs vraiment sélectifs. Lors de notre étude nous utilisons des souris ayant une répression homozygote chronique pour le gène codant pour la iNOS ou eNOS en comparaison avec des souris de type sauvage. Ceci nous permet d'étudier l'influence des NOS et/ou de leur NO sur la régulation de la réponse pressive à l'endothéline et de l'expression de ces récepteurs. Les souris iNOS (-/-) ont des paramètres hémodynamiques de base semblables à celle de type sauvage. Cependant, notre étude a révélé que le contenu protéique cardiaque en récepteur ETA est réduit tandis que ETB est inchangé comparé au souris sans modification génique. En ce sens, nous observons une réduction de réponse pressive à l'endothéline-1 chez ces souris anesthésiées sans changement de la réponse pressive à l'IRL-1620, un agoniste sélectif des récepteurs ETB. D'un autre côté, l'inactivation du gène codant pour la eNOS entraîne chez ces souris un état hypertensif. Nos études moléculaires démontrent chez ces animaux, des niveaux de récepteurs ETA augmentés, et ETB réduits dans les tissus cardiaques des souris eNOS (-/-). De plus, leur réponse pressive suite à l'administration intraveineuse d'endothéline-1 ou d'IRL-1620 est augmentée ou réduite, respectivement. Chez les animaux conscients, les deux modèles murins ont répondu avec la même amplitude à l'effet hypotensif d'un traitement à l'antagoniste ETA, l'ABT-627. La pression des souris eNOS (-/-) est toutefois normalisée suite à trois jours de traitement. D'un autre côté, l'administration d'un antagoniste ETB, l'A-192621, augmente la pression artérielle moyenne dans une plus grande mesure chez les eNOS (-/-) comparé aux souris iNOS (-/-) ou de type sauvage. En outre, nous avons notés une augmentation significative de l'endothéline immunoreactive dans les artères mésentériques chez les souris eNOS (-/-) comparés aux souris iNOS (-/-), ces dernières ont des niveaux semblables à leur consoeurs non manipulées génétiquement. Notre étude montre que la répression de la iNOS ou de la eNOS a des impacts distincts sur l'endothéline-1 et ses récepteurs. Nous avons aussi montré que le coeur est le principal organe atteint; subissant ces modulations importantes des récepteurs de l'endothéline dans les conditions d'inactivation de la iNOS ou la répression de la eNOS chez des souris adultes. [Symboles non conformes]

L'accès permanent et sécurisé aux ressources, données et services proposés par une entreprise est devenu au fil des années un point critique dans la stratégie de mise en place de l'infrastructure réseau. Situé à l'entrée du réseau interne et chargé de faire respecter la politique de sécurité mise en place par l'administrateur, le pare-feu est bien souvent l'unique point d'accès par lequel transitent toutes les connexions avec l'extérieur, et représente de ce fait un unique point de défaillance potentiel (« single point-of-failure »). Afin de pallier cette faiblesse, plusieurs solutions de redondances de pare-feux ont vu le jour. Ce document a pour but de présenter, d'évaluer et de comparer deux solutions reconnues du monde du logiciel libre : les conntrack-tools sous Linux, et pfsync/CARP sous OpenBSD. On présente également une nouvelle implémentation de canaux d'échanges d'états de connexions entre les pare-feux sous Linux, basé sur le protocole TIPC.

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.

Les automates cellulaires sont un modèle de calcul massivement parallèle introduit dans les années 50. De nombreuses variantes peuvent être considérées par exemple en faisant varier la dimension de l’espace de calcul, ou les possibilités de communication entre les différentes cellules. En effet, chaque cellule ne peut communiquer qu’avec un nombre fini d’autres cellules que l’on appelle son voisinage. Mes travaux s’intéressent principalement à l’impact du choix du voisinage sur les capacités algorithmiques de ce modèle. Cet impact étant bien compris en une dimension, mes travaux portent majoritairement sur les automates cellulaires bidimensionnels. J’ai tout d’abord essayé de généraliser des propriétés classiques de certaines classes de complexité au plus de voisinages possibles. On arrive notamment à un théorème d’accélération linéaire valable pour tous les voisinages. J’ai ensuite étudié les différences entre les classes de faibles complexités en fonction du voisinage choisi. Ces travaux ont permis d’exhiber des voisinages définissant des classes incomparables, ainsi que des ensembles de voisinages définissant exactement les mêmes classes de complexité. Enfin, je présente aussi des travaux sur les différences de puissance de calcul entre les automates de dimensions différentes. / Cellular automata were introduced in the 50s by J. von Neumann and S. Ulamas an efficient way of modeling massively parallel computation. Many variations of the model can be considered such as varying the dimension of the computation space or the communication capabilities of the computing cells. In a cellular automaton each cell can communicate only with a finite number of other cells called its neighbors. My work focuses on the impact of the choice of the neighbors on the algorithmic properties of the model. My first goal was to generalize some classical properties of computation models to the widest possible class of neighborhoods, in particular I prove a linear speedup theorem for any two dimensional neighborhood. I then study the difference between the complexity classes defined by different neighborhoods, show the existence of neighborhoods defining incomparable classes, and some sets of neighborhoods defining identical classes. Finally, I also discuss the impact of the dimension of the automata on their computational power.

Les différentes façons de décrire un circuit intégré (niveau architectural, logique, électrique, implante; mode structurel, fonctionnel). L'accent est mis sur les descriptions tenant compte de l'aspect temporel. La sûreté de la description, ou cohérence, est traitée à part. Le modèle par événements du comportement des systèmes temporisés est présenté partiellement. Le modèle classique d'automate d'état fini est cité, avec les difficultés de son utilisation pour les systèmes temporisés. On propose une définition d'automate d'état fini temporisé combinant les deux approches. Le fonctionnement est caractériser par un calcul algébrique. Analyse de deux réalisations de base et de variantes de l'une d'entre elles, ainsi qu'une 3eme famille. Étude d'un automate plus complexe forme d'une partie contrôle et d'une partie opératoire. Calcul de la synchronisation.

L'objectif général de cette thèse, suggéré par le contrôle des radars de combat, consiste à intercaler en temps réel une tâche aléatoire dans un ordonnancement existant tout en limitant autant que possible l'augmentation de la valeur du critère. Dans notre cas, le critère que nous considérons est la somme des dépassements des délais des tâches déjà ordonnancées. Ces délais sont supposés quelconques : cette contrainte est plus dure que dans le cas des radars de combat où un certain nombre de tâches de surveillance doivent être effectuées de manière répétitive au cours d'une période donnée à l'intérieur de laquelle leur ordonnancement est libre, ce qui équivaut à un délai unique pour l'ensemble des tâches. La tâche à intercaler apparaît à un instant quelconque (c'est l'instant que nous considérons comme l'instant zéro). Sa durée n'est connue qu'au moment de son apparition. Il en est de même de son délai, qui est impératif. Nous considérons d'abord le cas d'une tâche aléatoire unique, puis le cas d'une tâche aléatoire composée de deux sous-tâches séparées par une période donnée. Enfin, nous proposons une amélioration de l'approche actuellement utilisée dans ce domaine.

Le succès des intergiciels dans le cadre du développement de systèmes d'information ``généralistes'' comme les applications Web, encourage leur utilisation pour le développement d'autres applications plus spécifiques et plus exigentes en qualité de service , comme les applications temps réel ou même certaines applications critiques. Nous partons d'une architecture intergicielle dite schizophrène ayant des propriétés de généricité et de configuration. Cette architecture est renforcée pour supporter deux catégories de services pour la tolérance aux fautes et le consensus. La conservation des propriétés de l'architecture de base ainsi que le respect des contraintes posées par les applications critiques et sûres de fonctionnement sont les principaux objectifs de nos propositions. Les principes et les propriétés de l'architecture schizophrène sont détaillés. Ensuite, nous menons des études approfondies de la théorie de la tolérance aux fautes et du consensus ainsi que de la norme FT CORBA. Ces études nous permettent de généraliser les différents concepts et d'isoler les différentes abstractions utiles afin de proposer deux architectures pour un service de tolérance aux fautes compatible avec la norme FT CORBA et pour un service générique de consensus. Nous montrons que la conception de ces services maximise leur configurabilité. Après les propositions d'architectures, nous décrivons la réalisation effective de ces deux services. Nous nous basons sur PolyORB, un integriciel développé à l'ENST. Des scénarios de test et des mesures de performances complètent notre étude et valident nos propositions.