Le besoin de solutions de test en-ligne intégré est de plus en plus important. Malgré la complexité croissante de systèmes numériques, ces solutions doivent garantir un surcoût raisonnable en temps de conception, en ressources impliquées et en performance. Cela nécessite le développement de nouvelles méthodes de synthèse de haut niveau qui doivent garantir deux contraintes. La première est la possibilité de traiter des systèmes complexes à un coût raisonnable. La deuxième est la prise en compte des contraintes de test en-ligne dans les premières tâches du flot de la synthèse de haut niveau. Pour s'accommoder à ce besoin, la présente étude propose deux axes de travail. Le premier axe consiste à proposer deux méthodes de test en-ligne, non-concurrent et semi-concurrent, présentées comme solutions intégrées (BIST). Le deuxième axe consiste à proposer une nouvelle méthode de synthèse de haut niveau (HLS) qui tient compte de la testabilité en-ligne. La prise en compte des contraintes de test en-ligne est effectuée au niveau de la compilation de la description comportementale en graphe de flot de données (DFG). Selon les contraintes imposées au système, une des méthodes de test en-ligne développées dans le premier axe est intégrée au système au niveau ordonnancement. Un système numérique donné par sa description comportementale forme l'entrée de la méthode. Dans un premier temps, une optimisation orientée testabilité adresse les équations arithmétiques dans la description comportementale du système. Outre l'amélioration de la testabilité, cette optimisation peut permettre d'améliorer les performances du design final. La description optimisée est compilée en graphe de flot de données ordonnancé. La tâche de la compilation et de l'ordonnancement est résolue par une exploration de l'espace de solutions. Dans cette exploration nous introduisons le développement d'un algorithme génétique (AG) adapté à ce type de problèmes. Les contraintes de test en-ligne, de surface et de délai sont considérées à cette étape pour produire une solution satisfaisante. Une fois que le graphe de flot de données ordonnancé est obtenu, la méthode qui répond le mieux aux contraintes de test en-ligne est insérée dans l'ordonnancement nominal du système. L'allocation de ressource et l'assignation permettent la génération d'une architecture testable en-ligne au niveau RTL. Mots clés : synthèse de haut niveau, compilation, ordonnancement, testabilité en-ligne, DFG, BIST, AG.

Cette thèse est consacrée à l'amélioration des débogueurs symboliques pour tenir compte des spécificités des langages de haut niveau, notamment leur compilation délicate vers des plates-formes d'exécution généralistes. Ces travaux ont conduit à la réalisation de Bugloo, un débogueur multi-langages pour la machine virtuelle Java. <br /><br />Deux nouveaux mécanismes de représentations virtuelles sont proposés pour éliminer les perturbations de débogage dues à la présence sur la pile de fonctions intermédiaires produites par la compilation des langages de haut niveau. Le premier utilise des règles fournies par les implanteurs de langage pour maintenir une correspondance entre le code source d'un programme et le code produit par sa compilation. Cela permet au débogueur de reconstruire une vue logique dans laquelle les détails de compilation ont été expurgés. Le second mécanisme sert à contrôler l'exécution pas-à-pas, afin de ne jamais s'arrêter dans les fonctions intermédiaires engendrées par le compilateur. Ces deux mécanismes ont été adaptés pour réaliser un profileur d'allocation mémoire produisant des statistiques dans lesquelles les fonctions intermédiaires sont masquées. <br /><br />Durant ces travaux, un support de débogage complet a été développé pour le langage Bigloo, un dialecte du langage fonctionnel Scheme. Des expérimentations similaires ont étés menées sur les langages ECMAScript et Python. Les résultats obtenus montrent que les techniques de représentations virtuelles développées s'appliquent efficacement quel que soit le schéma de compilation adopté, y compris lorsque les programmes sont composés de plusieurs langages de haut niveau.

Disputats, Stockholms universitet, 2007.

Grâce aux progrès réalisés dans le domaine des semi-conducteurs, les plateformes matérielles embarquées sont capables de satisfaire les contraintes de performances d'applications de plus en plus complexes. Cette augmentation conduit à une explosion des coûts de conception, ce qui pousse les concepteurs de ces plateformes à utiliser des outils travaillant à des niveaux d'abstraction plus élevés. Aujourd'hui, les outils de synthèse de haut niveau opèrent sur des descriptions C/C++ pour en générer des accélérateurs matériels spécialisés. Ces outils offrent des gains en productivité significatifs par rapport à la génération précédente, qui opérait sur des descriptions structurelles de l'architecture en VHDL ou Verilog. Ces descriptions algorithmiques doivent être retravaillées pour que les outils puissent générer des circuits performants. Pour faciliter cette tâche, une solution consiste à mettre en œuvre une boite à outils pour des transformations source-à-source orientées synthèse de haut niveau. En particulier, cette thèse s'intéresse aux transformations de boucles, avec pour objectif d'améliorer les performances en exposant des boucles parallèles et en améliorant la localité des accès mémoire. En nous appuyant sur une représentation des boucles dans le modèle polyédrique, nous proposons une approche qui améliore l'applicabilité du pipeline de nids de boucles en vérifiant sa légalité de manière plus précise que les approches existantes. De plus, lorsque la vérification échoue, nous proposons une technique de correction qui insère statiquement des états d'attente pour assurer la légalité du pipeline. Enfin, ce pipeline est mis en œuvre en utilisant une technique de génération de code qui met les nids de boucles à plat. Ces contributions ont été implémentées dans l'infrastructure de compilation source-à-source Gecos, avant d'être appliquées à un ensemble de benchmarks représentatifs des noyaux de calculs cibles de la synthèse de haut niveau. Les résultats montrent un gain en performances significatif, avec un surcoût en surface modéré.

La recherche qui suit porte sur l'évaluation du profil de personnalité des cyclistes sur route élites québécois. Elle vise à mieux connaître ces athlètes qui se sacrifient sur le terrain pour voir si ceux-ci ont des comportements adaptés malgré la « pression de performance » qui leur incombe. Les cyclistes vivent beaucoup de stress physique et psychologique. L'entraînement intensif, les compétitions, les échecs sportifs, la retraite précoce, l'appui conditionnel des commanditaires, etc. sont autant de facteurs susceptibles d'engendrer des vulnérabilités comportementales. Notre recherche vise donc à évaluer la personnalité des cyclistes professionnels québécois pour être en mesure de leur offrir un encadrement physique et psychologique conséquent et adéquat, à la hauteur de leur investissement sportif. 20 cyclistes sur route élites canadiens ont été évalués via le TCI (Temparement and Character Inventory) qui permet de définir le caractère des individus selon 3 dimensions (détermination, coopération et transcendance) et le tempérament des individus selon 4 dimensions (recherche de nouveautés, évitement du danger, dépendance à la récompense et persistance). Tous les cyclistes participants étaient de niveau élite, âgés de 19 à 35 ans et de sexe masculin. Ils ont eu à remplir un questionnaire auto-administré de 226 questions (Vrai ou Faux). Un groupe témoin de 20 sujets a également rempli le TCI. Les résultats montrent en somme qu'il existe peu de différences entre le groupe de cyclistes et le groupe témoin. Les premiers obtiennent des scores plus élevés pour la dimension de « persistance ». C'est dire que les sportifs participants accusent d'une plus grande détermination que le groupe témoin. Les athlètes obtiennent par ailleurs des résultats plus faibles pour la dimension « dépendance à la récompense » laissant présumer qu'ils sont plus pragmatiques et plus rationnels que le groupe témoins. Ces résultats sont encourageants puisqu'ils laissent croire que les cyclistes élites canadiens ont des comportements adaptés à leur pratique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : cyclistes, profil de personnalités, pression de performance, Temparement and Character Inventory, comportement, athlètes

Dans ce travail de thèse, nous étudions les propriétés de transport électronique des nanorubans de graphène sous champs magnétiques intenses (jusqu'à 55 T) pour révéler les effets de confinements électroniques dans la structure de bande de graphène.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

Nous avons construit les schémas de niveaux des deux noyaux 187Ir et 233Pa obtenus par la désintégration d'isotopes de période courte. Au cours de cette étude nous avons utilisé des techniques de spectrométrie rapide gamma et béta avec divers types de spectromètres et des techniques récentes de spectrométrie de coïncidences en ligne avec des ordinateurs. Afin de pouvoir rechercher systématiquement les transitions de faible énergie et éventuellement de multipolarité élevée, nous avons été amenés à mettre au point différents spectrographes béta adaptés à l'étude d'isotopes de périodes courtes, l'un muni d'un sas près du réacteur BR2 de Mol, un autre auprès du séparateur en ligne d'ISOLDE au CERN, et un troisième en ligne avec le réacteur à haut flux Osiris de Saclay. Nous avons pu construire jusqu'à 1 MeV le schéma de niveaux de 233Pa. L'observation de quelques transitions de très basse énergie a permis de comprendre la structure des niveaux inférieurs du schéma. L'étude du couplage de Coriolis entre les trois bandes de rotation bâties sur les états de plus bas spin provenant du niveau i 13/2, et qui est assez fort pour inverser l'ordre de la bande 3/2, montre que le couplage avec les autres états a aussi un rôIe important. L'analyse de ce couplage procure des indications sur le couplage deltaN = ± 2 entre les états 1/2+(400) et 1/2+(660). L'étude du noyau de 187lr a permis l'extension à un noyau plus déformé de la connaissance des niveaux de basse énergie des iridium impairs et en particulier du couplage de Coriolis entre les bandes 3/2+(402) et 1/2+(400). D'autre part, un groupe de niveaux de parité négative reliés à un niveau 11/2 semble inexpliqué par le modèle de Nilsson. Cette particularité, observée aussi dans les isotopes de l'iridium plus proches de la stabilité, semble due à une plus grande déformabilité du noyau qui changerait de forme dans ces états. Ces noyaux sont proches d'une région de transition de phase, illustrée dans le cas des isotopes pairs-pairs du platine par le passage entre A = 184 et A = 186 d'une déformation quadrupolaire positive à une déformation négative. La différence essentielle avec les autres isotopes impairs connus de l'iridium est qu'il existe un plus grand nombre de niveaux de parité négative. Un niveau 9/2-, mis en évidence par des transitions E3 et M2 + E3 en provenant, semble pouvoir être expliqué comme un état de quasi-particule. Dans le cas du noyau de 233Pa, le potentiel moyen semble bien défini; dans celui du noyau de 187Ir, le potentiel moyen est vraisemblablement instable, ce qui souligne la proximité d'une zone de transition de phase. Cette étude a permis d'élaborer les schémas de niveaux de deux noyaux de déformation moyenne situés dans des régions où d'importants mélanges de configuration doivent être pris en considération. Moyennant ces couplages, la plupart des niveaux semblent pouvoir être expliqués en termes de modèle à quasi-particule indépendante. Les données actuelles ont permis de traiter dans les deux noyaux des problèmes de couplage de Coriolis et d'aborder celui du couplage deltaN = ± 2 dans le 233Pa. Il faudrait, pour pouvoir traiter plus complètement ce dernier couplage, disposer d'un plus grand nombre de paramètres dont certains pourraient peut-être être fournis par des résultats de réactions nucléaires.

Bien que les FPGA soient très attrayants pour leur performance et leur faible consommation, leur emploi en tant qu'accélérateurs matériels reste marginal. Les logiciels de développement existants ne sont en effet accessibles qu'à un public expert en conception de circuits. Afin de repousser leurs limites, une nouvelle méthodologie de génération basée sur la synthèse d'architecture est proposée. En appliquant des transformations successives à une solution initiale, le processus converge rapidement et permet de respecter strictement des contraintes matérielles, notamment en ressources. Un logiciel démonstrateur, AUGH, a été construit, et des expérimentations ont été menées sur plusieurs applications reconnues. La méthodologie proposée est très proche du processus de compilation pour les microprocesseurs, ce qui permet son utilisation même par des utilisateurs non spécialistes de la conception de circuits numériques.

Nous étudions dans cette thèse un problème de tarification pour le transport longue distance de marchandises à charge pleine. Plus précisément chaque véhicule livre une seule demande à la fois. Dans cet environnement, nous étudions une problématique de tarification et de valorisation de la capacité inutilisée entre deux transporteurs. Le premier, le transporteur B, possède une clientèle qu'il ne peut satisfaire en totalité, et devra se résoudre à sous-traiter une partie à la concurrence. Le deuxième transporteur, le transporteur A, concurrent mais partenaire privilégié du premier, propose des tarifs pour combler les demandes insatisfaites du transporteur B. Nous sommes en présence d'un processus de décision séquentiel, non coopératif, hiérarchisé que nous modélisons par une approche de programmation bi-niveau : au premier niveau le transport A (le meneur) a pour objectif de maximiser son revenu en fixant des tarifs, et en prenant explicitement en compte la réaction du transporteur B (le suiveur) qui a pour objectif de satisfaire toutes ses demandes à coût minimal. Deux types de modèles ont été proposé : un modèle bi-niveau mono-objectif et un modèle bi-niveau bi-objectif. Plus précisément deux objectifs sont pris simultanément en compte pour le problème de haut niveau : la maximisation du revenu et l'équilibrage de la distance parcourue à vide. Des méthodes exactes ont été proposées, pour résoudre les instances de petites tailles et des heuristiques sont définies pour obtenir de bonnes solutions en des temps raisonnables sur des instances de plus grande taille.