Ces travaux de recherche ont pour objectif de contribuer au développement et à l'exploitation d'outils de vérification des problèmes de mécanique linéaires dans le cadre des méthodes de décomposition de domaine sans recouvrement. Les apports de cette thèse sont multiples : * Nous proposons d'améliorer la qualité des champs statiquement admissibles nécessaires à l'évaluation de l'estimateur par une nouvelle méthodologie de reconstruction des contraintes en séquentiel et par des optimisations du calcul de l'intereffort en cadre sous-structuré.* Nous démontrons des bornes inférieures et supérieures de l'erreur séparant l'erreur algébrique (due au solveur itératif) de l'erreur de discrétisation (due à la méthode des éléments finis) tant pour une mesure globale que pour une quantité d'intérêt. Cette séparation permet la définition d'un critère d'arrêt objectif pour le solveur itératif.* Nous exploitons les informations fournies par l'estimateur et les espaces de Krylov générés pour mettre en place une stratégie auto-adaptative de calcul consistant en une chaîne de résolution mettant à profit remaillage adaptatif et recyclage des directions de recherche. Nous mettons en application le pilotage du solveur par un objectif de précision sur des exemples mécaniques en deux dimensions. / This research work aims at contributing to the development of verification tools in linear mechanical problems within the framework of non-overlapping domain decomposition methods.* We propose to improve the quality of the statically admissible stress field required for the computation of the error estimator thanks to a new methodology of stress reconstruction in sequential context and thanks to optimizations of the computations of nodal reactions in substructured context.* We prove guaranteed upper and lower bounds of the error that separates the algebraic error (due to the iterative solver) from the discretization error (due to the finite element method) for both global error measure mentand goal-oriented error estimation. It enables the definition of a new stopping criterion for the iterative solver which avoids over-resolution.* We benefit the information provided by the error estimator and the Krylov subspaces built during the resolution to set an auto-adaptive strategy. This strategy consists in sequel of resolutions and takes advantage of adaptive remeshing and recycling of search directions .We apply the steering of the iterative solver by objective of precision on two-dimensional mechanical examples.

Au cours des années 1990, en Ontario, au moins quatorze individus furent accusés et déclarés responsables de la mort d’un enfant qui, au moment du décès, était seul en compagnie de l’inculpé. Plusieurs de ces condamnés furent acquittés à la suite de la découverte d’erreurs commises par le pathologiste médicolégal, tant durant l’autopsie qu’au cours de ses témoignages. Pourtant, il n’était pas le seul à en porter la responsabilité. Les erreurs judiciaires survenues lors de ces procès auraient-elles pu être atténuées par l’application de logique formelle au raisonnement judiciaire ? L’analyse qui suit comprend l’élucidation des erreurs, l’étude de théories de logique et du raisonnement, ainsi qu’un survol de la logique symbolique. L’aide-mémoire ainsi conçu représente un recours possible dans le but de rehausser le raisonnement judiciaire. La symbiose entre la logique et le raisonnement judiciaire s’avère possible, malgré l’écart entre les domaines de la science et du droit.

Cette thèse propose de nouvelles méthodes de synthèse automatique des contrôleurs internes aux circuits numériques. Elles permettent en particulier d'intégrer, directement au niveau du contrôleur, des dispositifs de détection d'erreurs ou de tolérance aux fautes. En ce qui concerne la détection d'erreurs, quatre flots de synthèse ont été implantés. Deux d'entre eux utilisent la méthode classique de duplication et comparaison, tandis que les deux autres sont basés sur la vérification d'un flot de contrôle par analyse de signature. La signature est une information permettant de caractériser la séquence parcourue d'états du contrôleur. La vérification du flot de contrôle correspond à la détection des séquences illégales d'états. En ce qui concerne la tolérance aux fautes, quatre flots ont été implantés. Deux d'entre eux utilisent la méthode classique de triplement et vote majoritaire, tandis que les deux autres sont basés sur l'utilisation d'un code correcteur d'erreurs lors du codage du contrôleur. Une erreur survenant dans le code de l'état courant peut ainsi être corrigée en utilisant les propriétés du code correcteur choisi. L'analyse des résultats de synthèse de nombreux exemples montre l'intérêt des nouvelles méthodes de détection et de tolérance proposées, et des algorithmes de synthèse implantés. Ainsi, ces méthodes et ces algorithmes permettent, entre autres, de définir de nouveaux compromis coût/sûreté de fonctionnement, en réduisant sensiblement le coût matériel de la redondance implantée. L'automatisation des traitements permet de plus de réduire le coût de conception lié à l'amélioration de la sûreté de fonctionnement des contrôleurs, en particulier lorsque des techniques plus pointues sont préférées à la redondance massive

Le travail de recherche présenté dans ce mémoire est une contribution à l'estimation des modèles Linéaires à Paramètres Variants (LPV) à temps continu. Dans un premier temps, il traite de façon originale la modélisation quasi-LPV des échangeurs de chaleur pour la détection d'encrassement durant les régimes transitoires. La méthodologie définie dans cette thèse est introduite pas à pas pour caractériser un échangeur à courants croisés puis pour celle d'un échangeur à contre-courants montrant ainsi la généricité de l'approche pour la modélisation des échangeurs thermiques. Une méthode locale basée sur une estimation initiale de modèles LTI en différents points du domaine de fonctionnement est utilisée pour construire le modèle LPV en agrégeant les paramètres des différents modèles locaux grâce à une méthode d'interpolation polynomiale liée aux débits massiques. Le modèle quasi-LPV de l'échangeur élaboré en fonctionnement sain permet ainsi d'envisager la détection de l'encrassement dans les échangeurs de chaleur en comparant ses sorties à ceux provenant du procédé. Dans un second temps, ce travail porte sur l'identification des systèmes LPV à représentation entrée-sortie à temps continu par une approche globale. Une solution pratique pour l'identification directe de tels systèmes est proposée. Elle est basée sur l'utilisation d'un algorithme à erreur de sortie initialisé par une approche à erreur d'équation, la méthode des Moments Partiels Réinitialisés. Des simulations illustrent les performances de l'approche proposée. / The research work presented in this thesis is a contribution to the estimation of Linear Parameter Varying (LPV) models in continuous-time. First, a quasi-LPV modeling of heat exchangers is tackled in an original way. This quasi-LPV model is meant to be used for fouling detection (during transient phases). A step-by-step description of the methodology is given on how to model a cross flow heat exchanger. Applying the same approach on a counter flow shows its genericity in the heat exchanger field. A local method, based on an estimation of LTI models for different operating points, is used to build the LPV model by interpolation of the various LTI model parameters. The resulting quasi-LPV model for a clean heat exchanger can thus be used for fouling detection by comparison of real and model outputs for the same input signals. Secondly, this work concerns the identification of continuous-time input-output LPV systems through a global approach. A practical solution for the direct identification of such systems is proposed. It is based on the use of an output-error algorithm initialized by an equation error based approach, the reinitialized partial moment's method. Simulations illustrate the performance of the proposed approach.

Le sujet de la thèse porte sur la mise en place d’approches numériques avancées pour la simulation et l’optimisation de structures mécaniques présentant une géométrie complexe. Il se focalise sur l’analyse isogéométrique (IGA) qui a reçu beaucoup d’intérêt cette dernière décennie dû à sa grande flexibilité, précision, et robustesse dans de nombreux contextes industriels comparé à la méthode des éléments finis (FEA) classique. En particulier, la technologie IGA fournit un lien direct avec les logiciels de CAO (les mêmes fonctions sont utilisées pour la représentation de la géométrie et l’analyse numérique) et facilite les procédures de maillage.Dans ce contexte, et comme première partie du travail, une méthode de vérification basée sur la dualité et le concept d’erreur en relation de comportement (ERC) est proposé. Il permet d’obtenir des estimateurs d’erreur a posteriori à la fois garantis et entièrement calculables pour les solutions numériques issues de simulation par IGA. Ces estimateurs, valables pour une large gamme de modèles linéaires ou non-linéaires en mécanique des structures, constituent donc des outils performants et utiles pour le contrôle quantitatif de la qualité numérique et pour la conduite de procédures adaptatives. Un intérêt particulier est porté sur la construction de champs équilibrés, qui est un point clé du concept ERC, et qui jusqu’à présent était essentiellement développée dans le cadre de la méthode des éléments finis. L’extension au contexte IGA nécessite d’aborder plusieurs problèmes techniques, liés à l’utilisation de fonctions de base B-Spline/NURBS. Le concept ERC est aussi mis en oeuvre avec les techniques d’adjoint pour faire de l’estimation d’erreur sur des quantités d’intérêt.Dans une seconde partie du travail, la technologie IGA est couplée avec une procédure de réduction de modèle pour obtenir des solutions certifiées, et en temps réel, de problèmes avec une géométrie paramétrée. Après avoir défini le paramétrage sur la transformation permettant de passer de l’espace paramétrique IGA à l’espace physique, un modèle réduit basé sur la technique PGD (Proper Generalized Decomposition) est introduit pour résoudre le problème multi-dimensionnel. Avec une stratégie hors-ligne/en-ligne, la procédure permet alors de décrire l’ensemble des solutions paramétrées avec un coût de calcul réduit, et de faire de l’optimisation de forme en temps réel. Ici encore, l’estimation a posteriori des diverses sources d’erreur venant de la discrétisation et de la réduction de modèle PGD est menée à partir du concept ERC. Cela permet de contrôler la qualité de la solution PGD approchée (globalement ou sur des quantités d’intérêt), pour toute configuration géométrique, et de nourrir un algorithme adaptatif qui optimise l’effort de calcul pour une tolérance d’erreur donnée.Le travail de recherche dans son ensemble fournit donc des outils pertinents et pratiques pour les activités de simulation en ingénierie mécanique. Le potentiel et les performances de ces outils sont montrés à travers plusieurs exemples numériques impliquant des problèmes académiques et industriels, et des modèles linéaires et non-linéaires (endommagement). / The topic of the PhD thesis deals with the construction of advanced numerical approaches for the simulation and optimization of mechanical structures with complex geometry. It focuses on the Isogeometric Analysis (IGA) technology which has received much attention of the last decade due to its increased flexibility, accuracy, and robustness in many engineering simulations compared to classical Finite Element Analysis (FEA). In particular, IGA enables a direct link with CAD software (the same functions are used for both analysis and geometry) and facilitates meshing procedures.In this framework, and as a first part of the work, a verification method based on duality and the concept of Constitutive Relation Error (CRE) is proposed. It enables to derive guaranteed and fully computable a posteriori error estimates on the numerical solution provided by IGA. Such estimates, which are valid for a wide class of linear or nonlinear structural mechanics models, thus constitute performing and useful tools to quantitatively control the numerical accuracy and drive adaptive procedures. The focus here is on the construction of equilibrated flux fields, which is key ingredient of the CRE concept, and which was until now almost exclusively developed in the FEA framework alone. The extension to IGA requires to address some technical issues, due to the use of B-Spline/NURBS basis functions. The CRE concept is also implemented together with adjoint techniques in order to perform goal-oriented error estimation.In a second part, IGA is coupled with model reduction in order to get certified real-time solutions to problems with parameterized geometry. After defining the parametrization on the mapping from the IGA parametric space to the physical space, a reduced model based on the Proper Generalized Decomposition (PGD) is introduced to solve the multi-dimensional problem. From an offline/online strategy, the procedure then enables to describe the manifold of parametric solutions with reduced CPU cost, and to further perform shape optimization in real-time. Here again, a posteriori estimation of the various error sources inheriting from discretization and PGD model reduction is performed from the CRE concept. It enables to control the quality of the approximate PGD solution (globally or on outputs of interest), for any geometry configuration, and to feed a robust greedy algorithm that optimizes the computational effort for a prescribed error tolerance.The overall research work thus provides for reliable and practical tools in mechanical engineering simulation activities. Capabilities and performance of these tools are shown on several numerical experiments with academic and engineering problems, and with linear and nonlinear (damage) models.

Un inventaire de l'occupation du sol pour chaque terrain agricole en milieu périurbain peut être produit par le croisement (automatisé) entre une image satellitaire classifiée et une image des terrains, provenant du cadastre numérisé. Trois sources d'erreur sont examinées. L'erreur planimétrique, créée par la ""rasteurisation"" des polygones-terrain, l'erreur dans les proportions des classes d'occupation du sol due à la résolution spatiale, et l'erreur de la classification elle-même. Les résultats démontrent que chacune de ces erreurs varie en fonction des terrains, donnant des inventaires de qualité inégale. Il est difficile de les corréler avec les dimensions des terrains, et de fixer ainsi des dimensions minimales nécessaires au succès de l'inventaire agricole.

Pendant longtemps, l'erreur était considérée comme l'effet de l'ignorance. Etant donné l'omniprésence de l'erreur dans l'apprentissage, elle occupe une place importante au centre de la didactique moderne. Cette thèse vise à étudier le rôle de l'erreur en production écrite dans l'apprentissage du français chez les étudiants persanophones qui apprennent le français comme langue étrangère. Elle se matérialise autour de la conjugaison du verbe et l'emploi des formes temporelles. Il s'agit d'une expérimentation didactique dans laquelle des pédagogies différentes apparaissent traitant l'erreur chacune d'une manière différente. Le résultat obtenu montre que les erreurs sont moins persistantes dans une méthode basée sur le modèle socioconstructivisme où l'enseignant les prend en compte de façon spécifique, y accordant un statut qui ne dévalorise pas l'auteur, alors que les mêmes résultats dans les méthodes traditionnelles montrent que la réitération de l'enseignement des règles ne suffit pas à résoudre des difficultés qui relèvent davantage du maniement que du savoir. Nous nous sommes proposée de modifier de perspective et de partir des productions des étudiants et de leurs stratégies et faire participer l'étudiant dans une activité réflexive. Le résultat de cette expérimentation nous a permis de corroborer l'hypothèse de cette recherche, selon laquelle les étudiants soumis à une pédagogie de la découverte feront moins d'erreurs que ceux qui sont soumis à une pédagogie traditionnelle.

"Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de Maîtrise en droit (L.L.M.)" / Une personne est injustement condamnée à l'emprisonnement. Elle est victime d'une erreur judiciaire. Plusieurs causes peuvent être à l'origine d'une telle injustice mais malheureusement il est difficile de le prouver. Le système de justice pénale au pays n'est pas à l'abri des condamnations injustifiées et plusieurs innocentes victimes en ont payé le prix. Or, comment une victime d'erreur judiciaire peut-elle prouver son innocence et ainsi recouvrer la liberté à laquelle elle a droit? Certes, l'aveu du coupable ou la découverte d'une nouvelle preuve peuvent servir de moyens de reconnaissance factuelle d'une condamnation injustifiée. Toutefois, certains obstacles procéduraux comme les délais d'appel, les règles d'admissibilité de la preuve nouvelle ou encore le mécanisme de correction des erreurs judiciaires prévu aux articles 696.1 et suivants du Code criminel peuvent compliquer le scénario. Avant le 4 juin 2002, cette dernière procédure était visée par l'article 690 du Code. Toutefois, suite à de nombreuses critiques ainsi qu'à une consultation publique orchestrée par le gouvernement canadien, des modifications législatives ont été apportées à cette procédure. Mais celles-ci sont-elles suffisantes? Nous pensons que certaines des modifications sont grandement appréciables. Cependant, la structure d'évaluation des dossiers et de recommandation des dossiers au ministre de la Justice mériterait la mise en place d'un comité formé d'avocats indépendants pour conseiller ce dernier. Cela est nécessaire afin de réduire à néant tout conflit d'intérêts potentiel de la part du Ministre et d'assurer la transparence du processus en cause. / A person is unjustly condemned to imprisonment. He or she is victim of a wrongful conviction. Many causes can lead to such an injustice but unfortunately, it is hard to prove. The country's criminal justice system makes no exception to wrongful verdicts of guilt and many innocent people have paid the priee. Thus, how can a person victim of a wrongful conviction prove his innocence and recover his rightful freedom? Of course, the confession of the true guilty person, the discovery of new evidence or a special inquiry commission are all ways of recognizing factually an unjust guilty verdict. However, certain procedural obstacles such as appeal delays, rules of admissibility of new evidence or even the procedure for correcting wrongful convictions provided under article 696.1 and following of the Criminal code, can complicate the scenario. Before June 4, 2002, the latter procedure was provided under article 690 of the Code. However, following great criticism as well as a public consultation orchestrated by the Canadian government, legislative modifications were brought to that procedure. Are the modifications made to the procedure sufficient? We believe that some of them are greatly appreciable. However, the evaluation and case recommendation structure to the Minister deserves the creation of a committee constituted by attorneys fully independent of the Minister able to advise him or her. This is necessary in order to fully reduce any potential conflicts of interest by the Minister and would ensure transparence of the process in question.

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

Le français est la troisième langue enseignée au Yémen après l'arabe et l'anglais. Cette vitalité du français nécessite la création de supports didactiques, afin d'aider à son apprentissage. L'objet de la thèse est de mettre en évidence les zones du français, qui sont sources de difficultés pour les étudiants tant sur le plan de la morphologie que sur celui de la syntaxe, de les classer et de les décrire. L'étude des erreurs s'appuiera sur deux corpus de travaux écrits effectués, l'un par trente étudiants de quatrième année de licence du département de français de l'université de Dhamar, l'autre par quinze enseignants de lycée diplômés du même département. Cette étude a pour finalité d'initier une réflexion, au sein des départements de français des universités yéménites, sur les stratégies et les objectifs de l'enseignement du français en tant que langue, dans un milieu plurilingue non francophone. Elle vise également à offrir des ressources didactiques en matière d'étude de la langue aux enseignants, en tentant de mettant en évidence des priorités. / French is the third language taught in Yemen after Arabic and English. This vitality of French requires the creation of didactic supports, in order to help in its learning. The purpose of the thesis is to highlight the areas of French, which are sources of difficulty for students, in terms of morphology and syntax, to classify and to describe them. The study of errors is based on two corpus of written work, one which has been done by thirty students in the fourth year of the license of the French Department of Thamar University, the other one by fifteen high school teachers, graduated in the same department. This study aims to introduce a reflection, in the French departments of the Yemenite universities, about strategies and objectives of the teaching of French as a language, in a non-French-speaking multilingual environment. It also aims to provide didactic resources for the study of the language to the teachers, trying to highlighting the priorities.