Patterns and quality of object-oriented software systems

Lors de ces dix dernières années, le coût de la maintenance des systèmes orientés objets s'est accru jusqu' à compter pour plus de 70% du coût total des systèmes. Cette situation est due à plusieurs facteurs, parmi lesquels les plus importants sont: l'imprécision des spécifications des utilisateurs, l'environnement d'exécution changeant rapidement et la mauvaise qualité interne des systèmes. Parmi tous ces facteurs, le seul sur lequel nous ayons un réel contrôle est la qualité interne des systèmes. De nombreux modèles de qualité ont été proposés dans la littérature pour contribuer à contrôler la qualité. Cependant, la plupart de ces modèles utilisent des métriques de classes (nombre de méthodes d'une classe par exemple) ou des métriques de relations entre classes (couplage entre deux classes par exemple) pour mesurer les attributs internes des systèmes. Pourtant, la qualité des systèmes par objets ne dépend pas uniquement de la structure de leurs classes et que mesurent les métriques, mais aussi de la façon dont celles-ci sont organisées, c'est-à-dire de leur conception, qui se manifeste généralement à travers les patrons de conception et les anti-patrons. Dans cette thèse nous proposons la méthode DEQUALITE, qui permet de construire systématiquement des modèles de qualité prenant en compte non seulement les attributs internes des systèmes (grâce aux métriques), mais aussi leur conception (grâce aux patrons de conception et anti-patrons). Cette méthode utilise une approche par apprentissage basée sur les réseaux bayésiens et s'appuie sur les résultats d'une série d'expériences portant sur l'évaluation de l'impact des patrons de conception et des anti-patrons sur la qualité des systèmes. Ces expériences réalisées sur 9 grands systèmes libres orientés objet nous permettent de formuler les conclusions suivantes: • Contre l'intuition, les patrons de conception n'améliorent pas toujours la qualité des systèmes; les implantations très couplées de patrons de conception par exemple affectent la structure des classes et ont un impact négatif sur leur propension aux changements et aux fautes. • Les classes participantes dans des anti-atrons sont beaucoup plus susceptibles de changer et d'être impliquées dans des corrections de fautes que les autres classes d'un système. • Un pourcentage non négligeable de classes sont impliquées simultanément dans des patrons de conception et dans des anti-patrons. Les patrons de conception ont un effet positif en ce sens qu'ils atténuent les anti-patrons. Nous appliquons et validons notre méthode sur trois systèmes libres orientés objet afin de démontrer l'apport de la conception des systèmes dans l'évaluation de la qualité.

Étude qualitative sur les liens entre l'implication parentale et l'évolution du jeune placé en centre de réadaptation ou en probation dans la communauté

Rapport de stage présenté à la Faculté des arts et sciences en vue de l'obtention du grade de Maîtrise ès sciences (M. Sc.) en criminologie

L’intégration de la spatialisation en composition acousmatique et de son interprétation en concert

La version intégrale de ce mémoire est disponible uniquement pour consultation individuelle à la Bibliothèque de musique de l’Université de Montréal (www.bib.umontreal.ca/MU).

Portrait et analyse des stratégies à base territoriale pour contrer la pauvreté et l'exclusion dans le territoire de La Petite-Patrie à Montréal. Conditions d’une action intégrée

L’objet de la présente thèse est la lutte contre la pauvreté. Elle cherche à identifier les conditions favorisant la sortie de la pauvreté dans un territoire urbain, ici le quartier de la Petite-Patrie. par une approche territoriale intégrée. S’inscrivant dans la mouvance des multiples initiatives de lutte contre la pauvreté et l’exclusion au Québec, le postulat qui fonde cette recherche est le suivant : la lutte contre la pauvreté par l’approche territoriale intégrée permet : 1) d’instaurer des conditions favorisant la sortie de la pauvreté et 2) de renverser les processus qui mènent à l’appauvrissement des personnes et, du même coup, d’améliorer les conditions et la qualité de vie de celles-ci dans un territoire particulier. Les résultats de cette recherche permettent : 1) de contribuer à la compréhension des dynamiques de lutte contre la pauvreté grâce à une approche considérant les acteurs agissant dans un territoire et, 2) d’éclairer les différents niveaux de conception et de mise en œuvre des politiques et des stratégies d’action, tant au niveau de l’État que de la société civile, sachant que les dispositifs d’intervention intégrés se créent à l’interface des initiatives locales ou régionales et des nouvelles formes de politiques publiques en matière de lutte contre la pauvreté. Les grandes conclusions qui émergent de cette recherche sont au nombre de trois : 1) Si la multidimentionnalité de la pauvreté est acceptée par plusieurs auteurs, on ne peut pas parler d’une seule pauvreté, mais de diverses pauvretés. Les visages de la pauvreté dans le territoire de La Petite-Patrie témoignent de cette diversité des pauvretés, et appellent une variété de stratégies d’action ; 2) Les personnes en situation de pauvreté, en fonction de leurs capacités d’agir, peuvent être appréhendées selon un double profil qui structure de façon importante leur processus de sortie de la pauvreté : le premier groupe rassemble les personnes en situation de pauvreté qui ont des initiatives découlant de leurs capacités d’agir, et le second groupe qui réunit les personnes en situation de pauvreté dont la capacité d’initiative est altérée, apparemment de façon durable, par leurs conditions de vie. Toute stratégie publique de sortie de la pauvreté dans un espace donné devrait alors considérer cette dimension relative aux capacités de rapprochement des individus et des ressources pour soutenir le développement d’une stratégie territoriale intégrée de lutte à la pauvreté plus efficace pour les personnes dont le processus de désaffiliation est plus avancé; 3) Les acteurs de lutte contre la pauvreté dans un territoire, pour réunir les conditions d’une action intégrée et mettre en place des conditions favorables de lutte contre la pauvreté, doivent s’appuyer sur la concertation, les alliances intersectorielles, le leadership inclusif et concerté, les passerelles formelles et fonctionnelles entre acteurs institutionnels, et sur une démarche hybride (emploi et défense des droits) qui constituent des ingrédients fondamentaux pour toute action ou intervention en faveur des personnes en situation de pauvreté vivant dans un cadre territorial défini et accepté par l’ensemble des acteurs locaux. Ce caractère hybride de la démarche permet d’agir de façon différenciée sur les deux groupes de la population. L’intégration est donc avant tout stratégique, c’est-à-dire fondée sur l’articulation d’une pluralité de logique d’action.

Flou de mouvement réaliste en temps réel

Le flou de mouvement de haute qualité est un effet de plus en plus important en rendu interactif. Avec l'augmentation constante en qualité des ressources et en fidélité des scènes vient un désir semblable pour des effets lenticulaires plus détaillés et réalistes. Cependant, même dans le contexte du rendu hors-ligne, le flou de mouvement est souvent approximé à l'aide d'un post-traitement. Les algorithmes de post-traitement pour le flou de mouvement ont fait des pas de géant au niveau de la qualité visuelle, générant des résultats plausibles tout en conservant un niveau de performance interactif. Néanmoins, des artefacts persistent en présence, par exemple, de mouvements superposés ou de motifs de mouvement à très large ou très fine échelle, ainsi qu'en présence de mouvement à la fois linéaire et rotationnel. De plus, des mouvements d'amplitude importante ont tendance à causer des artefacts évidents aux bordures d'objets ou d'image. Ce mémoire présente une technique qui résout ces artefacts avec un échantillonnage plus robuste et un système de filtrage qui échantillonne selon deux directions qui sont dynamiquement et automatiquement sélectionnées pour donner l'image la plus précise possible. Ces modifications entraînent un coût en performance somme toute mineur comparativement aux implantations existantes: nous pouvons générer un flou de mouvement plausible et temporellement cohérent pour plusieurs séquences d'animation complexes, le tout en moins de 2ms à une résolution de 1280 x 720. De plus, notre filtre est conçu pour s'intégrer facilement avec des filtres post-traitement d'anticrénelage.

La gratuité des soins et ses effets sociaux : entre renforcement des capabilités et du pouvoir d’agir (empowerment) au Burkina Faso

La documentation sur les interventions de gratuité sélective des soins est encore insuffisante et surtout focalisée sur leurs effets au niveau de l’utilisation des services de santé ou de la réduction des dépenses catastrophiques. Leurs effets sociaux sont occultés par les recherches. L’originalité de cette thèse tient au fait qu’elle constitue la première recherche qui s’est consacrée à cela. Ses résultats sont structurés en quatre articles. Le premier article montre que la gratuité sélective des soins est socialement acceptée, car elle est vue comme contributive au renforcement du lien social. Toutefois, le choix des cibles bénéficiaires est remis en cause. Au nom d’arguments moraux et humanitaires, les communautés préfèrent inclure les personnes âgées dans le ciblage, quitte à les substituer aux plus pauvres, les indigents. Néanmoins, le ciblage des indigents n’a pas entrainé de stigmatisation. Le deuxième article souligne que la fourniture gratuite de soins aux populations par les villageois membres des comités de gestion des centres de santé a contribué au renforcement de leur pouvoir d’agir et celui de leur organisation. Cependant, pour que la participation communautaire soit effective, l’étude montre qu’elle doit s’accompagner d’un renforcement des compétences des communautés Le troisième article soutient que la suppression du paiement des soins a permis aux femmes de ne plus avoir besoin de s’endetter ou de négocier constamment avec leurs maris pour disposer de l’argent des consultations prénatales ou des accouchements. Ce qui a contribué à leur empowerment et rendu possible l’atteinte d’autres réalisations au plan sanitaire (augmentation des accouchements assistés), mais aussi social (renforcement de leur position sociale). Le quatrième article s’est intéressé à étudier la pérennité de ces interventions de gratuité des soins. Les résultats suggèrent que le degré de pérennité de la prise en charge des indigents (district de Ouargaye) est moyen correspondant au degré le plus élevé dans une organisation alors que celui de la gratuité des accouchements et des soins pour les enfants (districts de Dori et de Sebba) est précaire. Cette différence de pérennité est due principalement à la différence d’échelle (taille des populations concernées) et d’ampleur (inégalité des ressources en jeu) entre ces interventions. D’autres facteurs ont aussi influencé cette situation comme les modalités de mise en œuvre de ces interventions (approche projet à Dori et Sebba vs approche communautaire à Ouargaye) Au plan des connaissances, l’étude a mis en exergue plusieurs points dont : 1) l’importance de prendre en compte les valeurs des populations dans l’élaboration des réformes ; 2) la pertinence sociale du ciblage communautaire de sélection des indigents ; 3) la capacité des communautés à prendre en charge leurs problèmes de santé pourvu qu’on leur donne les ressources financières et la formation minimale ; 4) l’importance du processus de pérennisation, notamment la stabilisation des ressources financières nécessaires à la continuité d’une intervention et l’adoption de risques organisationnels dans sa gestion ; 5) l’importance de la suppression de la barrière financière au point de services pour renforcer l’empowerment des femmes et son corolaire leur recours aux services de soins.

Étude de cas sur l’ajout de vecteurs d’enregistrements typés dans Gambit Scheme

Dans le but d’optimiser la représentation en mémoire des enregistrements Scheme dans le compilateur Gambit, nous avons introduit dans celui-ci un système d’annotations de type et des vecteurs contenant une représentation abrégée des enregistrements. Ces derniers omettent la référence vers le descripteur de type et l’entête habituellement présents sur chaque enregistrement et utilisent plutôt un arbre de typage couvrant toute la mémoire pour retrouver le vecteur contenant une référence. L’implémentation de ces nouvelles fonctionnalités se fait par le biais de changements au runtime de Gambit. Nous introduisons de nouvelles primitives au langage et modifions l’architecture existante pour gérer correctement les nouveaux types de données. On doit modifier le garbage collector pour prendre en compte des enregistrements contenants des valeurs hétérogènes à alignements irréguliers, et l’existence de références contenues dans d’autres objets. La gestion de l’arbre de typage doit aussi être faite automatiquement. Nous conduisons ensuite une série de tests de performance visant à déterminer si des gains sont possibles avec ces nouvelles primitives. On constate une amélioration majeure de performance au niveau de l’allocation et du comportement du gc pour les enregistrements typés de grande taille et des vecteurs d’enregistrements typés ou non. De légers surcoûts sont toutefois encourus lors des accès aux champs et, dans le cas des vecteurs d’enregistrements, au descripteur de type.

Photorealistic Surface Rendering with Microfacet Theory

La synthèse d'images dites photoréalistes nécessite d'évaluer numériquement la manière dont la lumière et la matière interagissent physiquement, ce qui, malgré la puissance de calcul impressionnante dont nous bénéficions aujourd'hui et qui ne cesse d'augmenter, est encore bien loin de devenir une tâche triviale pour nos ordinateurs. Ceci est dû en majeure partie à la manière dont nous représentons les objets: afin de reproduire les interactions subtiles qui mènent à la perception du détail, il est nécessaire de modéliser des quantités phénoménales de géométries. Au moment du rendu, cette complexité conduit inexorablement à de lourdes requêtes d'entrées-sorties, qui, couplées à des évaluations d'opérateurs de filtrage complexes, rendent les temps de calcul nécessaires à produire des images sans défaut totalement déraisonnables. Afin de pallier ces limitations sous les contraintes actuelles, il est nécessaire de dériver une représentation multiéchelle de la matière. Dans cette thèse, nous construisons une telle représentation pour la matière dont l'interface correspond à une surface perturbée, une configuration qui se construit généralement via des cartes d'élévations en infographie. Nous dérivons notre représentation dans le contexte de la théorie des microfacettes (conçue à l'origine pour modéliser la réflectance de surfaces rugueuses), que nous présentons d'abord, puis augmentons en deux temps. Dans un premier temps, nous rendons la théorie applicable à travers plusieurs échelles d'observation en la généralisant aux statistiques de microfacettes décentrées. Dans l'autre, nous dérivons une procédure d'inversion capable de reconstruire les statistiques de microfacettes à partir de réponses de réflexion d'un matériau arbitraire dans les configurations de rétroréflexion. Nous montrons comment cette théorie augmentée peut être exploitée afin de dériver un opérateur général et efficace de rééchantillonnage approximatif de cartes d'élévations qui (a) préserve l'anisotropie du transport de la lumière pour n'importe quelle résolution, (b) peut être appliqué en amont du rendu et stocké dans des MIP maps afin de diminuer drastiquement le nombre de requêtes d'entrées-sorties, et (c) simplifie de manière considérable les opérations de filtrage par pixel, le tout conduisant à des temps de rendu plus courts. Afin de valider et démontrer l'efficacité de notre opérateur, nous synthétisons des images photoréalistes anticrenelées et les comparons à des images de référence. De plus, nous fournissons une implantation C++ complète tout au long de la dissertation afin de faciliter la reproduction des résultats obtenus. Nous concluons avec une discussion portant sur les limitations de notre approche, ainsi que sur les verrous restant à lever afin de dériver une représentation multiéchelle de la matière encore plus générale.

Processus d’appropriation des technologies de l’information et de la communication par les enseignants : le cas des tablettes

L’intégration des technologies de l’information et de la communication (TIC) en contexte éducatif représente un moyen concret d’action et de réflexion en sciences de l’éducation. Les scientifiques et les acteurs de terrain se questionnent sur l’intégration des technologies et sur les moyens à mettre en place afin de réussir ce processus parfois complexe. De fait, la pénétration des outils technologiques dans les établissements scolaires a été exponentielle ces dernières années. Il est aujourd’hui nécessaire de comprendre selon quelles perspectives ces outils s’intègrent en salle de classe. Un exemple marquant est celui de la tablette tactile, récemment intégrée massivement dans les écoles d’Amérique du Nord et d’Europe. Cet outil, relativement récent dans la sphère scolaire, demande une réflexion précise vis-à-vis des pratiques pédagogiques des enseignants et des processus d’intégration inhérents. Afin de répondre à ces questionnements, nous avons élaboré une recherche en trois temps. Dans un premier temps, nous avons dressé un portrait exhaustif des pratiques pédagogiques des enseignants utilisant quotidiennement la tablette tactile en salle de classe. Ce portrait nous permet d’esquisser une synthèse des usages et réalités pédagogiques qui entourent cet outil. Dans un deuxième temps, nous avons répertorié, analysé et classifié les modèles d’intégration des TIC présents dans la littérature. L’analyse de ces modèles nous a permis d’en extraire les forces et les lacunes intrinsèques. Ensuite, nous avons créé un modèle synthèse rassemblant les réflexions issues de ces analyses. En parallèle, nous avons créé une typologie permettant d’identifier et de classifier ces modèles. Dans un troisième temps, nous sommes partis des pratiques pédagogiques des enseignants et du modèle général d’intégration des TIC que nous avons conçu afin de comprendre quel était le processus d’intégration de la tablette en salle de classe. Les résultats obtenus mettent en évidence que l’utilisation de la tablette induit des usages pédagogiques novateurs qui facilitent l’enseignement et qui favorisent l’apprentissage des élèves. Cependant, nous constatons que la tablette n’est pas utilisée à son plein potentiel et que certains usages devraient être envisagés selon une perspective plus efficiente et adaptée. En ce qui concerne les processus d’intégration, nous avons identifié plusieurs éléments indispensables: ces processus doivent être itératifs et constructifs, des facteurs internes et externes doivent être considérés et des niveaux d’intégration doivent être identifiés. Le modèle ainsi conçu spécifie le modèle à privilégier et les aboutissants à considérer. À la suite de cette étape, nous avons conçu un modèle d’intégration spécifiquement dédié à la tablette. Celui-ci met en évidence, au-delà des caractéristiques définies dans le modèle général, une nécessaire formation, une implication des acteurs, un ajustement constant des pratiques pédagogiques et une itération indispensable. À la suite de ces considérations, nous constatons que le processus d’appropriation de la tablette est en cours de construction et que les nouvelles implantations, comme les existantes, doivent procéder à une analyse minutieuse des tenants et aboutissants des pratiques médiées par l’intégration de l’outil. En fin de document, une synthèse des résultats et des recommandations est proposée afin de favoriser l’intégration de la tablette tactile - et des TIC en général – dans la salle de classe.

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.