Le travail présenté dans ce mémoire a pour cadre le dispositif de réalité mixte ray-on, conçu par la société on-situ. Ce dispositif, dédié à la mise en valeur du patrimoine architectural et en particulier d'édifices historiques, est installé sur le lieu de l'édifice et propose à l'utilisateur une vision uchronique de celui-ci. Le parti pris étant celui du photo-réalisme, deux pistes ont été suivies : l'amélioration du mélange réel virtuel par la reproduction de l'éclairage réel sur les objets virtuels, et la mise en place d'une méthode de segmentation d'image résiliente aux changements lumineux.Pour la reproduction de l'éclairage, une méthode de rendu basé-image est utilisée et associée à une capture haute dynamique de l'environnement lumineux. Une attention particulière est portée pour que ces deux phases soient justes photométriquement et colorimétriquement. Pour évaluer la qualité de la chaîne de reproduction de l'éclairage, une scène test constituée d'une mire de couleur calibrée est mise en place, et capturée sous de multiples éclairages par un couple de caméra, l'une capturant une image de la mire, l'autre une image de l'environnement lumineux. L'image réelle est alors comparée au rendu virtuel de la même scène, éclairée par cette seconde image.La segmentation résiliente aux changements lumineux a été développée à partir d'une classe d'algorithmes de segmentation globale de l'image, considérant celle-ci comme un graphe où trouver la coupe minimale séparant l'arrière plan et l'avant plan. L'intervention manuelle nécessaire à ces algorithmes a été remplacée par une pré-segmentation de moindre qualité à partir d'une carte de profondeur, cette pré-segmentation étant alors utilisée comme une graîne pour la segmentation finale.

Les systèmes hybrides sont des systèmes dynamiques, caractérisés par un comportementdual, une interaction entre une partie discrète et une partie continue de fonctionnement.Dans le centre de notre travail se trouve une classe particulière de systèmeshybrides, plus spécifiquement les systèmes stochastiques à commutation que nous modélisonsà l’aide des Chaînes de Markov en temps continu et des équations différentielles.Le comportement aléatoire de ce type de système nécessite une commande spécialequi s’adapte aux événements arbitraires qui peuvent changer complètement l’évolutiondu système. Nous avons choisi une politique de contrôle basée sur les événements quiest déclenchée seulement quand il est nécessaire (sur un événement incontrôlable - parexemple un seuil qui est atteint), et jusqu’à ce que certaines conditions de fonctionnementsont remplies (le système revient dans l’état normal).Notre approche vise le développement d’un modèle probabiliste qui permet de calculerun critère de performance (en occurrence l’énergie du système) pour la politiquede contrôle choisie. Nous proposons d’abord une méthode de simulation à événementsdiscrets pour le système stochastique à commutation commandé, qui nous donne la possibilitéde réaliser une optimisation directe de la commande appliquée sur le système etaussi de valider les modèles analytiques que nous avons construit pour l’application ducontrôle.Un modèle analytique pour déterminer l’énergie consommée par le système a étéconçu en utilisant les probabilités de sortie de la région de contrôle, respectivement lestemps de séjour dans la chaîne de Markov avant et après avoir atteint les limites decontrôle. La dernière partie du travail présente la comparaison des résultats obtenusentre la méthode analytique et la simulation. / Hybrid systems are dynamical systems, characterized by a dual behaviour, a continuousinteraction between a discrete and a continuous functioning part. The center ofour work is represented by a particular class of hybrid systems, more specific by thestochastic switching systems which we model using continuous time Markov chains anddifferential equations.The random behaviour of such systems requires a special command which adapts tothe arbitrary events that can completely change the evolution of the system. We chose anevent-based control policy which is triggered only when it’s necessary (on an unforeseenevent - for example when a threshold that is reached), and until certain functioningconditions are met (the system returns in the normal state).Our approach aims to develop a probabilistic model that calculates a performancecriterion (in this case the energy of the system) for the proposed control policy. We startby proposing a discrete event simulation for the controlled stochastic switching system,which gives us the opportunity of applying a direct optimisation of the control command.It also allows us to compare the results with the ones obtained by the analytical modelswe have built when the event-based control is applied.An analytical model for computing the energy consumed by the system to apply thecontrol is designed by using the exit probabilities of the control region, respectively, thesojourn times of the Markov chain before and after reaching the control limits. The lastpart of this work presents the results we have obtained when comparing the analyticaland the simulation method.

L'objectif principal de cette thèse est d'apporter des solutions à certaines problèmes du test combinatoire. Le test combinatoire consiste à générer des tests qui couvrent toutes les combinaisons de valeurs d'entrée définies. La première problème abordé, c'est que le test combinatoire peut générer un grand nombre de tests qui sont invalides par rapport à la spécification du système à tester (SUT). Ces tests invalides sont typiquement ceux qui échouent lors de la vérification de la pré-condition d'une opération de système. Ces tests invalides doivent être éliminés de l'ensemble des tests utilisé pour évaluer le SUT, car ils conduisent à des verdicts non concluants. Comme solution, nous proposons de coupler la technique de test combinatoire à une technique d'animation qui repose sur une spécification pour filtrer les tests invalides. Dans notre travail, les tests combinatoires sont générés à partir d'un patron de test. Ce patron est essentiellement défini comme une séquence d'appels d'opérations, en utilisant un ensemble de valeurs pour les paramètres. Le dépliage d'un patron de test complexe, où plusieurs valeurs d'entrée sont utilisées, peut être soumis à une explosion combinatoire, et il est impossible d'avoir des tests valides à partir du patron de test. Il s'agit d'une deuxième problématique de cette thèse. Comme solution, nous proposons un processus de dépliage et d'animation incrémental qui permet de filtrer à un stade précoce (dans la séquence d'appels d'opération) les tests invalides, et donc de maîtriser l'explosion combinatoire. D'autres mécanismes de filtrage sont proposés, pour filtrer les tests qui ne couvrent pas certains comportements d'opération ou ne remplissent pas une propriété donnée. Le nombre de tests générés à partir d'un patron de test peut être considérablement grand pour être exécuté sur un SUT avec ressources mémoires et processeurs limitées. Ce problème est connu sous le nom de problème de réduction de suites de tests, et il représente le troisième problème de cette thèse. Comme solution, nous proposons une nouvelle technique de réduction de suites de tests basée sur les annotations (appelés tags) insérées dans le code source ou la spécification du SUT. L'exécution / animation de tests génère une trace des annotations couverts. Basé sur cette trace d'exécution, une famille de relations d'équivalence est proposée, pour réduire une suite de tests, en utilisant les critères d'ordre et de nombre de répétition des tags couverts. / The main objective of this thesis is to provide solutions to some combinatorial testing issues. The combinatorial testing consists in generating tests that cover all combinations of defined input values. The first issue of this thesis is that combinatorial testing can generate a large number of tests that are invalid according to the specification of the System Under Test (SUT). These invalid tests are typically those which fail the verification of the precondition of system operation. These invalid tests must be discarded from the set of tests used to evaluate the SUT, because they lead to inconclusive verdicts. As a solution, we propose to couple the combinatorial testing technique to an animation technique that relies on a specification to filter out invalid tests. In our work, combinatorial tests are generated from a test pattern. This pattern is mainly defined as a sequence of operation calls, using a set of values for their parameters. The unfolding of a complex test pattern, where many operation calls and/or input values are used, may be subject to combinatorial explosion, and it is impossible to provide valid tests from the test pattern. This is a second issue of this thesis. As a solution, we propose an incremental unfolding and animation process that allows to filter out at early stage (in the operation sequence) invalid tests, and therefore to master the combinatorial explosion. Other mechanisms of filtering are proposed to filter out tests which do not cover some operation behaviors or do not fulfill a given property. The test suites generated from a test pattern can be very large to execute on the SUT due the limited memory or CPU resources. This problem is defined as the test suite reduction problem, and it is the third issue of this thesis. As a solution, we propose a new test suite reduction technique based on annotations (called tags) inserted in the source code or the specification of the SUT. The execution/animation of tests generates a trace of the covered annotations. Based on the trace, a family of equivalence relations is proposed, to reduce a test suite, using the criteria of order and number of repetition of covered tags.

Les solveurs de calcul en mécanique des fluides numérique (solveurs CFD) ont atteint leur maturité en termes de précision et d'efficacité de calcul. Toutefois, des progrès restent à faire pour les écoulements instationnaires surtout lorsqu'ils sont régis par de grandes structures cohérentes. Pour ces écoulements, les solveurs CFD actuels n'apportent pas de solutions assez précises à moins d'utiliser des maillages très fins. De plus, la haute précision est une caractéristique cruciale pour l'application des stratégies avancées de simulation de turbulence, comme la Simulation des Grandes Echelles (LES). Afin d'appliquer les méthodes d'ordre élevé pour les écoulements instationnaires complexes plusieurs points doivent être abordés dont la robustesse numérique et la capacité à gérer des géométries complexes.Dans cette thèse, nous étudions une famille d'approximations compactes qui offrent une grande précision non pour chaque dérivée spatiale traitée séparement mais pour le résidu r complet, c'est à dire la somme de tous les termes des équations considérées. Pour des problèmes stationnaires résolus par avancement temporelle, r est le résidu à l'état stationnaire ne comprenant que des dérivées spatiales; pour des problèmes instationnaires r comprend également la dérivée temporelle. Ce type de schémas sont appelés schémas Compacts Basés sur le Résidu (RBC). Plus précisément, nous développons des schémas RBC d'ordre élevé pour des écoulements instationnaires compressibles, et menons une étude approfondie de leurs propriétés de dissipation. Nous analysons ensuite les erreurs de dissipation et la dispersion introduites par les schémas RBC afin de quantifier leur capacité à résoudre une longueur d'onde donnée en utilisant un nombre minimal de points de maillage. Les capacités de la dissipation de RBC à drainer seulement l'énergie aux petites échelles sous-résolues sont également examinées en vue de l'application des schémas RBC pour des simulations LES implicites (ILES). Enfin, les schémas RBC sont étendus à la formulation de type volumes finis (FV) afin de gérer des géométries complexes. Une formulation FV des schémas RBC d'ordre trois préservant une précision d'ordre élevé sur des maillages irréguliers est présentée et analysée. Des applications numériques, dont la simulation d'écoulements instationnaires complexes de turbomachines régis par les équations de Navier-Stokes moyennées et des simulations ILES d'écoulements turbulents dominés par des structures cohérentes dynamiques ou en décroissance, confirment les résultats théoriques. / Computational Fluid Dynamics (CFD) solvers have reached maturity in terms of solution accuracy as well as computational efficiency. However, progress remains to be done for unsteady flows especially when governed by large, coherent structures. For these flows, current CFD solvers do not provide accurate solutions unless very fine mesh are used. Moreover, high-accuracy is a crucial feature for the application of advanced turbulence simulation strategies, like Large Eddy Simulation (LES). In order to apply high-order methods to complex unsteady flows several issues needs to be addressed among which numerical robustness and the capability of handling complex geometries.In the present work, we study a family of compact approximations that provide high accuracy not for each space derivative treated apart but for the complete residual r, i.e. the sum of all of the terms in the governing equations. For steady problems solved by time marching, r is the residual at steady state and it involves space derivatives only; for unsteady problems, r also includes the time derivative. Schemes of this type are referred-to as Residual-Based Compact (RBC). Precisely, we design high-order finite difference RBC schemes for unsteady compressible flows, and provide a comprehensive study of their dissipation properties. The dissipation and dispersion errors introduced by RBC schemes are investigated to quantify their capability of resolving a given wave length using a minimal number of grid-points. The capabilities of RBC dissipation to drain energy only at small, ill-resolved scales are also discussed in view of the application of RBC schemes to implicit LES (ILES) simulations. Finally, RBC schemes are extended to the Finite Volume (FV) framework in order to handle complex geometries. A high-order accuracy preserving FV formulation of the third-order RBC scheme for general irregular grids is presented and analysed. Numerical applications, including complex Reynolds-Averaged Navier-Stokes unsteady simulation of turbomachinery flows and ILES simulations of turbulent flows dominated by coherent structure dynamics or decay, support the theoretical results.

Ce manuscrit traite de la conception d’un robot quadrirotor bio-inspiré. Ce robot, nommé QuadMorphing, s’inspire de l’oiseau et possède la capacité de se replier en vol afin de diminuer son envergure. Cette particularité est intéressante pour des problématiques d’évitement d’obstacles dans des milieux encombrés.Le travail présenté ici contient une présentation du robot où la plateforme mécatronique y est décrite en détails. Puis, des résultats expérimentaux sont présentés et commentés afin de quantifier les performances du prototype QuadMorphing durant des scénarios de franchissement d’obstacles.La deuxième partie de cette thèse traite de l’estimation de la taille d’obstacles en vol grâce à une perception visuelle monoculaire. Deux algorithmes d’estimation ont été simulés afin d’être validés pour être ensuite mis en place sur une nouvelle version du robot qui a été testée expérimentalement. Ces estimations permettent par la suite de rendre le robot plus autonome pour éviter les collisions avec son environnement et actionner son système de changement de forme si cela est nécessaire. / This paper describes a bio-inspired quadrotor design. This robot, called QuadMorphing, is inspired by birds and has the ability to fold its mechanical structure to reduce its wingspan during the flight. This feature could be useful for obstacle avoidance task in cluttered environments.The work presented here contains a full description of the mechatronic structure. Then, experimental results are presented and discussed in order to quantify the QuadMorphing performances during obstacle avoidance scenarios.The second part of this thesis deals with estimating obstacle size during flight using monocular visual perception. Two estimation algorithms were simulated in order to be validated and then implemented for experimental testing on a new version of the robot. In order to make the robot autonomous, the estimation of the size of the obstacle allows the robot to avoid collisions with its environment and to perform its morphological reduction if necessary.

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

L'agression sexuelle est un facteur de risque majeur lié au trouble de stress (TSPT) chez les adolescents . La mentalisation, définie posttraumatique comme la capacité d'identifier les états mentaux de soi et des autres, jouerait un rôle dans les manifestations de l'abus sexuel et le TSPT chez l'enfant et l'adulte. Cette contribution n'a toutefois pas été étudié chez l'adolescent. L'objectif de l'étude mentalisation est d'évaluer les relations entre l'agression sexuelle, la n et le TSPT dans un échantillon composé de 421 adolescents âgés 12 à 17 ans dans un contexte clinique. Les participants ont été recrutés dans un hôpital psychiatrique privé pour adolescents. Ils ont complété le Movie for Assessment of Social Cognition (MASC), le Child Attachment Interview (CAI), le Reflective Function Questionnaire for Youth (RFQ Y), le Computerized Diagnostic Interview Schedule for Children (CDISC), le Childhood Trauma Questionnaire (CTQ) et le Trauma Symptom Checklist for Children (TSCC ). Les résultats révèlent une association entre l'agression sexuelle et les symptômes de TSPT. Les participants présentant un historique d'agression sexuelle ont démontré une capacité de mentalisation diminuée en utilisant le MASC et le RFQY, mais ont cependant démontré une capacité de mentalisation élevée en utilisant le CAI. La mentalisation a joué un rôle médiateur dans la relation entre l'agression sexuelle et le TSPT. Ces résultats présentent un soutien empirique préliminaire pour les associations entre la mentalisation, l'agression sexuelle et le TSPT dans un échantillon d'adolescents. / Sexual abuse (SA) is a major risk factor for PTSD in adolescents. Mentalizing, which refers to the capacity to reflect on the mind of the self and others, has been shown to be associated with both SA and PTSD in children and adults, though these associations remain to be tested in an adolescent sample. The aim of this study was to examine associations between mentalizing, SA, and PTSD in a clinical sample of 421 adolescents aged 12 to 17. Participants were recruited from a private inpatient psychiatric hospital for adolescents. Participants completed the Movie for Assessment of Social Cognition (MASC), the Child Attachment Interview (CAI), the Reflective Function Questionnaire for Youth (RFQ-Y), the Computerized Diagnostic Interview Schedule for Children (C-DISC), the Childhood Trauma Questionnaire (CTQ), and the Trauma Symptom Checklist for Children (TSCC). As hypothesized, adolescents with a history of SA reported significantly greater PTSD symptoms and had lower mentalizing scores using the MASC and the RFQ-Y. An unexpected finding was that adolescents with a history of SA also showed higher mentalizing scores using the CAI, possibly due to SA activating mentalizing regarding self and attachment figures during the adolescent period. The main study finding was that mentalizing mediated the relationship between SA and PTSD, providing support for the hypothesis that the relationship between SA and PTSD can be understood through the mediating influence of mentalizing in an adolescent sample.

Depuis l'avènement des technologies, nous observons un intérêt marqué pour l'étude de l'association entre des concepts psychologiques et physiques. À l'heure actuelle, aucune étude ne semble avoir évalué le lien existant entre le fonctionnement réflexif, l'attachement ainsi qu'un marqueur physiologique tel que l'arythmie sinusale respiratoire chez les enfants d'âge scolaire dans un contexte de régulation émotionnelle. Cette étude a donc pour objectif d'examiner l'association entre le fonctionnement réflexif et la réactivité physiologique d'enfant d'âge scolaire en réponse à une tâche standardisée susceptible d'évoquer des besoins liés à l'attachement et d'examiner dans quelle mesure cette association est médiée/modérée par l'attachement. Un échantillon de 76 enfants de la communauté âgé de 8 à 12 ans a complété dans un premier temps le Child Attachment Interview (CAI). Dans un deuxième temps, ils ont complété la tâche standardisée, susceptible d'évoquer des besoins liés à l'attachement, puis une mesure de leur réactivité cardiaque conceptualisée en tant que l'arythmie sinusale respiratoire a été collectée en deux temps de mesure, soit la réactivité et la régulation. Les résultats révèlent qu'un niveau de fonctionnement réflexif élevé est associé à un niveau de réactivité physiologique plus faible (niveau d'arythmie sinusale respiratoire plus élevé) pendant la tâche standardisée ainsi qu'à une meilleure régulation à la suite de la tâche. Ces résultats particulièrement saillants pour les enfants avec un attachement préoccupé, n'ont toutefois pas été observés chez les enfants avec un attachement détaché. Cette étude permet de conclure que le fonctionnement réflexif est lié à la régulation émotionnelle chez les enfants.

Résumé : Plusieurs tremblements de terre passés ont montré que face aux séismes, les ponts peuvent être les points faibles d’un réseau de transport. Néanmoins, les retours des expériences postsismiques ainsi que les études théoriques et expérimentales effectuées par les chercheurs et les ingénieurs de la pratique ont permis de faire évoluer les règles de l'art relatives au comportement sismique des ponts. Un des résultats de cette évolution est le dimensionnement basé sur la performance sismique (DBPS). En bref, le DBPS tente de concevoir des structures qui atteindront un état limite de performance déterminé lorsqu’ils sont soumis à un séisme d’une intensité donné. Toutefois, dans l'optique du DBPS, il est primordial de situer les états limites des composantes principales des ponts, principalement des piliers, de manière mesurable plutôt que phénoménologique. Lors du développement de courbes de fragilité des ponts au Québec, il est apparu que les états limites des piliers de ponts n'étaient pas clairement définis. Un programme de recherche expérimental a donc été conçu pour déterminer les états limites des piliers de pont en béton armé. Le projet comprend l’essai d’un poteau en béton armé à échelle réelle soumis à des cycles de chargement latéral en plus d’une charge axiale constante représentative du niveau de chargement réel. Le poteau reproduit les propriétés exactes des piliers du pont Chemin des Dalles (Trois-Rivières, Québec). Ce projet de recherche vise à améliorer l’évaluation de la fragilité sismique des ponts actuels du réseau routier québécois et à optimiser le dimensionnement sismique des futures structures selon l’approche basée sur la performance sismique. En particulier, le projet cherche à répondre aux incertitudes importantes qui subsistent sur la description quantitative des états limites des piliers de ponts en béton armé, particulièrement au niveau des déformations associées. / Abstract : Several past earthquakes have shown that bridges can be the weak points of a transport network. Nevertheless, returns of the post-seismic experiences as well as theoretical and experimental studies made by researchers and practice engineers allowed the art rules evolution related to the seismic behavior of bridges. One result of this evolution is the seismic performance based design (DBPS). In brief, the DBPS tries to design structures which will reach a certain limit state of performance when they are submitted to an earthquake of a given intensity. However, in the optics of the DBPS, it is essential to define the limit states of the main components of bridges, mainly for columns, in a measurable way rather than phenomenological. During the development of the fragility curves of bridges in Québec, it seemed that the limit states of the bridges columns were not clearly defined. An experimental research program was thus designed to determine the limit states of the reinforced concrete bridge columns. The project includes the testing of a large-scale reinforced concrete bridge column submitted to lateral cycles load in addition to a constant axial load which represented the real dead load level. The column reproduces the exact properties of the Chemin des Dalles bridge columns (Trois-Rivières, Québec). This research project aims to improve the evaluation of the seismic fragility of existing bridges of Québec road network and optimize the seismic design for future structures according to the performance based seismic approach. In particular, the project seeks to address the significant uncertainties which remain on the quantitative description of the limit states of the reinforced concrete bridge columns, particularly at the associated deformations level.

Un réseau de capteurs d'images sans fil (RCISF) est un réseau ad hoc formé d'un ensemble de noeuds autonomes dotés chacun d'une petite caméra, communiquant entre eux sans liaison filaire et sans l'utilisation d'une infrastructure établie, ni d'une gestion de réseau centralisée. Leur utilité semble majeure dans plusieurs domaines, notamment en médecine et en environnement. La conception d'une chaîne de compression et de transmission sans fil pour un RCISF pose de véritables défis. L'origine de ces derniers est liée principalement à la limitation des ressources des capteurs (batterie faible , capacité de traitement et mémoire limitées). L'objectif de cette thèse consiste à explorer des stratégies permettant d'améliorer l'efficacité énergétique des RCISF, notamment lors de la compression et de la transmission des images. Inéluctablement, l'application des normes usuelles telles que JPEG ou JPEG2000 est éner- givore, et limite ainsi la longévité des RCISF. Cela nécessite leur adaptation aux contraintes imposées par les RCISF. Pour cela, nous avons analysé en premier lieu, la faisabilité d'adapter JPEG au contexte où les ressources énergétiques sont très limitées. Les travaux menés sur cet aspect nous permettent de proposer trois solutions. La première solution est basée sur la propriété de compactage de l'énergie de la Transformée en Cosinus Discrète (TCD). Cette propriété permet d'éliminer la redondance dans une image sans trop altérer sa qualité, tout en gagnant en énergie. La réduction de l'énergie par l'utilisation des régions d'intérêts représente la deuxième solution explorée dans cette thèse. Finalement, nous avons proposé un schéma basé sur la compression et la transmission progressive, permettant ainsi d'avoir une idée générale sur l'image cible sans envoyer son contenu entier. En outre, pour une transmission non énergivore, nous avons opté pour la solution suivante. N'envoyer fiablement que les basses fréquences et les régions d'intérêt d'une image. Les hautes fréquences et les régions de moindre intérêt sont envoyées""infiablement"", car leur pertes n'altèrent que légèrement la qualité de l'image. Pour cela, des modèles de priorisation ont été comparés puis adaptés à nos besoins. En second lieu, nous avons étudié l'approche par ondelettes (wavelets ). Plus précisément, nous avons analysé plusieurs filtres d'ondelettes et déterminé les ondelettes les plus adéquates pour assurer une faible consommation en énergie, tout en gardant une bonne qualité de l'image reconstruite à la station de base. Pour estimer l'énergie consommée par un capteur durant chaque étape de la 'compression, un modèle mathématique est développé pour chaque transformée (TCD ou ondelette). Ces modèles, qui ne tiennent pas compte de la complexité de l'implémentation, sont basés sur le nombre d'opérations de base exécutées à chaque étape de la compression.