Transformation by example

La transformation de modèles consiste à transformer un modèle source en un modèle cible conformément à des méta-modèles source et cible. Nous distinguons deux types de transformations. La première est exogène où les méta-modèles source et cible représentent des formalismes différents et où tous les éléments du modèle source sont transformés. Quand elle concerne un même formalisme, la transformation est endogène. Ce type de transformation nécessite généralement deux étapes : l’identification des éléments du modèle source à transformer, puis la transformation de ces éléments. Dans le cadre de cette thèse, nous proposons trois principales contributions liées à ces problèmes de transformation. La première contribution est l’automatisation des transformations des modèles. Nous proposons de considérer le problème de transformation comme un problème d'optimisation combinatoire où un modèle cible peut être automatiquement généré à partir d'un nombre réduit d'exemples de transformations. Cette première contribution peut être appliquée aux transformations exogènes ou endogènes (après la détection des éléments à transformer). La deuxième contribution est liée à la transformation endogène où les éléments à transformer du modèle source doivent être détectés. Nous proposons une approche pour la détection des défauts de conception comme étape préalable au refactoring. Cette approche est inspirée du principe de la détection des virus par le système immunitaire humain, appelée sélection négative. L’idée consiste à utiliser de bonnes pratiques d’implémentation pour détecter les parties du code à risque. La troisième contribution vise à tester un mécanisme de transformation en utilisant une fonction oracle pour détecter les erreurs. Nous avons adapté le mécanisme de sélection négative qui consiste à considérer comme une erreur toute déviation entre les traces de transformation à évaluer et une base d’exemples contenant des traces de transformation de bonne qualité. La fonction oracle calcule cette dissimilarité et les erreurs sont ordonnées selon ce score. Les différentes contributions ont été évaluées sur d’importants projets et les résultats obtenus montrent leurs efficacités.

Métabolisme énergétique cardiaque fœtal dans un modèle de restriction de croissance intra-utérine chez le rat

Une diète faible en sodium donnée à des rates lors de la dernière semaine de gestation induit une diminution de l’expansion volumique, du diamètre des artères utérines et du poids des placentas comparativement à des rates témoins. Ces perturbations suggèrent une diminution de la perfusion placentaire affectant l’apport foetal en nutriments. Les ratons naissent avec une restriction de croissance intra-utérine (RCIU). Chez le foetus, le substrat énergétique cardiaque principal est le glucose via la glycolyse. À la naissance, la source principale d’énergie est l’utilisation des acides gras par la β-oxydation. Nous émettons l’hypothèse que dans ce modèle de RCIU, le coeur foetal répond à la diminution d’apport nutritionnel due à une atteinte maternelle en adaptant son métabolisme énergétique cardiaque à la baisse. Les rates gestantes (témoins et recevant la diète faible en sodium) sont sacrifiées au jour 22 de gestation (sur 23). Les coeurs foetaux sont prélevés afin de caractériser les protéines dites « limitantes » in vitro des voies de la glycolyse et de la β-oxydation. Les expressions protéiques de GLUT1, GLUT4, HK1, HK2, CPT2, CPT1β, cytochrome c, PFK1, PKM1/2, mesurées par immunobuvardage de type Western, sont similaires entre les coeurs des foetus RCIU et témoins, mâles et femelles. L’expression protéique de CPT1α est diminuée dans les coeurs des femelles RCIU seulement. Il n’existe aucune différence significative entre les différents groupes quant à l’activité enzymatique de PKM1/2. Nos résultats dressent un profil métabolique général suggérant que le sexe du foetus peut avoir un effet sur la réponse cardiaque foetale à une atteinte du volume sanguin maternel causée par la diète restreinte en sodium. Ce profil métabolique semble démontrer une atteinte du catabolisme des lipides. Afin de bien caractériser cette réponse du mécanisme énergétique, l’activité enzymatique des autres enzymes principales de la glycolyse (HK1, HK2, PFK1), le flux intra-mitochondrial d’acyl CoA à travers les CPTs ainsi que la quantité totale d’acétyl CoA devront être quantifiés.

Plasticity of neuroanatomical relationships between cholinergic and dopaminergic axon varicosities and pyramidal cells in the rat medial prefrontal cortex

Les systèmes cholinergique et dopaminergique jouent un rôle prépondérant dans les fonctions cognitives. Ce rôle est exercé principalement grâce à leur action modulatrice de l’activité des neurones pyramidaux du cortex préfrontal. L’interaction pharmacologique entre ces systèmes est bien documentée mais les études de leurs interactions neuroanatomiques sont rares, étant donné qu’ils sont impliqués dans une transmission diffuse plutôt que synaptique. Ce travail de thèse visait à développer une expertise pour analyser ce type de transmission diffuse en microscopie confocale. Nous avons étudié les relations de microproximité entre ces différents systèmes dans le cortex préfrontal médian (mPFC) de rats et souris. En particulier, la densité des varicosités axonales en passant a été quantifiée dans les segments des fibres cholinergiques et dopaminergiques à une distance mutuelle de moins de 3 µm ou à moins de 3 µm des somas de cellules pyramidales. Cette microproximité était considérée comme une zone d’interaction probable entre les éléments neuronaux. La quantification était effectuée après triple-marquage par immunofluorescence et acquisition des images de 1 µm par microscopie confocale. Afin d’étudier la plasticité de ces relations de microproximité, cette analyse a été effectuée dans des conditions témoins, après une activation du mPFC et dans un modèle de schizophrénie par déplétion des neurones cholinergiques du noyau accumbens. Les résultats démontrent que 1. Les fibres cholinergiques interagissent avec des fibres dopaminergiques et ce sur les mêmes neurones pyramidaux de la couche V du mPFC. Ce résultat suggère différents apports des systèmes cholinergique et dopaminergique dans l’intégration effectuée par une même cellule pyramidale. 2. La densité des varicosités en passant cholinergiques et dopaminergiques sur des segments de fibre en microproximité réciproque est plus élevée comparé aux segments plus distants les uns des autres. Ce résultat suggère un enrichissement du nombre de varicosités axonales dans les zones d’interaction. 3. La densité des varicosités en passant sur des segments de fibre cholinergique en microproximité de cellules pyramidales, immunoúactives pour c-Fos après une stimulation visuelle et une stimulation électrique des noyaux cholinergiques projetant au mPFC est plus élevée que la densité des varicosités de segments en microproximité de cellules pyramidales non-activées. Ce résultat suggère un enrichissement des varicosités axonales dépendant de l’activité neuronale locale au niveau de la zone d'interaction avec d'autres éléments neuronaux. 4. La densité des varicosités en passant des fibres dopaminergiques a été significativement diminuée dans le mPFC de rats ayant subi une déplétion cholinergique dans le noyau accumbens, comparée aux témoins. Ces résultats supportent des interrelations entre la plasticité structurelle des varicosités dopaminergiques et le fonctionnement cortical. L’ensemble des donneès démontre une plasticité de la densité locale des varicosités axonales en fonction de l’activité neuronale locale. Cet enrichissement activité-dépendant contribue vraisemblablement au maintien d’une interaction neurochimique entre deux éléments neuronaux.

Implantation et validation d’un modèle Monte Carlo du Cyberknife dans un outil de calcul de dose clinique

Le travail de modélisation a été réalisé à travers EGSnrc, un logiciel développé par le Conseil National de Recherche Canada.