L'hybridation des mécanismes de méthodes incomplètes et des techniques de programmation par contraintes est souvent basée sur des combinaisons de type maître-esclave, dédiées à la résolution de classes de problèmes spécifiques. Dans cette thèse, nous nous intéressons à la définition d'un modèle théorique uniforme, basé sur les itérations chaotiques de K.R. Apt qui définissent un cadre mathématique pour l'itération d'un ensemble fini de fonctions sur des domaines abstraits munis d'un ordre partiel. Ce cadre permet<br />de prendre en compte une hybridation entre les méthodes incomplètes et les méthodes complètes. Dans ce contexte, la résolution s'apparente à un calcul de point fixe d'un ensemble de fonctions de réductions spécifiques. Notre cadre générique permet alors d'envisager des stratégies de combinaisons et d'hybridation de manière plus fine et d'étudier leurs propriétés. Nous avons employé un cadre général approprié pour modéliser la résolution des problèmes d'optimisation et nous présentons des résultats<br />expérimentaux qui mettent en avant les atouts de telles<br />combinaisons en regard d'une utilisation indépendante des techniques de résolution.

Tesis doctoral--Facultad de filosofía y letras--Universidad de Valladolid. / Notes bibliogr. Bibliogr. p. 381-391.

Texte remanié de: Habilitationsschrift--Philosophisch-Historische Fakultät--Universität Bern, 2003. / Bibliogr. p. [862]-896.

Texte remanié de: Th. doct.--Droit public économique--Chambéry, 2000. Titre de soutenance : Essai sur les mutations juridiques de l'action économique territoriale. / Bibliogr. p. 459-487.

Texte remanié de : Thèse de doctorat : Droit public : Chambéry : 2000. / Titre provenant de l'écran d'accueil. Bibliogr. p. 459-487. Notes bibliogr.

Dans l'industrie, l'objectif est de remplacer certains essais expérimentaux très coûteux par des simulations numériques. Cependant, peut-on faire confiance à la simulation numérique? C'est l'objet de la thématique de recherche appelée "vérification". Elle a pour but d'estimer l'erreur commise entre la solution du modèle mathématique et celle fournie par un modèle numérique. De plus, pour le dimensionnement de structures, l'ingénieur requiert que cet estimateur d'erreur soit garanti, c'est à dire qu'il majore l'erreur réelle, et qu'il soit pertinent, c'est à dire qu'il soit proche de l'erreur réelle. Les travaux présentés ici consistent tout d'abord à prouver la faisabilité de la méthode d'obtention de bornes garanties de l'erreur sur une quantité d'intérêt dans le cadre de la dynamique transitoire. Cette méthode est basée sur le concept d'erreur en relation de comportement et la résolution d'un problème adjoint. Dans un deuxième temps, différentes stratégies sont développées afin d'améliorer la pertinence de l'estimateur d'erreur locale. Enfin, cette méthode est étendue aux quantités d'intérêt ponctuelles. La difficulté majeure réside dans la résolution du problème adjoint dont le chargement est singulier. Pour cela, nous avons choisi de décomposer la solution en une partie analytique, déterminée à partir des fonctions de Green de dynamique, et d'une partie numérique, déterminée à l'aide de la méthode des éléments finis et d'un schéma d'intégration temporel. Tous ces aspects visant à mettre en place les premières bornes garanties et pertinentes de l'erreur sur une quantité d'intérêt en dynamique, sont illustrés et validés sur des exemples numériques en 2D.

Cette recherche vise à faire le portrait du Marché de solidarité de l'Estrie, un organisme à but non lucratif ayant pour mission l'approvisionnement alimentaire local et écologique de sa région. Se situant dans la mouvance des systèmes locaux alimentaires, cette initiative se veut une alternative face aux problématiques socio-économiques et environnementales retrouvées dans le secteur agroalimentaire. Cette recherche se situe dans une optique de documentation des initiatives du genre expérimentées en Amérique du Nord, particulièrement aux États-Unis (Hinrichs, 2002). Elle vise à soutenir les groupes sociaux afin de les accompagner dans leurs démarches d'innovation sociale. De manière plus spécifique, nous cherchons à répondre au questionnement suivant : quels sont les impacts du Marché de solidarité auprès des producteurs impliqués? Cette recherche qualitative est effectuée principalement à partir d'entrevues semi-dirigées effectuées auprès de onze producteurs impliqués avec le Marché. Les réflexions dégagées à partir de ces données nous permettent par la suite d'identifier les forces et faiblesses du Marché de solidarité de manière à cerner l'envergure générale des circuits courts agroalimentaires au Québec. Les résultats de cette recherche nous permettent de constater que le Marché de solidarité offre aux producteurs y étant impliqués un cadre convivial qui facilite les liens interpersonnels. À ce titre, la fierté de s'impliquer pour le développement local et le sentiment de reconnaissance sont des éléments fortement présents chez les producteurs rencontrés. Le Marché a cependant moins d'impact en ce qui a trait aux changements des pratiques et perceptions environnementales des producteurs. Au niveau économique, nous constatons que ce sont surtout les producteurs faisant majoritairement affaire avec les circuits courts agroalimentaires qui tirent un avantage commercial intéressant du Marché. À la lumière des motivations et impacts présents chez ces producteurs, nous dégageons une typologie de ces derniers en fonction de l'importance mise sur des éléments éthiques ou commerciaux dans leurs discours. Nous constatons ainsi que les acteurs qui mettent un accent plus grand sur des valeurs de convivialité sont ceux qui contribuent de manière plus élevée au potentiel de développement local et de revitalisation écologique des systèmes locaux alimentaires. Afin d'actualiser sa mission d'autonomie alimentaire régionale, le Marché devra cependant réfléchir à la consolidation de sa force économique tout en préservant ses valeurs de base. Cela pourra se conjuguer au renforcement de certaines alliances régionales lui permettant de faciliter le rayonnement de ses valeurs socio-environnementales et socioéconomiques afin de participer à la construction de systèmes locaux alimentaires viables. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Système local alimentaire, circuit court, développement local, convivialité, revitalisation écologique, agro-environnement, socio-économique, socio-environnemental

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal

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

Ce mémoire présente des algorithmes de reconstruction conçus pour le développement de nouveaux systèmes d'imagerie par rayons X adaptés aux contraintes du bloc opératoire, notamment pour guider des interventions orthopédiques telles que le vissage pédiculaire. Après une présentation du contexte médical et technologique, nous rassemblons les principaux résultats de tomographie 2D permettant de comprendre les spécificités des problèmes de tomographie à données tronquées ; le comportement souvent très satisfaisant de la méthode de rétroprojection filtrée, d'ordinaire ignoré en tomographie locale, est notamment souligné. Un état de l'art sur l'utilisation des ondelettes en tomographie 2D est ensuite dressé, dans lequel nous mettons en évidence l'existence de liens forts entre des travaux adaptés de la méthode de rétroprojection filtrée et les approches de type ondelettes-vaguelettes. Une nouvelle méthode d'inversion de la transformée de Radon par ondelettes est ensuite proposée, bâtie à partir de résultats théoriques établis par M. Holschneider : nous montrons que cette nouvelle méthode se prête très bien au traitement de données locales (aussi bien pour le problème intérieur que pour le problème à angle limité). Nous présentons enfin une approche totalement différente, dans laquelle est reconstruite la surface d'une vertèbre à partir de deux images fluoroscopiques et d'un modèle statistique de surface de vertèbre; nous utilisons différents détecteurs de contours pour traiter les images fluoroscopiques (par ondelettes, ou avec des contours actifs), et montrons qu'ils conduisent à des résultats de reconstruction satisfaisants sur un fantôme numérique.