Gestion de l'information en temps réel pour un répartiteur de véhicules

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Identification et localisation des préoccupations fonctionnelles dans un code légataire Java

Traditionnellement, les applications orientées objets légataires intègrent différents aspects fonctionnels. Ces aspects peuvent être dispersés partout dans le code. Il existe différents types d’aspects : • des aspects qui représentent des fonctionnalités métiers ; • des aspects qui répondent à des exigences non fonctionnelles ou à d’autres considérations de conception comme la robustesse, la distribution, la sécurité, etc. Généralement, le code qui représente ces aspects chevauche plusieurs hiérarchies de classes. Plusieurs chercheurs se sont intéressés à la problématique de la modularisation de ces aspects dans le code : programmation orientée sujets, programmation orientée aspects et programmation orientée vues. Toutes ces méthodes proposent des techniques et des outils pour concevoir des applications orientées objets sous forme de composition de fragments de code qui répondent à différents aspects. La séparation des aspects dans le code a des avantages au niveau de la réutilisation et de la maintenance. Ainsi, il est important d’identifier et de localiser ces aspects dans du code légataire orienté objets. Nous nous intéressons particulièrement aux aspects fonctionnels. En supposant que le code qui répond à un aspect fonctionnel ou fonctionnalité exhibe une certaine cohésion fonctionnelle (dépendances entre les éléments), nous proposons d’identifier de telles fonctionnalités à partir du code. L’idée est d’identifier, en l’absence des paradigmes de la programmation par aspects, les techniques qui permettent l’implémentation des différents aspects fonctionnels dans un code objet. Notre approche consiste à : • identifier les techniques utilisées par les développeurs pour intégrer une fonctionnalité en l’absence des techniques orientées aspects • caractériser l’empreinte de ces techniques sur le code • et développer des outils pour identifier ces empreintes. Ainsi, nous présentons deux approches pour l’identification des fonctionnalités existantes dans du code orienté objets. La première identifie différents patrons de conception qui permettent l’intégration de ces fonctionnalités dans le code. La deuxième utilise l’analyse formelle de concepts pour identifier les fonctionnalités récurrentes dans le code. Nous expérimentons nos deux approches sur des systèmes libres orientés objets pour identifier les différentes fonctionnalités dans le code. Les résultats obtenus montrent l’efficacité de nos approches pour identifier les différentes fonctionnalités dans du code légataire orienté objets et permettent de suggérer des cas de refactorisation.

Inférence statique et par contraintes des relations de composition dans des programmes Java

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Compilation statique de Java

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

AnaBench: a Web/CORBA-based workbench for biomolecular sequence analysis

Affiliation: Département de biochimie, Faculté de médecine, Université de Montréal

Effets de l'entraînement en résistance sur le regain de poids et l'inflammation chez des femmes post-ménopausées en surpoids ou obèses

Objectifs: Évaluer si un programme d’entraînement en résistance d’une durée d’un an prévient le regain de poids et majore l’amélioration du profil inflammatoire. Le second objectif de cette étude était de déterminer si la variation du tissu adipeux viscéral est associée aux changements dans les concentrations sanguines des marqueurs inflammatoires. Méthodes: Soixante-dix femmes post-ménopausées en surpoids ou obèses ont été randomisées dans un des deux groupes suivants : (1) Contrôle ou (2) Entraînement en résistance. La composition corporelle (absorptiométrie double à rayons X et tomographie axiale) et les marqueurs inflammatoires (protéine C-réactive, orosomucoïde, haptoglobine) ont été évalués avant et après la période de suivi d’une durée d’un an. Résultats: Suite à la période de suivi, un regain significatif de poids corporel et de masse grasse était observé dans le groupe contrôle et le groupe entraînement en résistance (p < 0,05). Une réduction des concentrations sériques de l’orosomucoïde et une hausse des niveaux sériques de l’haptoglobine étaient également notées dans les deux groupes (p < 0,05). La variation du tissu adipeux viscéral était seulement associée aux changements dans les concentrations sériques de la protéine C-réactive (r = 0,373, p < 0,05). Conclusion: Nos résultats suggèrent que l’entraînement en résistance ne prévient pas le regain de poids corporel et ne majore pas l’amélioration du profil inflammatoire chez des femmes post-ménopausées en surpoids ou obèses. De plus, nos résultats indiquent que la variation du tissu adipeux viscéral ne semble pas être un facteur clé impliqué dans les changements des concentrations sanguines des marqueurs inflammatoires.

AURA : a hybrid approach to identify framework evolution

Les cadriciels et les bibliothèques sont indispensables aux systèmes logiciels d'aujourd'hui. Quand ils évoluent, il est souvent fastidieux et coûteux pour les développeurs de faire la mise à jour de leur code. Par conséquent, des approches ont été proposées pour aider les développeurs à migrer leur code. Généralement, ces approches ne peuvent identifier automatiquement les règles de modification une-remplacée-par-plusieurs méthodes et plusieurs-remplacées-par-une méthode. De plus, elles font souvent un compromis entre rappel et précision dans leur résultats en utilisant un ou plusieurs seuils expérimentaux. Nous présentons AURA (AUtomatic change Rule Assistant), une nouvelle approche hybride qui combine call dependency analysis et text similarity analysis pour surmonter ces limitations. Nous avons implanté AURA en Java et comparé ses résultats sur cinq cadriciels avec trois approches précédentes par Dagenais et Robillard, M. Kim et al., et Schäfer et al. Les résultats de cette comparaison montrent que, en moyenne, le rappel de AURA est 53,07% plus que celui des autre approches avec une précision similaire (0,10% en moins).

Un formalisme pour la traçabilité des transformations

Dans le développement logiciel en industrie, les documents de spécification jouent un rôle important pour la communication entre les analystes et les développeurs. Cependant, avec le temps, les changements de personel et les échéances toujours plus courtes, ces documents sont souvent obsolètes ou incohérents avec l'état effectif du système, i.e., son code source. Pourtant, il est nécessaire que les composants du système logiciel soient conservés à jour et cohérents avec leurs documents de spécifications pour faciliter leur développement et maintenance et, ainsi, pour en réduire les coûts. Maintenir la cohérence entre spécification et code source nécessite de pouvoir représenter les changements sur les uns et les autres et de pouvoir appliquer ces changements de manière cohérente et automatique. Nous proposons une solution permettant de décrire une représentation d'un logiciel ainsi qu'un formalisme mathématique permettant de décrire et de manipuler l'évolution des composants de ces représentations. Le formalisme est basé sur les triplets de Hoare pour représenter les transformations et sur la théorie des groupes et des homomorphismes de groupes pour manipuler ces transformations et permettrent leur application sur les différentes représentations du système. Nous illustrons notre formalisme sur deux représentations d'un système logiciel : PADL, une représentation architecturale de haut niveau (semblable à UML), et JCT, un arbre de syntaxe abstrait basé sur Java. Nous définissons également des transformations représentant l'évolution de ces représentations et la transposition permettant de reporter les transformations d'une représentation sur l'autre. Enfin, nous avons développé et décrivons brièvement une implémentation de notre illustration, un plugiciel pour l'IDE Eclipse détectant les transformations effectuées sur le code par les développeurs et un générateur de code pour l'intégration de nouvelles représentations dans l'implémentation.

Turbulences et changements institutionnels au sein de la Société internationale : une perspective historique

Turbulences et changements institutionnels au sein de la Société internationale : une perspective historique Cette recherche puise ses origines du constat que la présente société internationale apparaît plus que jamais mal outillée et en perte de légitimité pour gérer les nouveaux déséquilibres qui ébranlent sa sécurité. Nous voulons vérifier si les présentes difficultés à gérer l’ordre interétatique sont des signes précurseurs d’une période de turbulences systémiques qui ébranleraient ses fondations. Nous avançons comme principale hypothèse de recherche qu’une perte de légitimité dans les mécanismes d’ordre d’une société westphalienne engendre une période plus ou moins longue de turbulences systémiques, provoquant un retour à l’antihégémonie caractérisée par l’établissement d’un nouvel ordre sociétal. Pour vérifier cette hypothèse, nous nous associons au cadre théorique de l’École anglaise qui analyse les relations interétatiques en qualifiant le caractère de l’ordre qui les gouverne. Ses adeptes y parviennent en étudiant les forces qui engendrent le maintien d’un environnement international antihégémonique, ainsi que la nature des réciprocités interétatiques qui s’en dégage. Ainsi, en observant les diverses institutions créées pour gérer l’ordre, ils sont en mesure de mieux comprendre l’évolution, la diffusion et la pérennisation de l’établissement d’une société des États. Cette approche nous a permis de construire un modèle explicatif pour notre dynamique sociétale. Par la suite, afin de répondre à notre questionnement initial, nous proposons d’analyser le statut de diverses sociétés internationales lors d’époques caractérisées par une période systémique de grands chaos, suivie du retour d’un régime sociétal. Nous cherchons à établir si des analogies peuvent être faites sur leur processus de transformation pour, par la suite, vérifier si elles peuvent s’appliquer à la nature du changement qui s’opère dans la présente société internationale. L’analyse historique comparative s’avère un instrument tout désigné pour ce type de recherche. Les époques sélectionnées pour notre recherche couvrent la Guerre de Trente Ans, les Guerres napoléoniennes et la Première Guerre mondiale. La nature antihégémonique d’une société des États, en plus de maintenir un environnement anarchique, crée un climat de rivalités qui entraîne un processus de transformations dans la dynamique de l’ordre. Ce facteur de changement fut introduit sous le concept de progrès sociétal, lequel engendre une désuétude institutionnelle dans les mécanismes de l’ordre sociétal, pouvant entraîner une période de turbulences systémiques. Ainsi, pour mieux observer ce phénomène, nous avons adopté les institutions comme outils d’analyse. Elles nous permettent d’être plus critiques des phénomènes observés, tout en nous autorisant à les comparer entre elles, en raison de leur longévité. Nos recherches révèlent la pérennité d’une dynamique de transformation au sein des sociétés westphaliennes, dont la nature entraîne des déséquilibres sociétaux qui varient selon son intensité. Nous observons aussi que, malgré l’égalité légale que confère la souveraineté aux États, les Grandes puissances sont les principaux artisans d’un système international. Leur aptitude à l’unilatéralisme fut souvent associée à l’émergence de turbulences systémiques. Nos recherches montrent que l’interdépendance et la coopération interétatique sont aussi alimentées par la diffusion et le partage d’une économie libérale. C’est aussi cette même interdépendance qui, progressivement, rend la guerre entre Grandes puissances désuète. Plus l’interdépendance et le multilatéralisme s’intensifient dans un environnement sociétal, plus le progrès sociétal a tendance à se manifester sous les aspects d’une transformation systémique progressive (non violente) plutôt que révolutionnaire (période de turbulences systémiques). La présente société internationale est sous l’influence du progrès sociétal depuis son avènement. Sa stabilité est directement liée à la capacité de ses mécanismes d’ordre à contrer les déséquilibres que le progrès engendre, ainsi qu’à l’aptitude de ses Grandes puissances à limiter leur propension à l’unilatéralisme. Donc, ces mécanismes doivent pouvoir intégrer le progrès pour maintenir leur légitimité et éviter d’engendrer une période de turbulences systémiques.

Physiopathologie du diabète secondaire à la fibrose kystique : études transversales et prospectives

Résumé L’augmentation de l’espérance de vie chez les patients atteints de fibrose kystique (FK) entraine une augmentation de la prévalence des anomalies de tolérance au glucose, soit l’intolérance au glucose (IGT) et le diabète (DAFK). En dépit du fait, que les anomalies de la tolérance au glucose soient associées à un mauvais prognostic, l’origine de ces troubles n’est pas encore clairement établie. Notre objectif était d’examiner le rôle de l’insulinopénie et de la résistance à l’insuline dans la détérioration de la tolérance au glucose dans une cohorte prospective observationelle patients FK non diabétique. Nos résultats démontrent une réduction marquée de la phase précoce de la sécrétion de l’insuline ainsi qu’une augmentation de l’aire sous la courbe de la glycémie (AUC) chez tous les groupes de patients. Nous avons aussi démontré qu’une variation de la sensibilité à l’insuline joue un rôle prépondérant dans les changements de catégorie de tolérance au glucose dans cette population. Finalement, il semblerait que l’augmentation de l’AUC du glucose et la réduction de la phase précose de la sécrétion d’insuline sont des meileurs prédicateurs du status clinique que les catégories de tolérance au glucose. Il existe plusieurs indices pour évaluer la sécrétion d’insuline et pourtant aucun n’a été validé chez les patients FK. Nous avons examiné la validité des index de la sécrétion de l’insuline dérivés de l’hyperglycémie provoquée par voie orale (HGPO) ainsi que des valeurs à jeun par rapport au test de référence. Alors que la plupart des index calculés à partir de l’HGPO corrèlent significativement avec les valeurs du test de référence, cela n’est pas le cas pour les index calculés à partir des valeurs à jeun. La validation de ces index nous permet d’évaluer la sécrétion de l’insuline prospectivement dans notre cohorte de FK à partir de l’HGPO, est un test recommandé pour le dépistage du DAFK. Les recommandations nutritionnelles suggèrent aux patients FK une diète comprenant environ 40% de lipides afin d’éviter la malnutrition. Nous avons examiné le profil lipidique des patients FK diabétiques et non diabétiques après une HGPO et un repas hyperlipidique (RT). Nos résultats démontrent que la FK est associée à des augmentations de l’excursion glycémique lors de l’HGPO ou d’un RT comparativement aux témoins. Cependant, le RT provoque 1) une plus faible excursion glycémique comparativement à l’HGPO ; 2) une meilleure suppression de la production hépatique de glucose et 3) l’excursion lipidique postprandiale des patients FK reste normale. Il est donc peu probable que les anomalies de la sécrétion de l’insuline par les cellules  soient secondaires à une lipotoxicité. Nous avons aussi examiné les taux d’adiponectine, une hormone sécrétée par le tissu adipeux et pouvant moduler l’action de l’insuline. Les niveaux d’adiponectine corrèlent négativement avec plusieurs facteurs présents chez les patients FK incluant l’IGT, l’inflammation et une adiposité centrale en dépit d'un faible poids corporel. Les patients FK ne présentaient aucune altération des taux d’adiponectine malgré la présence d’une résistance à l’insuline, une inflammation sub-clinique et de l’IGT. La FK apparaît donc comme une condition où il existe une discordance entre les taux d’adiponectine et la résistance à l’insuline ou l’inflammation. En conclusion la prévalence de l’IGT est élevée dans cette population caractérisée par une excursion glycémique anormalement plus élevée, due principalement à une altération de la sécrétion de l’insuline exacerbée par une résistance à l’insuline. Mots clés : Adiponectine, Hyperglycémie par voie oral (HGPO), intolérance au glucose, fibrose kystique, diabète, résistance à l’insuline, sécrétion de l’insuline.

Pauvreté, criminalité et problèmes de santé mentale : une évaluation qualitative et quantitative des interventions communautaires et policières dans un taudis mal famé

L'analyse quantitative a été réalisée en cotutelle avec Rémi Boivin et Pierre Tremblay et publiée dans la Revue de Criminologie: Boivin, R., Lamige, C,. Tremblay, P. (2009) La police devrait-elle cibler les taudis malfamés? Criminologie, (42)1, 225-266.

Association between diet quality and metabolic syndrome in overweight and obese postmenopausal women

Résumé Objectifs : Le syndrome métabolique (MetS) est un ensemble de composantes (obésité, résistance à l'insuline, intolérance au glucose, dyslipidémie, hypertension) qui sont associées à une augmentation du risque de diabète de type 2 et de maladies cardiovasculaires. Aux États-Unis, la fréquence du MetS atteint des proportions épidémiques avec une prévalence de 25% de la population. Les études nutritionnelles traditionnelles se sont concentrées sur l’effet d’un nutriment alors que les études plus récentes ont déterminé l’effet global de la qualité alimentaire sur les facteurs de risque. Cependant, peu d'études ont examiné la relation entre la qualité alimentaire et le MetS. Objectif: Déterminer l'association entre la qualité alimentaire et le MetS et ses composantes. Méthodes: La présence du MetS a été déterminée chez 88 femmes post-ménopausées en surpoids ou obèses, selon la définition du National Cholesterol Education Program Adult treatment Panel III alors que la qualité alimentaire a été évaluée selon le Healthy Eating Index (HEI). La sensibilité à l’insuline, la composition corporelle et le métabolisme énergétique ont été mesurés. Résultats: Le HEI corrélait négativement avec la plupart des mesures de masse grasse et du poids mais pas avec la sensibilité à l'insuline, l’hypertension et la plupart des marqueurs lipidiques. Cependant, l’HEI corrélait positivement avec LDL-C/ApoB et négativement avec le métabolisme énergétique. Conclusion: Les résultats démontrent que l’HEI est associé avec les mesures de gras corporel et la grosseur des LDL. Mots clés: Obésité, qualité alimentaire, métabolisme lipidique, syndrome métabolique.

Capacité de deux accéléromètres (SenseWear Armband et l’Actical) à estimer la dépense énergétique totale chez les adultes sains

L’augmentation de la dépense énergétique (DE) par une augmentation de l'activité physique (AP) participe au maintien et à l’amélioration de la santé. La mesure à grande échelle de la DE totale (DET) en général et AP en particulier se heurte à des difficultés pratiques de recueil de données, de validité et aux coûts. Bien que dans la littérature de nombreux accéléromètres permettent d’estimer la DET, il y a encore des limites quant à la mesure de l’intensité de l’AP, élément qui influence l’état de la balance énergétique et le bénéfice pour la santé de l’AP. De plus, peu de comparaisons entre les différents accéléromètres sont disponibles. La présente étude avait pour but d’évaluer la capacité de deux accéléromètres (Actical et Sensewear Armband) pour estimer la DET en comparaison avec la technique de l’eau doublement marquée (EDM) ; d’évaluer la concordance entre les accéléromètres dans la mesure de la DE au repos (DER) en comparaison avec la technique de la calorimétrie indirecte (CI) et d’évaluer la DE liée à l’AP en comparaison avec la technique de la CI. Les résultats montrent qu’il y a une très bonne corrélation entre la CI et les accéléromètres dans la mesure de la DER(r > 0.80, p<0.001) et une bonne corrélation entre les accéléromètres et l’EDM dans la mesure de la DET(r>0.75, p<0.001). Pour la mesure de l’intensité de l’AP, l’ACT est plus précis (r=0.80, p<0.001)) que le SWA à la marche, le SWA est meilleur(r=0.80, p<0.001) au vélo. Cette étude permet d’affirmer que le SWA et l’ACT sont des alternatives valables pour mesurer la DE.

Comportement linguistique des immigrants allophones et caractéristiques du quartier de résidence, région métropolitaine de recensement de Montréal, 2006

Les immigrants allophones qui s’établissent dans la région métropolitaine de recensement (RMR) de Montréal sont vraisemblablement confrontés à la concurrence qui y existe entre le français et l’anglais. À l’aide de données agrégées du recensement canadien de 2006, nous explorons le rôle que pourrait jouer l’environnement linguistique résidentiel dans l’adoption de deux comportements linguistiques; le transfert linguistique vers le français ou l’anglais et la connaissance des langues officielles chez ceux n’ayant pas effectué de transfert, tout en tenant compte de leurs caractéristiques individuelles. Des liens initiaux existent entre la composition linguistique des 56 quartiers de la RMR et les comportements linguistiques des immigrants allophones. De plus, des caractéristiques individuelles similaires mènent à des orientations linguistiques similaires. Sans séparer ces deux effets, des régressions linéaires nous permettent de croire que la connaissance de l’anglais et/ou du français n’est pas déterminée par la composition linguistique du quartier, alors que cette dernière ne peut être écartée lorsque nous analysons la langue d’usage à la maison (transferts).