.

Les principaux algorithmes de placement et d'interconnexion sont passes en revues. On propose ensuite une classification des représentations symboliques de circuits intégrés, et on s'intéresse aux circuits représentés à l'aide du symbolisme défini pour le MD-MOS. Une methode de placement des portes et de traces des connexions automatises est présentée pour les circuits MD-MOS organisés en cellules à une et deux lignes d'alimentation.

Depuis le début des années 2000, la performance brute des cœurs des processeurs a cessé son augmentation exponentielle. Les circuits graphiques (GPUs) modernes ont été conçus comme des circuits composés d'une véritable grille de plusieurs centaines voir milliers d'unités de calcul. Leur capacité de calcul les a amenés à être rapidement détournés de leur fonction première d'affichage pour être exploités comme accélérateurs de calculs généralistes. Toutefois programmer un GPU efficacement en dehors du rendu de scènes 3D reste un défi.La jungle qui règne dans l'écosystème du matériel se reflète dans le monde du logiciel, avec de plus en plus de modèles de programmation, langages, ou API, sans laisser émerger de solution universelle.Cette thèse propose une solution de compilation pour répondre partiellement aux trois "P" propriétés : Performance, Portabilité, et Programmabilité. Le but est de transformer automatiquement un programme séquentiel en un programme équivalent accéléré à l'aide d'un GPU. Un prototype, Par4All, est implémenté et validé par de nombreuses expériences. La programmabilité et la portabilité sont assurées par définition, et si la performance n'est pas toujours au niveau de ce qu'obtiendrait un développeur expert, elle reste excellente sur une large gamme de noyaux et d'applications.Une étude des architectures des GPUs et les tendances dans la conception des langages et cadres de programmation est présentée. Le placement des données entre l'hôte et l'accélérateur est réalisé sans impliquer le développeur. Un algorithme d'optimisation des communications est proposé pour envoyer les données sur le GPU dès que possible et les y conserver aussi longtemps qu'elle ne sont pas requises sur l'hôte. Des techniques de transformations de boucles pour la génération de code noyau sont utilisées, et même certaines connues et éprouvées doivent être adaptées aux contraintes posées par les GPUs. Elles sont assemblées de manière cohérente, et ordonnancées dans le flot d'un compilateur interprocédural. Des travaux préliminaires sont présentés au sujet de l'extension de l'approche pour cibler de multiples GPUs.

Avec la miniaturisation toujours plus poussée des technologies CMOS, il devient de plus en plus difficile de maîtriser les variations des paramètres technologiques lors de la fabrication des circuits intégrés. A cause de ces variations, les performances des circuits peuvent varier de façon considérable. Par conséquent, des méthodes d'analyse de la variabilité et de conception robuste sont plus que jamais nécessaires pour garantir un rendement de fabrication des circuits élevé.Les techniques classiques d'analyse de la variabilité se révèlent soit pessimistes conduisant alors à un surdimensionnement (analyse " pire-cas "), soit très couteuses en temps de calcul (analyse Monte Carlo). Quant aux méthodes de conception automatisée robuste, elles sont généralement basées sur des algorithmes d'optimisation locaux qui améliorent la robustesse des circuits localement, mais risquent de ne pas converger vers le dimensionnement globalement robuste. Dans ce travail de thèse, une nouvelle méthode d'analyse de la variabilité ainsi qu'une nouvelleapproche pour concevoir des circuits analogiques robustes ont été développées. La méthode d'analyse de la variabilité consiste à approximer les performances des circuits par des modèles polynomiaux à partir des plans d'expériences, puis à estimer les variations extrêmes grâce au développement limité de Cornish-Fisher. Cette méthode s'avère aussi précise que l'analyse de Monte Carlo, mais présente un coût calculatoire bien plus faible. Enfin, l'approche de conception robuste met en oeuvre la méthode précédente d'analyse de la variabilité dans un algorithme d'optimisation par intervallesafin d'assurer un dimensionnement globalement robuste.

Depuis le début des années 2000, la performance brute des cœurs des processeurs a cessé son augmentation exponentielle. Les circuits graphiques (GPUs) modernes ont été conçus comme des circuits composés d'une véritable grille de plusieurs centaines voir milliers d'unités de calcul. Leur capacité de calcul les a amenés à être rapidement détournés de leur fonction première d'affichage pour être exploités comme accélérateurs de calculs généralistes. Toutefois programmer un GPU efficacement en dehors du rendu de scènes 3D reste un défi.La jungle qui règne dans l'écosystème du matériel se reflète dans le monde du logiciel, avec de plus en plus de modèles de programmation, langages, ou API, sans laisser émerger de solution universelle.Cette thèse propose une solution de compilation pour répondre partiellement aux trois "P" propriétés : Performance, Portabilité, et Programmabilité. Le but est de transformer automatiquement un programme séquentiel en un programme équivalent accéléré à l'aide d'un GPU. Un prototype, Par4All, est implémenté et validé par de nombreuses expériences. La programmabilité et la portabilité sont assurées par définition, et si la performance n'est pas toujours au niveau de ce qu'obtiendrait un développeur expert, elle reste excellente sur une large gamme de noyaux et d'applications.Une étude des architectures des GPUs et les tendances dans la conception des langages et cadres de programmation est présentée. Le placement des données entre l'hôte et l'accélérateur est réalisé sans impliquer le développeur. Un algorithme d'optimisation des communications est proposé pour envoyer les données sur le GPU dès que possible et les y conserver aussi longtemps qu'elle ne sont pas requises sur l'hôte. Des techniques de transformations de boucles pour la génération de code noyau sont utilisées, et même certaines connues et éprouvées doivent être adaptées aux contraintes posées par les GPUs. Elles sont assemblées de manière cohérente, et ordonnancées dans le flot d'un compilateur interprocédural. Des travaux préliminaires sont présentés au sujet de l'extension de l'approche pour cibler de multiples GPUs. / Since the beginning of the 2000s, the raw performance of processors stopped its exponential increase. The modern graphic processing units (GPUs) have been designed as array of hundreds or thousands of compute units. The GPUs' compute capacity quickly leads them to be diverted from their original target to be used as accelerators for general purpose computation. However programming a GPU efficiently to perform other computations than 3D rendering remains challenging.The current jungle in the hardware ecosystem is mirrored by the software world, with more and more programming models, new languages, different APIs, etc. But no one-fits-all solution has emerged.This thesis proposes a compiler-based solution to partially answer the three "P" properties: Performance, Portability, and Programmability. The goal is to transform automatically a sequential program into an equivalent program accelerated with a GPU. A prototype, Par4All, is implemented and validated with numerous experiences. The programmability and portability are enforced by definition, and the performance may not be as good as what can be obtained by an expert programmer, but still has been measured excellent for a wide range of kernels and applications.A survey of the GPU architectures and the trends in the languages and framework design is presented. The data movement between the host and the accelerator is managed without involving the developer. An algorithm is proposed to optimize the communication by sending data to the GPU as early as possible and keeping them on the GPU as long as they are not required by the host. Loop transformations techniques for kernel code generation are involved, and even well-known ones have to be adapted to match specific GPU constraints. They are combined in a coherent and flexible way and dynamically scheduled within the compilation process of an interprocedural compiler. Some preliminary work is presented about the extension of the approach toward multiple GPUs.

Le projet de recherche, initié en automne 2014 par le Centre des Technologies Avancées de Sherbrooke, partenariat entre Bombardier Recreational Products (BRP) et l’Université de Sherbrooke, se focalise sur le système de transmission d’un véhicule de sport-tourisme à trois roues dans le but de réduire, d’une part la consommation énergétique de ce dernier et d’autre part le niveau de vibration de ce dernier. La première partie du projet de recherche vise à imaginer, modéliser, dimensionner, optimiser, concevoir et contrôler (end-to-end) un nouvel actionneur d’embrayage électrique innovant et moins énergivore que l’actuel actionneur d’embrayage électrohydraulique utilisé dans la transmission manuelle automatisée (AMT) du véhicule. Grâce à une stratégie de commande avancée, cette rupture technologique doit permettre d’être écoénergétique tout en ayant un niveau de performance élevé et pour un coût acceptable. La deuxième partie du projet de recherche vise à investiguer le sens physique et mathématique d’un phénomène d’oscillations transverses de la courroie de transmission – transmettant le couple du bloc moteur à la roue arrière – observé sur le véhicule pour certains régimes moteurs. Puis, proposer une solution mécatronique innovante, basée sur une stratégie de contrôle spécifique de l’actionneur d’embrayage du véhicule, afin de supprimer ces oscillations de courroie sans altérer l’expérience de conduite. Ce document regroupe l’ensemble des travaux effectués et les résultats obtenus pour les deux projets de recherche. Dans un premier temps, la revue de l’état de l’art sur les embrayages, leurs actionnements et leurs stratégies de contrôle sont présentés. Puis, le nouveau dispositif d’actionnement d’embrayage dimensionné et optimisé et sa stratégie de contrôle sont développés. Ensuite, une nouvelle méthode agile et faible coût pour évaluer expérimentalement la consommation d’énergie d’un dispositif d’actionnement virtuellement intégré à un véhicule sur un cycle normalisé est exposée et appliquée à notre cas d’étude. Par la suite, les travaux réalisés pour comprendre le phénomène d’oscillations de courroie et la solution mécatronique proposée pour supprimer celui-ci sont présentés. Puis, la stratégie de contrôle spécifique de l’actionneur d’embrayage conçue, dans notre cas, pour supprimer les oscillations de courroie est développée en détail. Pour finir, les travaux effectués pour ces deux projets de recherche sont conclus en fin de document.

Les voitures électriques ont peu d’énergie embarquée pour se mouvoir comparativement aux véhicules thermiques. Il est donc important d’optimiser l’efficacité de la chaîne de traction pour maximiser la distance parcourue entre les recharges. Ces voitures utilisent un ratio simple pour coupler le moteur aux roues de la voiture. Le remplacement du ratio simple par une transmission à plusieurs vitesses dans une voiture électrique améliore l’efficacité du système de propulsion. Cependant, l’introduction d’une transmission à plusieurs ratios ne doit pas seulement améliorer l’efficacité énergétique pour recevoir l’acceptabilité du marché. Elle doit aussi offrir un confort de conduite similaire au ratio simple. L’ajout d’un embrayage de déviation du couple à la transmission manuelle permet de réduire ou d’éliminer les interruptions de celui-ci lors du passage des ratios. Cependant, les technologies d’embrayages à friction secs et humides ne sont pas bien adaptées à cette tâche de déviation du couple cependant. D’abord, l’embrayage est ouvert la majeure partie du temps ce qui fait en sorte qu’un embrayage humide aurait de grandes pertes visqueuses. Ensuite, les moteurs électriques tournent rapidement (11 000 révolutions par minute). Cela fait en sorte que l’embrayage dissipe de grandes quantités de chaleur pour ralentir le moteur avant l’engagement du prochain ratio. Un embrayage sec ne contient pas d’huile pour aider à l’extraction de la chaleur et ses bandes de friction s’usent rapidement sous ces conditions. Ce travail de maîtrise propose d’utiliser un embrayage électromagnétique plutôt qu’un embrayage à friction pour dévier le couple moteur. La démarche de conception d’un tel embrayage est présentée. Premièrement, un modèle analytique simple sert à déterminer les dimensions physiques de l’embrayage pour qu’il développe un certain couple électromagnétique. Ce requis provient des spécifications techniques d’une plateforme véhiculaire électrique disponible à l’Université de Sherbrooke (Projet Phoebus). Deuxièmement, des études par éléments finis des champs magnétiques de l’embrayage servent à valider que l’embrayage produit le niveau de couple désiré. L’embrayage est finalement testé dans une transmission manuelle automatisée installée sur un banc de test dynamométrique. Des changements de ratios sans interruption de couple démontrent la viabilité de l’embrayage à courants de Foucault en tant qu’embrayage de déviation du couple.

Cette recherche s’inscrit dans un contexte d’amélioration des performances et du confort des vêtements textiles d’intervention contre le feu et la chaleur. L’objectif est de réduire le poids total des équipements de protection individuelle (EPI), en remplaçant leur structure actuelle par un tissu complexe de type « Spacer Fabric », qui résulte de l’assemblage de deux couches, aux propriétés différentes, par un fil de liage. Ces travaux de thèse se concentrent sur le développement du fil de liage et peuvent se définir comme une étude de faisabilité visant à prouver la possibilité de filer des monofilaments de « gros » diamètre (200 – 300 μm) à partir d’une solution de polyamide-imide Kermel®. Pour mener ce projet à terme, un dispositif expérimental de filage par coagulation a été développé. Entièrement automatisé, il permet aussi bien l’étude de l’influence des paramètres de filage sur la qualité des monofilaments obtenus, que la simulation d’une production de type industriel. Pour répondre à notre problématique, cet outil de prototypage a été appliqué au développement des monofilaments souhaités. Un plan d’expériences a été construit, comprenant quatre facteurs : le diamètre d’extrusion, la concentration en solvant du bain de coagulation et les taux d’étirage appliqués dans le bain et dans l’air. Cette étude expérimentale a mis en évidence l’importance de la maîtrise de la cinétique de coagulation, avec une influence hautement significative des facteurs diamètre d’extrusion et concentration du bain de coagulation, notamment sur l’évolution du taux de vide des monofilaments obtenus. / This research aims to improve the performance and the comfort requirements of textile protective clothing against heat and flames. The main purpose is to reduce the weight of such personal equipment by replacing their current structure with complex woven “Spacer Fabric”, composed of an assembly of two textile layers, having different properties, and linked by a binder yarn. These works particularly focus on the development of this binder yarn and consist in a feasibility study to demonstrate the possibility to demonstrate the possibility to spun monofilaments having a large diameter (200 – 300 μm) from a polyamide-imide solution (Kermel®). A dedicated experimental wet-spinning device has been designed to carry out this project. Such fully automated machine enables to conduct detailed studies concerning the influence of multiple spinning parameters on the physical properties of the manufactured monofilaments, therefore providing a simulation of an industrial production of such fibers. Hence, this prototyping tool has been used to develop monofilaments addressing the initially stated issue. A four factor Design of Experiments has been built to investigate the effects and combinations between the following parameters: extrusion diameter, concentration of the coagulation bath, drawing rates applied in the bath and in the air. The derived results mainly showed the importance of controlling the coagulation kinetic. Moreover, highly significant influences of both extrusion diameter and concentration of coagulation bath factors have been highlighted, especially concerning the evolution of the void fraction of the monofilaments.

Le concept de “Business Rule Management System” (BRMS) a été introduit pour faciliter la création, la vérification, le déploiement et l'exécution des politiques commerciales propres à chaque compagnie. Basée sur une approche symbolique, l'idée générale est de permettre aux utilisateurs métier de gérer les changements des règles métier dans le système sans avoir besoin de recourir à des compétences techniques. Il s'agit donc de fournir à ces derniers la possibilité de formuler des politiques commerciales et d'automatiser leur traitement tout en restant proche du langage naturel. De nos jours, avec l'expansion de ce type de systèmes, il faut faire face à des logiques de décision de plus en plus complexes et à de larges volumes de données. Il n'est pas toujours facile d'identifier les causes conduisant à une décision. On constate ainsi un besoin grandissant de justifier et d'optimiser les décisions dans de courts délais qui induit l'intégration à ses systèmes d'une composante d'explication évoluée. Le principal enjeu de ces recherches est de fournir une approche industrialisable de l'explication des processus de décision d'un BRMS et plus largement d'un système à base de règles. Cette approche devra être en mesure d'apporter les informations nécessaires à la compréhension générale de la décision, de faire office de justification auprès d'entités internes et externes ainsi que de permettre l'amélioration des moteurs de règles existants. La réflexion se portera tant sur la génération des explications en elles-mêmes que sur la manière et la forme sous lesquelles elles seront délivrées. / The concept of “Business Rule Management System” (BRMS) has been introduced in order to facilitate the design, the management and the execution of company-specific business policies. Based on a symbolic approach, the main idea behind these tools is to enable the business users to manage the business rule changes in the system without requiring programming skills. It is therefore a question of providing them with tools that enable to formulate their business policies in a near natural language form and automate their processing. Nowadays, with the expansion of intelligent systems, we have to cope with more and more complex decision logic and large volumes of data. It is not straightforward to identify the causes leading to a decision. There is a growing need to justify and optimize automated decisions in a short time frame, which motivates the integration of advanced explanatory component into its systems. Thus, the main challenge of this research is to provide an industrializable approach for explaining the decision-making processes of business rules applications and more broadly rule-based systems. This approach should be able to provide the necessary information for enabling a general understanding of the decision, to serve as a justification for internal and external entities as well as to enable the improvement of existing rule engines. To this end, the focus will be on the generation of the explanations in themselves as well as on the manner and the form in which they will be delivered.

Cette étude trace un portrait de l’activité "faire une recherche" chez des élèves de sixième année. Il s’agit d’une recherche de type exploratoire qui s’articule autour de quatre parties : 1) le script de l’activité, tant celui des enfants que celui des enseignants ; 2) la façon dont les enfants procèdent pour recueillir leurs données ; 3) l’intégration de ces données dans un texte, et 4) l’acquisition des connaissances. Les observations ont été recueillies dans le contexte naturel de la classe. Ces données ont permis de constater, entre autres, que: 1) les enfants et les enseignants n’ont pas le même script de l’activité "faire une recherche" ; 2) les enfants ont tendance à copier l’information sans réellement modifier ou restructurer le texte-source, et 3) les enfants acquièrent des connaissances nouvelles dans cette activité. / Québec Université Laval, Bibliothèque 2015