Cette habilitation est une synthèse de mes travaux de recherche entamés il y a une vingtaine d'années ainsi que la présentation de nouveaux résultats. Ces derniers sont résumés par un ensemble de grilles d'analyse que je mets à l'épreuve de six terrains pour en cerner les potentiels d'innovation. En effet, depuis la thèse où je montrais le poids de tâches d'intendance dans les organisations, je soutiens aujourd'hui, grâce aux sciences de l'information et de la communication, à quel point ces tâches peuvent être facteur d'innovation selon l'écoute et le regard qu'on leur porte. Après avoir approfondi les phénomènes de coopération et de cloisonnement organisationnels à travers l'étude du décalage entre une gestion de l'information intentionnelle et sa réalisation, j'ai développé une analyse à la fois communicationnelle et organisationnelle des activités d'information. Il s'agit de prendre en considération la parole et l'écoute dans l'action collective comme articulation entre les niveaux quotidien, stratégique et politique. Je mobilise pour cela une méthodologie de type ethnographie de la communication et des organisations associant clinique et Grounded Theory. Je peux ainsi croiser des intentions, des réalisations et des justifications concernant des mises en place d'outillages informationnels. Cela ouvre à une théorie qui permet de cerner la cohérence entre des comportements individuels et des prescriptions associées à des jugements organisationnels. Cette théorie des rôles et des performances offre un point de vue communicationnel et organisationnel pour mieux comprendre l'insertion de l'action collective dans le monde économique et politique contemporain. L'action collective est en effet un ensemble inséparable de savoirs et de relations où intervient fortement le jugement : chacun agit en mobilisant ses connaissances tout en étant soumis au jugement d'autrui. Elle est ainsi chargé de prescriptions (et/ou de proscriptions) réciproques et forme un ensemble d'interprétations sous contraintes institutionnelles et culturelles, ce qui renvoie à la façon dont chacun justifie ses actes dans des rapports de légitimité. La dimension culturelle est cruciale et je la prends d'autant plus en considération depuis que j'habite en Espagne. La question de départ pour développer de nouveaux résultats semble simple, voire triviale : quel est le pouvoir des mots et surtout de l'écoute correspondante dans la sphère restreinte du travail ordinaire ? Cette question est en fait complexe car qui écoute, en particulier lorsqu'il s'agit d'une parole d'apparence anodine ? Ecouter, c'est prendre le risque de ne pas comprendre, c'est-à-dire accepter de laisser autrui prendre du pouvoir sur soi. L'écoute est problématique parce qu'elle est corporelle et, à ce compte, elle force le rapport au travail réel (au sens des ergonomes), historiquement laissé aux plus faibles. Comme l'information indisciplinée dont je traitais dans ma thèse, la parole et l'écoute ne se prédisent pas, elles engagent les personnes, elles perturbent un ordre qui se voudrait établi dans les normes. Cette approche est d'autant plus importante dans les contextes institutionnels et sociaux actuels : dans les organisations, chacun est soumis aux injonctions d'autonomie et de responsabilité en même temps qu'il doit prévoir et rendre compte de son travail dans des détails de plus en plus précis (mais pas toujours précisés). Par ailleurs, en partie sous prétexte de la puissance des technologies, les spécialistes des " petits boulots " ont disparu. Chacun s'attelle alors à " ranger, classer " sans pour autant toujours valoriser ces tâches qui donnent sens à l'action collective. Les individus se trouvent alors de plus en plus souvent en position schizophrène et en souffrance. La question de la reconnaissance dans ses trois dimensions (confiance en soi, estime de soi, respect de soi), en référence aux travaux d'A. Honneth, est centrale : qui suis-je pour autrui ? Qui est autrui pour moi ? Au-delà de la parole dans l'interaction, se pose la question de sa légitimité et de la place (sociale, institutionnelle, culturelle) de l'individu. Cette place n'est pas choisie, elle dépend de l'histoire. J'ai alors mis l'accent sur la reconnaissance comme capacité d'être au monde, telle que le propose Paul Ricœur : pouvoir dire, faire, raconter et être comptable de ses actes, ce qui ouvre à une capacité de recevoir, de reconnaître autrui et qui se concrétise par la gratitude. Elle relativise la quête incessante de disponibilité qui, elle, se manifeste par une réactivité toujours plus vive, une flexibilité et une mobilité sans limite. J'observe ainsi les signes ambivalents des organisations contemporaines comme le surmenage associé au plaisir autant qu'à des malaises mal reconnus dans la mesure où ils s'expriment de façon corporelle. Sur mes terrains, ni la taille, ni le métier, ni les inscriptions sociales et politiques n'expliquent ces mélanges ambigus de plaisir et de malaise. En revanche, écouter les points de vue sur les situations vécues est riche d'enseignement : l'organisation n'est en rien univoque mais dépend de l'interprétation dont elle fait l'objet et notamment de la façon dont chacun, selon sa place, met en place et mobilise les instruments de gestion. Je considère alors ces derniers comme des artefacts communicationnels et informationnels, à savoir des objets et symboles ayant la double particularité d'augmenter les capacités de l'ensemble dans lequel ils s'insèrent et d'en transformer l'état et le fonctionnement. A l'instar de Michèle Lacoste, je remarque que ces artefacts sont non seulement fonctionnels (rendre compte, prévoir, juger, cadrer) mais aussi relationnels (négocier, discuter, faire des confidences, raconter, facteur d'émotions plus ou moins partagées, etc.). Apparaît alors l'importance de l'écoute " flottante " dans l'action collective, c'est-à-dire lorsque l'attention est portée sur qui parle et dans quelles situations et non pas sur ce qui est dit. L'étudier, c'est repérer les activités d'information (l'action mais aussi son potentiel et ses alternatives) pour s'intéresser ensuite aux cadres communicationnels et organisationnels ainsi qu'aux contextes correspondants. Le cadrage communicationnel consiste à mettre en évidence des rôles clés, plus ou moins tournés vers le comptable (faire ou montrer) ou le racontable (socialiser ou rassurer), l'action (faire et socialiser) ou la preuve (montrer et rassurer). Le cadrage organisationnel permet de dévoiler quels outils de gestion sont plus ou moins mobilisés, comment et par qui. Les cadres rendent ainsi compte de la façon dont les individus au travail considèrent les activités des autres, les ressources qui les entourent et l'organisation dont ils font partie. Une triple mise en contexte rend ensuite possible de comprendre (ou au moins de tenter de comprendre) la compatibilité ou non des points de vue des protagonistes sur les terrains : institutionnelle (position hiérarchique et poids de certains critères d'évaluation par rapport à d'autres), rhétorique (évolution potentielle des énonciations qui sont de véritables innovations dans le contexte culturel occidental) et culturelle (tenter de comprendre le poids des évidences pour envisager les possibilités de réalisation de ces innovations). Ce repérage d'activités d'information suivi des cadrages et mises en contexte montrent que l'innovation organisationnelle a lieu lorsque se déploie une capacité de reconnaissance mutuelle. Cette dernière se manifeste par une marque de gratitude quel que soit le niveau hiérarchique et correspond à l'écoute flottante. Elle permet que manutention de l'information et bricolage organisationnel soient acceptés comme incontournables et perçus comme autant d'indices de changements potentiels. L'évolution s'effectue alors à travers une remise en cause des artefacts informationnels et communicationnels au premier rang desquels se trouvent les instruments de gestion. On remarquera que cette reconnaissance mutuelle n'est pas efficace en termes d'innovation si elle est déployée uniquement entre personnels subalternes. Sa force tient dans sa répartition équilibrée sur la ligne hiérarchique comme l'illustrent les terrains présentés dans le chapitre résultats. En somme, pour rendre effective l'innovation à base de routine, une proposition émerge à partir des résultats, celle de penser l'action collective au niveau stratégique et gouvernemental sous forme de quelques proscriptions plutôt que de multiplier les prescriptions qui, trop nombreuses, ne peuvent être que contournées et perdent alors toute valeur. La distinction entre proscription et prescription tient à l'énonciation : la proscription est une loi énoncée par l'interdit alors que la prescription est une norme de droit énoncée de façon positive en relation aux devoirs. L'interdiction a ceci d'intéressant par rapport à une énumération de droits et de devoirs : elle est à la fois un cadre structurant pour se préserver de l'arbitraire de l'autre et une incitation à inventer les actions positives. Les terrains présentés montrent par exemple que les quatre cas innovants sont tenus par une interdiction, celle de voir disparaître l'essentiel de leur travail. Ces grilles et l'apport de la reconnaissance par l'écoute " flottante " méritent d'être complétés, critiqués et mis à l'épreuve de nouveaux terrains opérationnels. Mes résultats posent en effet au moins trois autres questions à traiter de façon complémentaire : celle des différences hommes - femmes au travail, celle de la place des TIC dans le cadre des organisations et celle des nouvelles formes de précarité organisationnelle.

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.

De plus en plus de constructeurs proposent des accélérateurs de calculs à base de circuits reconfigurables FPGA, cette technologie présentant bien plus de souplesse que le microprocesseur. Valoriser cette flexibilité dans le domaine de l'accélération de calcul flottant en utilisant les langages de description de circuits classiques (VHDL ou Verilog) reste toutefois très difficile, voire impossible parfois. Cette thèse a contribué au développement du logiciel FloPoCo, qui offre aux utilisateurs familiers avec VHDL un cadre C++ de description d'opérateurs arithmétiques génériques adapté au calcul reconfigurable. Ce cadre distingue explicitement la fonctionnalité combinatoire d'un opérateur, et la problématique de son pipeline pour une précision, une fréquence et un FPGA cible donnés. Afin de pouvoir utiliser FloPoCo pour concevoir des opérateurs haute performance en virgule flottante, il a fallu d'abord concevoir des blocs de bases optimisés. Nous avons d'abord développé des additionneurs pipelinés autour des lignes de propagation de retenue rapides, puis, à l'aide de techniques de pavages, nous avons conçu de gros multiplieurs, possiblement tronqués, utilisant des petits multiplieurs. L'évaluation de fonctions élémentaires en flottant implique souvent l'évaluation en virgule fixe d'une fonction. Nous présentons un opérateur générique de FloPoCo qui prend en entrée l'expression de la fonction à évaluer, avec ses précisions d'entrée et de sortie, et construit un évaluateur polynomial optimisé de cette fonction. Ce bloc de base a permis de développer des opérateurs en virgule flottante pour la racine carrée et l'exponentielle qui améliorent considérablement l'état de l'art. Nous avons aussi travaillé sur des techniques de compilation avancée pour adapter l'exécution d'un code C aux pipelines flexibles de nos opérateurs. FloPoCo a pu ainsi être utilisé pour implanter sur FPGA des applications complètes.

Le marché des mémoires non volatiles à grille flottante connaît actuellement un essor considérable du fait de leur utilisation croissante dans tous les domaines d'applications de l'électronique et par conséquent dans de très nombreux secteurs industriels. Cependant ces dispositifs mémoires se heurtent aujourd'hui à une limite technologique liée à l'impossibilité de réduire l'épaisseur de la couche d'oxyde tunnel SiO$_{2}$ qui isole la grille flottante contenant l'information. En effet, en deçà d'une épaisseur critique de l'ordre de $7\,nm$, l'oxyde tunnel est le siège de courants de fuite induits par les cycles répétés de programmation, qui engendrent des pertes de charge diminuant drastiquement le temps de rétention et la durée de vie des cellules mémoires. Ces courants de fuite sont communément appelés courants SILC (Stress Induced Leakage Current).<br /><br />Durant cette thèse, dans l'objectif d'obtenir des mesures fiables des courants SILC, nous avons mis en \oe uvre un banc de mesure très bas niveau permettant d'atteindre la résolution ($10^{-15}\,A$) des appareillages de mesures les plus performants du marché. Nous avons ensuite implémenté la technique dite "de la grille flottante" qui permet d'atteindre de façon indirecte des niveaux de courant inférieurs à $10^{-16}\,A$. À partir de nombreuses mesures expérimentales réalisées sur des oxydes tunnel de $7 - 8\,nm$ issus d'une technologie FLOTOX\ EEPROM, un modèle de conduction tunnel assisté par pièges a été développé permettant, à l'aide d'une nouvelle méthodologie, d'extraire les profils de distributions spatiale et énergétique des défauts dans l'oxyde. Le chargement stable de ces défauts permet de rendre compte de la dérive de la loi Fowler-Nordheim responsable de la fermeture de fenêtre de programmation des cellules mémoires. Le modèle développé conduit finalement à une bonne simulation des caractéristiques de conduction de l'oxyde tunnel dans tous les domaines de champ électrique et en fonction du niveau de dégradation.<br /><br />Finalement, les structures à grille flottante ont été modélisées d'un point de vue dynamique. L'influence des pulses de programmation sur les différentes grandeurs électriques dans les cellules mémoire a été analysée ainsi que les cinétiques de perte de charge en fonction du courant de fuite dans l'oxyde tunnel. A partir des mesures réalisées sur des structures de test grille flottante, les temps de rétention sur cellule élémentaire ont été extrapolés.

L’arithmétique virgule flottante est une approximation de l’arithmétique réelle dans laquelle chaque opération peut introduire une erreur. La norme IEEE 754 requiert que les opérations élémentaires soient aussi précises que possible, mais au cours d’un calcul, les erreurs d’arrondi s’accumulent et peuvent conduire à des résultats totalement faussés. Cela arrive avec une expression aussi simple que ab + cd, pour laquelle l’algorithme naïf retourne parfois un résultat aberrant, avec une erreur relative largement supérieure à 1. Il est donc important d’analyser les algorithmes utilisés pour contrôler l’erreur commise. Je m’intéresse à l’analyse de briques élémentaires du calcul en cherchant des bornes fines sur l’erreur relative. Pour des algorithmes suffisamment précis, en arithmétique de base β et de précision p, on arrive en général à prouver une borne sur l'erreur de la forme α·u + o(u²) où α > 0 et u = 1/2·β1-p est l'unité d'arrondi. Comme indication de la finesse d'une telle borne, on peut fournir des exemples numériques pour les précisions standards qui approchent cette borne, ou bien un exemple paramétré par la précision qui génère une erreur de la forme α·u + o(u²), prouvant ainsi l'optimalité asymptotique de la borne. J’ai travaillé sur la formalisation d’une arithmétique à virgule flottante symbolique, sur des nombres paramétrés par la précision, et à son implantation dans le logiciel de calcul formel Maple. J’ai aussi obtenu une borne d'erreur très fine pour un algorithme d’inversion complexe en arithmétique flottante. Ce résultat suggère le calcul d'une division décrit par la formule x/y = (1/y)·x, par opposition à x/y = (x·y)/|y|². Quel que soit l'algorithme utilisé pour effectuer la multiplication, nous avons une borne d'erreur plus petite pour les algorithmes décrits par la première formule. Ces travaux sont réalisés avec mes directeurs de thèse, en collaboration avec Claude-Pierre Jeannerod (CR Inria dans AriC, au LIP). / Floating-point arithmetic is an approximation of real arithmetic in which each operation may introduce a rounding error. The IEEE 754 standard requires elementary operations to be as accurate as possible. However, through a computation, rounding errors may accumulate and lead to totally wrong results. It happens for example with an expression as simple as ab + cd for which the naive algorithm sometimes returns a result with a relative error larger than 1. Thus, it is important to analyze algorithms in floating-point arithmetic to understand as thoroughly as possible the generated error. In this thesis, we are interested in the analysis of small building blocks of numerical computing, for which we look for sharp error bounds on the relative error. For this kind of building blocks, in base and precision p, we often successfully prove error bounds of the form α·u + o(u²) where α > 0 and u = 1/2·β1-p is the unit roundoff. To characterize the sharpness of such a bound, one can provide numerical examples for the standard precisions that are close to the bound, or examples that are parametrized by the precision and generate an error of the same form α·u + o(u²), thus proving the asymptotic optimality of the bound. However, the paper and pencil checking of such parametrized examples is a tedious and error-prone task. We worked on the formalization of a symbolicfloating-point arithmetic, over numbers that are parametrized by the precision, and implemented it as a library in the Maple computer algebra system. We also worked on the error analysis of the basic operations for complex numbers in floating-point arithmetic. We proved a very sharp error bound for an algorithm for the inversion of a complex number in floating-point arithmetic. This result suggests that the computation of a complex division according to x/y = (1/y)·x may be preferred, instead of the more classical formula x/y = (x·y)/|y|². Indeed, for any complex multiplication algorithm, the error bound is smaller with the algorithms described by the “inverse and multiply” approach.This is a joint work with my PhD advisors, with the collaboration of Claude-Pierre Jeannerod (CR Inria in AriC, at LIP).

Au cours des dernières décennies les systèmes embarqués ont dû faire face à des demandes applicatives de plus en plus variées et de plus en plus contraintes. Ce constat s'est traduit pour l’arithmétique par le besoin de toujours plus de performances et d'efficacité énergétique. Ce travail se propose d'étudier des solutions allant du matériel au logiciel, ainsi que les diverses interactions qui existent entre ces domaines, pour améliorer le support arithmétique dans les systèmes embarqués. Certains résultats ont été intégrés au processeur MPPA développé par Kalray. La première partie est consacrée au support de l'arithmétique virgule flottante dans le MPPA. Elle commence par la mise au point d'une unité flottante matérielle basée sur l'opérateur classique FMA (fused multiply-Add). Les améliorations proposées, implémentées et évaluées incluent un FMA à précision mixte, l'addition à 3 opérandes et le produit scalaire 2D, à chaque fois avec un seul arrondi et le support des sous-Normaux. Cette partie se poursuit par l'étude de l'implémentation des autres primitives flottantes normalisées : division et racine carrée. L'unité flottante matérielle précédente est réutilisée et modifiée pour optimiser ces primitives à moindre coût. Cette première partie s’ouvre sur le développement d'un générateur de code destiné à l'implémentation de bibliothèques mathématiques optimisées pour différents contextes (architecture, précision, latence, débit). La seconde partie consiste en la présentation d'une nouvelle architecture de coprocesseur reconfigurable. Cet opérateur matériel peut être dynamiquement modifié pour s'adapter à la volée à des besoins applicatifs variés. Il vise à fournir des performances se rapprochant d'une implémentation matérielle dédiée sans renier la flexibilité inhérente au logiciel. Il a été spécifiquement pensé pour être intégré avec un cœur embarqué faible consommation du MPPA. Cette partie s'attache aussi à décrire le développement d'un environnement logiciel pour cibler ce coprocesseur ainsi qu'explorer divers choix architecturaux envisagés. La dernière partie étudie un problème plus large : l'utilisation efficace de ressources arithmétiques parallèles. Elle présente une amélioration des architectures régulières Single Instruction Multiple Data tels qu’on les trouve dans les accélérateurs graphiques (GPU) pour l'exécution de graphes de flot de contrôle divergents. / In the last decades embedded systems have been challenged with more and more application variety, each time more constrained. This implies an ever growing need for performances and energy efficiency in arithmetic units. This work studies solutions ranging from hardware to software to improve arithmetic support in embedded systems. Some of these solutions were integrated in Kalray's MPPA processor. The first part of this work focuses on floating-Point arithmetic support in the MPPA. It starts with the design of a floating-Point unit (FPU) based on the classical FMA (Fused Multiply-Add) operator. The improvements we suggest, implement and evaluate include a mixed precision FMA, a 3-Operand add and a 2D scalar product, each time with a single rounding and support for subnormal numbers. It then considers the implementation of division and square root. The FPU is reused and modified to optimize the software implementations of those primitives at a lower cost. Finally, this first part opens up on the development of a code generator designed for the implementation of highly optimized mathematical libraries in different contexts (architecture, accuracy, latency, throughput). The second part studies a reconfigurable coprocessor, a hardware operator that could be dynamically modified to adapt on the fly to various applicative needs. It intends to provide performance close to ASIC implementation, with some of the flexibility of software. One of the addressed challenges is the integration of such a reconfigurable coprocessor into the low power embedded cluster of the MPPA. Another is the development of a software framework targeting the coprocessor and allowing design space exploration. The last part of this work leaves micro-Architecture considerations to study the efficient use of parallel arithmetic resources. It presents an improvement of regular architectures (Single Instruction Multiple Data), like those found in graphic processing units (GPU), for the execution of divergent control flow graphs.

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. / An interesting sub-class of the multiferroic materials are the multiferroic magnetoelectrics, in which exists a coupling between the two ferroic order parameters (magnetic and electric). From this viewpoint, the case of the (Ga₂₋ₓFeₓO₃)-class of materials has retained special attention. These compounds are now well-known for their high transition temperature as well as for the potential interaction between their ferrimagnetic and piezoelectric properties. Their crystallographic and magnetic structure are quite complicated, due to the existence of an internal site disorder. M₂Ga₂Fe₂O₉ (M=In, Sc) belongs to the (Ga₂₋ₓFeₓO₃)-class of materials and it was first synthesized in an attempt to obtain an ordered GaFeO₃ crystallographic structure. In order to study the physical properties of these compounds, Ga₂₋ₓFeₓO₃ (x=0.90, 1.00 and 1.10) single crystals have been synthesized by the floating zone method in an infrared image furnace, using different growth conditions. Indium doped GaFeO₃ (up to 10% indium content amount) and M₂Ga₂Fe₂O₉ (M=In, Sc) polycrystalline materials have been prepared by solid state reaction. Also, In₂Ga₂Fe₂O₉ single crystals were prepared by the flux method. The indium doped GaFeO₃ and Ga₂₋ₓFeₓO₃ samples crystallize in the Pc2₁n space group as determined from Rietveld refinement of the X-ray and neutron single crystals and powder patterns. The cell parameters and the Néel temperature (TN) of the Ga₂₋ₓFeₓO₃ single crystals varies linearly with the iron content amount. The occupation factors were calculated by refinement and the results showed a disordered structure (25% of the iron amount is found on the native gallium sites). The gradual incorporation of indium is accompanied by an increase of the cell volume and a decrease of the magnetic transition temperature. The magnetic excitations spectra measured for the Ga₂₋ₓFeₓO₃ single crystals revealed a coexistence of a ferrimagnetic ordering and a diffuse scattering signal below the Néel temperature. The diffuse signal suggests the existence of a spin glass like component due to the internal site disorder. Dielectric investigations showed no temperature dependent anomaly of the dielectric constant for the GaFeO₃ single crystal, suggesting a lack of a magnetoelectric coupling signal in this system. The Rietveld refinement of the X-ray and neutron powder patterns for the M₂Ga₂Fe₂O₉ (M=In, Sc) revealed a highly disordered orthorhombic Pba2 structure, offering four mixed cationic crystallographic sites. DC and AC susceptibility data in conjunction with the heat capacity data and Mössbauer measurements indicated a spin-glass-like behavior in this system, with a freezing temperature near Tf ≈ 19 K. The absence of an long range magnetic ordering and the existence of a transition from a paramagnetic state to a «frozen» state were showcased by the spin dynamics spectra measurements. The evidence for glassy behavior in the Ga₂₋ₓFeₓO₃ and M₂Ga₂Fe₂O₉ (M=In, Sc) systems highlights the importance of site disorder in determining the ground state magnetic properties.

Cette thèse CIFRE, réalisée en collaboration industrielle entre l'IRCCyN et PSA Peugeot-Citroën, s'intéresse à l'aspect numérique de l'implémentation, au sein de calculateurs embarqués, de lois de contrôle/commande.<br /> <br />Ces travaux ont porté sur l'implémentation de lois de contrôle-commande (provenant de l'automatique ou du traitement du signal) sous les contraintes de précision finie.<br />Le processus d'implémentation amène de nombreuses dégradations de la loi et nous nous intéressons plus particulièrement à la quantification des coefficients intervenant dans les calculs.<br /><br />Pour une loi (filtre ou régulateur) donnée, il existe une infinité de réalisations numériques possibles qui, bien que mathématiquement équivalentes, ne le sont plus en précision finie : de nombreuses réalisations équivalentes existent : forme d'état, réalisations en delta, formes directes, structures retour d'état observateur, décompositions en cascade, en parallèle, ...<br /><br />Après avoir présenté ces différentes possibilités, ce mémoire de thèse, propose un formalisme mathématique — la forme implicite spécialisée —qui permet de décrire de manière unifiée un ensemble élargi d'implémentations. Celui-ci, bien que macroscopique, permet d'exprimer précisément les calculs à réaliser et les paramètres réellement mis en jeu. Différentes mesures, appliquées à ce formalisme et qui permettent d'évaluer l'impact de la quantification (en virgule fixe et virgule flottante) et d'analyser la dégradation induite, sont ensuite proposées.<br />Via un problème d'optimisation, la réalisation qui présente la meilleure robustesse face aux détériorations induites par les processus d'implémentation en précision finie est trouvée.

Nous étudions numériquement la stabilité vis-à-vis de perturbations 3D d'un écoulement 2D d'un liquide maintenu par capillarité entre deux barreaux cylindriques coaxiaux isothermes et soumis à un flux thermique latéral. Les solutions numériques sont obtenues par méthode de collocation spectrale. Les écoulements stationnaires sont obtenus par méthode de Newton et une méthode d'Arnoldi est utilisée pour l'étude de la stabilité linéaire. La recherche a été menée sur une large gamme de nombres de Prandtl, allant de 0.001 à 100 et pour un rapport d'aspect égal à 2. Le mécanisme de déstabilisation est analysé en observant le taux de croissance de l'énergie de la perturbation. L'utilisation d'un nouvel outil d'analyse, le système adjoint, permet d'identifier les zones sensibles de l'écoulement à des perturbations impulsionnelles. La localisation des zones sensibles permet d'identifier les structures sensibles des écoulements stationnaires 2D. La structure d'écoulements 3D faiblement non linéaires a aussi été décrite.

L'intégration numérique est une opération fréquemment disponible et utilisée dans les systèmes de calcul numérique. Nous nous intéressons dans ce mémoire à la maîtrise des erreurs commises lors d'un calcul numérique d'intégrale réelle à une dimension dans le contexte de la précision arbitraire pour les deux méthodes d'intégration que sont Newton-Cotes et Gauss-Legendre. Du point de vue algorithmique nous proposons pour chacune des méthodes une procédure de calcul avec une borne effective sur l'erreur totale commise. Dans le cadre de l'étude de la méthode de Gauss-Legendre nous avons étudié les algorithmes connus de raffinement de racines réelles d'un polynôme (la méthode de la sécante, l'itération de Newton, la dichotomie), et nous en avons proposé des heuristiques explicites permettant de s'assurer en pratique de la convergence. Les algorithmes proposés ont été implémentés dans une bibliothèque d'intégration numérique baptisée «Correctly Rounded Quadrature» (CRQ) disponible à l'adresse http://komite.net/laurent/soft/crq/. Nous comparons CRQ avec d'autres logiciels d'intégration dans ce mémoire.