Le système CADOC est un outil de conception assisté pour circuits VLSI, basé sur le langage CADOC-LD. Présentation du langage CADOC-LD en tenant compte de l'étude du langage de description de matériel CHDL. Application à partir du langage CADOC-LD basée sur les techniques d'exécution symbolique temporisée et de l'intelligence artificielle

Nous mettons en évidence une condition géométrico-dynamique minimale créant de l'hyperbolicité au voisinage d'un tore homocline transverse partiellement hyperbolique dans un système Hamiltonien presque intégrable à trois degrés de liberté. On en déduit une généralisation du théorème de dynamique symbolique d'Easton. Nous donnons ensuite une estimation optimale du temps de diffusion d'Arnold le long d'une chaîne de transition dans les systèmes Hamiltoniens initialement hyperboliques à trois degrés de liberté en utilisant une chaîne d'orbites périodiques hyperboliques sous-jacente. <br />Nous décrivons ensuite géométriquement à partir d'un système Hamiltonien presque intégrable à trois degrés de liberté à deux paramètres dû à Chirikov, un mécanisme de diffusion mettant en jeu un réseau de plans résonnants parallèles et voisins et un plan résonnant transversal au réseau. Ainsi, nous montrons qu'en dessous d'un certain seuil atteint par le paramètre prépondérant, on peut construire une orbite de transition dérivant en action à travers ce réseau modulationnel. Un des scénarii envisagés, le mécanisme de diffusion modulationnelle, basé sur l'existence de connexions hétéroclines entre tores partiellement hyperboliques issus de deux plans résonnants distincts est valide lorsqu'une condition de chevauchement est vérifiée. <br />Nous étudions enfin le modèle bidimensionnel décrivant un écoulement laminaire avec convection mixte entre deux plaques planes puis dans un tube vertical. Avec des conditions aux bords réduites, nous montrons via le théorème de la variété centrale qu'il existe dans le premier cas une bifurcation de pitchfork pour une valeur critique du nombre de Rayleigh.

Ce travail a pour thème l'extraction de connaissances à partir de données provenant de plusieurs sources reflétant un même phénomène. L'objectif visé est l'amélioration de la qualité des systèmes de surveillance. Lorsque les données sont redondantes, l'utilisation de plusieurs sources permet de pallier aux problèmes de perte de signal et de bruit. Lorsque les données sont complémentaires, l'utilisation conjointe des différentes sources permet d'augmenter les performances en détection de ces systèmes. Nous appliquons nos travaux au domaine du diagnostic d'arythmies cardiaques. Nous utilisons une technique d'apprentissage artificiel relationnel (la programmation logique inductive) pour apprendre des règles discriminantes permettant de caractériser les arythmies à partir de plusieurs voies d'un électrocardiogramme et de mesures de pression artérielle. Pour exploiter la redondance des sources, nous apprenons dans un premier temps, des règles à partir des données des différentes sources prises séparément. Pour exploiter la complémentarité des sources, un apprentissage multisource naïf consisterait à apprendre globalement sur l'ensemble des données et avec un langage d'expression des concepts permettant de couvrir toute la richesse des données représentées. En alternative à un tel type d'apprentissage, nous proposons une méthode plus efficace qui s'appuie sur des apprentissages monosources, ie. effectués sur chacune des sources séparément, pour biaiser l'espace de recherche multisource. Le fait de s'appuyer sur les règles monosources permet de restreindre le langage des hypothèses ainsi que le nombre de relations possibles entre les objets représentés sur les différentes sources. Ce travail a été effectué dans le cadre du projet RNTS (Réseau National des Technologies et de la Santé) Cepica. Les résultats montrent que les règles apprises par apprentissage multisource sont au moins aussi bonnes que les règles monosources dans le cas où les données sont redondantes et meilleures dans les cas où les sources sont complémentaires. La technique d'apprentissage biaisé permet en outre d'apprendre des règles de manière beaucoup plus efficace que dans le cas naïf en bénéficiant d'un biais de langage généré automatiquement. Ces nouvelles règles sont incorporées au système Calicot pour la surveillance de patients souffrant de troubles du rythme cardiaque.<br />~

Cette thèse aborde une classe de modèles de la dynamique de réseaux d'interaction biologique, en particulier génétique, définis comme systèmes d'équations différentielles affines par morceaux. Les morceaux en question sont des pavés d'un espace euclidien, dont la dimension est le nombre d'éléments en interaction dans le réseau. Chaque coordonnée représente le niveau d'activité d'un des éléments. La thèse se décompose en trois parties. Premièrement, après une brève introduction biologique, les modèles mathématiques les plus connus sont présentés. Les modèles affines par morceaux sont décrits de manière détaillée, et certains liens avec des modèles purement discrets, ainsi qu'avec des modèles différentiables incluant des sigmoïdes, sont précisés. Un récapitulatif détaillé de la littérature sur le sujet est fourni. Dans une deuxième partie, des résultats théoriques sont présentés. L'analyse des orbites périodiques, développée dans la littérature pour des systèmes linéaires par morceaux, est étendue au cas affine par morceaux. Ensuite, un point de vue géométrique et combinatoire est porté sur la dynamique locale, au niveau des pavés décrits plus haut. Les conséquences globales de cette analyse locale sont décrites en termes de dynamique symbolique. Il est montré en particulier que l'entropie topologique des systèmes affines par morceaux est strictement inférieure à celle de modèles purement discrets, pour une large classe de systèmes. La troisième partie concerne l'analyse numérique des systèmes étudiés. Après une présentation des algorithmes implémentés, un jeu de données de simulations en dimension 4 est analysé, ainsi qu'un exemple plus spécifique en dimension 3.

Plusieurs méthodes ont été développées par l'Intelligence Artificielle pour reproduire certains aspects de l'intelligence humaine. Ces méthodes permettent de simuler les processus de raisonnement en s'appuyant sur les connaissances de base disponibles. Chaque méthode comporte des points forts, mais aussi des limitations. La réalisation de systèmes hybrides est une démarche courante Qui permet de combiner les points forts de chaque approche, et d'obtenir ainsi des performances plus élevées ou un champ d'application plus large. Un autre aspect très important du développement des systèmes hybrides intelligents est leur capacité d'acquérir de nouvelles connaissances à partir de plusieurs sources différentes et de les faire évoluer. Dans cette thèse, nous avons développé des recherches sur les systèmes hybrides neuro-symboliques, et en particulier sur l'acquisition incrémentale de connaissances à partir de connaissances théoriques (règles) et empiriques (exemples). Un nouveau système hybride, nommé système INSS - Incremental Neuro-Symbolic System, a été étudié et réalisé. Ce système permet le transfert de connaissances déclaratives (règles symboliques) d'un module symbolique vers un module connexionniste (réseau de neurones artificiel - RNA) à travers un convertisseur de règles en réseau. Les connaissances du réseau ainsi obtenu sont affinées par un processus d'apprentissage à partir d'exemples. Ce raffinement se fait soit par ajout de nouvelles connaissances, soit par correction des incohérences, grâce à l'utilisation d'un réseau constructif de type Cascade-Correlation. Une méthode d'extraction incrémentale de règles a été intégrée au système INSS, ainsi que des algorithmes de validation des connaissances qui ont permis de mieux coupler les modules connexionniste et symbolique. Le système d'apprentissage automatique INSS a été conçu pour l'acquisition constructive (incrémentale) de connaissances. Le système a été testé sur plusieurs applications, en utilisant des problèmes académiques et des problèmes réels (diagnostic médical, modélisation cognitive et contrôle d'un robot autonome). Les résultats montrent que le système INSS a des performances supérieures et de nombreux avantages par rapport aux autres systèmes hybrides du même type.

La résolution numérique de l'équation de Schrödinger en domaine extérieur nécessite l'utilisation de conditions aux limites appropriées sur la frontière du domaine de calcul. Les conditions aux limites à utiliser sont directement reliées à la fonction de potentiel intervenant dans l'équation. Pour l'équation à potentiel nul, la condition aux limites exacte est connue, ainsi que des méthodes efficaces de discrétisation et d'implémentation numérique. L'objectif de cette thèse est d'étendre les méthodes mises en jeu à potentiel nul dans le cas d'un potentiel aussi général que possible, à l'image des situations physiques variées faisant intervenir un potentiel, linéaire ou non linéaire. Nous prenons le parti de renoncer à établir des conditions aux limites exactes, au profit d'une plus grande généralité de la méthode et d'une bonne adaptation à une implémentation numérique. En se basant sur le calcul pseudodifférentiel, on propose alors une recherche détaillée de méthodes permettant de prendre en compte le potentiel dans une condition aux limites artificielle (CLA). Cette thèse traite le cas de l'équation en dimension un ou deux avec potentiel linéaire ou non linéaire, ainsi que de l'équation stationnaire en dimension un. La construction de ces CLA repose sur l'analyse microlocale et le calcul symbolique associé aux opérateurs pseudodifférentiels fractionnaires. La discrétisation en temps est effectuée à l'aide de convolutions discrètes ou d'approximants de Padé, et la discrétisation en espace repose sur des éléments finis linéaires. On utilise la méthode de relaxation de Besse pour résoudre l'équation non linéaire. L'analyse mathématique des conditions construites dans cette thèse permet de démontrer dans certains cas des estimations a priori, sur le plan continu et sur le plan semi-discret. De nombreuses simulations numériques permettent de tester l'efficacité des conditions aux limites proposées et de les comparer entre elles.

L'emploi de systèmes chaotiques pour la sécurisation de transmissions numériques est l'objectif principal de cette thèse. L'étude de la synchronisation chaotique a tout d'abord été réalisée par des méthodes d'estimation d'état avec un accent important sur la mise en place d'une nouvelle méthode de filtrage de Kalman polynomiale Exacte. Les performances sont ensuite évaluées, en considérant plusieurs critères (EQM, stabilité, consistence), par rapport à d'autres solutions de filtrage de Kalman (EKF, UKF). Une deuxième partie de l'étude concerne les structures de récepteurs adaptés aux systèmes de communication à porteuse chaotique (étalement par séquence chaotique directe). Pour les récepteurs à synchronisation chaotique on utilise des solutions de traitement en bande de base du signal reçu par estimation parallèle. Pour des applications sur des canaux réels difficiles, comme c'est le cas des transmissions acoustiques sous-marines, la synchronisation est réalisée par des méthodes classiques (boucle à verrouillage de retard). On introduit par la suite un nouveau schéma qui estime cette fois, la majorité des trajets énergétiques présents à l'entrée du récepteur. Ce schéma est obtenu en développant l'équation d'observation des coefficients du canal pondérés par la matrice d'auto-corrélation. Deux versions sont ainsi considérées : le cas des séquences d'étalement courtes et le cas des séquences longues. La dernière partie du document est dédiée à la présentation d'une méthode de compression originale qui utilise la dynamique symbolique chaotique ; celle-ci réalise le codage d'une séquence informationnelle sous la forme d'un intervalle de conditions initiales.

Au cours de ce travail, une implantation de la méthode d'analyse de sensibilité d'ordre élevé a été réalisée au sein de la méthode des éléments finis (MEF). Tout d'abord nous avons posé ta base théorique des développements: la MEF classique et surtout la méthode de dérivées d'ordre élevé qui engendre les résultats sous la forme de développements de Taylor par rapport aux paramètres de conception. En s'appuyant sur la structure typique d'un code de calculs EF, nous avons développé ensuite les modules d'un calcul "paramétré": la paramétrisation géométrique, la dérivation du maillage et la résolution paramétrée. L'originalité de cette implantation consiste dans une nouvelle organisation des calculs de dérivées qui sont basés notamment sur les opérations symboliques. Pour valider des étapes de calculs, plusieurs exemples ont été présentés. Enfin, les applications possibles des résultats paramétrés sont évoquées, entre autres, une procédure pour définir le modèle analytique équivalent de dispositifs électromagnétiques a été proposée. Notons que plusieurs problèmes de réalisation informatique ont été mise en évidence et résolus, ce qui représente un gros investissement en programmation. Des nombreuses perspectives sont ouvertes par cette approche, le travail mériterait donc d'être poursuivi.

Ce travail s'intéresse à la conception sous contraintes de dispositifs électromagnétiques à l'aide de modèles analytiques. Après avoir présenté le contexte de conception en génie électrique, et les problèmes inhérents au dimensionnement sous contraintes, notamment celui des systèmes d'équations implicites, l'étude présente une nouvelle architecture orientée objet pour le dimensionnement à l'aide de modèles analytiques. L'objectif est de créer un environnement souple et modulaire pour manipuler les équations analytiques de façon à utiliser toute l'information qu'elles contiennent. On veut par exemple ré-orienter le modèle étudié ou calculer les dérivées partielles symboliques des paramètres de sortie, ceci afin d'effectuer de la propagation de contraintes, du solver ou de l'optimisation sous contraintes. Un prototype informatique implantè est présenté.

Ce mémoire porte sur la construction mythique du Club de hockey Canadien de Montréal à travers les forums de discussion du site Internet du Réseau des Sports. À l'aide d'une analyse historique de la représentation de ce symbole auprès de la population canadienne-française et québécoise, il s'agit d'abord de mettre en évidence les trois forces/acteurs influant la signification qui lui est attribuée au fil du temps. Pour se faire, les théories des cultural studies et de la sociologie du sport seront employées pour l'analyse de cet objet issu de la culture populaire québécoise. Par l'entremise des forums de discussion du site Internet du Réseau des Sports, nous cherchons à comprendre la signification actuelle de ce symbole auprès des Québécois francophones ainsi que son passage à une forme plus mythifiée. Parce qu'ancré dans une histoire perçue comme hautement significative dans le parcours identitaire des francophones du Québec, le symbole du Canadien de Montréal a tendance à glisser, au cours de son appropriation, vers une forme mythifiée que nous expliciterons. Enfin, parce que travaillé par plus d'un pour représenter quelque chose de particulier, le symbole du Canadien de Montréal devient également une porte d'entrée pour lire les enjeux associés à la culture populaire francophone du Québec. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Club de hockey Canadien de Montréal, Forum de discussion, Culture populaire, Mythe, Identité québécoise.