1000 resultados para modèle à paramètres variants dans le temps
Resumo:
Les collisions proton-proton produites par le LHC imposent un environnement radiatif hostile au détecteur ATLAS. Afin de quantifier les effets de cet environnement sur la performance du détecteur et la sécurité du personnel, plusieurs simulations Monte Carlo ont été réalisées. Toutefois, la mesure directe est indispensable pour suivre les taux de radiation dans ATLAS et aussi pour vérifier les prédictions des simulations. À cette fin, seize détecteurs ATLAS-MPX ont été installés à différents endroits dans les zones expérimentale et technique d'ATLAS. Ils sont composés d'un détecteur au silicium à pixels appelé MPX dont la surface active est partiellement recouverte de convertisseurs de neutrons thermiques, lents et rapides. Les détecteurs ATLAS-MPX mesurent en temps réel les champs de radiation en enregistrant les traces des particules détectées sous forme d'images matricielles. L'analyse des images acquises permet d'identifier les types des particules détectées à partir des formes de leurs traces. Dans ce but, un logiciel de reconnaissance de formes appelé MAFalda a été conçu. Étant donné que les traces des particules fortement ionisantes sont influencées par le partage de charge entre pixels adjacents, un modèle semi-empirique décrivant cet effet a été développé. Grâce à ce modèle, l'énergie des particules fortement ionisantes peut être estimée à partir de la taille de leurs traces. Les convertisseurs de neutrons qui couvrent chaque détecteur ATLAS-MPX forment six régions différentes. L'efficacité de chaque région à détecter les neutrons thermiques, lents et rapides a été déterminée par des mesures d'étalonnage avec des sources connues. L'étude de la réponse des détecteurs ATLAS-MPX à la radiation produite par les collisions frontales de protons à 7TeV dans le centre de masse a montré que le nombre de traces enregistrées est proportionnel à la luminosité du LHC. Ce résultat permet d'utiliser les détecteurs ATLAS-MPX comme moniteurs de luminosité. La méthode proposée pour mesurer et étalonner la luminosité absolue avec ces détecteurs est celle de van der Meer qui est basée sur les paramètres des faisceaux du LHC. Vu la corrélation entre la réponse des détecteurs ATLAS-MPX et la luminosité, les taux de radiation mesurés sont exprimés en termes de fluences de différents types de particules par unité de luminosité intégrée. Un écart significatif a été obtenu en comparant ces fluences avec celles prédites par GCALOR qui est l'une des simulations Monte Carlo du détecteur ATLAS. Par ailleurs, les mesures effectuées après l'arrêt des collisions proton-proton ont montré que les détecteurs ATLAS-MPX permettent d'observer la désintégration des isotopes radioactifs générés au cours des collisions. L'activation résiduelle des matériaux d'ATLAS peut être mesurée avec ces détecteurs grâce à un étalonnage en équivalent de dose ambiant.
Resumo:
Les simulations et figures ont été réalisées avec le logiciel R.
Resumo:
La plupart des modèles en statistique classique repose sur une hypothèse sur la distribution des données ou sur une distribution sous-jacente aux données. La validité de cette hypothèse permet de faire de l’inférence, de construire des intervalles de confiance ou encore de tester la fiabilité du modèle. La problématique des tests d’ajustement vise à s’assurer de la conformité ou de la cohérence de l’hypothèse avec les données disponibles. Dans la présente thèse, nous proposons des tests d’ajustement à la loi normale dans le cadre des séries chronologiques univariées et vectorielles. Nous nous sommes limités à une classe de séries chronologiques linéaires, à savoir les modèles autorégressifs à moyenne mobile (ARMA ou VARMA dans le cas vectoriel). Dans un premier temps, au cas univarié, nous proposons une généralisation du travail de Ducharme et Lafaye de Micheaux (2004) dans le cas où la moyenne est inconnue et estimée. Nous avons estimé les paramètres par une méthode rarement utilisée dans la littérature et pourtant asymptotiquement efficace. En effet, nous avons rigoureusement montré que l’estimateur proposé par Brockwell et Davis (1991, section 10.8) converge presque sûrement vers la vraie valeur inconnue du paramètre. De plus, nous fournissons une preuve rigoureuse de l’inversibilité de la matrice des variances et des covariances de la statistique de test à partir de certaines propriétés d’algèbre linéaire. Le résultat s’applique aussi au cas où la moyenne est supposée connue et égale à zéro. Enfin, nous proposons une méthode de sélection de la dimension de la famille d’alternatives de type AIC, et nous étudions les propriétés asymptotiques de cette méthode. L’outil proposé ici est basé sur une famille spécifique de polynômes orthogonaux, à savoir les polynômes de Legendre. Dans un second temps, dans le cas vectoriel, nous proposons un test d’ajustement pour les modèles autorégressifs à moyenne mobile avec une paramétrisation structurée. La paramétrisation structurée permet de réduire le nombre élevé de paramètres dans ces modèles ou encore de tenir compte de certaines contraintes particulières. Ce projet inclut le cas standard d’absence de paramétrisation. Le test que nous proposons s’applique à une famille quelconque de fonctions orthogonales. Nous illustrons cela dans le cas particulier des polynômes de Legendre et d’Hermite. Dans le cas particulier des polynômes d’Hermite, nous montrons que le test obtenu est invariant aux transformations affines et qu’il est en fait une généralisation de nombreux tests existants dans la littérature. Ce projet peut être vu comme une généralisation du premier dans trois directions, notamment le passage de l’univarié au multivarié ; le choix d’une famille quelconque de fonctions orthogonales ; et enfin la possibilité de spécifier des relations ou des contraintes dans la formulation VARMA. Nous avons procédé dans chacun des projets à une étude de simulation afin d’évaluer le niveau et la puissance des tests proposés ainsi que de les comparer aux tests existants. De plus des applications aux données réelles sont fournies. Nous avons appliqué les tests à la prévision de la température moyenne annuelle du globe terrestre (univarié), ainsi qu’aux données relatives au marché du travail canadien (bivarié). Ces travaux ont été exposés à plusieurs congrès (voir par exemple Tagne, Duchesne et Lafaye de Micheaux (2013a, 2013b, 2014) pour plus de détails). Un article basé sur le premier projet est également soumis dans une revue avec comité de lecture (Voir Duchesne, Lafaye de Micheaux et Tagne (2016)).
Resumo:
La plupart des modèles en statistique classique repose sur une hypothèse sur la distribution des données ou sur une distribution sous-jacente aux données. La validité de cette hypothèse permet de faire de l’inférence, de construire des intervalles de confiance ou encore de tester la fiabilité du modèle. La problématique des tests d’ajustement vise à s’assurer de la conformité ou de la cohérence de l’hypothèse avec les données disponibles. Dans la présente thèse, nous proposons des tests d’ajustement à la loi normale dans le cadre des séries chronologiques univariées et vectorielles. Nous nous sommes limités à une classe de séries chronologiques linéaires, à savoir les modèles autorégressifs à moyenne mobile (ARMA ou VARMA dans le cas vectoriel). Dans un premier temps, au cas univarié, nous proposons une généralisation du travail de Ducharme et Lafaye de Micheaux (2004) dans le cas où la moyenne est inconnue et estimée. Nous avons estimé les paramètres par une méthode rarement utilisée dans la littérature et pourtant asymptotiquement efficace. En effet, nous avons rigoureusement montré que l’estimateur proposé par Brockwell et Davis (1991, section 10.8) converge presque sûrement vers la vraie valeur inconnue du paramètre. De plus, nous fournissons une preuve rigoureuse de l’inversibilité de la matrice des variances et des covariances de la statistique de test à partir de certaines propriétés d’algèbre linéaire. Le résultat s’applique aussi au cas où la moyenne est supposée connue et égale à zéro. Enfin, nous proposons une méthode de sélection de la dimension de la famille d’alternatives de type AIC, et nous étudions les propriétés asymptotiques de cette méthode. L’outil proposé ici est basé sur une famille spécifique de polynômes orthogonaux, à savoir les polynômes de Legendre. Dans un second temps, dans le cas vectoriel, nous proposons un test d’ajustement pour les modèles autorégressifs à moyenne mobile avec une paramétrisation structurée. La paramétrisation structurée permet de réduire le nombre élevé de paramètres dans ces modèles ou encore de tenir compte de certaines contraintes particulières. Ce projet inclut le cas standard d’absence de paramétrisation. Le test que nous proposons s’applique à une famille quelconque de fonctions orthogonales. Nous illustrons cela dans le cas particulier des polynômes de Legendre et d’Hermite. Dans le cas particulier des polynômes d’Hermite, nous montrons que le test obtenu est invariant aux transformations affines et qu’il est en fait une généralisation de nombreux tests existants dans la littérature. Ce projet peut être vu comme une généralisation du premier dans trois directions, notamment le passage de l’univarié au multivarié ; le choix d’une famille quelconque de fonctions orthogonales ; et enfin la possibilité de spécifier des relations ou des contraintes dans la formulation VARMA. Nous avons procédé dans chacun des projets à une étude de simulation afin d’évaluer le niveau et la puissance des tests proposés ainsi que de les comparer aux tests existants. De plus des applications aux données réelles sont fournies. Nous avons appliqué les tests à la prévision de la température moyenne annuelle du globe terrestre (univarié), ainsi qu’aux données relatives au marché du travail canadien (bivarié). Ces travaux ont été exposés à plusieurs congrès (voir par exemple Tagne, Duchesne et Lafaye de Micheaux (2013a, 2013b, 2014) pour plus de détails). Un article basé sur le premier projet est également soumis dans une revue avec comité de lecture (Voir Duchesne, Lafaye de Micheaux et Tagne (2016)).
Resumo:
Rapport de stage présenté à la Faculté des études supérieures et postdoctorales en vue de l'obtention du grade de Maître (M.Sc) en criminologie
Resumo:
Rapport de stage présenté à la Faculté des études supérieures et postdoctorales en vue de l'obtention du grade de Maître (M.Sc) en criminologie
Resumo:
L'imagerie par tomographie optique diffuse requiert de modéliser la propagation de la lumière dans un tissu biologique pour une configuration optique et géométrique donnée. On appelle cela le problème direct. Une nouvelle approche basée sur la méthode des différences finies pour modéliser numériquement via l'équation de la diffusion (ED) la propagation de la lumière dans le domaine temporel dans un milieu inhomogène 3D avec frontières irrégulières est développée pour le cas de l'imagerie intrinsèque, c'est-à-dire l'imagerie des paramètres optiques d'absorption et de diffusion d'un tissu. Les éléments finis, lourds en calculs, car utilisant des maillages non structurés, sont généralement préférés, car les différences finies ne permettent pas de prendre en compte simplement des frontières irrégulières. L'utilisation de la méthode de blocking-off ainsi que d'un filtre de Sobel en 3D peuvent en principe permettre de surmonter ces difficultés et d'obtenir des équations rapides à résoudre numériquement avec les différences finies. Un algorithme est développé dans le présent ouvrage pour implanter cette approche et l'appliquer dans divers cas puis de la valider en comparant les résultats obtenus à ceux de simulations Monte-Carlo qui servent de référence. L'objectif ultime du projet est de pouvoir imager en trois dimensions un petit animal, c'est pourquoi le modèle de propagation est au coeur de l'algorithme de reconstruction d'images. L'obtention d'images requière la résolution d'un problème inverse de grandes dimensions et l'algorithme est basé sur une fonction objective que l'on minimise de façon itérative à l'aide d'une méthode basée sur le gradient. La fonction objective mesure l'écart entre les mesures expérimentales faites sur le sujet et les prédictions de celles-ci obtenues du modèle de propagation. Une des difficultés dans ce type d'algorithme est l'obtention du gradient. Ceci est fait à l'aide de variables auxiliaire (ou adjointes). Le but est de développer et de combiner des méthodes qui permettent à l'algorithme de converger le plus rapidement possible pour obtenir les propriétés optiques les plus fidèles possible à la réalité capable d'exploiter la dépendance temporelle des mesures résolues en temps, qui fournissent plus d'informations tout autre type de mesure en TOD. Des résultats illustrant la reconstruction d'un milieu complexe comme une souris sont présentés pour démontrer le potentiel de notre approche.
Resumo:
Résumé : En imagerie médicale, il est courant d’associer plusieurs modalités afin de tirer profit des renseignements complémentaires qu’elles fournissent. Par exemple, la tomographie d’émission par positrons (TEP) peut être combinée à l’imagerie par résonance magnétique (IRM) pour obtenir à la fois des renseignements sur les processus biologiques et sur l’anatomie du sujet. Le but de ce projet est d’explorer les synergies entre l’IRM et la TEP dans le cadre d’analyses pharmacocinétiques. Plus spécifiquement, d’exploiter la haute résolution spatiale et les renseignements sur la perfusion et la perméabilité vasculaire fournis par l’IRM dynamique avec agent de contraste afin de mieux évaluer ces mêmes paramètres pour un radiotraceur TEP injecté peu de temps après. L’évaluation précise des paramètres de perfusion du radiotraceur devrait permettre de mieux quantifier le métabolisme et de distinguer l’accumulation spécifique et non spécifique. Les travaux ont porté sur deux radiotraceurs de TEP (18F-fluorodésoxyglucose [FDG] et 18F-fluoroéthyle-tyrosine [FET]) ainsi que sur un agent de contraste d’IRM (acide gadopentétique [Gd DTPA]) dans un modèle de glioblastome chez le rat. Les images ont été acquises séquentiellement, en IRM, puis en TEP, et des prélèvements sanguins ont été effectués afin d’obtenir une fonction d’entrée artérielle (AIF) pour chaque molécule. Par la suite, les images obtenues avec chaque modalité ont été recalées et l’analyse pharmacocinétique a été effectuée par régions d’intérêt (ROI) et par voxel. Pour le FDG, un modèle irréversible à 3 compartiments (2 tissus) a été utilisé conformément à la littérature. Pour la FET, il a été déterminé qu’un modèle irréversible à 2 tissus pouvait être appliqué au cerveau et à la tumeur, alors qu’un modèle réversible à 2 tissus convenait aux muscles. La possibilité d’effectuer une conversion d’AIF (sanguine ou dérivée de l’image) entre le Gd DTPA et la FET, ou vice versa, a aussi été étudiée et s’est avérée faisable dans le cas des AIF sanguines obtenues à partir de l’artère caudale, comme c’est le cas pour le FDG. Finalement, l’analyse pharmacocinétique combinée IRM et TEP a relevé un lien entre la perfusion du Gd-DTPA et du FDG, ou de la FET, pour les muscles, mais elle a démontré des disparités importantes dans la tumeur. Ces résultats soulignent la complexité du microenvironnement tumoral (p. ex. coexistence de divers modes de transport pour une même molécule) et les nombreux défis rencontrées lors de sa caractérisation chez le petit animal.
Resumo:
RESUME : Dans ce travail effectué chez le rat adulte, l'excitotoxicité rétinienne est élicitée par injection intravitréenne de NMDA. Les lésions en résultant sont localisées dans la rétine interne. Elles prennent la forme de pycnoses dans la couche des cellules ganglionnaires (corps cellulaires des cellules ganglionnaires et amacrines déplacées) et dans la partie interne de la couche nucléaire interne (cellules amacrines). Cette localisation est liée à la présence de récepteurs au glutamate de type NMDA sur ces cellules. L'activation de ces récepteurs entraîne un influx calcique et l'activation de diverses enzymes (phospholipase A, calpaïnes, calmoduline, synthase d'oxyde nitrique). La signalisation se poursuit en aval en partie par les voies des Mitogen Activated Protein Kinase (MAPK) : ERK, p38, ]NK. Dans les expériences présentées, toutes trois sont activées après l'injection de NMDA. Dans les cascades de signalisation de JNK, trois kinases s'ancrent sur une protéine scaffold. Les MAPKKK phosphorylent MKK4 et MKK7, qui phosphorylent JNK. JNK a de nombreuses cibles nucléaires (dont le facteur de transcription c-Jun) et cytoplasmiques. La voie de JNK est bloquée par l'inhibiteur peptidique D-JNKI-1 en empêchant l'interaction de la kinase avec son substrat. L'inhibiteur est formé de 20 acides aminés du domaine de liaison JBD et de 10 acides aminés de la partie TAT du virus HIV. L'injection intravitréenne de D-JNKI-1 permet une diminution des taux de JNK et c-Jun phosphorylés dans les lysats de rétine. L'effet prépondérant est la restriction importante des altérations histologiques des couches internes de la rétine. L'évaluation par électrorétinogramme met en sus en évidence une sauvegarde de la fonction cellulaire. Ce travail a ainsi permis d'établir la protection morphologique et fonctionnelle des cellules de la rétine interne par inhibition spécifique de la voie de JNK lors d'excitotoxicité. SUMMARY Excitotoxicity in the retina associates with several pathologies like retinal ischemia, traumatic optic neuropathy and glaucoma. In this study, excitotoxicity is elicited by intravitreal NMDA injection in adult rats. Lesions localise in the inner retina. They present as pyknotic cells in the ganglion cell layer (ganglion cells and displaced amacrines) and the inner nuclear layer (amacrine cells). These cells express NMDA glutamate receptors. The receptor activation leads to a calcium flow into the cell and hence enzyme activation (phospholipase, calpains, calmodulin, nitric oxide synthase). The subsequent signaling pathways can involve the Mitogen Activated Protein Kinases (MAPK): ERK, p38 end JNK. These were all activated in our experiments. The signaling cascade organises around several scaffold proteins. The various MAPKKK phosphorylate MKK4 and MKK7, which phosphorylate JNK. JNK targets are of nuclear (c-Jun transcription factor) or cytoplasmic localisation. The peptidic inhibitor D-JNKI-1, 20 amino acids from the JNK binding domain JBD coupled to 10 amino acids of the TAT transporter, disrupts the binding of JNK with its substrate. Intravitreal injection of the inhibitor lowers phosphorylated forms of JNK and c-Jun in retinal extracts. It protects strongly against histological lesions in the inner retina and allows functional rescue.
Resumo:
(Résumé de l'ouvrage) La violence dans nos sociétés ne semble pas diminuer; bien au contraire, elle resurgit toujours avec des moyens et des stratagèmes de plus en plus perfectionnés, provoquant la destruction de la vie humaine et mettant en danger son épanouissement. Avec la rationalisation des activités dans de nombreux secteurs de la vie, la violence et ses moyens se sont rationalisés aussi, pour mieux servir le pouvoir et la force. Les armes sous toutes leurs formes deviennent ainsi une marchandise pour soutenir les économies des pays. Les religions provoquent-elles vraiment la violence? Si elles n'affichent pas ouvertement une telle intention, peuvent-elles induire des actes violents? Dans l'éventualité où les religions ne sont pas vraiment à l'origine de violences, on peut cependant se demander si, par elles-mêmes, elles peuvent contribuer à une diminution de la violence dans les sociétés et créer la paix. Quelques spécialistes universitaires, enseignant et chercheurs, se posent ces questions et tentent d'y apporter une réponse.
Resumo:
Le Suivi Intensif dans le Milieu (SIM) est une équipe de psychiatrie mobile qui propose des interventions proactives dans la communauté. Il peut s'agir d'évaluation sur quelques séances à des suivis au long cours. L'offre de soins s'adresse aux patients en refus de soins et aux hauts-utilisateurs. Le SIM s'inspire librement de l'assertive community treatment (ACT) et de l'approche milieu. Les deux modèles ont été adaptés aux besoins sanitaires de la région lausannoise, en Suisse. Cet article décrit l'intervention, illustre les plus-values pour les populations cibles et précise le rôle de l'intervenant social au sein de l'équipe.
Resumo:
RESUME Dalí et le dynamisme des formes. L'élaboration de l'activité « paranoïaque-critique » dans le contexte socioculturel des années 1920-1930 Rendre à nouveau lisibles des textes dont on ne sait plus reconnaître les enjeux historiques et cognitifs, tel est le principal défi que cet ouvrage consacré aux écrits surréalistes de Dalí se propose de relever. La thèse fait ressortir l'image sans doute un peu déroutante d'un créateur stratège qui, assimilant de manière originale les savoirs les plus variés et dialoguant avec les intellectuels de son temps, propose au tournant des années 1930 une théorie du surréalisme novatrice, capable de redynamiser un groupe en pleine crise. L'étude, combinant des perspectives sociologiques et linguistiques, explore tout d'abord les écrits à caractère manifestaire et dessine les traits conceptuels et stylistiques qui font la singularité du projet de Dalí dans le cadre du mouvement surréaliste. S'inspirant des images-devinettes, de la production des fous, de l'interprétation des figures aux formes indéterminées, le Catalan conçoit une méthode créative et cognitive qui se fonde sur une pensée subconsciente active, schématisant et fertilisant automatiquement toute donnée perçue. Dans le domaine de la peinture, ce sont les formes des objets qui sont surdéterminées par les désirs subconscients du créateur et du spectateur et qui acquièrent ainsi des significations inattendues. Dans le domaine de l'écriture, ce sont les formes sonores et graphiques des mots ou encore l'ossature discursive qui, investies par les fantasmes de l'écrivain et du lecteur, génèrent une multitude d'images. A l'aune des modes de connaissance propres à l'époque, l'étude porte ensuite sur deux modèles de pensée - le paradigme photographique et l'imaginaire lié à la notion d'espace-temps développée par Einstein dans le cadre de la théorie de la relativité générale - qui sont en vogue pendant les années 1930 et que le peintre se réapproprie pour signifier la dimension « révélatrice » et « objective » de ses oeuvres. Premièrement, pour penser la méthode « paranoïaque-critique », le Catalan reprend et détourne les phases de production du cliché : loin de reproduire fidèlement le visible, le dispositif photographique dalinien permet de révéler les pensées subconscientes. Deuxièmement, dès 1933-1934, Dalí reformule le modèle de l'espace-temps de la relativité générale d'Einstein pour penser la façon dont une entité invisible (le fantasme) s'objective et se matérialise dans la réalité extérieure. L'étude du dynamisme psychique conféré par Dalí aux formes des objets, aux formes verbales et picturales permet finalement de mettre en lumière le foisonnement mais aussi l'extrême cohérence de l'univers surréaliste du Catalan, et de souligner la valeur de l'approche « paranoïaque-critique » de la réalité tant sur le plan de l'histoire culturelle que sur le plan de la connaissance.