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.

L'impact d'un accident vasculaire cérébral léger sur la qualité de vie des proches

Introduction : Les personnes ayant eu un accident vasculaire cérébral léger (AVCL) sont autonomes pour l’accomplissement des activités de la vie quotidienne de base, mais peuvent présenter des déficits subtils pour l’accomplissement d’activités complexes qui ne sont pas dépistés durant l’hospitalisation. Le retour à domicile parmi les proches est souvent le moment où certaines difficultés apparaissent. L’objectif de cette étude est d’explorer la perception des proches de leur qualité de vie, trois mois après le retour à domicile de la personne ayant eu l’AVCL. Méthodologie : Cette étude qualitative repose sur un paradigme constructiviste. Des entrevues individuelles semi-dirigées ont été menées à l’aide d’un guide d’entrevue, auprès de proches de personnes ayant eu un premier AVCL trois mois auparavant. Une transcription du contenu des entrevues a été faite sous forme de verbatim, suivie d’une analyse de contenu. Résultats : Huit entrevues ont été complétées (âge moyen 56,9 ans – ratio hommes/femmes de 2/6). Six thèmes ont été identifiés : personne ayant eu l’AVCL, vie quotidienne, relation conjugale, récidive, santé et services. L’AVCL engendre plusieurs incapacités (personne ayant eu l’AVCL) et les proches interrogés rapportent une augmentation de leurs tâches quotidiennes ce qui limite leurs activités personnelles (vie quotidienne). Ils mentionnent également devoir passer du rôle de conjoint à celui de parent, ce qui modifie la dynamique de couple (relation conjugale). Les proches se disent anxieux face au risque de récidive (récidive) et certains présentent des malaises physiques comme des maux de tête et un manque d’énergie (santé). Les proches affirment n’avoir accès à aucun service et que le seul soutien dont ils bénéficie est celui de leur entourage (services). Conclusion : Le retour à domicile de la personne AVCL engendre diverses conséquences sur le quotidien des proches, ce qui affecte leur qualité de vie.

Réorganisation fonctionnelle et structurale des cortex auditifs, visuels et associatifs chez les sourds profonds congénitaux ou prélinguaux

En raison de l’utilisation d’un mode de communication totalement différent de celui des entendants, le langage des signes, et de l’absence quasi-totale d’afférences en provenance du système auditif, il y a de fortes chances que d’importantes modifications fonctionnelles et structurales s’effectuent dans le cerveau des individus sourds profonds. Les études antérieures suggèrent que cette réorganisation risque d’avoir des répercussions plus importantes sur les structures corticales situées le long de la voie visuelle dorsale qu’à l’intérieur de celles situées à l’intérieur de la voie ventrale. L’hypothèse proposée par Ungerleider et Mishkin (1982) quant à la présence de deux voies visuelles dans les régions occipitales, même si elle demeure largement acceptée dans la communauté scientifique, s’en trouve aussi relativement contestée. Une voie se projetant du cortex strié vers les régions pariétales postérieures, est impliquée dans la vision spatiale, et l’autre se projetant vers les régions du cortex temporal inférieur, est responsable de la reconnaissance de la forme. Goodale et Milner (1992) ont par la suite proposé que la voie dorsale, en plus de son implication dans le traitement de l’information visuo-spatiale, joue un rôle dans les ajustements sensori-moteurs nécessaires afin de guider les actions. Dans ce contexte, il est tout à fait plausible de considérer qu’un groupe de personne utilisant un langage sensori-moteur comme le langage des signes dans la vie de tous les jours, s’expose à une réorganisation cérébrale ciblant effectivement la voie dorsale. L’objectif de la première étude est d’explorer ces deux voies visuelles et plus particulièrement, la voie dorsale, chez des individus entendants par l’utilisation de deux stimuli de mouvement dont les caractéristiques physiques sont très similaires, mais qui évoquent un traitement relativement différent dans les régions corticales visuelles. Pour ce faire, un stimulus de forme définie par le mouvement et un stimulus de mouvement global ont été utilisés. Nos résultats indiquent que les voies dorsale et ventrale procèdent au traitement d’une forme définie par le mouvement, tandis que seule la voie dorsale est activée lors d’une tâche de mouvement global dont les caractéristiques psychophysiques sont relativement semblables. Nous avons utilisé, subséquemment, ces mêmes stimulations activant les voies dorsales et ventrales afin de vérifier quels pourraient être les différences fonctionnelles dans les régions visuelles et auditives chez des individus sourds profonds. Plusieurs études présentent la réorganisation corticale dans les régions visuelles et auditives en réponse à l’absence d’une modalité sensorielle. Cependant, l’implication spécifique des voies visuelles dorsale et ventrale demeure peu étudiée à ce jour, malgré plusieurs résultats proposant une implication plus importante de la voie dorsale dans la réorganisation visuelle chez les sourds. Suite à l’utilisation de l’imagerie cérébrale fonctionnelle pour investiguer ces questions, nos résultats ont été à l’encontre de cette hypothèse suggérant une réorganisation ciblant particulièrement la voie dorsale. Nos résultats indiquent plutôt une réorganisation non-spécifique au type de stimulation utilisé. En effet, le gyrus temporal supérieur est activé chez les sourds suite à la présentation de toutes nos stimulations visuelles, peu importe leur degré de complexité. Le groupe de participants sourds montre aussi une activation du cortex associatif postérieur, possiblement recruté pour traiter l’information visuelle en raison de l’absence de compétition en provenance des régions temporales auditives. Ces résultats ajoutent aux données déjà recueillies sur les modifications fonctionnelles qui peuvent survenir dans tout le cerveau des personnes sourdes, cependant les corrélats anatomiques de la surdité demeurent méconnus chez cette population. Une troisième étude se propose donc d’examiner les modifications structurales pouvant survenir dans le cerveau des personnes sourdes profondes congénitales ou prélinguales. Nos résultats montrent que plusieurs régions cérébrales semblent être différentes entre le groupe de participants sourds et celui des entendants. Nos analyses ont montré des augmentations de volume, allant jusqu’à 20%, dans les lobes frontaux, incluant l’aire de Broca et d’autres régions adjacentes impliqués dans le contrôle moteur et la production du langage. Les lobes temporaux semblent aussi présenter des différences morphométriques même si ces dernières ne sont pas significatives. Enfin, des différences de volume sont également recensées dans les parties du corps calleux contenant les axones permettant la communication entre les régions temporales et occipitales des deux hémisphères.

Littératie et autogestion du diabète : impact à court terme d’un programme de formation de 4 jours versus un programme de 2 jours sur le développement des compétences chez les patients diabétiques de type 2

Réalisé en collaboration avec l'équipe de l'Unité de jour de diabète de l'Hôtel-Dieu du CHUM: Hortensia Mircescu M.D., Françoise Desrochers, Michelle Messier et Stéphanie Chanel Lefort.

La généralisation des acquis en traitement chez les délinquants sexuels adultes

La généralisation des acquis dans le domaine de l’agression sexuelle peut se subdiviser en deux volets, soit la généralisation qui se produit lors du traitement et celle suivant le retour dans la collectivité. Le modèle de traitement cognitivo-comportemental, basé sur les principes du risque, des besoins et de la réceptivité, permet une réduction significative des taux de récidive. Plus spécifiquement, les besoins criminogènes ciblés chez chacun des délinquants et le type de stratégies apprises en traitement peuvent influer sur le processus de généralisation des acquis. De la même façon, les caractéristiques propres à l’agresseur sexuel ont également un rôle à jouer. Lors de la libération, la considération et la mise en place de certaines mesures, telles que le plan de réinsertion sociale, les besoins sociaux et individuels, l’employabilité, le logement et la continuité thérapeutique importent afin de faciliter le maintien des acquis. Ainsi, le présent projet de maîtrise vise à mettre de l’avant une meilleure compréhension du phénomène de la généralisation des acquis chez quatre délinquants sexuels suivis dans la collectivité (Centre de psychiatrie légale de Montréal), à la suite d’un traitement d’un an complété à l’Institut Philippe-Pinel de Montréal. Dans le but de comprendre les facteurs pouvant favoriser ce processus, nous avons étudié la manière dont ces différents facteurs se sont présentés chez les délinquants sexuels à l’étude et l’impact lié à la présence ou à l’absence de ces variables. L’analyse clinique du matériel obtenu a démontré, d’une part, que la généralisation des acquis est facilitée lorsque l’ensemble des besoins criminogènes sont des cibles de traitement et que, d’autre part, le délinquant est en mesure d’appliquer des stratégies cognitivo-comportementales plutôt que des techniques purement cognitives. Par ailleurs, la présence d’impulsivité et de problèmes individuels non stabilisés peut nuire au processus. Finalement, il est ressorti que la généralisation des acquis est plus facilement atteignable lorsque les variables identifiées comme étant propices à une réinsertion sociale réussie sont présentes dans le quotidien des délinquants.

L'intégration de la différence en milieu de travail entre les travailleurs ayant des déficiences ou des incapacités et les travailleurs sans déficience, sans incapacité

co-directrice: Saint-Jean, Micheline

Une sagesse qui ne vient jamais : esthétique, politique et personnalité dans l’œuvre de Guy Debord

Cette thèse se propose de réévaluer l’œuvre de Guy Debord en privilégiant la lecture de ses autoportraits littéraires et cinématographiques. Cette recherche favorise une réception de Debord mettant en lumière l’importance de l’écriture de soi dans l’ensemble de sa production. L’inscription de soi, chez Debord, passe en effet par la création d’une légende. L’introduction démontre comment la trajectoire singulière de Debord témoigne d’un brouillage entre les frontières traditionnelles séparant l’esthétique et le politique. Elle explore les moyens pris par Debord afin de redéfinir le statut de l’artiste et la fonction de l’écriture dans le cadre d’une transformation d’une vie quotidienne. Dans ce cadre, la production artistique se subordonne entièrement au caractère de Debord, une personnalité qui se manifeste d’abord à travers la création d’un Grand style qui lui est propre. En célébrant le primat du vécu sur l’œuvre, la manœuvre de Debord s’inscrit dans la tradition moderniste de l’art. Le chapitre II montre comment Debord souhaita participer à l’entreprise de politisation de l’esthétique qui définit l’action des avant-gardes historiques. On y explique notamment comment l’œuvre de Debord s’est construite à partir des ruines du surréalisme. Pour se distinguer de ses ancêtres, le mouvement situationniste rejeta cependant l’esthétique surréaliste du rêve au profit d’une nouvelle poétique de l’ivresse se basant sur la dérive et sur l’intensification du moi. La dernière section de ce chapitre se consacre à la question de la création d’un mythe moderne, volonté partagée par les deux groupes. La troisième partie de cette thèse traite spécifiquement de la construction mythologique de Debord. Ce chapitre situe le projet mémorialiste de Debord dans la tradition littéraire française de l’écriture du moi. Il explore ensuite l’économie des sources classiques de Debord, en soulignant l’importance chez lui d’une éthique aristocratique issue du Grand siècle, éthique qui met de l’avant la distinction individuelle. Enfin, l’importance de la mentalité baroque est abordée conjointement à la question primordiale de la stratégie et de la manipulation. Le quatrième chapitre aborde la question de l’identification. Quand Debord décide de parler de sa vie, il le fait toujours en employant des éléments qui lui sont extérieurs : des « détournements ». Son « mode d’emploi » des détournements est défini dans la perspective d’un dévoilement de soi. On explore par la suite la question de l’imaginaire politique de Debord, imaginaire qui convoque sans cesse des représentations issues du XIXe siècle (classes dangereuses, conspirateur, bohème). Ce dernier chapitre se termine sur un essai d’interprétation approfondissant l’utilisation répétée de certaines figures criminelles, notamment Lacenaire. On mettra de l’avant la fonction centrale qu’occupent le crime et la transgression dans la sensibilité de Debord.

La ballade de Gilbert ; suivi de Le quotidien dans Molloy de Samuel Beckett

Le roman La ballade de Gilbert raconte l’histoire d’un homme dont la tranquille normalité du quotidien est perturbée lorsqu’il découvre qu’un de ses collègues de longue date fréquente des prostituées. Afin de retrouver son confort, il incite clandestinement ce collègue à se chercher une conjointe, mais cette quête devient peu à peu une profonde obsession qui bouleverse encore plus l’équilibre de sa vie routinière. À travers ce récit s’articule une réflexion sur le quotidien, sur les limites entre l’ordinaire et l’extraordinaire, le familier et l’étrange. L’essai Le quotidien dans Molloy de Samuel Beckett reprend le thème du quotidien afin d’analyser le dialogue entre le familier et l’étrangeté dans ce roman. Molloy présente de nombreux scénarios communs (Eco), qui correspondent très sensiblement d’un point de vue cognitif aux habitudes qui façonnent le quotidien d’un individu. Cet essai explique comment Beckett subvertit ces scénarios pour laisser place à une étrangeté derrière laquelle le familier demeure reconnaissable.

La cérémonie du Bounty Day : l’histoire des révoltés du Bounty comme récit fondateur sur les îles de Pitcairn et Norfolk et ses représentations en Occident

Cette étude s’attache à analyser deux performances symboliques ayant cours sur les îles de Pitcairn et de Norfolk dans le Pacifique Sud. Les habitants de ces deux îles séparées par 6000km de distance partagent tout d’abord un événement historique ayant eu lieu en 1789, la révolte du Bounty, rendue célèbre par des réalisations cinématographiques hollywoodiennes et de nombreux ouvrages ; et également un rattachement à cette histoire et à leur filiation avec ces mutins qui prennent forme dans une performance annuellement répétée qu’ils nomment : le Bounty Day. Ici, nous verrons comment l’identité émerge de la manipulation de faits historiques, pour saisir non seulement l’importance du processus de construction identitaire, mais comment cette macro-identité influence certains aspects du micro-vécu. « L’histoire », dans l’analyse qui sera proposée, est un domaine rhétorique et un ensemble de valeurs qui lient les individus non seulement à un monde oublié mais à un monde invisible, à l’Autre lointain, inconnu et donc potentiellement menaçant.

L’information de localisation à Montréal : une exploration

Ce mémoire de maîtrise est une recherche exploratoire sur les expériences de localisation vécues dans l’espace urbain montréalais par des sujets en relation à l’information dite « de localisation ». La localisation est un processus d’orientation spatiale où l’emplacement d’un lieu dans l’espace est un problème à résoudre. Cette exploration est basée sur la théorisation de l’information proposée par Bateson (1972) et le développement du concept de dispositif par Belin (2002) et Agamben (2007) à la suite de Foucault, la localisation étant le concept empirique exploratoire. Le processus de localisation est investigué quant à son caractère médiatique : l’information de localisation est le medium qui, en étant un résultat et une cause de l’action, donne forme à ce processus mené par l’effort. Un travail de terrain ethnométhodologique déployé par le biais d’observations empiriques et d’entrevues qualitatives permet d’identifier certaines conditions qui rendent possibles, dans la vie quotidienne, les relations entre l’information de localisation, l’espace urbain et un sujet. Étant majoritairement vécue lors de déplacements présents, futurs ou passés, la localisation est ainsi conceptualisée en tant que wayfinding : l’action de déterminer quelles voies ou trajets emprunter pour se rendre d’un point A à un point B. Ce mémoire est en réalité une problématisation ouverte qui vise à explorer et identifier certains enjeux qui sont au cœur des processus de localisation dans l’espace urbain montréalais. Si « [l]e fait humain par excellence », comme le souligne Leroi-Gouhran (1965) « est peut-être moins la création de l’outil que la domestication du temps et de l’espace » (p. 139), le fait d’habiter en un certain temps et en un certain espace est en soi une relation problématique de confiance. Le vivant et le non-vivant habitent des espaces aménagés qui sont continuellement transformés par leur détermination mutuelle. En partant du constat que l’environnement construit se déploie en étant produit et aménagé dans des dispositions où certains de nos gestes sont délégués, peut-on envisager être libre sans (se) faire confiance ?

La controverse publique au quotidien : le cas d’un organisme de défense des droits LGBT.

Ce mémoire fut financé par le Département de communication de communication de l'Université de Montréal et le Conseil de recherches en sciences humaines du Canada (CRSH).

Une tentatrice redoutable : la télévision chez Jean-Philippe Toussaint et Serge Joncour

Si, depuis son apparition, la télévision suscite de nombreuses réactions de mépris chez les élites cultivées, son emprise sur l’individu et la vie en société est indéniable. La littérature ne pouvait manquer de s’intéresser à la nature et à l’évolution de ce média si discuté avec lequel elle entretient des relations plus complexes qu’il n’y paraît. Cette étude porte sur deux romans qui proposent une représentation très élaborée et singulière du petit écran et de son rôle, La Télévision de Jean-Philippe Toussaint et Que la paix soit avec vous de Serge Joncour. Chacun d’eux fait l’objet d’un chapitre. En plus de procéder à une critique incisive du média télévisuel, ces fictions mettent en évidence ses liens avec l’imaginaire social contemporain. Toussaint accorde une importance particulière aux bouleversements socioculturels causés par la télévision et montre qu’elle a si bien investi la place de la vie quotidienne que les mondes réel et virtuel risquent désormais constamment de se confondre. Joncour décrit avec soin l’influence qu’elle exerce sur notre perception de la réalité et critique la lecture superficielle du monde qu’elle impose. Cependant qu’elles effectuent ce travail critique, les deux œuvres se rejoignent pour souligner son pouvoir de fascination et la présentent telle une tentatrice redoutable. Parce qu’elle part d’une lecture interne des textes pour les mettre en relation avec la façon dont la télévision, en tant que dispositif sémiotique, c’est-à-dire en tant que machine à produire du sens, informe la réalité humaine, notre étude se situe sur le terrain de la sociocritique des textes.

Contribution des regards citoyens dans le cadre d'une démarche de prospective paysagère en milieu périurbain

Au moment où les territoires périurbains se transforment rapidement sous l’impulsion des stratégies de développement de l’industrie immobilière, les préoccupations sociales en matière de qualité des paysages et des cadres de vie se font de plus en plus grandes. Devant ces enjeux, les actions aménagistes privilégient le plus souvent des solutions à partir d’un regard « expert » généralement étranger aux demandes sociales en présence. Devant l’insuffisance des connaissances des regards citoyens, il y a une urgence à développer des méthodes originales aptes à révéler ce savoir local. Une enquête menée à l’automne 2009 à Saint-Bruno-de-Montarville, sur la Rive-Sud de Montréal, révèle la pertinence d’une approche anthropologique sous-utilisée et novatrice en particulier pour les recherches en aménagement : celle du « récit-parcours ». Permettant un accès privilégié aux récits ancrés aux lieux de vies, cette méthode a permis de susciter des discours singuliers et collectifs sur le territoire, de révéler des propos sur les imaginaires portés sur la ville et d’offrir un espace d’expression des préoccupations, des valorisations et des aspirations des résidants. Les résultats de l’enquête à cet effet sont concluants : ce que nous révèlent les résidants de par leurs expériences vécues des lieux et leurs cheminements spatiaux est incontestablement riche et pertinent pour la compréhension des enjeux collectifs d’un milieu. Les logiques existantes derrière les transformations de ces territoires bénéficieraient grandement de ce savoir localisé, complexe et ingénieux dont dispose les résidants de la géographie, de l’environnement, de l’urbanisation et des caractéristiques sociales de leur ville. Ce faisant, le territoire change alors de statut : d’un objet d’évaluation experte, il devient une mise en scène dynamique où s’inscrivent des fragments significatifs d’histoires faisant référence à l’expérience du vécu quotidien, mais aussi, à la potentialité des lieux. Par le biais d’une telle démarche et en conjonction avec des méthodes participatives, il devient possible d’engager une véritable réflexion plurielle envers l’avenir des territoires périurbains, en résonance avec les aspirations locales.

Le jeune téléspectateur, objet de discours social : le cas du Chili «post-1990»

Cette thèse s’interroge sur le phénomène du jeune téléspectateur contemporain. Je questionne cette « réalité », qui fait l’objet de discours et de pratiques sociales au quotidien. L’idée de l’existence « objective » de l’enfant téléspectateur depuis l’avènement de la télévision est si fertile, qu’elle a même contribué au développement d’un sous-domaine de recherche en communication : la communication jeunesse. J’inclus également ce sous-domaine dans la problématique. Ce faisant, je tente d’esquisser une théorisation de l’enfant téléspectateur, en le comprenant comme une formation discursive et sociale. Suivant le point de vue de l’analyse de discours de Michel Foucault (1969), j’axe son étude en articulant deux éléments qui forment les objets sociaux : le régime de vérité et les formations discursives. Ainsi, je réfléchis au jeune téléspectateur comme objet de savoir et de vérité, et comme fruit d’un ensemble de formations discursives. J’ancre empiriquement le questionnement du jeune téléspectateur contemporain dans le Chili « post-1990 ». Je propose une approche méthodologique et analytique me permettant de rendre compte de l’articulation d’éléments hétérogènes qui participent au façonnement discursif et social de celui-ci. Cet outil exploratoire est « le rhizome », que j’emprunte à Gilles Deleuze et à Félix Guattari (1976). Le rhizome m’est utile pour rendre compte des multiples portes d’entrée dans la formation discursive de l’enfant téléspectateur, du déplacement comme chercheuse à l’intérieur de celle-ci, et des figures qui se forment par l’articulation du discours et des pratiques entreprises à son égard. Ce faisant, je propose une archive d’époque de l’enfant téléspectateur du Chili « post-1990 ». Dans celle-ci, je montre des modalités particulières de sa formation discursive et des figures hétéroclites de celui-ci qui ont émergé dans les analyses. Finalement, je présente un ensemble de pratiques discursives qui ont également fait surface dans les analyses. Ces pratiques emploient la figure de l’enfant téléspectateur pour instaurer discursivement d’autres « réalités », qui ne le concernent pas directement. M’appuyant sur Jean-Michel Berthelot (1992), notamment sur son concept d’« opérateur discursif », je qualifie ainsi ces pratiques observées.

Entre tension et engagement : la réception de la télé-réalité au sein d'un public de jeunes Québécoises

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