On the fly type specialization without type analysis

Les langages de programmation typés dynamiquement tels que JavaScript et Python repoussent la vérification de typage jusqu’au moment de l’exécution. Afin d’optimiser la performance de ces langages, les implémentations de machines virtuelles pour langages dynamiques doivent tenter d’éliminer les tests de typage dynamiques redondants. Cela se fait habituellement en utilisant une analyse d’inférence de types. Cependant, les analyses de ce genre sont souvent coûteuses et impliquent des compromis entre le temps de compilation et la précision des résultats obtenus. Ceci a conduit à la conception d’architectures de VM de plus en plus complexes. Nous proposons le versionnement paresseux de blocs de base, une technique de compilation à la volée simple qui élimine efficacement les tests de typage dynamiques redondants sur les chemins d’exécution critiques. Cette nouvelle approche génère paresseusement des versions spécialisées des blocs de base tout en propageant de l’information de typage contextualisée. Notre technique ne nécessite pas l’utilisation d’analyses de programme coûteuses, n’est pas contrainte par les limitations de précision des analyses d’inférence de types traditionnelles et évite la complexité des techniques d’optimisation spéculatives. Trois extensions sont apportées au versionnement de blocs de base afin de lui donner des capacités d’optimisation interprocédurale. Une première extension lui donne la possibilité de joindre des informations de typage aux propriétés des objets et aux variables globales. Puis, la spécialisation de points d’entrée lui permet de passer de l’information de typage des fonctions appellantes aux fonctions appellées. Finalement, la spécialisation des continuations d’appels permet de transmettre le type des valeurs de retour des fonctions appellées aux appellants sans coût dynamique. Nous démontrons empiriquement que ces extensions permettent au versionnement de blocs de base d’éliminer plus de tests de typage dynamiques que toute analyse d’inférence de typage statique.

Comprendre et maîtriser le passage de type I à type II de puits quantiques d'In(x)Ga(1-x)As(y)Sb(1-y) sur substrat de GaSb

Les antimoniures sont des semi-conducteurs III-V prometteurs pour le développement de dispositifs optoélectroniques puisqu'ils ont une grande mobilité d'électrons, une large gamme spectrale d'émission ou de détection et offrent la possibilité de former des hétérostructures confinées dont la recombinaison est de type I, II ou III. Bien qu'il existe plusieurs publications sur la fabrication de dispositifs utilisant un alliage d'In(x)Ga(1-x)As(y)Sb(1-y) qui émet ou détecte à une certaine longueur d'onde, les détails, à savoir comment sont déterminés les compositions et surtout les alignements de bande, sont rarement explicites. Très peu d'études fondamentales sur l'incorporation d'indium et d'arsenic sous forme de tétramères lors de l'épitaxie par jets moléculaires existent, et les méthodes afin de déterminer l'alignement des bandes des binaires qui composent ces alliages donnent des résultats variables. Un modèle a été construit et a permis de prédire l'alignement des bandes énergétiques des alliages d'In(x)Ga(1-x)As(y)Sb(1-y) avec celles du GaSb pour l'ensemble des compositions possibles. Ce modèle tient compte des effets thermiques, des contraintes élastiques et peut aussi inclure le confinement pour des puits quantiques. De cette manière, il est possible de prédire la transition de type de recombinaison en fonction de la composition. Il est aussi montré que l'indium ségrègue en surface lors de la croissance par épitaxie par jets moléculaires d'In(x)Ga(1-x)Sb sur GaSb, ce qui avait déjà été observé pour ce type de matériau. Il est possible d'éliminer le gradient de composition à cette interface en mouillant la surface d'indium avant la croissance de l'alliage. L'épaisseur d'indium en surface dépend de la température et peut être évaluée par un modèle simple simulant la ségrégation. Dans le cas d'un puits quantique, il y aura une seconde interface GaSb sur In(x)Ga(1-x)Sb où l'indium de surface ira s'incorporer. La croissance de quelques monocouches de GaSb à basse température immédiatement après la croissance de l'alliage permet d'incorporer rapidement ces atomes d'indium et de garder la seconde interface abrupte. Lorsque la composition d'indium ne change plus dans la couche, cette composition correspond au rapport de flux d'atomes d'indium sur celui des éléments III. L'arsenic, dont la source fournit principalement des tétramères, ne s'incorpore pas de la même manière. Les tétramères occupent deux sites en surface et doivent interagir par paire afin de créer des dimères d'arsenic. Ces derniers pourront alors être incorporés dans l'alliage. Un modèle de cinétique de surface a été élaboré afin de rendre compte de la diminution d'incorporation d'arsenic en augmentant le rapport V/III pour une composition nominale d'arsenic fixe dans l'In(x)Ga(1-x)As(y)Sb(1-y). Ce résultat s'explique par le fait que les réactions de deuxième ordre dans la décomposition des tétramères d'arsenic ralentissent considérablement la réaction d'incorporation et permettent à l'antimoine d'occuper majoritairement la surface. Cette observation montre qu'il est préférable d'utiliser une source de dimères d'arsenic, plutôt que de tétramères, afin de mieux contrôler la composition d'arsenic dans la couche. Des puits quantiques d'In(x)Ga(1-x)As(y)Sb(1-y) sur GaSb ont été fabriqués et caractérisés optiquement afin d'observer le passage de recombinaison de type I à type II. Cependant, celui-ci n'a pas pu être observé puisque les spectres étaient dominés par un niveau énergétique dans le GaSb dont la source n'a pu être identifiée. Un problème dans la source de gallium pourrait être à l'origine de ce défaut et la résolution de ce problème est essentielle à la continuité de ces travaux.

Le traitement nutritionnel des épisodes d'hypoglycémie dans le diabète de type 1

Les patients atteints de diabète de type 1 (DbT1) semblent sur-traiter leurs hypoglycémies par rapport aux recommandations des Lignes directrices Canadiennes en diabète. Objectifs : 1) Décrire les habitudes des patients DbT1 pour le traitement des hypoglycémies et estimer les impacts sur le profil de risque cardio-métabolique et 2) explorer les excursions glycémiques suite à un traitement d’hypoglycémie qui respecte les recommandations. Méthodologie (analyses secondaires) : Objectif 1 : 121 patients DbT1 ont complété un journal alimentaire et de glycémies de 48 h. Des variables cardio-métaboliques ont été mesurées et un questionnaire sur la peur des hypoglycémies a été complété. Objectif 2 : 57 patients DbT1 ont complété les bras contrôles de notre programme sur le pancréas artificiel (traitement des hypoglycémies standardisé). Les valeurs de glycémie étaient disponibles aux 5 minutes. Résultats : Projet 1 : Les patients ont fait en moyenne 1,45 hypoglycémies/jour et 73% sur-traitaient avec une consommation moyenne de glucides de 32 ± 24 g. Ce sur-traitement est associé avec un plus jeune âge et une peur des hypoglycémies plus importante, mais pas avec un profil de risque cardio-métabolique plus défavorable. Projet 2 : Dans 20% des cas, traiter une hypoglycémie avec 15 g de glucides était efficace pour ramener la glycémie ≥ 4,0 mmol/L en 15 minutes, le temps moyen étant de 24 ± 12 minutes. La proportion d’insuline basale, le temps depuis le dernier repas et la pratique d’activité physique sont les éléments qui semblent avoir le plus d’impact sur l’efficacité du traitement. Conclusion : L’éducation entourant le traitement des hypoglycémies a besoin d’être renforcée et d’autres études sont nécessaires afin de valider les recommandations.

Differences in pelvic floor morphology between continent, stress urinary incontinent, and mixed urinary incontinent elderly women : an MRI study

Aims To compare magnetic resonance imaging (MRI) of the pelvic floor musculature (PFM), bladder neck and urethral sphincter morphology under three conditions (rest, PFM maximal voluntary contraction (MVC), and straining) in older women with symptoms of stress (SUI) or mixed urinary incontinence (MUI) or without incontinence. Methods This 2008–2012 exploratory observational cohort study was conducted with community-dwelling women aged 60 and over. Sixty six women (22 per group), mean age of 67.7 ± 5.2 years, participated in the study. A 3 T MRI examination was conducted under three conditions: rest, PFM MVC, and straining. ANOVA or Kruskal–Wallis tests (data not normally distributed) were conducted, with Bonferroni correction, to compare anatomical measurements between groups. Results Women with MUI symptoms had a lower PFM resting position (M-Line P = 0.010 and PC/H-line angle P = 0.026) and lower pelvic organ support (urethrovesical junction height P = 0.013) than both continent and SUI women. Women with SUI symptoms were more likely to exhibit bladder neck funneling and a larger posterior urethrovesical angle at rest than both continent and MUI women (P = 0.026 and P = 0.008, respectively). There were no significant differences between groups on PFM MVC or straining. Conclusions Women with SUI and MUI symptoms present different morphological defects at rest. These observations emphasize the need to tailor UI interventions to specific pelvic floor defects and UI type in older women.