Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

La eficacidad de los cursos de ELE : la percepción de los usuarios de L1/L2

Cette recherche vise à étudier l'efficacité des cours d'espagnol comme langue étrangère, à partir de la perception des étudiants d’espagnol comme langue d’origine. Pour atteindre les résultats et les conclusions obtenus, cette étude qualitative compte sur la participation des répondants hispaniques qui ont appris l'espagnol à la maison, à l'école primaire, au secondaire, au cégep et/ou au collège. Les participants ont répondu à un questionnaire qui leur a permis d'exprimer leur perception à l'égard des cours d’espagnol comme langue étrangère qu'ils ont pris au cours de leur étude primaire, secondaire ou supérieure. Les résultats de cette recherche indiquent que les élèves hispaniques ne sont pas intégrés dans les classes ELE, ce qui motive les participants à poursuivre l’étude de la langue espagnole. Comme expliqué par Gardner (1985) dans sa théorie du modèle socio-éducationnel, l’acquisition des langages intervient dans un contexte culturel spécifique et elle est influencée par la croyance populaire et les différences individuelles. Ces dernières sont intégrées dans le concept du motif d'intégration, qui est composé du sens de l'intégration, de l'attitude envers la situation d'apprentissage et de la motivation. Les réponses données par les participants dans cette étude peuvent être utiles à la conception et au développement de cours et de méthodes d’apprentissage de l’espagnol pour les hispanophones d’origine. En tenant compte de leurs points de vue, les étudiantes auraient un sens plus élevé de l’intégration, ce qui influence directement leur motivation et par le fait même leur processus d’apprentissage.

L’intégration socio-scolaire et les stratégies identitaires d’adolescents iraniens à Montréal

Cette recherche a pour objectif de mieux explorer la problématique de l’intégration sociale et scolaire des jeunes immigrants, en nous penchant spécifiquement sur le vécu d'adolescents iraniens récemment arrivés au Québec. Nous tentons, entre autres, d’identifier les conflits de valeurs entre les parents et les adolescents d’une part, et de cerner les stratégies identitaires de ces adolescents face à ces conflits, d’autre part. Enfin, elle essaie de comprendre la perception des parents de ces adolescents envers ces enjeux. Dans cette étude, l’intégration sociale est principalement abordée sous l’angle des stratégies d’acculturation par le biais d’entrevues qualitatives auprès de quatorze jeunes de 13 à 18 ans ainsi que leurs parents (neuf). L’analyse des données démontre que ces jeunes ont un discours positif sur leur intégration scolaire et sociale. Le vécu familial et leurs choix de vie sont influencés essentiellement par leur milieu familial. L’influence de leurs amis – en général d’origine diversifiée – se limite à l’utilisation de leur temps libre. Ils croient aux valeurs traditionnelles iraniennes, tout en essayant d’être indépendants, libres et d’adopter un style de vie influencé par la société d’accueil qui peut conduire à des conflits potentiels avec leurs parents. Lorsque cela est le cas, les principales stratégies identitaires de ces jeunes sont celles de la cohérence complexe ou de la cohérence par modération des conflits de codes de vie. Par ailleurs, nous avons noté que le développement chez ces jeunes d’un sentiment d’appartenance à leur pays d’accueil repose principalement sur leur scolarisation. En résumé, nous pouvons constater que les jeunes d'origine iranienne, récemment arrivés au Québec, s’adaptent relativement facilement à leur nouvel environnement de vie tout en conservant leur attachement à leur culture d’origine. Ceci nous permet de conclure que leur processus d’intégration correspond peu à l’aliénation des jeunes musulmans maintes fois décrite dans la littérature internationale et nationale. Mots-clés : Intégration sociale et scolaire, conflits de valeurs, stratégies identitaires, adolescents, immigrants iraniens.  

Au-delà du principe de précaution

La thèse centrale de mon texte est conceptuelle. Le vrai problème du principe de précaution, au moins dans ses versions les plus fortes, est son incohérence : il prétend être un guide, mais il échoue dans cette entreprise, en condamnant la démarche même qu’il exige. La réglementation exigée par le principe fait toujours surgir ses propres risques, et le principe interdit donc en même temps ce qu’il prescrit. En conséquence, je vise à mettre à l’épreuve le principe de précaution non parce qu’il conduit dans de mauvaises directions, mais parce que si l’on estime à sa juste valeur, il ne conduit simplement dans aucune direction. Le principe menace d’être paralysant, d’interdire les réglementations, de provoquer l’inaction et tout ce qui peut constituer une étape intermédiaire entre ces points. La protection de l’environnement et de la nature sont souvent des entreprises très sensées, mais le principe de précaution n’est pas un moyen utile pour identifier quand, et dans quelle mesure, cette protection de la nature constitue une question judicieuse.

Défis technologiques et pédagogiques rencontrés par des enseignants lors de la mise en place d'un "projet portable" dans une école primaire de milieu défavorisé

Depuis la dernière décennie, les outils technologiques et informatiques ont connu un essor considérable dans plusieurs sphères d’activité de la société. L’éducation n’y a pas échappé, et le ministère de l’Éducation, du Loisir et du Sport (MELS) en a d’ailleurs fait une compétence transversale dans le cadre du Programme de formation de l’école québécoise. L’intégration des TIC s’est faite à travers différents moyens, à commencer par les laboratoires informatiques, les ordinateurs à même la salle de classe et, plus récemment, par l’introduction de projets portables où chaque élève et l’enseignant disposent de leur propre ordinateur. Afin d’être mené à terme, ce projet de recherche a été inscrit dans un projet à plus grande échelle, soit celui d’une recherche financée par le Conseil de recherches en sciences humaines du Canada (CRSH), qui a pour objectif d'analyser les obstacles auxquels font face les enseignants dans l'intégration des technologies à l'école. Le présent projet s'est quant à lui attardé plus spécifiquement aux défis technologiques et pédagogiques inhérents aux projets portables. L’étude s'est déroulée en milieu défavorisé, dans une école primaire montréalaise. Une telle intégration demande une planification rigoureuse et un suivi continu afin d’assurer le succès du projet. De plus, il est évident que ce type de projet pose aussi des défis technologiques et pédagogiques particuliers pour les enseignants. À ce sujet, trois catégories de facteurs qui peuvent avoir un impact sur la réussite des projets portables ont été relevées, soit : les facteurs personnels (internes à l’enseignant), les facteurs relatifs au travail (contexte d'enseignement, pratiques pédagogiques, etc.), ainsi que les facteurs relatifs au matériel et à l’infrastructure. À l’intérieur de ce mémoire, différents concepts, dimensions et indicateurs sont donc explicités et mis en relation afin de mieux comprendre les défis technologiques et pédagogiques qui peuvent survenir dans le cadre de la mise en oeuvre de projets portables. Trois enseignantes rattachées à autant de groupes d’élèves ont accepté de participer à une entrevue individuelle et de répondre à un questionnaire. Les échanges par courriel ont aussi été analysés. L'ensemble des données recueillies ont fait l'objet d'analyses qualitatives. Les analyses ont montré que la catégorie de facteurs citée la plus fréquemment était celle des facteurs relatifs au travail avec une forte majorité. Des défis ont toutefois été identifiés pour toutes les dimensions.

L'augmentation des habiletés sociales chez les enfants de 4-5 ans présentant des comportements perturbateurs et/ou agressifs via l'implantation de deux volets du programme multimodal Fluppy

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

Vivre au chevet de la mort : une analyse phénoménologique et interprétative de l’expérience spirituelle et existentielle d’infirmières qui accompagnent des patients en fin de vie

La présente thèse poursuit l’objectif global de mieux comprendre comment, dans un contexte socioculturel où la mort est déniée, des soignants arrivent à se préserver psychiquement en faisant quotidiennement face à la réalité existentielle de la finitude. Pour ce faire, nous proposons une exploration détaillée de l’expérience spirituelle et existentielle d’infirmières qui accompagnent des patients en fin de vie. Cette thèse est présentée sous forme de trois articles. Le premier article vise, par une analyse conceptuelle systématique et exhaustive de la littérature empirique, à élaborer une définition intégrative du concept de spiritualité en contexte de fin de vie. La synthèse effectuée a permis de définir le concept de spiritualité comme étant « un processus de développement conscient qui se caractérise par deux mouvements de transcendance; celui d’aller profondément à l’intérieur de soi ou encore au-delà de soi-même. » Le deuxième article a pour but d’exposer une meilleure compréhension (a) de la façon dont les infirmières qui accompagnent des patients en fin de vie gèrent la confrontation quotidienne à la finitude, ainsi que (b) des dimensions spirituelles et existentielles de leur expérience. Des entrevues qualitatives en profondeur ont été menées auprès de 11 infirmières en soins palliatifs. L’analyse phénoménologique et interprétative des données recueillies a permis d’établir une typologie, laquelle fait état de trois modes de régulation psychique dans la confrontation à la finitude : « la mort intégrée », « la mort à combattre » et « la mort-souffrance ». De plus, les résultats de l’analyse suggèrent une relation potentielle entre les mécanismes de régulation psychique des infirmières, leur expérience spirituelle et existentielle personnelle, ainsi que leur mode de régulation intersubjective dans la relation avec les patients. Le troisième article vise pour sa part à décrire les effets d’une intervention d’approche existentielle de groupe sur l’expérience spirituelle et existentielle d’infirmières, tant au niveau personnel que professionnel. Pour ce faire, 10 infirmières ont été rencontrées en entrevues suite à leur participation à une intervention existentielle de groupe. Selon la perspective des infirmières, la participation à l’intervention existentielle leur a permis d’élargir leur conscience spirituelle et existentielle, notamment par une conscience accrue (a) de la finitude, (b) des sources de sens à la vie, (c) du sens de la souffrance, ainsi que (d) par la possibilité d’accéder à un état de gratitude. Les participants ont de plus bénéficié de la fonction « contenante » de l’expérience de groupe, en développant un langage partagé pour discuter des dimensions spirituelle et existentielle de leur expérience et ainsi qu’en éprouvant un sentiment de validation de leur expérience par le partage entre pairs. En conclusion, les résultats de notre analyse soulignent l’importance des différences individuelles dans les mécanismes de régulation psychique impliqués dans la confrontation à la mort chez les infirmières. De plus, le bilan des articles proposés permet de tisser des liens conceptuels cohérents pour supporter la thèse du rôle potentiellement catalyseur de la confrontation à la mort dans le développement de l’expérience spirituelle et existentielle des infirmières qui accompagnent des patients en fin de vie

Les conditions d'une musicalité du sonore : étude comparative sur le statut musical du bruit en musique et au cinéma

La création cinématographique de l’étudiante qui accompagne ce mémoire sous la forme d’un DVD est disponible à la Médiathèque de la Bibliothèque des lettres et sciences humaines sous le titre : Qui va droit son chemin.(http://atrium.umontreal.ca/notice/UM-ALEPH002343834)

Projet d'intervention auprès d'enfants d'âge primaire rejetés et/ou victimisés de leurs pairs

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

La notion d’évaluation et ses applications dans les différentes disciplines des sciences de l’information

Travail de recherche sur le thème de l’évaluation des archives à l’ère du numérique réalisé à l’hiver 2010 dans le cadre des cours SCI6112 L’évaluation des archives sous la direction du professeur Yvon Lemay et SCI6314 Gestion avancée des services d'information sous la direction de Carole Brouillette.

Exploration de la perception de l’interdisciplinarité de la part des infirmières en milieu gériatrique

Problématique : Dans un contexte de vieillissement de la population et de complexification des besoins de santé, travailler en interdisciplinarité est devenu une nécessité pour prodiguer des soins de qualité aux personnes âgées vulnérables. Les avantages de l’interdisciplinarité sont connus mais son intégration dans la pratique des professionnels de la santé se vit parfois difficilement. La compréhension de la perception de l’interdisciplinarité de la part des infirmières est un élément majeur d’une pratique de collaboration interprofessionnelle réussie, mais ce sujet a été peu étudié, encore moins en milieu gériatrique. Méthodologie : Le but de cette étude était d’explorer la perception de l’interdisciplinarité des infirmières dans le cadre d’une étude qualitative exploratoire. Les données ont été collectées grâce à sept entrevues semi-dirigées et une discussion de groupe. La méthode de Tesch (1990) fut utilisée pour l’analyse des données et une représentation de la perception fut élaborée. Résultats : Pour les participantes, l’interdisciplinarité est perçue comme un processus d’équilibre parfois difficile entre leur désir d’affirmer leur identité professionnelle et leur désir de collaborer et de travailler en synergie avec les autres intervenants, et ce pour le bien-être de la personne âgée. Elles trouvent que l’apport de l’infirmière à l’équipe interdisciplinaire est indispensable et que sa disponibilité et sa proximité du patient lui donne un statut privilégié pour être le pivot au sein de l’équipe interdisciplinaire. Elles soulignent aussi que la vulnérabilité de la clientèle et l’absence du proche-aidant lors des réunions interdisciplinaires poussent les infirmières à jouer le rôle de porte-parole de la personne âgée. Elles identifient unanimement la communication comme l’élément déterminant d’une collaboration réussie. Elles ajoutent que le leadership, la compétence et l’expérience de l’infirmière sont des déterminants importants pour une interdisciplinarité réussie, alors que la présence du désir de collaborer et le respect mutuel doivent être présents chez tous les intervenants de l’équipe pour collaborer harmonieusement. Par ailleurs, parmi tous les facteurs structurels et organisationnels, seule la pénurie des ressources professionnelles a été identifiée comme un déterminant ayant une incidence sur le travail interdisciplinaire.

Programme de prévention de l'absentéisme scolaire dans une école pour mères adolescentes

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

La prévention de l'aggravation des problèmes de comportement chez des élèves de la quatrième et cinquième année de l'école primaire

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

A phylogenomics approach to resolving fungal evolution, and phylogenetic method development

Bien que les champignons soient régulièrement utilisés comme modèle d'étude des systèmes eucaryotes, leurs relations phylogénétiques soulèvent encore des questions controversées. Parmi celles-ci, la classification des zygomycètes reste inconsistante. Ils sont potentiellement paraphylétiques, i.e. regroupent de lignées fongiques non directement affiliées. La position phylogénétique du genre Schizosaccharomyces est aussi controversée: appartient-il aux Taphrinomycotina (précédemment connus comme archiascomycetes) comme prédit par l'analyse de gènes nucléaires, ou est-il plutôt relié aux Saccharomycotina (levures bourgeonnantes) tel que le suggère la phylogénie mitochondriale? Une autre question concerne la position phylogénétique des nucléariides, un groupe d'eucaryotes amiboïdes que l'on suppose étroitement relié aux champignons. Des analyses multi-gènes réalisées antérieurement n'ont pu conclure, étant donné le choix d'un nombre réduit de taxons et l'utilisation de six gènes nucléaires seulement. Nous avons abordé ces questions par le biais d'inférences phylogénétiques et tests statistiques appliqués à des assemblages de données phylogénomiques nucléaires et mitochondriales. D'après nos résultats, les zygomycètes sont paraphylétiques (Chapitre 2) bien que le signal phylogénétique issu du jeu de données mitochondriales disponibles est insuffisant pour résoudre l'ordre de cet embranchement avec une confiance statistique significative. Dans le Chapitre 3, nous montrons à l'aide d'un jeu de données nucléaires important (plus de cent protéines) et avec supports statistiques concluants, que le genre Schizosaccharomyces appartient aux Taphrinomycotina. De plus, nous démontrons que le regroupement conflictuel des Schizosaccharomyces avec les Saccharomycotina, venant des données mitochondriales, est le résultat d'un type d'erreur phylogénétique connu: l'attraction des longues branches (ALB), un artéfact menant au regroupement d'espèces dont le taux d'évolution rapide n'est pas représentatif de leur véritable position dans l'arbre phylogénétique. Dans le Chapitre 4, en utilisant encore un important jeu de données nucléaires, nous démontrons avec support statistique significatif que les nucleariides constituent le groupe lié de plus près aux champignons. Nous confirmons aussi la paraphylie des zygomycètes traditionnels tel que suggéré précédemment, avec support statistique significatif, bien que ne pouvant placer tous les membres du groupe avec confiance. Nos résultats remettent en cause des aspects d'une récente reclassification taxonomique des zygomycètes et de leurs voisins, les chytridiomycètes. Contrer ou minimiser les artéfacts phylogénétiques telle l'attraction des longues branches (ALB) constitue une question récurrente majeure. Dans ce sens, nous avons développé une nouvelle méthode (Chapitre 5) qui identifie et élimine dans une séquence les sites présentant une grande variation du taux d'évolution (sites fortement hétérotaches - sites HH); ces sites sont connus comme contribuant significativement au phénomène d'ALB. Notre méthode est basée sur un test de rapport de vraisemblance (likelihood ratio test, LRT). Deux jeux de données publiés précédemment sont utilisés pour démontrer que le retrait graduel des sites HH chez les espèces à évolution accélérée (sensibles à l'ALB) augmente significativement le support pour la topologie « vraie » attendue, et ce, de façon plus efficace comparée à d'autres méthodes publiées de retrait de sites de séquences. Néanmoins, et de façon générale, la manipulation de données préalable à l'analyse est loin d’être idéale. Les développements futurs devront viser l'intégration de l'identification et la pondération des sites HH au processus d'inférence phylogénétique lui-même.

Investigation des fonctions du corps calleux par l'étude du transfert interhémisphérique de l'information visuelle et motrice chez les individus normaux et callosotomisés

Le principal rôle du corps calleux est d’assurer le transfert de l’information entre les hémisphères cérébraux. Du support empirique pour cette fonction provient d’études investiguant la communication interhémisphérique chez les individus à cerveau divisé (ICD). Des paradigmes expérimentaux exigeant une intégration interhémisphérique de l’information permettent de documenter certains signes de déconnexion calleuse chez ces individus. La présente thèse a investigué le transfert de l’information sous-tendant les phénomènes de gain de redondance (GR), de différence croisé– non-croisé (DCNC) et d’asynchronie bimanuelle chez les ICD et les individus normaux, et a ainsi contribué à préciser le rôle du corps calleux. Une première étude a comparé le GR des individus normaux et des ICD ayant subi une section partielle ou totale du corps calleux. Dans une tâche de détection, le GR consiste en la réduction des temps de réaction (TR) lorsque deux stimuli sont présentés plutôt qu’un seul. Typiquement, les ICD présentent un GR beaucoup plus grand (supra-GR) que celui des individus normaux (Reuter-Lorenz, Nozawa, Gazzaniga, & Hughes, 1995). Afin d’investiguer les conditions d’occurrence du supra-GR, nous avons évalué le GR en présentation interhémisphérique, intrahémisphérique et sur le méridien vertical, ainsi qu’avec des stimuli requérant une contribution corticale différente (luminance, couleur équiluminante ou mouvement). La présence d’un supra-GR chez les ICD partiels et totaux en comparaison avec celui des individus normaux a été confirmée. Ceci suggère qu’une section antérieure du corps calleux, qui perturbe le transfert d’informations de nature motrice/décisionnelle, est suffisante pour produire un supra-GR chez les ICD. Nos données permettent aussi d’affirmer que, contrairement au GR des individus normaux, celui des ICD totaux est sensible aux manipulations sensorielles. Nous concluons donc que le supra-GR des ICD est à la fois attribuable à des contributions sensorielles et motrices/décisionnelles. Une deuxième étude a investigué la DCNC et l’asynchronie bimanuelle chez les ICD et les individus normaux. La DCNC réfère à la soustraction des TR empruntant une voie anatomique « non-croisée » aux TR empruntant une voie anatomique « croisée », fournissant ainsi une estimation du temps de transfert interhémisphérique. Dans le contexte de notre étude, l’asynchronie bimanuelle réfère à la différence de TR entre la main gauche et la main droite, sans égard à l’hémichamp de présentation. Les effets de manipulations sensorielles et attentionnelles ont été évalués pour les deux mesures. Cette étude a permis d’établir une dissociation entre la DCNC et l’asynchronie bimanuelle. Précisément, les ICD totaux, mais non les ICD partiels, ont montré une DCNC significativement plus grande que celle des individus normaux, alors que les deux groupes d’ICD se sont montrés plus asynchrones que les individus normaux. Nous postulons donc que des processus indépendants sous-tendent la DCNC et la synchronie bimanuelle. De plus, en raison de la modulation parallèle du GR et de l’asynchronie bimanuelle entre les groupes, nous suggérons qu’un processus conjoint sous-tend ces deux mesures.