La technique de l’impression moléculaire permettant d'obtenir des polymères hautement sélectifs est utiliséedans de nombreuses applications. Dans le cadre de cette thèse, cette technique est employée pour préparer despolymères spécifiques du benzo(a)pyrène (BaP) en vue d’une application capteur. L’introduction d’une sonderédox au sein même du réseau de polymère offre la possibilité d’une détection directe de la cible, par unetechnique électrochimique. Dans le domaine des MIPs, ce travail est le premier à décrire l’utilisation d’unmonomère participant à la formation du réseau tridimensionnel tout en apportant une propriété rédox. Lespolymères synthétisés par polymérisation par précipitation ont été caractérisés en termes de composition, destabilité thermique et de propriétés texturales. Les propriétés de rétention ont été évaluées en mode batch parHPLC-UV en présence de BaP et d'interférents de type hydrocarbures aromatiques polycycliques. Ces MIPsprésentent de bonnes propriétés d’adsorption vis-à-vis du BaP avec des facteurs d’empreinte supérieurs à 1montrant l’efficacité de l’impression. Ces propriétés sont conservées en présence d’une matière organique (seld’acide humique), mais également après plusieurs cycles d’utilisation. Les analyses électrochimiques ontdémontré que les propriétés électrochimiques de ces MIPs diffèrent selon la présence ou pas de la cible avecune limite de détection de 0,09 μM en BaP, ouvrant la porte à la réalisation de capteurs. / Molecularly Imprinted Polymers show highly selective affinity towards the target molecule and are used inmany applications. In this context, the technology is used for preparing selective polymers for benzo(a)pyrene(BaP) with the aim of sensor fabrication. The addition of a redox tracer inside the polymer allows thepossibility of direct target detection by an electrochemical technique. In the MIP field, this work is the firstreporting the use of a functional monomer that not only participates in the creation of the polymer network butalso provides a redox property. The polymers synthesized using precipitation polymerization technique werecharacterized in terms of composition, thermal stability and textural properties. The adsorption properties wereevaluated in batch mode by HPLC-UV in the presence of BaP and interfering polycyclic aromatichydrocarbons. These MIPs show good adsorption behavior towards BaP with imprinting factors superior to 1showing the efficiency of the molecular imprinting. These properties were also preserved even in presence ofan organic matter (humic acid salt), and also after several uses. Finally, electrochemical analysis showed thatthese MIPs had a different electrochemical behavior depending on the presence or the absence of the targetwith a detection limit of 0.09 μM for BaP. The use of such electrochemical MIPs can thus be interestinglyconsidered in sensor devices.

L’objectif de cette thèse est d’étudier la possibilité de caractériser le coefficient de frottement par un modèle analytique. Tout d’abord, le modèle analytique (Orban-Hu,2007) a été programmé à l’aide du logiciel « Matlab » puis validé par simulation numérique à l’aide du logiciel « Ls-Dyna ». Ensuite, on a réalisé des essais expérimentaux afin de caractériser les propriétés mécaniques du cuivre d’une part et étudier la mise en forme de tubes par hydroformage de tubes. Par suite, le coefficient de frottement a été caractérisé aussi bien par le modèle analytique que par le test classique ‘pion sur disque’. Les simulations numériques avec les coefficients de frottement obtenus ont permis de valider les résultats issus des essais expérimentaux pour une matrice carrée. Les mêmes résultats ont été également obtenus pour d’autres configurations géométriques (section rectangulaire, trapézoïdale et trapèze.) / The objective of this thesis is to study the possibility of characterizing the friction coefficient by an analytical model. First, the analytical model (Orban-Hu, 2007) has been programmed using "Matlab» software and has been validated by numerical simulation using "LS-Dyna" software. Then, experimental tests were carried out in order i) to characterize the mechanical properties of copper and ii) to study the tube hydroforming in a square section. As a result, the friction coefficient was characterized by the analytical model and the pin-on-disk test. Then, the numerical simulation with the friction coefficients obtained allowed to validate the experimental results for a square section. The same findings were obtained using other die geometries (rectangular, trapezoidal and trapezoid-sectional die).

Dans le domaine de la modélisation des écoulements turbulents, les approche hybrides RANS/LES ont reçu récemment beaucoup d'attention car ils combinent le coût de calcul raisonnable du RANS et la précision de la LES.Parmi elles, le TPITM (Temporal Partially Integrated Transport Model) est une approche hybride RANS/LES temporelle qui surmonte les inconsistances du raccordement continu du RANS et de la LES grâce à un formalisme de filtrage temporel. Cependant, le modèle TPITM est relativement difficile à mettre en œuvre et, en particulier, nécessite l'utilisation d'une correction dynamique, contrairement à d'autres approches, notamment la DES (Detached Eddy Simulation).Cette thèse propose alors une approche hybride RANS/LES similaire à la DES, mais basée sur un filtrage temporel, déduite du modèle TPITM par équivalence, c'est-à-dire en imposant la même partition entre énergies résolue et modélisée. Ce modèle HTLES (Hybrid Temporal LES) combine les caractéristiques de la DES (facilité de mise en œuvre) et du TPITM (formalisme consistant, justification théorique des coefficients).Après calibration en turbulence homogène, l'approche est appliquée à des cas d'écoulements autour de cylindres carrés puis rectangulaires. La modélisation des tensions de sous-filtre est une adaptation au contexte hybride du modèle RANS k-wSST.

La corrosion des armatures internes en acier dans les structures en béton armé constitue une cause importante de dégradation, ce qui pourrait réduire significativement leur durée de vie, engendrer des coûts de maintenance élevés et mettre en danger la sécurité des usagers. Les basses températures en Amérique du Nord et l'utilisation des sels de déglaçage sont des facteurs accélérant l'apparition et le développement de la corrosion des armatures en acier. D'importants travaux de recherche ont été réalisés pour inhiber ou retarder ce type de dégradation. L'utilisation des Polymères Renforcés de Fibres (PRF) comme armature interne dans le béton est une solution très prometteuse. Les PRF ont d'excellentes propriétés mécaniques, un faible poids et ont l'avantage d'être non corrodables. L'utilisation de ces matériaux composites est maintenant élargie aux éléments structuraux et non structuraux soumis à des efforts de flexion et/ou de cisaillement et encadrée par les règlements canadiens de conception des bâtiments et des ponts. Cependant, l'utilisation des PRF dans les éléments structuraux soumis à des efforts de compression tels que les colonnes en béton n'est pas bien documentée et les performances structurales qu'engendre ce type d'association sont encore méconnues. Le travail présenté dans cette thèse a pour objectif, à travers une étude expérimentale, d'observer le comportement en compression de colonnes en béton comprenant des armatures longitudinale et transversale en PRF et faisant intervenir plusieurs paramètres. Le choix de paramètres pertinents permet de comprendre les mécanismes de résistance et de rupture de ce nouveau type d'éléments, et de faciliter la modélisation de leur comportement à travers des modèles analytiques simples, pouvant être utilisés par les ingénieurs-concepteurs. Le programme expérimental comprend 24 colonnes en béton avec des dimensions de 350x350x1400 mm, représentatives des colonnes d'usage dans le bâtiment. Parmi ces colonnes, une n'avait aucune armature, deux étaient entièrement renforcées avec de l'acier et les 21 colonnes restantes étaient confinées avec des armatures transversales en PRF, tandis que leur armature longitudinale était en PRF ou en acier. Plusieurs paramètres ont été étudiés, ces derniers sont liés majoritairement aux armatures transversales et à leur capacité à confiner le béton afin d'augmenter sa résistance en compression et sa déformabilité axiale (ductilité). Ainsi, deux types de cadres ont été utilisés, le premier dit "ouvert", était fait d'assemblage de parties en "C" et l'autre "fermé" découpé dans une spirale continue de forme carrée ou rectangulaire. Les armatures transversales avaient trois configurations plus ou moins complexes et qui dépendent du nombre de barres longitudinales qu'elles retiennent, leur matériau était en PRF de verre ou de carbone et différents espacements ont été utilisés. Les paramètres liés à l'armature longitudinale étaient le taux dans la section de béton ainsi que le type de matériau : des barres en PRF de verre, de carbone et en acier ont été utilisées. Les résultats des essais expérimentaux ont montré que le béton confiné avec des armatures transversales en PRF pouvait atteindre des gains significatifs en termes de résistance à la compression et en déformabilité axiale. Ces gains sont liés à la configuration et à l'espacement des armatures transversales, en effet plus ces dernières sont complexes (cadres multiples) et rapprochées, plus le gain est important. Dans certains cas, l'utilisation des PRF de carbone permet d'atteindre une plus grande résistance que dans les cas du verre. L'utilisation des cadres fermés assure aux colonnes un mode de rupture moins fragile que celui observé pour celles ayant des cadres ouverts. L'utilisation des armatures longitudinales en acier procure aux colonnes une plus grande ductilité comparativement aux barres en PRF. En ce qui concerne la modélisation et la prédiction des performances de ce nouveau type de colonnes, un modèle de confinement a été développé pour calculer la résistance à la compression du noyau de béton des colonnes confinées avec des PRF, une équation empirique permettant d'estimer la contribution des armatures longitudinales en PRF a été développée. De plus, d'autres équations ont aussi été proposées pour calculer la capacité portante des colonnes à des fins de conception, la contribution des barres longitudinales en PRF n'étant pas négligeable comme suggéré par le CSA S806.

Nous étudions comment faciliter la réutilisation des <br />preuves formelles en théorie des types. Nous traitons cette question <br />lors de l'étude <br />de la correction du programme de calcul de la racine carrée de GMP. <br />A partir d'une description formelle, nous construisons <br />un programme impératif avec l'outil Correctness. Cette description <br />prend en compte tous les détails de l'implantation, y compris <br />l'arithmétique de pointeurs utilisée et la gestion de la mémoire. <br />Nous étudions aussi comment réutiliser des preuves formelles lorsque<br />l'on change la représentation concrète des données. <br />Nous proposons un outil qui permet d'abstraire <br />les propriétés calculatoires associées à un type inductif dans<br />les termes de preuve.<br />Nous proposons également des outils pour simuler ces propriétés<br />dans un type isomorphe. Nous pouvons ainsi passer, systématiquement,<br />d'une représentation des données à une autre dans un développement<br />formel.

Cette étude s'intéresse au problème de l'inversion d'un modèle de production de la voix pour obtenir, à partir d'un enregistrement audio de parole, une représentation de le source sonore qui est générée au niveau de la glotte, la source glottique, ainsi qu'un représentation des résonances et anti-résonances créées par le conduit vocal. Cette séparation permet de manipuler les éléments composant la voix de façon indépendente. On trouve de nombreuses applications de ce sujet comme celles présentées dans cette étude (transformation de la voix et synthèse de la parole) et bien d'autres comme la conversion d'identité, la synthèse d'expressivité, la restauration de la voix qui peuvent être utilisées dans les technologies de divertissement, des installations sonores, les industries de la musique et du cinéma, les jeux vidéos et autres jouets sonores, la télécommunication, etc. Dans cette étude, nous supposons que les éléments perçus de la voix peuvent être manipulés en utilisant le modèle source-filtre. Dans le domaine spectral, la production de la voix est donc décrite comme une multiplication des spectres de ses éléments, la source glottique, le filtre du conduit vocal et la radiation. La seconde hypothèse utilisée dans cette étude concerne la composante déterministe de la source glottique. En effet, nous supposons qu'un modèle glottique peut schématiser une période de la source glottique. En utilisant une telle description analytique, les spectres d'amplitude et de phase de la source déterministe sont donc liés par les paramètres de forme du modèle glottique. Vis-à-vis de l'état de l'art des méthodes de transformation de la voix et de sa synthèse, le naturel et le contrôle de ces voix devraient donc être améliorés en utilisant un tel modèle. Par conséquent, nous essayons de répondre au trois questions suivantes dans cette étude: 1) Comment estimer un paramètre de forme d'un modèle glottique. 2) Comment estimer le filtre du conduit vocal en utilisant ce modèle glottique. 3) Comment transformer et synthétiser un signal vocal en utilisant toujours ce même modèle. Une attention toute particulière à été portée à la première question. Premièrement, nous supposons que la source glottique est un signal à phase mixte et que la réponse impulsionnelle du filtre du conduit vocal est un signal à minimum de phase. Puis, considérant ces propriétés, différentes méthodes sont proposées qui minimisent la phase carrée moyenne du résiduel convolutif d'un spectre de parole observé et de son modèle. Une dernière méthode est décrite où un unique paramètre de forme est solution d'une forme quasi fermée du spectre observé. De plus, cette étude discute les conditions qu'un modèle glottique et sa paramétrisation doivent satisfaire pour assurer que les paramètres sont estimés de façon fiable en utilisant les méthodes proposées. Ces méthodes sont également évaluées et comparées avec des méthodes de l'état de l'art en utilisant des signaux synthétiques et electro-glotto-graphiques. En utilisant une des méthodes proposées, l'estimation du paramètre de forme est indépendante de la position et de l'amplitude du modèle glottique. En plus, il est montré que cette même méthode surpasse toute les méthodes comparées en terme d'efficacité. Pour répondre à la deuxième et à la troisième question, nous proposons une procédure d'analyse/synthèse qui estime le filtre du conduit vocal en utilisant un spectre observé et sa source estimée. Des tests de préférences ont été menés et leurs résultats sont présentés dans cette étude pour comparer la procédure décrite et d'autres méthodes existantes. En terme de transposition de hauteur perçue, il est montré que la qualité globale des segments voisés d'un enregistrement peut être meilleure pour des facteurs de transposition importants en utilisant la méthode proposée. Il est aussi montré que le souffle perçu d'une voix peut être contrôlé efficacement.

Dans le domaine de la modélisation des écoulements turbulents, les approche hybrides RANS/LES ont reçu récemment beaucoup d’attention car ils combinent le coût de calcul raisonnable du RANS et la précision de la LES.Parmi elles, le TPITM (Temporal Partially Integrated Transport Model) est une approche hybride RANS/LES temporelle qui surmonte les inconsistances du raccordement continu du RANS et de la LES grâce à un formalisme de filtrage temporel. Cependant, le modèle TPITM est relativement difficile à mettre en œuvre et, en particulier, nécessite l’utilisation d’une correction dynamique, contrairement à d’autres approches, notamment la DES (Detached Eddy Simulation).Cette thèse propose alors une approche hybride RANS/LES similaire à la DES, mais basée sur un filtrage temporel, déduite du modèle TPITM par équivalence, c’est-à-dire en imposant la même partition entre énergies résolue et modélisée. Ce modèle HTLES (Hybrid Temporal LES) combine les caractéristiques de la DES (facilité de mise en œuvre) et du TPITM (formalisme consistant, justification théorique des coefficients).Après calibration en turbulence homogène, l’approche est appliquée à des cas d’écoulements autour de cylindres carrés puis rectangulaires. La modélisation des tensions de sous-filtre est une adaptation au contexte hybride du modèle RANS k-wSST. / In the field of modelling of turbulent flows, hybrid RANS/LES approaches have recently received a considerable attention due to the combination of the computational cost of RANS and the accuracy of LES.Among them, TPITM (Temporal Partially Integrated Transport Model) is a hybrid RANS/Temporal LES approach that overcomes the inconsistency of the continuous bridging of RANS and LES by using a temporal filtering formalism. However, TPITIM is relatively difficult to implement and, in particular, requires a dynamic correction, contrary to other approaches, in particular DES (Detached Eddy Simulation).The present thesis then proposes a hybrid RANS/LES approach similar to DES, but based on temporal filtering, derived from TPITM using an equivalence criterion, i. e., imposing the same partition of among resolved and modeled energies. This HTLES approach (Hybrid Temporal LES) combines the characteristics of DES (ease of implementation) and of TPITM (consistent formalism, theoretical justification of the coefficients).

Dans un marché en permanente progression et pour répondre aux besoins des brasseurs en malt de qualité, la maîtrise du procédé de maltage est indispensable. La qualité du malt est fortement dépendante des conditions opératoires, en particulier des conditions de trempe, mais également de la qualité de la matière première : l'orge. Dans cette étude, nous avons établi des modèles polynomiaux qui mettent en relation les conditions opératoires et la qualité du malt. Ces modèles ont été couplés à nos algorithmes génétiques et nous ont permis de déterminer les conditions optimales de maltage, soit pour atteindre une qualité ciblée de malt (friabilité), soit pour permettre un maltage à faible teneur en eau (pour réduire la consommation en eau et maîtriser les coûts environnementaux de production) tout en conservant une qualité acceptable de malt. Cependant, la variabilité de la matière première est un facteur limitant de notre approche. Les modèles établis sont en effet très sensibles à l'espèce d'orge (printemps, hiver) ou encore à la variété d'orge utilisée. Les modèles sont surtout très dépendants de l'année de récolte. Les variations observées sur les propriétés d'une année de récolte à une autre sont mal caractérisées et ne sont donc pas intégrées dans nos modèles. Elles empêchent ainsi de capitaliser l'information expérimentale au cours du temps. Certaines propriétés structurelles de l'orge (porosité, dureté) ont été envisagées comme nouveaux facteurs pour mieux caractériser la matière première mais ils n'ont pas permis d'expliquer les variations observés en malterie.Afin de caractériser la matière première, 394 échantillons d'orge issus de 3 années de récolte différentes 2009-2010-2011 ont été analysés par spectroscopie MIR. Les analyses ACP ont confirmé l'effet notable des années de récolte, des espèces, des variétés voire des lieux de culture sur les propriétés de l'orge. Une régression PLS a permis, pour certaines années et pour certaines espèces, de prédire les teneurs en protéines et en béta-glucanes de l'orge à partir des spectres MIR. Cependant, ces résultats, pourtant prometteurs, se heurtent toujours à la variabilité. Ces nouveaux modèles PLS peuvent toutefois être exploités pour mettre en place des stratégies de pilotage du procédé de maltage à partir de mesures spectroscopiques MIR / In a continuously growing market and in order to meet the needs of Brewers in high quality malt, control of the malting process is a great challenge. Malt quality is highly dependent on the malting process operating conditions, especially on the steeping conditions, but also the quality of the raw material: barley. In this study, we established polynomial models that relate the operating conditions and the malt quality. These models have been coupled with our genetic algorithms to determine the optimal steeping conditions, either to obtain a targeted quality of malt (friability), or to allow a malting at low water content while maintaining acceptable quality of malt (to reduce water consumption and control the environmental costs of malt production). However, the variability of the raw material is a limiting factor for our approach. Established models are very sensitive to the species (spring and winter barley) or to the barley variety. The models are especially highly dependent on the crop year. Variations on the properties of a crop from one to another year are poorly characterized and are not incorporated in our models. They thus prevent us to capitalize experimental information over time. Some structural properties of barley (porosity, hardness) were considered as new factors to better characterize barley but they did not explain the observed variations.To characterize barley, 394 samples from 3 years of different crops 2009-2010-2011 were analysed by MIR spectroscopy. ACP analyses have confirmed the significant effect of the crop-years, species, varieties and sometimes of places of harvest on the properties of barley. A PLS regression allowed, for some years and for some species, to predict content of protein and beta-glucans of barley using MIR spectra. These results thus still face product variability, however, these new PLS models are very promising and could be exploited to implement control strategies in malting process using MIR spectroscopic measurements

Ce travail de thèse concerne l'étude d'extracteurs d'air hybrides éoliens. Il se décompose en des investigations amont et appliquées. Dans la partie amont, des simulations fines ont été effectuées en conduite carrée avec et sans rotation, pour des nombres de Reynolds turbulents de l'ordre de 600, afin d'analyser l'impact de la rotation sur la turbulence. Elles ont montré que la rotation rompt la symétrie de l'écoulement. La partie appliquée est dédiée à la conception d'une nouvelle géométrie d'extracteur d'air. Cette géométrie a été proposée à partir de l'analyse de simulations RANS. Ses performances ont été confirmées par des mesures expérimentales sur banc d'essais. Les tests en soufflerie d'un système de captage d'énergie éolienne, conçu pour l'extracteur, ont mis en évidence son adéquation au régime de fonctionnement de l'extracteur. Les essais expérimentaux de l'extracteur complet, montrent que le système de captage apporte une part significative de l'énergie. Des essais en soufflerie ont permis d'observer le comportement global de l'extracteur. / This PhD work concerns the study of hybrid air extractors. It is composed of upstream and applied investigations. In the upstream part, fine simulations are realized in square duct flow with and without rotation to analyse the impact of rotation on turbulence. It is found that rotation removes symmetry property of the flow with turbulent Reynolds number of 600. The applied part is dedicated to the conception of a new air extractor geometry. This geometry is proposed from the analyse of RANS simulations. Its performances are confirmed by experimental measurements on test rig. Wind tunnel tests of a wind power capturing system, designed for the extractor, show a good adequation to the operating regime of the extractor. Experimental investigations on the complete air extractor, show the wind power capturing system brings a significant part of the energy. Wind tunnel tests allow to observe the complete air extractor behaviour.

L'implantation en Virgule Flottante (VF) d'une fonction à valeurs réelles est réalisée avec arrondi correct si le résultat calculé est toujours égal à l'arrondi de la valeur exacte, ce qui présente de nombreux avantages. Mais pour implanter une fonction avec arrondi correct de manière fiable et efficace, il faut résoudre le "dilemme du fabricant de tables" (TMD en anglais). Deux algorithmes sophistiqués (L et SLZ) ont été conçus pour résoudre ce problème, via des calculs longs et complexes effectués par des implantations largement optimisées. D'où la motivation d'apporter des garanties fortes sur le résultat de ces pré-calculs coûteux. Dans ce but, nous utilisons l'assistant de preuves Coq. Tout d'abord nous développons une bibliothèque d'"approximation polynomiale rigoureuse", permettant de calculer un polynôme d'approximation et un intervalle bornant l'erreur d'approximation à l'intérieur de Coq. Cette formalisation est un élément clé pour valider la première étape de SLZ, ainsi que l'implantation d'une fonction mathématique en général (avec ou sans arrondi correct). Puis nous avons implanté en Coq, formellement prouvé et rendu effectif 3 vérifieurs de certificats, dont la preuve de correction dérive du lemme de Hensel que nous avons formalisé dans les cas univarié et bivarié. En particulier, notre "vérifieur ISValP" est un composant clé pour la certification formelle des résultats générés par SLZ. Ensuite, nous nous sommes intéressés à la preuve mathématique d'algorithmes VF en "précision augmentée" pour la racine carré et la norme euclidienne en 2D. Nous donnons des bornes inférieures fines sur la plus petite distance non nulle entre sqrt(x²+y²) et un midpoint, permettant de résoudre le TMD pour cette fonction bivariée. Enfin, lorsque différentes précisions VF sont disponibles, peut survenir le phénomène de "double-arrondi", qui peut changer le comportement de petits algorithmes usuels en arithmétique. Nous avons prouvé en Coq un ensemble de théorèmes décrivant le comportement de Fast2Sum avec double-arrondis.