Dans cette thèse nous proposons un modèle temporel dans le cadre des machines à états abstraits (ASM). Une extension du langage de spécification ASM est développé qui correspond à ce modéle temporel pour le temps continu. L'extension du langage avec des constructions de temps permet de diminuer la taille de la spécification et donc de réduire la probabilité d'erreurs. La sémantique de l'extension du langage ASM est fournie et prend en compte les définitions des fonctions externes, les valeurs des délais et les choix de résolution des non-déterminismes. Un sous-système de vérification des propriétés exprimées en logique FOTL (FirstOrder Timed Logic) est développé. Un simulateur d'ASMs temporisées est développé et implémenté, il comprend un analyseur syntaxique, un interprète du langage, un sous-système de vérification des propriétés ainsi qu'une interface graphique

Le contexte général de cette thèse s'inscrit dans le cadre de la modélisation eulérienne instationnaire des écoulements turbulents anisothermes gaz - particules. La modélisation de ces écoulements est cruciale pour de nombreuses applications industrielles et pour la prédiction de certains phénomènes naturels. Par exemple, la combustion diphasique dans les moteurs automobiles et aéronautiques est précédée par l'injection et la dispersion de carburant liquide dans la chambre de combustion. Les phénomènes mis en jeu exigent alors une prédiction locale tenant compte du caractère instationnaire de l'écoulement turbulent et de la présence de géométries complexes. De plus, de nombreuses études expérimentales et numériques récentes ont mis en évidence le rôle prépondérant de l'inertie des particules sur les mécanismes de dispersion et de concentration préférentielle en écoulement turbulent. Ceci rend donc indispensable la prise en compte de ces mécanismes dans la modélisation diphasique. Au cours de ce travail de thèse, une approche eulérienne locale et instantanée a été développée pour prédire les écoulements gaz-particules anisothermes et turbulents. Elle est basée sur l'approche statistique du Formalisme Eulérien Mésoscopique (MEF) introduite par Février et al. (JFM, 2005). Cette approche a été ici étendue aux variables thermiques pour la prise en compte du caractère anisotherme de l'écoulement. Cette approche a été ensuite utilisée dans le cadre de la méthode des moments (Kaufmann et al., JCP, 2008), et un système d'équations locales et instantanées pour la phase dispersée a été proposé. La modélisation au premier ordre exige la fermeture des moments de second ordre apparaissant dans les équations de la quantité de mouvement et de l'énergie. La proposition de telles relations constitutives fait l'objet d'une partie de la thèse. Afin de fournir une méthode capable de prédire le comportement local, instantané et anisotherme de la phase dispersée dans des configurations `a une échelle réaliste, les équations pour la phase dispersée ont été filtrées et une modélisation aux grandes échelles (LES) est effectuée. Cette modélisation étends, par la prise en compte des variables thermiques, le travail de Moreau et al. (FtaC, 2010) sur l'approche LES Euler-Euler en conditions isothermes. L'approche complète est enfin appliquée aux résultats de simulation numérique d'un jet plan turbulent gazeux froid, chargé en particules, dans une turbulence homogène isotrope chaude monophasique. / The aim of this thesis is to provide an Eulerian modeling for the dispersed phase interacting with unsteady non-isothermal turbulent flows. The modeling of these flows is crucial for several industrial applications and for predictions of natural events. Examples are the combustion chambers of areo engines where the combustion is preceded by the injection and dispersion of liquid fuel. The prediction of such phenomena involves a local modeling of the mixture for taking into account the unsteady behavior of the turbulent flow and the presence of complex geometries. Moreover, many experimental and numerical studies have recently highlighted the significant role of the particle inertia on the mechanisms of dispersion and preferential concentration. Accounting for such mechanisms is therefore essential for modeling the particle-laden turbulent flows. In this thesis, a local and instantaneous Eulerian approach able to describe and to predict the local behavior of inertial particles interacting with non-isothermal turbulent flows has been developed. It is based on the statistical approach known as Mesoscopic Eulerian formalism (MEF) introduced by Février et al. (JFM, 2005). The statistical approach has been extended to the thermal quantities in order to account for the non-isothermal conditions into the modeling. This formalism is then used in the framework of the moment approach (Kaufmann et al., JCP, 2008) and a system of local and instantaneous equations for the non-isothermal dispersed phase has been suggested. The first order modeling requires to close second-order moments appearing in momentum and energy equations. The proposal of such constitutive relations makes the object of a part of this study. In order to provide an Eulerian approach usable in real configurations at industrial scale, the equations of the dispersed phase are filtered and the approach developed in the framework of the Large-Eddy Simulations. From the work of Moreau et al. (FTaC, 2010), the Eulerian-Eulerian LES approach is then extended to non-isothermal conditions. The whole modeling is then a priori tested against numerical simulations of a cold planar turbulent particle-laden jet crossing a homogeneous isotropic decaying hot turbulence.

La perception visuelle du mouvement est essentielle à l’exécution de déplacements sécuritaires ainsi qu’à l’interaction efficace avec notre environnement. C’est pourquoi il est nécessaire de comprendre la nature des mécanismes responsables de l’analyse de l’information sur le mouvement, ainsi que l’effet du vieillissement sur la réponse de ces mécanismes. Deux études seront présentées. La première avait pour but l’analyse des mécanismes responsables de la perception du mouvement de rotation fractale, nouveau stimulus introduit par Benton, O’Brien & Curran (2007). Ce type de stimulus a été créé afin d’isoler les mécanismes sensibles à la forme. Plusieurs auteurs ont suggéré que les mécanismes sensibles au mouvement de deuxième ordre utiliseraient les indices de position afin d’extraire l’information sur le mouvement (Seiffert & Cavanagh, 1998). Ainsi, la présente étude visait à déterminer si la rotation fractale est analysée par de tels mécanismes. Les résultats obtenus suggèrent que les mécanismes sensibles à la rotation fractale seraient basés sur l’orientation; tandis que ceux sensibles à la rotation de premier ordre, basés sur l’énergie. De plus, une certaine dissociation des mécanismes responsables du traitement de la rotation fractale et de premier ordre serait présente. La deuxième étude avait pour but, quant à elle, d’établir l’effet du vieillissement sur l’intégration du mouvement de premier et deuxième ordre. Les résultats indiquent que les mécanismes sensibles au mouvement de deuxième ordre seraient davantage affectés, comparativement à ceux de premier ordre. Ainsi, les fonctions visuelles requérant une intégration corticale de plus haut niveau seraient davantage affectées par l’effet du vieillissement. / Motion perception ensures the execution of safe navigation, as well as efficient interaction with the environment. As such, it is essential to understand the nature of mechanisms ensuring motion perception, as well as effects of aging on their response. Two studies will be presented. The first aimed at identifying the nature of mechanisms responsible for the perception of fractal rotation, a novel stimulus introduced by Benton et al. (2007). This stimulus has been created to isolate form sensitive mechanisms. Several authors have suggested that second-order motion sensitive mechanisms use position cues to extract motion (Seiffert & Cavanagh, 1998). Hence, the following study aimed at determining whether fractal rotation is analyzed by such mechanisms or not. Results suggest fractal rotation sensitive mechanisms use orientation changes, whereas first-order sensitive mechanisms use energy. Moreover, dissociation between first-order and fractal rotation mechanisms has been observed. The second study aimed at establishing the effect of aging on first- and second-order motion integration. Results indicate second-order sensitive mechanisms would be more affected by aging, than first-order mechanisms. Accordingly, visual functions requiring higher order cortical integration are more likely to be more affected by aging.

Objectifs: Les études quantitatives ont documenté l’ampleur des problèmes d’observance en début de psychose et les conséquences cliniques qui en découlent. La compréhension du phénomène demeure toutefois limitée. Notre étude propose d’explorer, à partir de trois perspectives (celles des patients, des proches et des cliniciens), les raisons pour lesquelles les patients en début de psychose acceptent ou refusent les traitements. Méthode: La collecte des données s’est faite à l’aide d’entrevues individuelles semi-structurées auprès de 18 patients d’une clinique spécialisée en psychose débutante classifiés comme étant observants, ambivalents ou non observants, et auprès de 13 de leurs proches, ainsi qu’à l’aide d’un focus group réunissant 8 cliniciens de la clinique. Résultats: L’observance semble s’inscrire dans un processus marqué par une certaine ambivalence pour la plupart des sujets. Cette ambivalence est modulée par: des enjeux identitaires, des enjeux relationnels, la compréhension du diagnostic et la signification du traitement. Conclusion: L’ambivalence et l’inobservance seraient des étapes normales du processus au cours duquel le patient lutte pour reconstruire son identité. La présence d’un lien de confiance permet la résolution progressive de l’ambivalence, facilitant ainsi le processus de réappropriation du traitement par le patient. / Objective: Quantitative studies have documented the extent of compliance issues in early psychosis and the ensuing clinical consequences. However, an in-depth understanding of this phenomenon remains limited. Drawing upon the perspectives of a sample of patients, their families, and clinicians, this study explores why patients suffering from early-stage psychosis accept or refuse treatment. Method: Data collection was conducted using semi-structured individual interviews with 18 patients from a clinic specializing in early psychosis who were identified as compliant, ambivalent or non-compliant. In addition, interviews were conducted with 13 of their family members, as well as a focus group composed of 8 clinicians working at the clinic. Results: For the majority of patients, compliance appeared to evolve according to a process characterized by varying degrees of ambivalence. In particular, identity issues, relational issues, the understanding of the diagnosis, and the meaning of treatment were key to understanding patients’ sense of ambivalence. Conclusion: Ambivalence and non-compliance can be seen as normal stages of a process whereby the patient struggles to rebuild his or her sense of self and constructs their ongoing identity. A relationship of trust may facilitate a gradual resolution of the ambivalence, promoting a patient’s sense of ownership and empowerment in the context of treatment.

Tout médicament administré par la voie orale doit être absorbé sans être métabolisé par l’intestin et le foie pour atteindre la circulation systémique. Malgré son impact majeur sur l’effet de premier passage de plusieurs médicaments, le métabolisme intestinal est souvent négligé comparativement au métabolisme hépatique. L’objectif de ces travaux de maîtrise est donc d’utiliser, caractériser et développer différents outils in vitro et in vivo pour mieux comprendre et prédire l’impact du métabolisme intestinal sur l’effet de premier passage des médicaments comparé au métabolisme hépatique. Pour se faire, différents substrats d’enzymes du métabolisme ont été incubés dans des microsomes intestinaux et hépatiques et des différences entre la vitesse de métabolisme et les métabolites produits ont été démontrés. Afin de mieux comprendre l’impact de ces différences in vivo, des études mécanistiques chez des animaux canulés et traités avec des inhibiteurs enzymatiques ont été conduites avec le substrat métoprolol. Ces études ont démontré l’impact du métabolisme intestinal sur le premier passage du métoprolol. De plus, elles ont révélé l’effet sur la vidange gastrique du 1-aminobenzotriazole, un inhibiteur des cytochromes p450, évitant ainsi une mauvaise utilisation de cet outil dans le futur. Ces travaux de maîtrise ont permis d’améliorer les connaissances des différents outils in vitro et in vivo pour étudier le métabolisme intestinal tout en permettant de mieux comprendre les différences entre le rôle de l’intestin et du foie sur l’effet de premier passage. / To reach the systemic circulation, orally administered drugs have to be absorbed and not metabolized by the intestine and the liver. Even though it has a major impact on the first pass effect of many xenobiotics, the intestinal metabolism is often neglect compare to the hepatic metabolism. The objective of this work is to use, characterize and develop multiple in vitro and in vivo tools to better understand and predict the impact of intestinal metabolism on the first pass effect of xenobiotics compared to the liver. To do so, multiple substrates of metabolic enzymes were incubated in intestinal and hepatic microsomes and differences between the rate of metabolism and the production of metabolites were demonstrated. To better understand the impact of these differences in vivo, mechanistic studies were undergone in rats cannulated or treated with enzymatic inhibitors with the substrate metoprolol. These studies demonstrated the impact of intestinal metabolism on the first pass of metoprolol. Moreover, they exposed the effect on gastric emptying of 1-aminobenzotriazole, a cytochrome p450 inhibitor, avoiding its wrong utilisation in future studies. This work helped increase the knowledge about the different in vitro and in vivo tools to study intestinal metabolism and to better understand the differences between the role of the intestine and the liver on the first pass effect.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

L’objectif de ce travail est l’amélioration des courbes de variation séculaire de la direction (inclinaison I et déclinaison D) et de l’intensité (F) du champ magnétique terrestre en Europe occidentale durant le premier millénaire av. J.-C. 47 fours, foyers et lots de tessons céramiques ont été étudiés pour constituer de nouvelles structures de référence. La datation du moment d’acquisition de l’aimantation a été définie en analysant l’ensemble des informations archéologiques et chronométriques disponibles sur les sites. 39 nouvelles archéodirections ont été obtenues après désaimantations thermique et par champ alternatif. Les 18 archéointensités ont été déterminées par le protocole de Thellier-Thellier et généralement corrigées des effets de l’anisotropie et de la vitesse de refroidissement. Les courbes de variation séculaire françaises, construites par moyenne mobile et par la statistique hiérarchique bayésienne, ont été étendues jusqu’en 1500 av. J.-C. pour la direction et jusqu’en 800 av. J.-C. pour l’intensité. L’inclinaison a une variation non monotone entre 65 et 75° entre 1500 et 0 av. J.-C. Les variations de la déclinaison et de l’intensité sont très fortes avec un maximum en 800 av. J.-C. (30° pour D et 90 µT pour F) et un minimum (-5° pour D et 60µT pour F) en 250 av. J.-C. L’interprétation géomagnétique de la variation séculaire est difficile en raison des lacunes des jeux de données de référence hors Europe. Ces nouvelles courbes plus fiables améliorent la datation archéomagnétique au premier millénaire av. J.-C. et étendent son application à l’âge du Bronze final. Du fait de la forte variation séculaire, le premier âge du Fer est la période la plus propice. / This study aims to improve the Western Europe secular variation curve of the direction (inclination I and declination D) and the intensity (F) of the Earth’s magnetic field during the first millennium BC. New archaeomagnetic reference data were obtained from 47 kilns, hearths and sets of pottery sherds with precise magnetization acquisition ages determined through a comprehensive review of available archaeological and chronometric informations. 39 new archaeodirections were computed after thermal and alternating field demagnetizations and 18 new archaeointensities were determined by the Thellier-Thellier protocol with anisotropy and cooling rate corrections. The new French secular variation curves, built using hierarchical bayesian statistics, were extended to 1500BC for the direction and to 800BC for the intensity. Inclination vary non-monotonously (between 65 and 75°) between 1500BC and 0AD. Variations in declination and intensity are very strong with a maximum at 800BC (30° for D and 90µT for F) and a minimum at 250BC (-5° for D and 60µT for F). Interpreting the geomagnetic significance of this strong variation is hindered by the scarcity of data outside Europe. However it provides a useful marker for reliable archaeomagnetic dating in Western Europe during the Iron Age, especially during the Early Iron Age thanks to the strong secular variation. The new directional curve also allows the extension of archaeomagnetic dating to the Final Bronze Age.

Ce travail est une contribution à la caractérisation mécanique de l’os cortical. Dansce cadre, les méthodes ultrasonores sont des outils puissants pour aider à cette caractérisation.Ainsi, les phénomènes de propagation d’ondes mis en jeu lors des mesurespar les techniques ultrasonores de transmission axiale à la fréquence centrale de 1 MHzsont modélisés. Des méthodes numériques basées sur la méthode des éléments finis sontmises en oeuvre pour résoudre les systèmes d’équations aux dérivées partielles associéesaux conditions aux limites et initiales pour des tissus dont le comportement est supposé(visco-)élastique, anisotrope et/ou hétérogène. L’analyse des résultats de simulation permetde discuter l’influence des divers paramètres, non seulement en termes de propriétésmatérielles mais aussi géométriques, sur la nature des ondes qui se propagent dans lestissus. Nous avons ainsi pu analyse l’impact de ces paramètres sur la vitesse du premiersignal laquelle est considérée comme un indice pertinent pour mesurer la qualité du tissuosseux. Toujours dans le but de caractériser le tissu osseux, et en particulier pour obtenirdes valeurs de propriétés matérielles aussi proches que possible de la réalité, nous avonsdéveloppé une nouvelle méthode basée sur les développements asymptotiques, du typehomogénéisation périodique, pour prédire les modules d’élasticité effective de l’os corticaldu tissu hétérogène. / This work provides some contributions to the mechanical characterization of corticalbone by using ultrasound. Thus, the wave propagation phenomena involved during themeasurements by the ultrasound axial transmission techniques at the the central frequencyof 1 MHz are modeled. The finite element method was used to solve the equations ofwaves propagating in bone tissues whose the behavior is assumed to be (visco)elastic,anisotropic and/or heterogeneous. The analysis of simulation results allows us to discusson the influence of various parameters (not only in terms of material properties butalso geometric features), on the nature of waves that propagates through the tissue. Wewere able to analyze the impact of these parameters on the velocity of the first arrivingsignal which is known as an appropriate index to measure the quality of bone tissue.Another aspect in characterizing the bone tissue has also been considered in which wehave developed a new method based on asymptotic expansions, periodic homogenizationtype, for predicting effective properties of elasticity of heterogeneous cortical bone tissue.

Dans cette thèse, nous étudions les propriétés d’un mouvement de diffusion intermittent dans un milieu confiné.Dans ce but, nous considérons un modèle minimal de catalyse hétérogène, mettant en jeu une particule soumise à un mouvement de diffusion “surface-mediated”, alternant des phases de diffusion volumique à l’intérieur d’un disque, et des phases de diffusion surfacique sur le pourtour du disque. Pour un tel mouvement, nous obtenons des résultats pour plusieurs observables de premier passage (i) le temps moyen de premier passage d'atteindre une cible, (ii) la probabilité de splitting d’atteindre une cible spécifique, (iii) le territoire exploré avant de sortir du disque (iv) la probabilité de réaction avec des sites catalytiques. Selon la position relative de départ de de ces quantités vis-à-vis du temps d'adsorption moyen sur la surface. Nous avons montré que des excursions volumiques peuvent minimiser le temps de recherche d’une cible, même si celle-ci est située sur la surface. Nous présentons également un modèle simple de milieu poreux ordonné, constitué d’un réseau hypercubique de cavités identiques. Nous présentons deux modèles : (i) pour un mouvement brownien simple, (ii) pour un mouvement intermittent, en introduisant un paramètre de persistance. Nous montrons que ces deux modèles, dans la limite de non-persistance, converge vers le même résultat. Nous avons aussi etudié le comportement et l’optimisation du coefficient de diffusion vis-à-vis du temps moyen d’adsorption. Pour évaluer nos résultats théoriques, nous utilisons des simulations de Monte-Carlo et des résolutions numériques par le méthode des éléments finis. / In this thesis, we study first-passage properties for an intermittent Brownian motion inside a confining domain. We consider a minimal model of heterogenous catalysis in which a molecule performs surface-mediated diffusion inside a confining domain whose boundary contains catalytic sites. We obtain results for several observables : (i) the mean first-passage time to reach a target, (ii) the splitting probabilities that the molecule reach a specific target, (iii) the covered territory on the confining surface before the molecule exits the domain, (iv) the probability of reacting with catalytic sites. These results are exact for point like-targets, and are shown to be accurate also for extended targets, located on the surface or inside the bulk. Depending of the relative positions of the entrance and exit points, very different behaviors with respect to the mean adsorption time of the molecule on the surface are found. Although non-intuitive for bulk targets, it is found that boundary excursions, can minimize the search time. We also present a simple model of an ordered porous media. We present two models : (i) for a simple Brownian motion, (ii) for a surface-mediated diffusion with a parameter of persistence b. This model leads to a less simple result for the efficient diffusion coefficient. Our main result shows that in the limit of non persistence (b=0), both results are the same. We also provide an analysis of the behaviors of the efficient diffusion coefficient with respect to the mean adsorption time, showing optimisation possibilities. Numericals Monte-Carlo simulations and finite element solver have been used to evaluate our theoretical results.

La présente étude tend à replacer le contexte de la construction fédérale américaine à la lumière d'un théisme politique émergent. L'exceptionnalisme procède à ce titre d'un paradoxe originel qui vient directement nourrir nos interrogations : la reconnaissance par la lettre constitutionnelle puis par les juges de la Cour Suprême d'un véritable « mur de séparation » entre le spirituel et le temporel, parfois exacerbé par les instruments du droit, mais qui doit être associé à la mise en place d'une «religion de la République» élaborée et fortement institutionnalisée. De là, l'auteur voit dans la notion d'exceptionnalisme religieux la mise en œuvre d'une rhétorique nouvelle qui entend offrir les instruments conceptuels permettant de revisiter la subtile immixtion de l' « esprit de religion » et de l' « esprit de liberté » chers à Alexis de Tocqueville. Cette perspective a dès lors pour dessein d'entrevoir une résolution de l'impossible oxymore que forme la république théocratico-laïque. Cette apparente dichotomie ne peut être entrevue à travers une lecture exclusivement doctrinale, elle emporte au contraire nombre d'incertitudes sur le plan jurisprudentiel. L'étude démontre à ce titre que les juges, en éludant la notion d'exceptionnalisme américain, ne peuvent construire un paradigme juridique apte à apprécier de manière satisfaisante les dispositions de droit positif en matière religieuse. Aussi, le constitutionnaliste œuvre à étudier les mécanismes juridiques traduisant un phénomène sociologique exceptionnaliste. Cette approche éclaire de telle manière la notion sans cesse revisitée de « laïcité américaine ». / This study tends to put the federal construction in context of an emerging political theism. Exceptionalism reveals an original paradox that directly feeds our questions: the recognition by the Constitution then by the judges of the Supreme Court of a “wall of separation” between spiritual and temporal powers, sometimes exacerbated by the instruments of the law, but which must be associated with the establishment of a “religion of the Republic” highly developed and institutionalized. From there, the author sees the notion of religious exceptionalism as the implementation of a new rhetoric that aims to provide the conceptual tools to revisit the subtle interference of the “spirit of religion” and the “spirit of liberty”, quoted from Alexis de Tocqueville. This perspective has therefore the ambition of establishing a possible resolution of the oxymoron that forms the theocratic-secular republic. This apparent dichotomy cannot be seen through a purely doctrinal reading, it brings on the contrary many uncertainties on the jurisprudential work. The study shows that the judges, eluding the notion of American exceptionalism, cannot build a legal paradigm able to appreciate adequately the provisions of substantive law in religious matters. To this end, the constitutionalist studies the legal mechanisms resulting from an exceptionalist sociological phenomenon. This approach sheds light on the concept so constantly revisited of “American secularism”.