Les produits de la forêt dans les applications architecturales ou décoratives extérieurs sont souvent défavorisés par leur durabilité limitée et la préservation de leur apparence. La demande pour des revêtements extérieurs pour le bois à haute durabilité, la technologie verte et les nouvelles règlementations environnementales en matière d’émission des COV (composés organiques volatils) poussent l'industrie à développer des nouvelles formulations de peintures à base d’eau qui possèdent des performances équivalentes ou supérieures à celles des peintures à base de solvant organique. En effet, ce projet a comme but l’amélioration de la durabilité du bois en usage extérieur en utilisant des revêtements nanocomposites à base d’eau qui contiennent des absorbeurs UV inorganiques à taille nanométrique. Des nanoparticules de ZnO et TiO2 modifiées en surface contre la dégradation photocatalitique ont été choisies afin d’être dispersées sous forme de poudre et sous forme de dispersions aqueuses dans une formulation commerciale à base d’eau de teinture acrylique latex fournie par Sico Ltd. Montréal – Akzo Nobel, Canada. La durabilité des teintures nanocomposites appliquées sur de l’épinette noire a été étudiée par le vieillissement accéléré. La dégradation des revêtements nanocomposites due au vieillissement artificiel a été déterminée par le changement de l’apparence (couleur et brillance), la perte en épaisseur, le changement de la température de la transition vitreuse (Tg) et le changement de propriétés mécaniques (l’adhérence, l’abrasion, dureté, module d’élasticité). Le développement des produits de photo-oxydation à la surface des revêtements vieillis a été démontré par la spectroscopie infrarouge à transformée de Fourier. La microscopie à force atomique a été employée pour visualiser la dégradation des surfaces de revêtements soumis au vieillissement artificiel afin d’établir leur mécanisme de dégradation. La qualité de la dispersion des nanoparticules dans les films nanocomposites ainsi que la tenue du film sur le substrat en bois ont été vérifiés par la microscopie électronique à balayage et à transmission. Les études thermiques effectuées par la calorimétrie différentielle à balayage et l’analyse thermogravimétrique ainsi que la perméabilité aux vapeurs d’eau ont servi à mieux caractériser les nouveaux revêtements nanocomposites. En conclusion, une protection efficace contre les UV est directement reliée à la dispersion homogène des nanoparticules dans le revêtement nanocomposite. La compatibilité avec la matrice acrylique de dispersant utilisée pour la prédispersion de nanoparticules et le type de modification à la surface de nanoparticules sont très importants pour prévenir l’agrégation des nanoparticules dans le revêtement sec. Finalement, une série de revêtements nanocomposites à haute performance a été sélectionnée. Les résultats obtenus confirment l’avantage de l’utilisation des absorbeurs inorganiques UV de taille nanométrique dans les revêtements extérieurs et par conséquent, de nombreuses possibilités de l’application de la nanotechnologie se sont ouvertes dans la reformulation des teintures à base d’eau destinées au bois. / The forest products designated to architectural or exterior decorative applications are often disadvantaged by their limited durability and appearance preservation. High performance exterior wood coatings demand, green technologies and the VOCs environmental legislations push industry to develop waterborne formulations that pose equivalent or superior performance as the solventborne ones. Consequently, the main objective of this project is to improve the exterior wood durability by using waterborne nanocomposite coatings that contain nanosized inorganic UV absorbers. Surface modified ZnO and TiO2 nanoparticles against photocatalytic choose to disperse under powder and water-based dispersions into a commercial waterborne acrylic stain formulation for deck from Sico Ltd. Montreal – Akzo Nobel, Canada. The durability of nanocomposite coatings supported by black spruce wood was studied by artificial aging. Nanocomposites coatings degradation was followed by appearance (gloss and color measurements), thickness, glass transition temperature (Tg) and mechanical properties (adhesion, abrasion, hardness and elastic modulus) changes. Photo-oxidation products growth on the degraded surface of aged wood coatings was monitorized by Fourier Transform - Infrared Spectroscopy. Atomic force microscopy was used to visualise the aged coatings degraded surface in order to establish their mechanism of degradation under artificial exposure. The nanoparticles dispersion quality in the dry nanocomposites films and also films adherence on the wood substrate were verified by scanning electron microscopy and transmission electron microscopy. The thermal analysis (DSC and TGA) and water vapour permeability were employed for a better characterization of the new nanocomposite coatings. In conclusion, an efficient UV protection is directly connected with an homogeneous dispersion of the nanoparticles in nanocomposite coating. Dispersant compatibility that was used to predisperse the nanoparticles and modification type of nanoparticles are crucial in preventing nanoparticles agglomeration in the dry coating. Finally, a series of high performance nanocomposites coatings was selected. The obtained results confirm the advantage of using inorganic nanosized UV absorbers in exterior coatings and consequently various possibilities of nanotechnologies applications are open into reformulating waterborne coating for wood.

Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2011-2012 / Dans un portefeuille d’assurance automobile, différents types de réclamations peuvent survenir pour chaque police en vigueur. En cas de collision entre deux véhicules, l’assuré peut déposer une réclamation pour dommages corporels et matériels à luimême et à autrui. Traditionnellement, ces types de risques ont été considérés comme indépendants afin d’en faciliter la modélisation stochastique. Dans la pratique, on observe toutefois une dépendance entre les montants de ces réclamations dont il importe de tenir compte pour mieux quantifier le risque global du portefeuille. Frees et Valdez (2008) ont proposé un modèle permettant de considérer certaines dépendances entre les fréquences et les sévérités des garanties impliquées dans les réclamations d’une même police d’assurance. Dans ce mémoire, deux structures de modèles inspirées de celle de Frees et Valdez (2008) sont proposées pour modéliser les sinistres d’un portefeuille d’assurance automobile de l’Ontario. L’ajustement des modèles est réalisé par la méthode de vraisemblance maximale ainsi que par une approche bayésienne.

L’objectif de cette étude était de vérifier la biocompatibilité entre les mycètes du fromage Camembert et les bactéries lactiques (probiotiques ou d’affinage). La plupart des souches fongiques utilisées ont été isolées de laits en provenance du terroir québécois et deux laits d’origines différentes ont servi pour la fabrication de caillés modèles. La spectrophotométrie automatisée (SA) a été employée pour présélectionner des mélanges de souches mycéliennes et bactériennes biocompatibles. Des milieux à base de lait furent fermentés par des mycètes et étaient ensuite inoculés avec les bactéries. La croissance préalable des mycètes stimulait ou inhibait les bactéries, mais les effets étaient mineurs et variaient selon les souches. Par la suite, afin de confirmer ces résultats, des caillés modèles ont été inoculés simultanément par des combinaisons de bactéries et de mycètes. L’absence d’inhibition des bactéries par les mycètes observée en SA a été confirmée, mais les interactions en caillé modèle différaient de celles notées en SA en raison de l’évolution différente du pH dans les deux séries expérimentales. Finalement, des fromages Camembert probiotiques ont été fabriqués avec des souches du terroir et commerciales. Le Camembert s’est révélé un aliment intéressant pour favoriser la survie des bactéries lactiques. Par contre, aucun mélange de souches fongiques n’a été systématiquement meilleur qu’un autre pour stimuler la viabilité des probiotiques. / This study was carried out to verify the biocompatibility between the mycetes of Camembert cheese and lactic cultures (probiotic and ripening strains). Most of the fungi strains used had been isolated from different milk sources over the province of Quebec (Canada) and two different kinds of milk were used to produce cheese slurries. Automated spectrophotometry (AS) was employed to screen some biocompatible pairings of mycete and bacterial strains. A milk medium was fermented by yeasts and moulds and then inoculated with bacteria. The previous growth of the mycetes was sometimes stimulatory and sometimes inhibitory, but the effects were minor and varied as a function of the strains. Subsequently, to confirm these AS results, cheese slurries were inoculated simultaneously with different strains combinations. Finally, pilot scale Camembert cheese was produced to verify its ability to support probiotic bacterial cultures viability. The absence of inhibition of the bacteria by the mycetes in SA was confirmed, but the interactions in the cheese slurries differed from those noted in AS because of the different pH patterns in the two experimental series. Camembert was shown to have potential to favour the viability of probiotic bacterial strains during ripening and storage. However, no mycete mix was systematically better than another to stimulate this viability.

Les carabes sont des insectes abondants et jouent un rôle important dans l’agro-écosystème. Les systèmes culturaux et les travaux de sol ont des effets complexes sur les facteurs physico-chimiques du sol, qui peuvent aussi affecter les carabes. L’objectif du projet était de mesurer l’effet de trois systèmes culturaux (Conventionnel, CV; Sans herbicides, SH; Biologique, B) en interaction avec trois travaux de sol (Labour, L; Chisel, CH; Semis direct, SD) établis depuis 20 ans, sur l’abondance relative et la richesse spécifique des carabes. En 2007, l’abondance relative des carabes a été plus élevée dans le B-SD par rapport aux autres systèmes, à l’exception des systèmes SH-SD et SH-L, alors qu’en 2008, peu de différences ont été mesurées entre les traitements. La richesse des carabes a été plus grande dans le système biologique en 2007, tandis qu’en 2008, elle a varié dans le temps sans être favorisée par un système.

L’analyse statique des programmes est une technique de vérification qui permet de statuer si un programme est conforme à une propriété donnée. Pour l’atteinte de cet objectif, il faudrait disposer d’une abstraction du programme à vérifier et d’une définition des propriétés. Dans la mesure où l’outil de vérification prend place dans un cadre algébrique, la définition des propriétés ainsi que la modélisation du programme sont représentées sous la forme d’expressions régulières. Ce mémoire traite en premier lieu de la traduction des programmes écrits en langage C vers une abstraction sous forme d’expressions régulières. La méthode de traduction proposée, ainsi que les différentes étapes de transformations y sont exposées. Les premiers chapitres du présent mémoire énoncent les connaissances élémentaires de la théorie des langages ainsi que de la compilation des programmes. Un bref aperçu des différentes méthodes de vérification des programmes est présenté comme une mise en contexte. Finalement, la dernière partie concerne la traduction des programmes ainsi que la description de l’outil de traduction qui a été réalisé.

Le concept de miroir déformable à base de liquide magnétique (ferrofluide) a énormément contribué à la technologie des miroirs déformables. Les miroirs déformables à ferrofluide (MDFs) permettent des déformations qui peuvent varier de quelques nanometres jusqu'à quelques millimètres, ce qui est largement supérieur à ce que les miroirs déformables commerciaux peuvent produire. Toutefois, un inconvénient majeur de ces MDFs est leur réponse non linéaire. Une nouvelle technique qui permet de surmonter ce problème est de superposer un champ magnétique constant et uniforme au champ magnétique produit par les action-neurs. Nous avons fabriqué un MDF à 91 actionneurs qui utilise cette nouvelle technique de linéarisation. Les performances obtenues sont comparables à celles des miroirs déformables disponibles commercialement. Les premiers 36 polynômes de Zernikes ont été produits en utilisant ce miroir et, basés sur nos mesures, nous prévoyons des amplitude maximales sur le front d'onde qui peuvent atteindre plus de 70 [mu]m. La combinaison linéaire de polynômes de Zernike, la reproductibilité au fil du temps, ainsi que l'application de ce MDF à compenser les aberrations de l'oeil humain est présentée.

Ce mémoire poursuit deux objectifs. Le premier objectif est d'examiner les liens entre les dispositions d'attachement et le fait d'accepter d'être mentor ou protégé dans un programme de mentorat formel en milieu scolaire. Le second objectif vise à vérifier si la qualité de la relation développée entre le mentor et le protégé est influencée par leurs dispositions d'attachement respectives. Les participants sont des étudiants collégiaux et universitaires sollicités pour participer au programme MIRES (Mentorat pour l'Intégration et la Réussite des Étudiants de Sciences). Les dispositions d'attachement ont été mesurées avant d'inviter les étudiants à participer au programme MIRES alors que la qualité de la relation de mentorat a été évaluée en deux temps, après deux mois et six mois d'intervention. Les résultats suggèrent que les dispositions d'attachement des étudiants universitaires influencent leur intérêt à devenir mentor. De plus, la qualité de la relation est évaluée moins positivement par les mentors anxieux et perçue plus positivement lorsque le protégé présente une sécurité d'attachement. Certains effets d'interaction des dispositions d'attachement ont également été notés. Les dyades sécurisant-sécurisant démontrent une plus grande satisfaction de la qualité de la relation que les autres dyades.

Durant ces dernières décennies, nous avons assisté à une automatisation massive de la société selon toutes ses sphères. Malheureusement, cette révolution technologique n’a pas eu que des bienfaits. En effet, une nouvelle génération de criminels en a profité, afin d’occasionner davantage d’activités illégales. De ce fait, afin de protéger les systèmes informatiques, il est devenu plus que primordial de définir rigoureusement des politiques de sécurité ainsi que de mettre en oeuvre des mécanismes efficaces capables de les appliquer. L’objectif majeur d’un mécanisme de sécurité consiste souvent à contrôler des logiciels, afin de les contraindre à “bien” se comporter. Cependant, la plupart des mécanismes de sécurité procèdent par des méthodes ad hoc qui sont loin d’être efficaces. En outre, ils sont peu fiables, puisqu’il n’y a aucune preuve sur leur capacité à faire respecter les politiques de sécurité. De là apparaît la nécessité de concevoir des mécanismes de sécurité alternatifs qui résolvent le problème de l’application de la sécurité d’une manière formelle, correcte et précise. Dans ce contexte, notre thèse cible principalement la caractérisation formelle de l’application effective des politiques de sécurité via des mécanismes basés sur la réécriture de programmes. On entend par application effective, le fait d’éliminer tous les “mauvais” comportements d’un programme, tout en conservant tous les “bons” comportements qu’il engendre, et ce, sans compromettre la sémantique du programme à sécuriser. Nous avons opté pour la réécriture de programmes, vu sa grande puissance par rapport aux autres mécanismes de sécurité qui sont soit laxistes soit très restrictifs. Les principaux résultats qui ont été réalisés, afin d’atteindre les objectifs ciblés par cette thèse sont les suivants : – Caractérisation formelle de l’application des propriétés de sûreté par la réécriture de programmes. Il s’agit d’appliquer les propriétés de sûreté qui constituent la classe de propriétés de sécurité la plus communément appliquée par les mécanismes de sécurité. – Caractérisation formelle de l’application de n’importe quelle propriété de sécurité par la réécriture de programmes. Cette contribution montre comment la réécriture de programmes permet l’application de politiques de sécurité qu’aucune autre classe de mécanismes de sécurité ne peut appliquer. – Caractérisation alternative de l’application de la sécurité par une approche algébrique. Cette contribution propose un formalisme algébrique afin de réduire l’écart entre la spécification et l’implantation des mécanismes de sécurité basés-réécriture. / During the last decades, we have witnessed a massive automation of the society at all levels. Unfortunately, this technological revolution came with its burden of disadvantages. Indeed, a new generation of criminals emerged and is benefitting from continuous progress of information technologies to cause more illegal activities. Thus, to protect computer systems, it has become very crucial to rigorously define security policies and provide the effective mechanisms required to enforce them. Usually, the main objective of a security mechanism is to control the executions of a software and ensure that it will never violate the enforced security policy. However, the majority of security mechanisms are based on ad hoc methods and thus, are not effective. In addition, they are unreliable, since there is no evidence on their ability to enforce security policies. Therefore, there is a need to develop novel security mechanisms that allow enforcing security policies in a formal, correct, and accurate way. In this context, our thesis targets the formal characterization of effective security policies enforcement that is based on programs rewriting. We mean by “effective” enforcement preventing all the “bad” behaviors of a program while keeping all its "good" behaviors. In addition, effective enforcement should not compromise the semantics of controlled programs. We have chosen for rewriting programs, because it has a great power compared to other security mechanisms that are either permissive or too restrictive. Themain contributions of this thesis are the following : – Formal characterization of security enforcement of safety properties through program rewriting. Safety properties represent the main class of properties usually enforced by security mechanisms. – Formal characterization of any security property using program rewriting. This contribution shows how program rewriting allows the enforcement of security policies that no other class of security mechanisms can enforce. – Algebraic approach as an alternative formal characterization of program rewriting based security enforcement. In this contribution, we investigate an algebraic formal model in order to reduce the gap between the specification and the implementation of program rewriting based security mechansisms.

La copule de Abdelhaq Khoudraji permet de décrire complètement le lien de dépendance qui unit deux variables aléatoires continues. Ce mémoire présente une nouvelle copule basée sur les copules de Khoudraji mais avec plus de propriétés. On a étendu les copules de Khoudraji à des cas multidimen-sionnels tout en proposant quelques exemples. Des simulations ont été introduites dans le but de mieux visualiser ces nouvelles classes de copules. Finalement, des applications ont été réalisées afin de mettre en oeuvre les nouvelles copules trouvées.

Le Narcissistic Personality Inventory (NPI) est la mesure du narcissisme la plus utilisée en recherche et il n'en existe pas de version française validée. Dans cette étude, une adaptation française a donc été développée pour ensuite être distribuée à 546 participants de niveau baccalauréat âgés entre 19 et 59 ans. Nos données ne soutiennent pas le modèle à sept facteurs proposé par Raskin et Terry (1988). Des analyses factorielles exploratoires suggèrent plutôt la présence d'une structure à deux facteurs (Exhibitionnisme/Recherche d'attention et Leadership/Arrogance) ou à trois facteurs (Leadership, Exhibitionnisme/Recherche d'attention et Ambition/Arrogance). Ces structures présentent des similarités avec d'autres modèles récemment proposés pour la version anglaise. La cohérence interne de l'échelle totale de la mesure est excellente (0.91) et fidèle dans le temps (r = 0.79). Une corrélation positive est obtenue entre le NPI et la sous-échelle extraversion du NEO-FFI et des corrélations négatives sont observées entre le NPI et les sous-échelles agréabilité et névrotisme du NEO-FFI. L'échelle totale ne corrèle pas avec l'échelle d'estime de soi de Rosenberg (EESR).