La présente thèse se propose de réfléchir sur le caractère cinétique de la méthode analogique adopté dans le De motu animalium d’Aristote. En considèrant que l'objet du traité est la cause commune du mouvement et qu'Aristote en adopte une solution du type paradigmatique, d'une manière générale l'automotricité est le thème pendant que le membre articulé est le phore dans le raisonnement analogique du DMA. Nous considérons hypothétiquement que les stratégies plastiques sont le fil conducteur du raisonnement suivi par la recherche de la cause commune de la motricité pour tout mouvement. Notre double objectif général est, d’une part de tirer les acquis philosophiques sur le caractère immanent du principe du mouvement de la recherche menée dans le DMA et, d’autre part de percevoir le caractère cinétique et plastique de sa démarche, qui comporte des procédés méthodologiques dynamiques dans le but de s’adapter à l’objet. Ce que nous faisons en deux pas : premièrement par l’analyse des étapes de l’établissement du paradigme du membre articulé ; et en suite par l’analyse de l’analogie entre le membre articulé et l’automotricité animée. Les deux analyses visent saisir des éléments pour confronter les deux termes de l'analogie et vérifier la validité de toute la thèse et de la considération selon laquelle, la méthode analogique est un l'instrument plastique de la pensée de l'immanence. / This thesis proposes to reflect on the kinetic character of the analogical method adopted in De Motu Animalium of Aristotle. Considering that the object of the treatise is the common cause of the movement of animais, in general, automotricity is the "thème" while the articulated member is the ''phore" in De Motu's analogical reasoning. Hypothetically we consider that the plastic strategies of the analogical method of De motu are the guiding thread of the reasoning undertaken in the research on the common cause of the motility of ail animal movements. Our general double aim is: on the one hand, to take philosophical acquisitions on the immanent character of the principle of movement, and on the other hand, to grasp the kinetic and plastic character of this philosophical enterprise, which involves dynamic methodological procedures in view of the adaptation of the method to the object. We seek to achieve these objectives through two analyses: first, the analysis of the stages of the establishment of the articulated member paradigm (AMP), and then the analysis of the main analogy of the treatise, between the articulated limb and the animated automotricity. Through the two analyses we must gather the necessary elements to confront the two tenns of the main analogy, as well as to verify the general validity of the thesis and also the consideration according to which the analogical method of De Motu Animalium is a plastic instrument of the thought of immanence.

L'autosimilarité et l'évolution asymptotique intermédiaire sont des caractéristiques fondamentales de divers phénomènes physiques. Les recherches dans le domaine de l'optique ont mené à la prévision et à l'observation du similariton, nouvelle classe d'impulsions optiques ultracourtes présentant un profil d'intensité parabolique et développé par celles-ci au cours de leur propagation dans un amplificateur fibré à dispersion normale. Au delà de leur intérêt scientifique, les similaritons optiques sont d'une importance pratique primordiale du fait que leur profil peut être maintenu sans distorsion dans toute fibre à dispersion normale active ou passive et parce qu'ils possèdent un chirp strictement linéaire facilitant leur compression. Ce mémoire s'attache à mettre en évidence les possibilités d'obtention de ce profil dans un amplificateur à fibre dopée erbium. Les impulsions expérimentales caractérisées à l'aide d'un dispositif FROG présentent un profil d'intensité ainsi qu'une dérive fréquentielle en accord avec les résultats issus d'un modèle numérique. Nous avons aussi été en mesure d'étudier la formation des ailes du similariton durant son régime asymptotique intermédiaire. Une application typique des similaritons consiste dans le développement de sources impulsionnelles ultracourtes; expérimentalement nous avons développé un dispositif femtoseconde totalement fibré combinant un amplificateur à similaritons et une fibre à bandes interdites photoniques.

.

Notre travail de recherche s'inscrit dans le cadre du projet de recherche REDiM (Réingénierie des EIAH Dirigée par les Modèles) qui porte sur la réingénierie d'un scénario pédagogique. Il se focalise plus précisément sur l'analyse de traces collectées en session par un EIAH pour fournir à l'enseignant des indicateurs calculés.Dans notre contexte de travail, UTL (Usage Tracking Language) permet de définir des indicateurs sous une forme proche des patrons de conception. Il a été conçu pour répondre aux questions de capitalisation et de réutilisation. Par contre, UTL ne disposait initialement pas de moyens pour spécifier formellement la façon de calculer l'indicateur à partir des traces collectées. De plus, les approches par développement ad hoc d'indicateurs ne permettent pas de modéliser de façon formelle la méthode de calcul. En général, les patrons de conception se limitent à la description, ils ne peuvent donc pas être automatisés. Des descriptions textuelles dans UTL pour produire un indicateur à partir des traces ne permettent pas de générer automatiquement les valeurs d'un indicateur.Notre principal objectif de recherche a donc été de définir des modèles, des méthodes et des outils pour la formalisation et l'automatisation du calcul d'indicateurs. Pour cela, nous avons élaboré une nouvelle version d'UTL qui intègre un langage de combinaison de données nommé DCL4UTL, qui permet de modéliser des indicateurs sous une forme capitalisable, automatisable et réutilisable afin de fournir des indicateurs signifiants à l'enseignant/concepteur. Ces indicateurs peuvent être calculés en temps réel ou après une session, respectivement dans un contexte de tutorat ou de réingénierie du scénario pédagogique.L'originalité de notre approche réside dans le fait que cette version permet non seulement de capitaliser des savoir-faire sur les techniques d'analyse d'usage d'un EIAH, mais aussi, avec le langage DCL4UTL (1) de décrire formellement dans une forme générique des méthodes de modélisation et de calcul d'indicateurs à partir des traces collectées par un EIAH, (2) d'intégrer des fonctions externes (qui proviennent d'autres outils d'analyse), et (3) de créer des données intermédiaires paramétrées facilitant la modélisation et la réutilisation de la méthode de calcul d'indicateurs. Nous avons également développé un outil d'analyse pour calculer les indicateurs modélisés.Cette version est le résultat d'une étude théorique et d'une analyse de l'état de l'art, mais aussi de travaux exploratoires sur la modélisation d'indicateurs et l'analyse de traces. L'approche et le langage ont été validés par plusieurs expérimentations avec plusieurs EIAH existants.

Le présent travail étudie le comportement couplé hydromécanique de la couche intermédiaire des plates-formes ferroviaires anciennes. L'objectif principal est de vérifier le fonctionnement des plates-formes sans drainage et d'optimiser les travaux de modernisation de voies anciennes en déblai. Premièrement, les essais d'identification ont été réalisés sur les matériaux prélevés sur le site de Sénissiat. Les résultats ont montré que le sol de la couche intermédiaire de ce site présente une granulométrie bien étalée de 0 à 63 mm et une densité très élevée (d = 2,39 Mg/m3). Deuxièmement, une nouvelle colonne d'infiltration et un moule de compression de 300 mm de diamètre ont été développés permettant d'étudier le comportement hydraulique de la couche intermédiaire. Une faible perméabilité (ks  2,2.10-7 m/s) de cette couche a été estimée à partir des résultats expérimentaux. Troisièmement, une étude expérimentale sur le comportement mécanique de la couche intermédiaire a été réalisée. Cette étude a mis en évidence l'influence marquée de la teneur en eau sur le comportement mécanique de la couche intermédiaire. Un modèle de fatigue avec prise en compte de l'influence du nombre de cycles, du niveau de contrainte appliqué et de l'état hydrique a été élaboré en se basant sur les résultats expérimentaux. Finalement, les mesures de succion, de température et de paramètres météorologiques ont été réalisées sur les plates-formes en déblai sans drainage du site de Moulin Blanc pour compléter l'étude du comportement des plates-formes sans drainage. Une analyse globale des résultats obtenus au laboratoire avec les mesures in-situ a montré que la décision de ne pas mettre en place un dispositif de drainage devra être assortie de justificatifs permettant de s'assurer de la limitation de la teneur en eau de la couche intermédiaire, en se basant sur une étude approfondie sur le cycle d'eau pour chaque site concerné

La validation des systèmes critiques réalistes nécessite d'être capable de modéliser et de vérifier formellement des données complexes, du parallélisme asynchrone, et du temps-réel simultanément. Des langages de haut-niveau, comme ceux qui héritent des fondations théoriques des algèbres de processus, ont une syntaxe concise et une grande expressivité pour représenter ces aspects. Cependant, ils disposent de peu d'outils logiciels permettant d'appliquer des algorithmes efficaces du model-checking. Néanmoins, de tels outils existent pour des modèles graphiques, de niveau plus bas, tels que les automates temporisés (par exemple Uppaal) et les réseaux de Petri temporisés (par exemple Tina). Les modèles intermédiaires sont un moyen pour combler le fossé qui sépare les langages des modèles graphiques. Par exemple, NTIF (New Technology Intermediate Format) a été proposé pour représenter des processus séquentiels non-temporisés qui manipulent des données complexes. Dans cette thèse, nous proposons un nouveau modèle nommé ATLANTIF, qui enrichit NTIF de constructions temps-réel et de compositions parallèles de processus séquentiels. Leur synchronisation est exprimée d'une manière simple et intuitive par la nouvelle notion de synchroniseur. Nous montrons qu'ATLANTIF est capable d'exprimer les constructions principales des langages de haut niveau. Nous présentons aussi des traducteurs d'ATLANTIF vers des automates temporisés (pour la vérification avec Uppaal) et vers des réseaux de Petri temporisés (pour la vérification avec Tina). Ainsi, ATLANTIF étend la classe des systèmes qui peuvent en pratique être vérifiés formellement, ce que nous illustrons par un exemple.

Le mode de désintégration en une paire de photons est la signature la plus claire permettant de rechercher un boson de Higgs de masse intermédiaire auprès du futur grand collisionneur de protons du CERN, le LHC. Puisque la largeur naturelle du Higgs est très faible dans cette zone, son observation dans ce canal repose sur les performances du calorimètre électromagnétique. Une étude complète a été effectuée pour évaluer le potentiel de découverte du détecteur ATLAS. Les paramètres et la géométrie du calorimètre électromagnétique à argon liquide ont été optimisés. Les résultats de la simulation utilisée pour ce travail sont confirmés par des tests sur faisceau d'un prototype. Cette simulation inclut différentes contributions comme le terme d'échantillonnage, les bruits d'électronique et d'empilement, le terme constant global du calorimètre et la mesure de direction de l'angle d'émission des photons de la paire. Le niveau de bruit de fond irréductible des paires de photons directs a été évalué, tout comme celui du bruit de fond réductible des jets de hadrons, et plus particulièrement celui des pions neutres isolés. Pour cela, la capacité du détecteur à rejeter ces bruits de fonds a été estimée. Le calcul de la résolution de masse invariante des paires de photons et l'estimation du taux d'événements de signal et de bruit de fond ont permis de calculer le potentiel de découverte du Higgs par le détecteur ATLAS pour ce canal. Un effet systématique à plus de cinq écarts types sera mis en évidence en une année de prise de données au LHC, si la masse du boson de Higgs est comprise entre 100 GeV/c2 et 150 GeV/c2.

Le travail présenté ici est sous-tendu par deux observations majeures. Premièrement, la plupart des modèles proposés pour le français s'accordent sur l'existence de deux niveaux de structure prosodique: le syntagme accentuel et le syntagme intonatif. Deuxièmement, bien que l'existence d'un niveau additionnel de structure situé entre ces deux niveaux ait été proposé pour le français, les propriétés phonétiques et phonologiques de ce constituant n'ont pas clairement été définies. Dans cette thèse nous avons fourni des preuves de l'existence du syntagme intermédiaire (ip) à la fois en production et en perception de la parole. Grâce à cinq expérimentations menées dans le cadre de la phonologie de laboratoire, nous avons caractérisé les propriétés phonético-phonologiques de ce constituant et attesté de son rôle dans le traitement perceptif du langage. Les résultats obtenus en production montrent que l'ip est le domaine de l'abaissement des accents mélodiques en français. Sa frontière droite est marquée par un allongement pré-frontière ainsi qu'un accent de syntagme responsable du retour à la ligne de référence du registre. Les analyses menées en perception ont montré que les frontières droites du syntagme accentuel et du syntagme intermédiaire sont utilisées très tôt dans le processus de traitement syntaxique. Les indices phonétiques et phonologiques présents à ces frontières permettent aux auditeurs du français de construire des attentes sur la structure syntaxique des énoncés perçus. Une analyse séparée des différents types d'indices acoustiques a également montré qu'en l'absence de marquage tonal, les indices de durée semblent suffisants dans le but de marquer la frontière de syntagme accentuel. Un marquage conjoint de la frontière droite d'ip par les indices mélodiques et l'allongement pré-frontière semble au contraire nécessaire pour que les auditeurs du français perçoivent et utilisent cette frontière dans le traitement du langage.

La théorie de la rigidité permet de prédire l'évolution en fonction de la composition de nombreuses propriétés des verres, en réduisant la structure moléculaire de ces derniers à de simples treillis mécaniques pouvant être flexibles, isostatiques ou rigides sur-contraints. Originellement développée pour les chalcogénures à température nulle et pression ambiante, cette théorie a été peu à peu étendue. Dans cette thèse, nous nous proposons d'établir une méthode générale d'analyse des contraintes topologiques par Dynamique Moléculaire, dans le but de pouvoir étudier la rigidité de systèmes plus complexes ou soumis à de nouvelles conditions thermodynamiques. Nous montrons ainsi que notre algorithme permet d'étudier aussi bien la rigidité des chalcogénures que des verres d'oxyde tout en off rant une image intuitive de la nature des contraintes à l'échelle atomique. Nous montrons également qu'il est possible de suivre le comportement de ces dernières en fonction de la composition, de la température et de la pression. Cette méthode permet de suivre en fonction de la composition les transitions de rigidité au sein des systèmes ainsi que de mettre en évidence l'existence de phases intermédiaires. Nous rapportons également l'existence d'une phase intermédiaire induite par la pression et montrons que cette dernière présente les mêmes signatures dynamiques et structurales que la phase intermédiaire traditionnelle en composition. En fin, nous mettons en évidence le caractère fortement hétérogène des contraintes topologiques au sein du réseau vitreux.

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