Improving automation in model-driven engineering using examples

Cette thèse a pour but d’améliorer l’automatisation dans l’ingénierie dirigée par les modèles (MDE pour Model Driven Engineering). MDE est un paradigme qui promet de réduire la complexité du logiciel par l’utilisation intensive de modèles et des transformations automatiques entre modèles (TM). D’une façon simplifiée, dans la vision du MDE, les spécialistes utilisent plusieurs modèles pour représenter un logiciel, et ils produisent le code source en transformant automatiquement ces modèles. Conséquemment, l’automatisation est un facteur clé et un principe fondateur de MDE. En plus des TM, d’autres activités ont besoin d’automatisation, e.g. la définition des langages de modélisation et la migration de logiciels. Dans ce contexte, la contribution principale de cette thèse est de proposer une approche générale pour améliorer l’automatisation du MDE. Notre approche est basée sur la recherche méta-heuristique guidée par les exemples. Nous appliquons cette approche sur deux problèmes importants de MDE, (1) la transformation des modèles et (2) la définition précise de langages de modélisation. Pour le premier problème, nous distinguons entre la transformation dans le contexte de la migration et les transformations générales entre modèles. Dans le cas de la migration, nous proposons une méthode de regroupement logiciel (Software Clustering) basée sur une méta-heuristique guidée par des exemples de regroupement. De la même façon, pour les transformations générales, nous apprenons des transformations entre modèles en utilisant un algorithme de programmation génétique qui s’inspire des exemples des transformations passées. Pour la définition précise de langages de modélisation, nous proposons une méthode basée sur une recherche méta-heuristique, qui dérive des règles de bonne formation pour les méta-modèles, avec l’objectif de bien discriminer entre modèles valides et invalides. Les études empiriques que nous avons menées, montrent que les approches proposées obtiennent des bons résultats tant quantitatifs que qualitatifs. Ceux-ci nous permettent de conclure que l’amélioration de l’automatisation du MDE en utilisant des méthodes de recherche méta-heuristique et des exemples peut contribuer à l’adoption plus large de MDE dans l’industrie à là venir.

Implantation d’un système de téléophtalmologie pour le dépistage de masse de la rétinopathie diabétique à l’hôpital Maisonneuve-Rosemont.

Projet de maîtrise présenté à la faculté de médecine en vue de l’obtention du grade de M.Sc.A. en génie biomédical option génie clinique.

État de situation sur les activités du GBM au CSSSPB en vue de l'application du guide des bonnes pratiques.

Rapport de maîtrise présenté à la faculté de médecine en vue de l’obtention du grade de M.Sc.A. en génie biomédical - Option génie clinique

Variations inter- et intra-spécifiques de la phytoextraction des éléments traces As, Cd, Cu, Ni, Pb et Zn chez trois cultivars de saule

La phytoextraction représente une solution environnementale prometteuse face au problème de contamination des sols en éléments traces (É.T). La présente étude s’intéresse aux différences intra et interspécifiques (S. purpurea, S. dasyclados, S. miyabeana) de trois cultivars de saule lorsqu’ils sont utilisés pour la phytoextration de six É.T. (As, Cd, Cu, Ni, Pb et Zn). Les objectifs sont (i) décrire les variations intrapécifiques du cultivar FISH CREEK (S. purpurea) lorsqu’il est utilisé pour la phytoextraction sur deux sites d’étude; et (ii) décrire les variations intra et interspécifiques des cultivars FISH CREEK (S. purpurea), SV1 (S. dasyclados) et SX67 (S. miyabeana) lorsqu’ils sont utilisés pour la phytoextraction d’un site d’étude. Les indicateurs de variations intra et interspécifiques sélectionnés sont les suivants : la biomasse totale, les concentrations en É.T. extraits et les facteurs de translocation (x ̅ pondérée des conc. É.T. dans les parties aériennes / conc. É.T. dans les racines). La contribution des propriétés du sol (degré de contamination, caractéristiques physicochimiques) à la phytoextraction a été évaluée. Les cultivars ont présenté des variations interspécifiques significatives. Cependant, les variations intraspécifiques sur un site d’étude étaient parfois plus importantes que celles mesurées entre les trois différents cultivars. L’amplitude des variations intraspécifiques que présentent le cultivar FISH CREEK sur deux sites d’étude est attribuée à l’influence du pH, de la minéralogie et au contenu en matière organique, lesquelles diffèrent entre les deux sites. Il a aussi été démontré que la phytoextraction des É.T. n’était pas systématiquement corrélée de façon positive avec le degré de contamination. Cela suggère que les concentrations en É.T. mesurées dans le sol ne peuvent pas expliquer à elles seules la variation des concentrations mesurées dans les tissus. L’implication des mécanismes de rétention dans le sol semblent être davantage responsable des variations observées. La compartimentation des É.T. suggère que le saule est efficace pour l’extraction du Cd et du Zn et qu’il est efficace pour la phytostabilisation de l’As, du Cu, du Ni, et du Pb. En ce qui concerne les quantités extraites, le cultivar FISH CREEK semble le plus performant dans la présente étude.

Calculs ab initio de structures électroniques et de leur dépendance en température avec la méthode GW

Cette thèse porte sur le calcul de structures électroniques dans les solides. À l'aide de la théorie de la fonctionnelle de densité, puis de la théorie des perturbations à N-corps, on cherche à calculer la structure de bandes des matériaux de façon aussi précise et efficace que possible. Dans un premier temps, les développements théoriques ayant mené à la théorie de la fonctionnelle de densité (DFT), puis aux équations de Hedin sont présentés. On montre que l'approximation GW constitue une méthode pratique pour calculer la self-énergie, dont les résultats améliorent l'accord de la structure de bandes avec l'expérience par rapport aux calculs DFT. On analyse ensuite la performance des calculs GW dans différents oxydes transparents, soit le ZnO, le SnO2 et le SiO2. Une attention particulière est portée aux modèles de pôle de plasmon, qui permettent d'accélérer grandement les calculs GW en modélisant la matrice diélectrique inverse. Parmi les différents modèles de pôle de plasmon existants, celui de Godby et Needs s'avère être celui qui reproduit le plus fidèlement le calcul complet de la matrice diélectrique inverse dans les matériaux étudiés. La seconde partie de la thèse se concentre sur l'interaction entre les vibrations des atomes du réseau cristallin et les états électroniques. Il est d'abord montré comment le couplage électron-phonon affecte la structure de bandes à température finie et à température nulle, ce qu'on nomme la renormalisation du point zéro (ZPR). On applique ensuite la méthode GW au calcul du couplage électron-phonon dans le diamant. Le ZPR s'avère être fortement amplifié par rapport aux calculs DFT lorsque les corrections GW sont appliquées, améliorant l'accord avec les observations expérimentales.

Une approche heuristique pour l’apprentissage de transformations de modèles complexes à partir d’exemples

L’ingénierie dirigée par les modèles (IDM) est un paradigme d’ingénierie du logiciel bien établi, qui préconise l’utilisation de modèles comme artéfacts de premier ordre dans les activités de développement et de maintenance du logiciel. La manipulation de plusieurs modèles durant le cycle de vie du logiciel motive l’usage de transformations de modèles (TM) afin d’automatiser les opérations de génération et de mise à jour des modèles lorsque cela est possible. L’écriture de transformations de modèles demeure cependant une tâche ardue, qui requiert à la fois beaucoup de connaissances et d’efforts, remettant ainsi en question les avantages apportés par l’IDM. Afin de faire face à cette problématique, de nombreux travaux de recherche se sont intéressés à l’automatisation des TM. L’apprentissage de transformations de modèles par l’exemple (TMPE) constitue, à cet égard, une approche prometteuse. La TMPE a pour objectif d’apprendre des programmes de transformation de modèles à partir d’un ensemble de paires de modèles sources et cibles fournis en guise d’exemples. Dans ce travail, nous proposons un processus d’apprentissage de transformations de modèles par l’exemple. Ce dernier vise à apprendre des transformations de modèles complexes en s’attaquant à trois exigences constatées, à savoir, l’exploration du contexte dans le modèle source, la vérification de valeurs d’attributs sources et la dérivation d’attributs cibles complexes. Nous validons notre approche de manière expérimentale sur 7 cas de transformations de modèles. Trois des sept transformations apprises permettent d’obtenir des modèles cibles parfaits. De plus, une précision et un rappel supérieurs à 90% sont enregistrés au niveau des modèles cibles obtenus par les quatre transformations restantes.

Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos

En la actualidad, el uso de las tecnologías ha sido primordial para el avance de las sociedades, estas han permitido que personas sin conocimientos informáticos o usuarios llamados “no expertos” se interesen en su uso, razón por la cual los investigadores científicos se han visto en la necesidad de producir estudios que permitan la adaptación de sistemas, a la problemática existente dentro del ámbito informático. Una necesidad recurrente de todo usuario de un sistema es la gestión de la información, la cual se puede administrar por medio de una base de datos y lenguaje específico, como lo es el SQL (Structured Query Language), pero esto obliga al usuario sin conocimientos a acudir a un especialista para su diseño y construcción, lo cual se ve reflejado en costos y métodos complejos, entonces se plantea una pregunta ¿qué hacer cuando los proyectos son pequeñas y los recursos y procesos son limitados? Teniendo como base la investigación realizada por la universidad de Washington[39], donde sintetizan sentencias SQL a partir de ejemplos de entrada y salida, se pretende con esta memoria automatizar el proceso y aplicar una técnica diferente de aprendizaje, para lo cual utiliza una aproximación evolucionista, donde la aplicación de un algoritmo genético adaptado origina sentencias SQL válidas que responden a las condiciones establecidas por los ejemplos de entrada y salida dados por el usuario. Se obtuvo como resultado de la aproximación, una herramienta denominada EvoSQL que fue validada en este estudio. Sobre los 28 ejercicios empleados por la investigación [39], 23 de los cuales se obtuvieron resultados perfectos y 5 ejercicios sin éxito, esto representa un 82.1% de efectividad. Esta efectividad es superior en un 10.7% al establecido por la herramienta desarrollada en [39] SQLSynthesizer y 75% más alto que la herramienta siguiente más próxima Query by Output QBO[31]. El promedio obtenido en la ejecución de cada ejercicio fue de 3 minutos y 11 segundos, este tiempo es superior al establecido por SQLSynthesizer; sin embargo, en la medida un algoritmo genético supone la existencia de fases que amplían los rangos de tiempos, por lo cual el tiempo obtenido es aceptable con relación a las aplicaciones de este tipo. En conclusión y según lo anteriormente expuesto, se obtuvo una herramienta automática con una aproximación evolucionista, con buenos resultados y un proceso simple para el usuario “no experto”.

Topological order in a broken-symmetry state

À travers cette thèse, nous revisitons les différentes étapes qui ont conduit à la découverte des isolants topologiques, suite à quoi nous nous penchons sur la question à savoir si une phase topologiquement non-triviale peut coexister avec un état de symétrie brisée. Nous abordons les concepts les plus importants dans la description de ce nouvel état de la matière, et tentons de comprendre les conséquences fascinantes qui en découlent. Il s’agit d’un champ de recherche fortement alimenté par la théorie, ainsi, l’étude du cadre théorique est nécessaire pour atteindre une compréhension profonde du sujet. Le chapitre 1 comprend un retour sur l’effet de Hall quantique, afin de motiver les sections subséquentes. Le chapitre 2 présente la première réalisation d’un isolant topologique à deux dimensions dans un puits quantique de HgTe/CdTe, suite à quoi ces résultats sont généralisés à trois dimensions. Nous verrons ensuite comment incorporer des principes de topologie dans la caractérisation d’un système spécifique, à l’aide d’invariants topologiques. Le chapitre 3 introduit le premier dérivé de l’état isolant topologique, soit l’isolant topologique antiferromagnétique (ITAF). Après avoir motivé théoriquement le sujet et introduit un invariant propre à ce nouvel état ITAF, qui est couplé à l’ordre de Néel, nous explorons, dans les chapitres 4 et 5, deux candidats de choix pour la phase ITAF : GdBiPt et NdBiPt.

Quantitative functional MRI of the Cerebrovascular Reactivity to CO2

Le dioxyde de carbone (CO2) est un résidu naturel du métabolisme cellulaire, la troisième substance la plus abondante du sang, et un important agent vasoactif. À la moindre variation de la teneur en CO2 du sang, la résistance du système vasculaire cérébral et la perfusion tissulaire cérébrale subissent des changements globaux. Bien que les mécanismes exacts qui sous-tendent cet effet restent à être élucidés, le phénomène a été largement exploité dans les études de réactivité vasculaire cérébrale (RVC). Une voie prometteuse pour l’évaluation de la fonction vasculaire cérébrale est la cartographie de la RVC de manière non-invasive grâce à l’utilisation de l’Imagerie par Résonance Magnétique fonctionnelle (IRMf). Des mesures quantitatives et non-invasives de de la RVC peuvent être obtenus avec l’utilisation de différentes techniques telles que la manipu- lation du contenu artériel en CO2 (PaCO2) combinée à la technique de marquage de spin artériel (Arterial Spin Labeling, ASL), qui permet de mesurer les changements de la perfusion cérébrale provoqués par les stimuli vasculaires. Toutefois, les préoccupations liées à la sensibilité et la fiabilité des mesures de la RVC limitent de nos jours l’adoption plus large de ces méthodes modernes de IRMf. J’ai considéré qu’une analyse approfondie ainsi que l’amélioration des méthodes disponibles pourraient apporter une contribution précieuse dans le domaine du génie biomédical, de même qu’aider à faire progresser le développement de nouveaux outils d’imagerie de diagnostique. Dans cette thèse je présente une série d’études où j’examine l’impact des méthodes alternatives de stimulation/imagerie vasculaire sur les mesures de la RVC et les moyens d’améliorer la sensibilité et la fiabilité de telles méthodes. J’ai aussi inclus dans cette thèse un manuscrit théorique où j’examine la possible contribution d’un facteur méconnu dans le phénomène de la RVC : les variations de la pression osmotique du sang induites par les produits de la dissolution du CO2. Outre l’introduction générale (Chapitre 1) et les conclusions (Chapitre 6), cette thèse comporte 4 autres chapitres, au long des quels cinq différentes études sont présentées sous forme d’articles scientifiques qui ont été acceptés à des fins de publication dans différentes revues scientifiques. Chaque chapitre débute par sa propre introduction, qui consiste en une description plus détaillée du contexte motivant le(s) manuscrit(s) associé(s) et un bref résumé des résultats transmis. Un compte rendu détaillé des méthodes et des résultats peut être trouvé dans le(s) dit(s) manuscrit(s). Dans l’étude qui compose le Chapitre 2, je compare la sensibilité des deux techniques ASL de pointe et je démontre que la dernière implémentation de l’ASL continue, la pCASL, offre des mesures plus robustes de la RVC en comparaison à d’autres méthodes pulsés plus âgées. Dans le Chapitre 3, je compare les mesures de la RVC obtenues par pCASL avec l’utilisation de quatre méthodes respiratoires différentes pour manipuler le CO2 artérielle (PaCO2) et je démontre que les résultats peuvent varier de manière significative lorsque les manipulations ne sont pas conçues pour fonctionner dans l’intervalle linéaire de la courbe dose-réponse du CO2. Le Chapitre 4 comprend deux études complémentaires visant à déterminer le niveau de reproductibilité qui peut être obtenu en utilisant des méthodes plus récentes pour la mesure de la RVC. La première étude a abouti à la mise au point technique d’un appareil qui permet des manipulations respiratoires du CO2 de manière simple, sécuritaire et robuste. La méthode respiratoire améliorée a été utilisée dans la seconde étude – de neuro-imagerie – où la sensibilité et la reproductibilité de la RVC, mesurée par pCASL, ont été examinées. La technique d’imagerie pCASL a pu détecter des réponses de perfusion induites par la variation du CO2 dans environ 90% du cortex cérébral humain et la reproductibilité de ces mesures était comparable à celle d’autres mesures hémodynamiques déjà adoptées dans la pratique clinique. Enfin, dans le Chapitre 5, je présente un modèle mathématique qui décrit la RVC en termes de changements du PaCO2 liés à l’osmolarité du sang. Les réponses prédites par ce modèle correspondent étroitement aux changements hémodynamiques mesurés avec pCASL ; suggérant une contribution supplémentaire à la réactivité du système vasculaire cérébral en lien avec le CO2.

Standardisation de l’aménagement d’une unité d’endoscopie : Aires de transit des équipements biomédicaux

Rapport de projet

Ablation laser femtoseconde de verres métalliques de Cu_x Zr_(1−x) : une étude par dynamique moléculaire

L’ablation laser de verres métalliques de CuxZr1−x (x = 0.33, 0.50 et 0.67) et d’un alliage métallique cristallin de CuZr2 dans la structure C11b a été étudiée par dynamique moléculaire (DM) combinée à un modèle à deux températures (TTM). Le seuil d’ablation (Fth) a été déterminé pour chacun des 4 échantillons et s'est avéré plus bas pour les échantillons plus riches en Cu étant donné que la cohésion du Cu est plus faible que celle du Zr dans tous les échantillons. Pour x=0.33, Fth est plus bas pour le cristal que pour l’amorphe car le couplage électron-phonon est plus faible dans ce dernier, ce qui implique que l’énergie est transférée plus lentement du système électronique vers le système ionique pour le a-CuZr2 que le c-CuZr2. La vitesse de l’onde de pression créée par l’impact du laser croît avec la fluence dans l’échantillon cristallin, contrairement aux échantillons amorphes dans lesquels sa vitesse moyenne est relativement constante avec la fluence. Ceci est expliqué par le fait que le module de cisaillement croît avec la pression pour le cristal, ce qui n’est pas le cas pour les verres métalliques étudiés. Finalement, la zone affectée par la chaleur (HAZ) a été étudiée via la profondeur de fusion et les déformations plastiques. La plus faible température de fusion des échantillons amorphes implique que la profondeur de fusion est plus importante dans ceux-ci que dans l’échantillon cristallin. Dans les verres métalliques, les déformations plastiques ont été identifiées sous forme de zones de transformation par cisaillement (STZ) qui diffusent et fusionnent à plus haute fluence. Aucune déformation plastique importante n’a été identifiée dans le c-CuZr2 mis à part de légères déformations près du front de fusion causées par les contraintes résiduelles. Ce travail a ainsi permis d’améliorer notre compréhension de l’ablation laser sur les verres métalliques et de l’étendue des dommages qu’elle peut entraîner.

A single amino acid substitution in the mRNA capping enzyme λ2 of a mammalian orthoreovirus mutant increases interferon sensitivity.

In the last few years, the development of a plasmid-based reverse genetics system for mammalian reovirus has allowed the production and characterization of mutant viruses. This could be especially significant in the optimization of reovirus strains for virotherapeutic applications, either as gene vectors or oncolytic viruses. The genome of a mutant virus exhibiting increased sensitivity to interferon was completely sequenced and compared with its parental virus. Viruses corresponding to either the parental or mutant viruses were then rescued by reverse genetics and shown to exhibit the expected phenotypes. Systematic rescue of different viruses harboring either of the four parental genes in a mutant virus backbone, or reciprocally, indicated that a single amino acid substitution in one of λ2 methyltransferase domains is the major determinant of the difference in interferon sensitivity between these two viruses.

Further characterization and determination of the single amino acid change in the tsI138 reovirus thermosensitive mutant

Many temperature-sensitive mutants have been isolated in early studies of mammalian reovirus. However, the bio- logical properties and nature of the genetic alterations remain incompletely explored for most of these mutants. The mutation harbored by the tsI138 mutant was already assigned to the L3 gene encoding the l1 protein. In the present study, this mu- tant was further studied as a possible tool to establish the role of the putative l1 enzymatic activities in viral multiplication. It was observed that synthesis of viral proteins is only marginally reduced, while it was difficult to recover viral particles at the nonpermissive temperature. A single nucleotide substitution resulting in an amino acid change was found; the position of this amino acid is consistent with a probable defect in assembly of the inner capsid at the nonpermissive temperature.

Transient high level mammalian reovirus replication in a bat epithelial cell line occurs without cytopathic effect

Mammalian reoviruses exhibit a large host range and infected cells are generally killed; however, most studies examined only a few cell types and host species, and are probably not representative of all possible interactions between virus and host cell. Many questions thus remain concerning the nature of cellular factors that affect viral replication and cell death. In the present work, it was observed that replication of the classical mammalian reovirus serotype 3 Dearing in a bat epithelial cell line, Tb1.Lu, does not result in cell lysis and is rapidly reduced to very low levels. Prior uncoating of virions by chymotrypsin treatment, to generate infectious subviral particles, increased the initial level of infection but without any significant effect on further viral replication or cell survival. Infected cells remain resistant to virus reinfection and secrete an antiviral factor, most likely interferon, that is protective against the unrelated encephalomyocarditis virus. Although, the transformed status of a cell is believed to promote reovirus replication and viral “oncolysis”, resistant Tb1.Lu cells exhibit a classical phenotype of transformed cells by forming colonies in semisolid soft agar medium. Further transduction of Tb.Lu cells with a constitutively-active Ras oncogene does not seem cell growth or reovirus effect on these cells. Infected Tb1.Lu cells can produce low-level of infectious virus for a long time without any apparent effect, although these cells are resistant to reinfection. The results suggest that Tb1.Lu cells can mount an unusual antiviral response. Specific properties of bat cells may thus be in part responsible for the ability of the animals to act as reservoirs for viruses in general and for novel reoviruses in particular. Their peculiar resistance to cell lysis also makes Tb1.Lu cells an attractive model to study the cellular and viral factors that determine the ability of reovirus to replicate and destroy infected cells.

Amino acid substitutions in σ1 and μ1 outer capsid proteins are selected during mammalian reovirus adaptation to Vero cells

Establishment of viral persistence in cell culture has previously led to the selection of mammalian reovirus mutants, although very few of those have been characterized in details. In the present study, reovirus was adapted to Vero cells that, in contrast to classically-used L929 cells, are inefficient in supporting the early steps of reovirus uncoating and are also unable to produce interferon as an antiviral response once infection occurs. The Vero cell-adapted reovirus exhibits amino acids substitutions in both the σ1 and μ1 proteins. This contrasts with uncoating mutants from persistently-infected L929 cells, and various other cell types, that generally harbor amino acids substitutions in the σ3 outer capsid protein. The Vero cell-adapted virus remained sensitive to an inhibitor of lysosomal proteases; furthermore, in the absence of selective pressure for its maintenance, t he virus has partially lost its ability to resist interferon. The positions of the amino acids substitutions on the known protein structures suggest an effect on binding of the viral σ1 protein to the cell surface and on μ1 disassembly from the outer capsid.