Au Québec, l'enfouissement est la technique la plus répandue pour l'élimination des matières résiduelles. Bien qu'elle soit simple et économique, elle entraîne différentes problématiques, dont la production de lixiviats, des liquides très chargés en contaminants, et de gaz d'enfouissement contribuant à l'émission de gaz à effet de serre. Chez Investissement Québec - CRIQ (IQ-CRIQ), la biofiltration méthanotrophe a été étudiée dans les dernières années pour le traitement combiné de ces deux sources de polluants. Si cette technologie a montré une bonne capacité à traiter le méthane (CH₄) présent dans les gaz d'enfouissement, tout en assimilant de l'azote des lixiviats, la capacité du système biologique à résister aux fluctuations saisonnières de température peut être questionnée. L'objectif principal est donc de vérifier si le caractère exothermique de la réaction d'oxydation du CH₄ par les bactéries méthanotrophes permet de maintenir l'activité biologique au sein du biofiltre et donc la capacité épuratoire du CH₄ et de l'azote nitrate (NO₃-) des lixiviats en période hivernale. Pour ce faire, un montage expérimental comprenant quatre biofiltres avec un garnissage organique a été alimenté avec des lixiviats prétraités provenant d'un site d'enfouissement et un mélange synthétique de gaz composé de gaz naturel et d'air. Des isolants en uréthane et une chambre réfrigérée ont été utilisés afin de reproduire les conditions hivernales sur le terrain d'un biofiltre enfoui, soit une température avoisinant les 4 °C. En ce sens, la température d'alimentation liquide a aussi été diminuée à 4 °C pour deux des quatre biofiltres. L'effet d'une charge en CH₄ plus importante sur le traitement a aussi été exploré. Durant les expérimentations qui se sont étendues sur environ 300 jours, les gaz (CH₄, CO₂, N₂O entre autres) et les liquides (NO₃-, NO₂-, NH₄+, pH entre autres) ont été analysés deux à trois fois par semaine et la température interne des réacteurs a été suivie en continu à l'aide de capteurs. Les expérimentations ont permis de montrer que le maintien du traitement était possible même avec une baisse de la température du liquide d'alimentation : une capacité d'élimination de 98 à 112 gCH₄/m³/j et de 2,6 à 3,2 gN-NO₃-/m³/j a été observée pour le biofiltre à température ambiante (environ 21 °C) alimenté avec un lixiviat à 4 °C alors qu'elle a été de 113 gCH₄/m³/j et de 4,4 gN-NO₃-/m³/j pour le biofiltre témoin (température ambiante et d'alimentation liquide à environ 21 °C). Cependant, le biofiltre alimenté avec des lixiviats à 4 °C et placé dans un environnement avec une température ambiante à 4 °C a vu ses capacités à traiter le CH₄ et le NO₃- devenir nulles lors du changement drastique de température. Finalement, le biofiltre alimenté avec une concentration plus élevée en CH₄ n'a pas été en mesure de traiter davantage de contaminants, ce qui laisse croire qu'il pourrait y avoir un débalancement entre le CH₄, les NO₃- et les autres nutriments essentiels ou encore la présence d'inhibiteurs au sein du biofiltre. Une difficulté des gaz à pénétrer le biofilm a aussi pu limiter la capacité d'oxydation et donc l'enlèvement des NO₃-. Bien que des incertitudes persistent, les résultats obtenus montrent bien un potentiel de maintien des capacités épuratoires par les méthanotrophes en période froide d'opération.

Les algorithmes convexes de résolution pour les régressions linéaires parcimonieuses possèdent de bonnes performances pratiques et théoriques. Cependant, ils souffrent tous des dimensions du problème qui dictent la complexité de chacune de leur itération. Nous proposons une approche pour réduire ce coût calculatoire au niveau de l'itération. Des stratégies récentes s'appuyant sur des tests d'élimination de variables ont été proposées pour accélérer la résolution des problèmes de régressions parcimonieuse pénalisées tels que le LASSO. Ces approches reposent sur l'idée qu'il est profitable de dédier un petit effort de calcul pour localiser des atomes inactifs afin de les retirer du dictionnaire dans une étape de prétraitement. L'algorithme de résolution utilisant le dictionnaire ainsi réduit convergera alors plus rapidement vers la solution du problème initial. Nous pensons qu'il existe un moyen plus efficace pour réduire le dictionnaire et donc obtenir une meilleure accélération : à l'intérieur de chaque itération de l'algorithme, il est possible de valoriser les calculs originalement dédiés à l'algorithme pour obtenir à moindre coût un nouveau test d'élimination dont l'effet d'élimination augmente progressivement le long des itérations. Le dictionnaire est alors réduit de façon dynamique au lieu d'être réduit de façon statique, une fois pour toutes, avant la première itération. Nous formalisons ce principe d'élimination dynamique à travers une formulation algorithmique générique, et l'appliquons en intégrant des tests d'élimination existants, à l'intérieur de plusieurs algorithmes du premier ordre pour résoudre les problèmes du LASSO et Group-LASSO. / Applications in signal processing and machine learning make frequent use of sparse regressions. Resulting convex problems, such as the LASSO, can be efficiently solved thanks to first-order algorithms, which are general, and have good convergence properties. However those algorithms suffer from the dimension of the problem, which impose the complexity of their iterations. In this thesis we study approaches, based on screening tests, aimed at reducing the computational cost at the iteration level. Such approaches build upon the idea that it is worth dedicating some small computational effort to locate inactive atoms and remove them from the dictionary in a preprocessing stage so that the regression algorithm working with a smaller dictionary will then converge faster to the solution of the initial problem. We believe that there is an even more efficient way to screen the dictionary and obtain a greater acceleration: inside each iteration of the regression algorithm, one may take advantage of the algorithm computations to obtain a new screening test for free with increasing screening effects along the iterations. The dictionary is henceforth dynamically screened instead of being screened statically, once and for all, before the first iteration. Our first contribution is the formalisation of this principle and its application to first-order algorithms, for the resolution of the LASSO and Group-LASSO. In a second contribution, this general principle is combined to active-set methods, whose goal is also to accelerate the resolution of sparse regressions. Applying the two complementary methods on first-order algorithms, leads to great acceleration performances.

L'étude de sûreté d'un stockage souterrain de déchets radioactifs passe, du point de vue de la géomécanique, par la caractérisation de la zone endommagée induite par le creusement du puits d'accès aux cavités de stockage. L'objet de cette thèse est donc de simuler la réponse hydro-mécanique des argilites de l'Est au creusement du puits d'accès au laboratoire souterrain de Meuse/Haute-Marne, en vue d'une comparaison avec les mesures qui seront acquise in situ en 2005 (expérimentation REP).<br/> Nous avons d'abord analysé l'ensemble des essais mécaniques qui ont été réalisés entre 1995 et 2001. Nous observons que chaque série d'essais a sa propre cohérence, que ce soit en termes de paramètres élastiques, de résistance à la rupture ou de capacité au fluage. Mais il existe de fortes différences entre les séries. Ces différences, qui sont dues au protocoles expérimentaux et non au matériau, nous ont permis de mettre en évidence trois résultats importants : les phases de resaturation imposées par plusieurs laboratoires ont dégradé les propriétés mécaniques des argilites de l'Est, l'existence d'une contrainte effective au sens de Biot n'est pas évidente pour ces argilites, et leur résistance à la rupture augmente nettement avec le séchage.<br/>D'après ces essais, nous avons distingué trois mécanismes de déformation irréversible : compaction, pré-rupture, rupture. Nous les avons décrits chacun par une loi de comportement élasto-plastique simple, fondée sur le critère de Mohr-Coulomb ou de Drücker-Prager, avec un écrouissage linéaire. On obtient alors une loi de comportement complète pour les argilites de l'Est en considérant les trois mécanismes simultanément (plasticité multi-critère).<br/>Enfin, les différentes modélisations que nous avons réalisées permettent de tirer les conclusions suivantes :la prise en compte des déformations irréversibles avant-rupture (compaction et pré-rupture) a pour effet de réduire considérablement l'extension de la zone en rupture qui apparaît autour du puits (par rapport au cas où le comportement est élastique jusqu'à la rupture) ; la diffusion des pressions interstitielles modifie peu la réponse mécanique du massif (en particulier, les déformations plastiques créées lors du déchargement mécanique n'évoluent pas au cours du drainage du massif) ; l'anisotropie des contraintes naturelles horizontales, dont par ailleurs nous confirmons l'existence, influence fortement la zone endommagée autour du puits (polarisation en azimut) ; enfin nous montrons qu'il n'est pas indispensable de simuler le détail des opérations de creusement du puits.

Ces travaux de thèse ont débuté par la présentation des propriétés physico-chimiques du chrome, ses principaux domaines d'application. On a aussi indiqué les problèmes posés et les risques associés à l'emploi des dérivés chromiques qui s'expriment essentiellement au niveau cutané, respiratoire et même immunologique. Ensuite, on a cité les différents procédés d'élimination tels que les procédés membranaires, procédés chimiques, procédés biologiques et procédés physiques en précisant les avantages et inconvénients de chacun de ces procédés. Après, on a présenté le procédé d'adsorption sur alumine activée, en rappelant brièvement les différents adsorbants utilisés ainsi que les modèles thermodynamiques et cinétiques utilisés pour décrire ce phénomène. Enfin, on a rappelé quelques généralités sur les membranes échangeuses d'ions et sur le procédé de dialyse ionique croisée. Dans une seconde étape, on a étudié la validation de la technique analytique selon la norme Française XPT 90-120, ensuite une étude préliminaire de l'influence des différents paramètres selon le plan d'expérimentation factorielle afin de montrer l'influence de chaque paramètre indépendamment et leurs dépendances aussi. Ces facteurs sont les suivants : pH, quantité de l'adsorbant, concentration du métal initial et de la température. Cette étude a porté sur l'effet du pH mais aussi l'effet de la masse de l'alumine activée et l'effet de la concentration initiale du chrome afin d'optimiser ces paramètres, les résultats expérimentaux ont montré que l'adsorption du chrome dépend essentiellement du pH et de la concentration du chrome initiale. Dans les conditions optimales, les taux d'élimination du chrome VI peuvent attendre 98 % pour une concentration initiale de 10 mg/L en chrome. Les résultats expérimentaux ont été appliqués aux modèles de Freundlich, Langmuir, Dubinin-Redushkevich et Temkin. Des études cinétique et thermodynamiques suivront pour déterminer l'ordre de la réaction d'adsorption des métaux lourds et nature exothermique du mécanisme. La troisième partie a porté sur la Dialyse Ionique Croisée, dans un premier temps on a développé une étude préliminaire de l'influence des différents paramètres selon le plan d'expérimentation effectué afin d'identifier et d'évaluer l'influence de chaque paramètre sur les taux d'élimination de l'ion métallique. Ces facteurs sont la concentration initiale de l'ion métallique, la concentration initiale de l'ion de substitution, le type de la membrane et l'agitation magnétique. Cette démarche est nécessaire afin de fixer les paramètres optimaux et évaluer leurs interactions mutuelles. Cette étude a permis de montrer que le type de membrane échangeuse d'anions est le plus important paramètre influant sur l'élimination du chrome et ceci peut s'expliquer par les valeurs élevées de la capacité d'échange et de la teneur en eau de la membrane AFN. La modélisation du transfert des ions HCrO4- en dialyse ionique croisée a montré la présence de deux phases : la couche limite de diffusion du côté de l'alimentation (solution à traiter contant les ions HCrO4-) et la membrane. En deuxième étape, nous avons effectué une étude du vieillissement des membranes, qui consiste à faire un suivie de l'épaisseur membranaire, de la conductivité membranaire et de leur morphologie par MEB. Nous avons montré que les membranes AMV et AFN se dégradent peu à priori de la même manière. Finalement, nous avons effectué un nouveau montage qui couple les deux procédés et ceci dans le but d'améliorer le taux d'élimination. Ce couplage a permis d'augmenter l'efficacité et la cinétique d'échange de la dialyse, en plus une réduction considérable de la quantité d'alumine activée à régénérer et l'amélioration de la cinétique de transfert transmembranaire / The removal of chromium (VI) from aqueous solutions by activated alumina has been investigated as a function of solution pH, initial chromium concentration, adsorbent dose of activated alumina and temperature. The pH and the adsorbent dose of activated alumina are the most significant parameters affecting chromium (VI) adsorption. The chromium concentrations were analyzed by reaction with 1,5-diphenylcarbazide. This method has been validated according to the French standard XPT-90-210. In order to optimize the effect of the main parameters and their mutual interaction for the adsorption process, a full factor design of the type nk has been used. In this study the removal of chromium (VI) by adsorption on activated alumina was investigated and results were fitted to Langmuir, Freundlich, Dubinin-Redushkevich and Temkin adsorption models, at different temperatures. The constants of each model were evaluated depending on temperature. Thermodynamic parameters for the adsorption system were determined at 10, 25 and 40°C. The obtained values showed that Cr (VI) adsorption is a spontaneous and exothermic process. The kinetic process was evaluated by first–order, second–order and Elovich kinetic models. In second section, the removal of chromium (VI) from aqueous solutions by Donnan dialysis has been investigated. The tows AEMs: Selemion AMV and Neosepta AFN. The amount of chromium removed was determined on the basis of the following parameters: initial chromium concentration, type of anion exchange membranes, co-ion concentration and magnetic stirring. A 24 full factorial design analysis was performed to screen the parameters affecting Cr (VI) removal efficiency were examined. Using the experimental results, a linear mathematical model representing the influence of the different parameters and their interactions was obtained. Analysis of variance (ANOVA), F-test and student's t- test showed that the type of anion exchange membrane is the most significant parameter affecting chromium (VI) removal. The statistical analysis of experimental data assumes that the data come from normal distribution. Then, a modelisation of chromium removal by Donnan dialysis through anion exchange membrane, these results are compared with the theoretical predictions given by the resolution of the corrected Nernst–Planck's equation in the cases of the homogeneous models of ion-exchange membranes. This confrontation confirms the existence of three domains corresponding respectively to a complete diffusion boundary layers (DBLs) control, a mixed control and a complete membrane control of the inter-diffusion process. And finally, the Donnan dialysis and adsorption onto activated alumina has been coupled. The coupling DIC-AAA was successfully achieved with 90% of chromium removed

Proposition d'une formulation combinatoire pour la conception d'algorithmes de produit matriciel sur les réseaux systoliques linéaires. Étude de la validation des algorithmes systoliques. Deux logiciels sont proposes: le premier, Sisyc, est un simulateur numérique d'algorithmes systoliques; le second, sisyc2, calcule la trace symbolique des algorithmes systoliques et permet lorsqu'il est couple avec un système de calcul formel, de réaliser une simulation formelle

Le recyclage des matières résiduelles est une forme de traitement valorisant qui les réintroduit dans le cycle de production et de consommation dans les buts de réduire l'exploitation des ressources naturelles et de protéger l'environnement. Il existe différentes méthodes de gestion des matières résiduelles qui vont de l'enfouissement, à l'incinération et à la valorisation. Toutefois, avec les quantités croissantes de génération de déchets et les effets néfastes que ces matières entraînent pour les générations présentes et futures, leurs traitements doivent désormais répondre à des normes environnementales. Les acteurs économiques et environnementaux, qui œuvrent de près dans les domaines soit de la gestion des matières résiduelles ou de la préservation de l'environnement, s'affrontent dans l'espace politique afin que les programmes gouvernementaux mis en œuvre s'accordent avec leurs croyances politiques. Le gouvernement du Québec est actuellement à l'étape de la mise en œuvre de la troisième politique québécoise de gestion des matières résiduelles dans la perspective de réduire les quantités de déchets à éliminer et de protéger l'environnement. Le recyclage s'impose progressivement comme une forme de traitement majeur : non seulement il entraîne la réduction et la réutilisation des matières premières, mais il introduit le concept de valorisation des matières résiduelles. Le recyclage-valorisation devient, par conséquent, un mode de gestion écologiquement rationnel des matières résiduelles qui s'impose dans la politique gouvernementale québécoise puisqu'il rallie à la fois l'impact de la vision des acteurs environnementaux et de celle des acteurs économiques. ______________________________________________________________________________

Le but de cette thèse est de rendre effectifs certains théorèmes et d'implanter efficacement certains algorithmes en algèbre différentielle, en vue d'une application à l'automatique non linéaire. Nous présentons trois résultats originaux. Le premier est un algorithme, Rosenfeld-Gröbner, qui décrit les modèles d'un système d'équations et d'inéquations polynomiales en algèbre différentielle ordinaire comme en algèbre différentielle partielle. L'algorithme décide du vide et donc de l'appartenance au radical d'un idéal différentiel de type fini. Notre deuxième résultat est une méthode qui calcule un ensemble caractéristique d'un idéal différentiel premier donné par une famille génératrice. Nous donnons enfin de nouvelles preuves des algorithmes d'élimination de Seidenberg. Les algorithmes que nous décrivons sont effectifs : ils n'utilisent que l'addition, la multiplication, les dérivations et le test d'égalité à zéro dans le corps de base des polynômes.

Le Laboratoire Commun de Métrologie LNE-CNAM (LCM) souhaite affiner sa maîtrise des références de pression afin de réaliser des appareillages de tout premier rang au niveau international. L'incertitude relative visée sur les références de pression est de l'ordre de 10-6. Cet objectif se traduit par une problématique de métrologie dimensionnelle où une mesure de la forme des pistons/cylindres utilisés dans les balances manométriques doit être menée. La mesure de cylindricité est également impliquée dans un très grand nombre d'applications industrielles comme la qualification d'étalons de référence destinés à la qualification d'appareillages de mesure. Notre travail de recherche, réalisé dans le cadre d'une convention CIFRE avec la SAS GEOMNIA, concerne la réalisation d'un instrument de référence de très haute précision permettant la mesure de forme de cylindres creux ou pleins. Nous proposons un saut technologique pour satisfaire un niveau d'incertitude sur la mesure de l'écart de cylindricité de l'ordre de 10 nanomètres dans un volume de mesure cylindrique de Ø350 mm et de hauteur 150 mm. La mesure de forme est habituellement pratiquée en déplaçant un capteur par rapport à la surface à mesurer par un guidage de haute précision. Il n'est cependant pas possible de réaliser un guidage entre deux solides d'un niveau de précision permettant de garantir les incertitudes souhaitées, même en utilisant les techniques de correction d'erreurs dont la précision est limitée par le défaut de répétabilité des guidages. Pour satisfaire à ce niveau d'incertitude, nous proposons une démarche basée sur le concept de structure métrologique dissociée. La mesure d'une pièce consiste alors à comparer sa forme à celle d'une pièce cylindrique de référence. Cette dernière doit seulement présenter une stabilité de forme parfaite. La cartographie d'écart de forme de la référence cylindrique doit cependant être identifiée au même niveau d'incertitude visé.Le travail de recherche développé propose une analyse détaillée des machines actuelles et de leurs limitations. Suite à cette analyse, une architecture de machine a été proposée pour lever ces limitations. Cette architecture tient compte des écarts " secondaires " liés à la position des capteurs et des effets de second ordre, pour satisfaire le niveau de précision visé. Une procédure complète d'étalonnage de la machine a été élaborée en s'inspirant des méthodes de séparation d'erreurs. Cette procédure originale permet de séparer les défauts de forme du cylindre de référence de ceux d'une pièce de qualification cylindrique mesurée simultanément. La méthode employée ne présente pas de limitations en termes d'exactitude. Cette procédure a été expérimentalement validée. Une analyse des effets liés à la mesure de surfaces cylindriques par des capteurs capacitifs a été menée. Ces essais ont conduit au développement de stratégies d'étalonnage de ces capteurs in situ utilisant des interféromètres à laser intégrés dans la machine. La traçabilité métrologique des résultats des mesures est ainsi garantie. Deux bancs de tests ont été développés pour caractériser les diverses influences et valider les procédures d'étalonnage des capteurs. La conception détaillée de l'instrument est issue de la synthèse des réflexions menées sur l'architecture, sur l'étalonnage et sur la maîtrise de la mesure de déplacements par capteurs capacitifs. Ce travail a abouti à la réalisation de ce nouvel instrument de référence ; sa conception, son montage et son réglage sont présentés.

Les structures o-minimales, introduites dans les années '80 par Van den Dries et largement étudiées par Wilkie et Macintyre répondent à Grothendick en donnant le cadre d'une géométrie modérée. <br /> <br />Cette thèse montre un théorème du complémentaire explicite pour les<br />structures o-minimales polynomialement bornées, ce qui équivault à la modèle-complétude en théorie des modèles.<br /><br />En 1968, Gabrielov montre un théorème du complémentaire pour<br />les sous-analytiques globaux, qui en implique la o-minimalité. Il améliore ce résultat en 96, avec un théorème explicite. Une généralisation de celui-ci est présentée ici.<br /><br />Par des arguments de valuation dus à Lojaciewicz et à Miller, des propriétés de quasi-analycité sont exhibées, qui permettent d'adapter le schéma classique des preuves de modèle-complétude. Ce résultat permet de mieux comprendre la façon dont sont générées les structures o-minimales et donne un langage réduit sur lequel une structure polynomialement bornée est modèle-complète.

Ces travaux de thèse ont débuté par la présentation des propriétés physico-chimiques du chrome, ses principaux domaines d'application. On a aussi indiqué les problèmes posés et les risques associés à l'emploi des dérivés chromiques qui s'expriment essentiellement au niveau cutané, respiratoire et même immunologique. Ensuite, on a cité les différents procédés d'élimination tels que les procédés membranaires, procédés chimiques, procédés biologiques et procédés physiques en précisant les avantages et inconvénients de chacun de ces procédés. Après, on a présenté le procédé d'adsorption sur alumine activée, en rappelant brièvement les différents adsorbants utilisés ainsi que les modèles thermodynamiques et cinétiques utilisés pour décrire ce phénomène. Enfin, on a rappelé quelques généralités sur les membranes échangeuses d'ions et sur le procédé de dialyse ionique croisée. Dans une seconde étape, on a étudié la validation de la technique analytique selon la norme Française XPT 90-120, ensuite une étude préliminaire de l'influence des différents paramètres selon le plan d'expérimentation factorielle afin de montrer l'influence de chaque paramètre indépendamment et leurs dépendances aussi. Ces facteurs sont les suivants : pH, quantité de l'adsorbant, concentration du métal initial et de la température. Cette étude a porté sur l'effet du pH mais aussi l'effet de la masse de l'alumine activée et l'effet de la concentration initiale du chrome afin d'optimiser ces paramètres, les résultats expérimentaux ont montré que l'adsorption du chrome dépend essentiellement du pH et de la concentration du chrome initiale. Dans les conditions optimales, les taux d'élimination du chrome VI peuvent attendre 98 % pour une concentration initiale de 10 mg/L en chrome. Les résultats expérimentaux ont été appliqués aux modèles de Freundlich, Langmuir, Dubinin-Redushkevich et Temkin. Des études cinétique et thermodynamiques suivront pour déterminer l'ordre de la réaction d'adsorption des métaux lourds et nature exothermique du mécanisme. La troisième partie a porté sur la Dialyse Ionique Croisée, dans un premier temps on a développé une étude préliminaire de l'influence des différents paramètres selon le plan d'expérimentation effectué afin d'identifier et d'évaluer l'influence de chaque paramètre sur les taux d'élimination de l'ion métallique. Ces facteurs sont la concentration initiale de l'ion métallique, la concentration initiale de l'ion de substitution, le type de la membrane et l'agitation magnétique. Cette démarche est nécessaire afin de fixer les paramètres optimaux et évaluer leurs interactions mutuelles. Cette étude a permis de montrer que le type de membrane échangeuse d'anions est le plus important paramètre influant sur l'élimination du chrome et ceci peut s'expliquer par les valeurs élevées de la capacité d'échange et de la teneur en eau de la membrane AFN. La modélisation du transfert des ions HCrO4- en dialyse ionique croisée a montré la présence de deux phases : la couche limite de diffusion du côté de l'alimentation (solution à traiter contant les ions HCrO4-) et la membrane. En deuxième étape, nous avons effectué une étude du vieillissement des membranes, qui consiste à faire un suivie de l'épaisseur membranaire, de la conductivité membranaire et de leur morphologie par MEB. Nous avons montré que les membranes AMV et AFN se dégradent peu à priori de la même manière. Finalement, nous avons effectué un nouveau montage qui couple les deux procédés et ceci dans le but d'améliorer le taux d'élimination. Ce couplage a permis d'augmenter l'efficacité et la cinétique d'échange de la dialyse, en plus une réduction considérable de la quantité d'alumine activée à régénérer et l'amélioration de la cinétique de transfert transmembranaire