L’étude des caractéristiques physico-chimiques du Compritol® (béhénate de glycérol) et du Précirol® (palmito-stéarate de glycérol) a été effectuée. Les méthodes d’évaluation consistaient en la calorimétrie différentielle à balayage, la microscopie sur platine chauffante et la rhéologie dans un rhéomètre capillaire à pression variable. Cette étude a montré une évolution de la structure cristalline de ces deux corps gras en fonction du temps et de la température de stockage. En effet, ces composés, après fusion et refroidissement, « recristallisent » sous une structure partiellement amorphe, qui évolue avec le temps en structure cristalline. Il est également ressorti de cette évaluation que ces deux excipients lipidiques présentent des plages de fusion bien distinctes. Cette caractéristique est conservée lorsqu’ils sont en mélanges binaires. Enfin, ces corps gras se déforment sous l’action de fortes forces de cisaillement à des températures inférieures à leurs plages de fusion. L’utilisation du Compritol® et du Précirol® comme corps gras lipophiles pour former des microbilles à libération prolongée a alors été envisagée. Nous avons procédé moyennant une technique de fabrication simple et rapide appelée « la pelletisation thermoplastique ». Il s’agit d’un procédé en une étape qui met à profit le pouvoir liant des corps gras facilement fusibles et se passe ainsi de l’usage de l’eau ou de solvants organiques. L’appareillage utilisé est de type mélangeur granulateur à haute vitesse. Nous nous sommes basés sur les renseignements fournis par l’étude de préformulation afin d’optimaliser les conditions de fabrication des microbilles. Le contrôle de la température du mélange est très important pour la réussite du procédé de pelletisation thermoplastique. La vitesse du bras du mélangeur, la température de la double paroi et le temps de sphéronisation constituent les paramètres clés pour réussir la pelletisation du mélange. Nous avons mis au point des formulations contenant 15% (m/m) de Précirol® et une quantité croissante de Compritol® variant de 3 à 65 % (m/m). La libération du chlorhydrate de phényléphrine, employé comme agent traceur, a déjà été ralentie pour les formulations contenant 25 % (m/m) de corps gras. Face à ces résultats encourageants, nous avons mis au point des formulations contenant 75 % (m/m) de différents principes actifs (chlorhydrate de ciprofloxacine, théophylline et kétoprofène) et 25 % (m/m) de corps gras. Ces formulations ont abouti à la fabrication de microbilles à libération prolongée. Une étude de stabilité menée sur certaines des formes finies a montré la stabilité des microbilles lipidiques pour autant que le principe actif incorporé dedans ne soit par lui-même facilement dégradable. Afin d’élargir le champ d’application du procédé de fabrication, nous avons mis au point des microbilles flottantes à libération prolongée. Les formulations proposées contiennent comme excipients : les deux corps gras, un mélange effervescent (bicarbonate sodique/ acide tartrique) et du Methocel K100. Leur flottabilité a été prouvée in vitro sur une période de plus de huit heures et In vivo par administration de microbilles de riboflavine flottantes versus non flottantes à des volontaires humains sains.

Thèse doctorat : Informatique : Nancy 1 : 2006. / Titre provenant de l'écran-titre.

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

Dans le domaine des systèmes multiagents (SMA), la communication est très souvent considérée selon une approche dyadique et abstraite assez rigide. Cette thèse fait l'hypothèse qu'en s'inspirant de la communication humaine, il est profitable d'utiliser le phénomène de l'écoute flottante dans des systèmes multiagents afin de donner souplesse et robustesse à leur structure. <br />Pour aller dans ce sens, nous proposons le modèle en étoile. Il permet aux membres d'un SMA d'utiliser l'écoute flottante pour se structurer en groupes centrés sur des leaders afin de s'adapter aux conditions de communication limitées et dynamiques dont ils disposent. Ce modèle fournit un cadre dans lequel les agents peuvent évoluer et assure que si leurs décisions respectent certaines contraintes (notamment de cohérence) ils pourront tirer parti de tous les messages qu'ils pourront recevoir (même s'ils ne leur sont pas destinés) afin de se forger les croyances les plus cohérentes possibles sur l'organisation de l'équipe et ainsi faciliter son activité. <br />D'une part, nous développons plusieurs éléments utiles pour exploiter ce modèle en étoile (langage à la sémantique définie formellement, mécanisme de mise à jour et algorithme associé). D'autre part, deux séries d'expérimentations (OTTO et LOTTO) nous permettent d'étudier le comportement du modèle face aux variations de divers paramètres.

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

Parmi les desserts à base d’ovoproduits, l’île flottante est reconnue comme particulièrement sensible d’un point de vue microbiologique car sa commercialisation souffre de la survenue intempestive d’altérations que les industriels souhaitent maîtriser. Les travaux réalisés au cours de cette thèse avaient pour objectif de mieux appréhender ces phénomènes afin de mieux les contrôler. Nous avons montré que l’altération de l’île flottante concernait principalement la crème anglaise et qu’elle s’accompagnait d’un développement bactérien conséquent, d’une fréquente diminution du pH et de modifications sensorielles liées à l’aspect et à l’odeur. Les principales bactéries détectées ont été identifiées comme appartenant au groupe Bacillus cereus et aux genres Staphylococcus et Enterococcus. Le blanc d’œuf pasteurisé, utilisé pour la fabrication des œufs en neige, s’est avéré être une source de contamination possible.Cependant, l’implication de bactéries installées sous forme de biofilms dans l’environnement de production ou véhiculées par d’autres ingrédients a aussi été fortement envisagée. La ré-inoculation, en culture pure, d’une collection bactérienne représentative dans de la crème anglaise stérile a montré que différents types de modifications sensorielles et physico-chimiques s’exprimaient d’un genre bactérien à l’autre et qu’ils étaient notamment corrélés à la capacité des bactéries à consommer les sucres et les protéines de la crème anglaise et à produire des métabolites dont des composés volatils odorants. Ces résultats à l’appui, différents tests ont pu être proposés, p / Among the chilled egg products-based desserts, the French dessert “île flottante” is recognized as particularly sensitive from a microbiological point of view, because marketing is suffering from untimely spoilage occurrence that manufacturers wish to control. The work done in this thesis aimed to better understand these phenomena in order to better control them. We have shown that the dessert spoilage mainly concerned the custard cream and it was characterized by high bacterial count, frequent pH decreasing and sensory changes of appearance and smell. The main bacteria detected were identified as belonging to the Bacillus cereus group and Staphylococcus and Enterococcus genera. The possible involvement of bacteria from the pasteurized egg white, used for the egg white foaming, in the dessert spoilage issue was established.However, the involvement of bacteria from biofilms installed in the production environment or provided by other ingredients was also strongly suspected. The spoilage potential assessment of pure culture of a representative bacterial collection in sterile custard cream has shown that different types of sensory and physicochemical changes were expressed according to bacterial genus and that these changes were particularly correlated with the ability of bacteria to consume sugars and proteins of custard and to produce various volatile compounds with specific odorous. With these results, various tests have been proposed for a better control of the white egg batches orientation according to their microbiological quality and so to guarantee their safety with

La vérification de programmes avec des calculs sur les nombres à virgule flottante est une étape très importante dans le développement de logiciels critiques. Les calculs sur les nombres flottants sont généralement imprécis, et peuvent dans certains cas diverger par rapport au résultat attendu sur les nombres réels. L’objectif de cette thèse est de concevoir un solveur de contraintes sur les nombres à virgule flottante dédié à la vérification de programmes. Nous présentons dans ce manuscrit une nouvelle méthode de résolution de contraintes sur les flottants. Cette méthode se base principalement sur la sur-approximation des contraintes sur les flottants par des contraintes sur les réels. Cette sur-approximation doit être conservative des solutions sur les flottants. Les contraintes obtenues sont ensuite résolues par un solveur de contraintes sur les réels. Nous avons proposé un algorithme de filtrage des domaines sur les flottants basé sur le concept de la sur-approximation qui utilise des techniques de programmation linéaire. Nous avons aussi proposé une méthode de recherche de solutions basée sur des heuristiques. Cette méthode offre aussi la possibilité de comparer le comportement des programmes par rapport à une spécification sur les réels. Ces méthodes ont été implémentées et expérimentées sur un ensemble de programmes avec du calcul sur les nombres flottants. / The verification of programs with floating-point numbers computation is an important issue in the development of critical software systems. Computations over floating-point numbers are not accurate, and the results may be very different from the expected results over real numbers. The aim of this thesis is to design a constraint solver over floating-point numbers for program verification purposes. We introduce a new method for solving constraints over floating-point numbers. This method is based on an over-approximation of floating-point constraints using constraints over real numbers. This overapproximation is safe, that’s to say it doesn’t loose any solution over the floats. The generated constraints are then solved with a constraint solver over real numbers. We propose a new filtering algorithm using linear programming techniques, which takes advantage of these over-approximations of floating-point constraints. We introduce also new search methods and heuristics to find floating-point solutions of these constraints. Using our implementation, we show on a set of counter-examples the difference of the execution of programs over the floats with the specification over real numbers.

Depuis la découverte des polymères conducteurs, de nombreuses études ont été menées afin d’utiliser ces nouveaux matériaux semiconducteurs en tant que couche active de composants électroniques. Dans cette thèse nous nous intéressons à deux composants clés de l’électronique organique : Les transistors à effet de champs et les mémoires à nano-grille flottante seront réalisés à la fois sur des substrats rigides et flexibles. Pour l’optimisation de nos dispositifs, nous avons choisi de travailler sur les interfaces.Tout d’abord, des monocouches auto-assemblées SAMs ont été utilisés pour optimiser les interfaces électrode/SCO et diélectrique/SCO de l’OFET : des mobilités de 0.68 cm2V-1S-1 et des rapports on/off ˃106 ont été obtenus. Par la suite, nous avons fabriqué des dispositifs de mémoire à simple grille flottante SFG en utilisant les en nanoparticules (NP) d’or et à double grille flottante DFG en utilisant les NP d’or et des feuillets de graphène comme couches de piégeage de charges. En particulier, les DFG avec PFBT présentent en effet d'excellentes performances (une large fenêtre mémoire de 51 V et un temps de rétention stable et de plus de 108s).Ensuite, nous avons fabriqué tous les dispositifs sur des substrats souples en kapton avec des processus de fabrication simples et à basse température. Ces NFGM flexibles ont été caractérisés et leurs performances mesurées (fenêtre mémoire de 23V). Nous avons également mis en évidence un piégeage multi-niveaux dans les NP. De plus, ces composants ont montré une bonne résistance aux tests de flexibilité et de pliage et une stabilité très satisfaisante (supérieure à 500 cycles). / Organic field effect transistor (OFET) and organic based nano-floating gate memory (NFGM) devices are essentially expected to meet emerging technological demands that realizing flexible and wearable electronic devices. The objective of this thesis is to develop and optimize the pentacene OFET and NFGM based on rigid and flexible substrates. First, self-assembled monolayers (SAMs) were used to optimize the OFET, a high mobility of 0.68 cm2V-1S-1 and current on/off ratio ˃106 were obtained. Then, we fabricated single floating gate (SFG) and double floating gate (DFG) memory devices by using gold nanoparticles (Au NPs) and reduced graphene oxide (rGO) sheets as charge trapping layers. In particular, the DFG with PFBT exhibits excellent memory performances, including the large memory window of 51 V, and the stable retention property more than 108 s. Third, we fabricated all organics based OFET and NFGM on kapton flexible substrates with simple fabrication process under low temperature. The large memory window of 23 V was obtained, and the multi-level data storage performance was observed for our flexible NFGM devices. In addition, the bending stability/mechanical stability test present high current on /off ratio ˃105, retention time ˃104, as well as cycling exceed 500 cycles. Based on the experiments results of this work, we highlight the efficient ways to optimize the OFET and fabricate the high performances of flexible NFGM by simple fabrication process.

Le codage et le comportement de l'arithmétique à virgule flottante disponible dans les ordinateurs sont spécifiés par la norme IEEE-754. Cette norme impose au système de rendre comme résultat de l'une des quatre opérations (+, *, /, sqrt), l'arrondi du résultat exact. Cette propriété que l'on appelle <>, permet de garantir la qualité du résultat. Elle permet également la construction de preuves d'algorithmes, quelles que soient les machines sur lesquelles l'opération est executée. Toutefois cette norme présente des limites, puisque les fonctions élémentaires (sinus, cosinus, exponentielle...) en sont absentes. Cette abscence est liée au <> : il est, contrairement aux opérations de base, difficile de connaître la précision nécessaire pour garantir l'arrondi correct des fonctions élémentaires. Cependant, si l'on fixe le format de représentation, il est alors possible par une recherche exhaustive de déterminer cette borne; ce fut le travail de thèse de Lefèvre pour la double précision. <br /><br />L'objectif de ce mémoire est d'exploiter les bornes associées à chaque fonction, pour certifier l'arrondi correct des fonctions élémentaires en double précision pour les quatre modes d'arrondi. À cet effet, nous avons implémenté les évaluations en deux étapes : l'une rapide et juste la plupart du temps, basée sur les propriétés de l'arithmétique IEEE double précision, et l'autre juste tout le temps, composé d'opérateurs multiprécision. Pour cette deuxième phase, nous avons développé une bibliothèque d'opérateurs multiprécision optimisés pour les précisions données par ces bornes et les caractéristiques des processeurs en 2003.

Une sous-classe intéressante de matériaux multiferroïques est celle des composés multiferroïques magnétoélectriques, dans lesquels il existe un couplage entre les paramètres d'ordres ferroïques (magnétique et électrique). De ce point de vue, la classe des matériaux Ga₂₋ₓFeₓO₃ a attiré l'attention des chercheurs. Ces composés sont actuellement connus pour leur température de transition élevée ainsi que pour l'interaction possible entre leurs propriétés ferrimagnétiques et piézoélectriques. Leur structure cristallographique et magnétique est assez complexe, du fait du désordre de substitution interne Fe/Ga. Les oxydes M₂Ga₂Fe₂O₉ (M=In, Sc) appartiennent à cette même famille de matériaux et ont été synthétisés pour la première fois afin d'obtenir une structure cristallographique ordonnée de GaFeO₃. Afin d'étudier les propriétés physiques de ces différents composés, nous avons synthétisé par la méthode de la zone flottante (au four à image), en utilisant différentes conditions de croissance, des monocristaux de composition Ga₂₋ₓFeₓO₃ (x=0.90, 1.00 et 1.10). Nous avons également élaboré des échantillons polycristallins de composés GaFeO₃ faiblement dopés en indium ainsi que le composé M₂Ga₂Fe₂O₉ (M=In, Sc). Nous avons enfin préparé de monocristaux de composition In₂Ga₂Fe₂O₉ par la méthode de croissance en flux. L'affinement Rietveld des diffractogrammes des rayons X et des neutrons nous a permis de montrer que les céramiques de GaFeO₃ faiblement dopées en indium et les monocristaux de Ga₂₋ₓFeₓO₃ cristallisent dans le groupe d'espace Pc2₁n. Les paramètres cristallins et la température de Néel caractéristiques pour les monocristaux de Ga₂₋ₓFeₓO₃ varient de manière linéaire avec la teneur en fer. Les affinements nous ont permis de conclure que la structure de ces composés est caractérisée par un désordre élevée (25% de la quantité du fer se trouve sur les sites natifs du gallium). L'incorporation graduelle de l'indium s'accompagne d'une augmentation du volume de la maille ainsi qu'à une diminution de la température de transition magnétique. Le spectre d'excitations magnétiques mesuré pour les cristaux de Ga₂₋ₓFeₓO₃ nous a permis de mettre en évidence une coexistence de l'ordre ferrimagnétique à longue portée et d'un signal de diffusion diffuse en-dessous de la température de Néel. Ce signal diffus suggère l'existence d'une composante de type verre de spin du fait du désordre interne des sites. L'étude de la variation thermique de la constante diélectrique sur un cristal de GaFeO₃ révèle l'absence d'un couplage magnétoélectrique au sein de ces matériaux. L'affinement Rietveld des diagrammes de diffraction des rayons X et des neutrons mesurés sur les poudres de M₂Ga₂Fe₂O₉ (M=In, Sc) révèle une structure orthorhombique de type Pba2 fortement désordonnée, avec quatre sites cationiques d'occupation mixte. Les données de susceptibilité DC et AC couplées avec les mesures de chaleur spécifique et les spectres Mössbauer indiquent, en-dessous d'une température de Tg ≈ 19 K, l'existence d'un état fondamental de type verre de spin dans ce système. Les mesures du spectre d'excitations magnétiques ont mis en évidence l'absence d'ordre magnétique à longue portée et confirment l'existence d'une transition d'un état paramagnétique vers un état verre de spins. L'existence d'un comportement de type verre de spin dans les systèmes Ga₂₋ₓFeₓO₃ et M₂Ga₂Fe₂O₉ (M=In, Sc) souligne l'importance du désordre interne pour la caractérisation de l'état fondamental magnétique.