Cette thèse porte sur l'évolution de la microstructure de superalliages à base de Nickel au cours de traitements thermomécaniques, avec une attention particulière portée sur la taille de grains et la quantité de macles thermiques. Ce travail a été réalisé dans l'optique d'évaluer la possibilité d'optimiser les propriétés de service par le principe de l'ingénierie de joints de grains. Les matériaux étudiés sont principalement l'alliage PER®72, et de manière exploratoire l'alliage N19. Ces deux matériaux appartiennent à la famille des superalliages à base de nickel à durcissement structural élaborés par voie conventionnelle (coulé et forgé) et par métallurgie des poudres respectivement. Deux modes de déformation, la torsion et la compression, ont été testés. Nous avons démontré que le maclage thermique est favorisé par les grandes vitesses de migration des joints de grains, essentiellement induites par (1) leur courbure qui diminue lorsque la taille de grains augmente et (2) les gradients de densité de dislocations produits par les faibles déformations appliquées à grande vitesse qui peuvent maintenir des vitesses de migration élevées même lorsque la taille de grains augmente. La force motrice associée à la courbure est en outre sensible à la distribution de taille de grains, qui s'est avéré être un paramètre microstructural important. La force motrice associée aux gradients de densité de dislocations peut par ailleurs permettre le franchissement des précipités primaires malgré la force de freinage de Zener qui s'exerce sur les joints de grains, ceci au cours de la déformation comme au cours d'un recuit subsolvus. L'occurrence ou la non-occurrence de la recristallisation dynamique au cours de la phase de déformation s'est ainsi avérée être une condition décisive pour l'évolution de la microstructure au cours d'un recuit ultérieur dans le domaine sub- ou super-solvus. Les conditions thermomécaniques de mise en forme permettent donc de moduler la taille de grains et la quantité de macles, même à l'issue d'un traitement supersolvus final.

Notre travail de thèse trouve son origine dans un constat d'échec ressenti durant plusieurs années concernant un enseignement de topologie dans lequel nous prenons une part active, en première année d'université. Nous nous sommes donc donnée comme objectif de développer des pistes d'enrichissement, voire de modifications, de cet enseignement pouvant mener aux acquisitions visées tout en s'inscrivant dans les contraintes institutionnelles qui le délimitent strictement. À partir d'une étude épistémologique de la genèse et du développement de plusieurs notions de topologie, nous avons pu caractériser leurs aspects formalisateur, unificateur et généralisateur. Cette étude, complétée par une analyse comparative de quelques manuels, a contribué à l'élaboration d'un scénario d'enseignement intégrant un certain nombre de leviers didactiques susceptibles de favoriser les apprentissages en topologie des étudiants, en tenant compte toutefois des contraintes déjà signalées. En nous plaçant dans le cadre théorique de la théorie de l'activité spécifiée aux mathématiques, nous avons explicité la description de notre scénario en termes de tâches et d'activités attendues chez les étudiants, avant de l'expérimenter dans notre classe. Les analyses des déroulements en classe associées à celles des productions des étudiants aux différentes évaluations ont permis d'approcher les apprentissages en topologie effectivement réalisés par les étudiants, en relation avec la nature des tâches. Une diminution significative des échecs dans les tâches de manipulation des définitions a été observée. Cependant, il manque aux étudiants une certaine disponibilité des notions de topologie dans les tâches plus complexes que nous avons pu associer à notre scénario. Cette recherche met en évidence l'apport des analyses didactiques menées en amont de l'enseignement dans un travail de type ingénierie pour mieux appréhender ce que leur enseignement doit apporter aux étudiants. Elle pointe également toute l'importance de l'inscription des contraintes institutionnelles dans l'élaboration et l'expérimentation d'un scénario d'enseignement. C'est en mettant en relation ces deux dimensions et les progrès réels mais limités des étudiants que nous avons été en mesure d'apprécier la portée du scénario et d'envisager des alternatives mettant cette fois en cause le curriculum.

Les dérivés arène-carboxyliques sont des matériaux intéressants dans le but d'obtenir une cellule solaire organique efficace à base de cristaux liquides : Ils présentent à la fois des propriétés électroniques modulables en fonction de la structure chimique, une tendance aux larges plages de températures de présence d'une mésophase colonnaire et souvent un alignement homéotrope au contact de surfaces polaires telles que l'ITO ou le verre. Nous montrons avec cette thèse que des couples donneur-accepteur colonnaires à température ambiante peuvent être obtenus, avec des propriétés suffisamment complémentaires pour prévoir des dissociations d'excitons en charges séparées à leur jonction dans des cellules solaires.

L'introduction des nouvelles technologies de l'information et de la communication dans les systèmes automatisés entraîne un accroissement de la complexité des fonctions qu'ils supportent. Cet accroissement de la complexité a un impact sur la sécurité des systèmes. En effet, leurs propriétés ne sont plus réductibles aux propriétés de leurs constituants pris isolément mais émergent d'un réseau d'interactions entre ces constituants qui peut être à l'origine de comportements néfastes et difficiles à prévoir. <br />Notre conviction est que le développement sûr de ces systèmes doit combiner des approches pragmatiques orientées " système ", qui tiennent compte du facteur d'échelle réel d'une automatisation pour appréhender le fonctionnement global du système et son architecture, avec des approches plus formelles qui permettent de s'assurer que les propriétés intrinsèques des constituants contribuent efficacement au respect des exigences " système " formulées par les utilisateurs. <br />Le travail présenté dans ce mémoire définit donc une approche méthodologique basée sur le formalisme SysML (System Modeling Language) permettant l'identification, la formalisation et la structuration d'exigences globales relatives à un système, puis leur projection, sous forme de propriétés invariantes, sur une architecture de composants. La vérification des exigences de sécurité, repose alors, d'une part, sur un raffinement prouvé (par theroem proving) des exigences " système " permettant d'établir leur équivalence avec un ensemble de propriétés intrinsèques relatives à chacun des composants, et d'autre part, sur la vérification formelle (par model checking) de ces propriétés intrinsèques.

La migration d'un réseau optique en anneaux interconnectés vers un réseau arbitrairement maillé et d'un trafic statique vers un trafic dynamique nécessite l'introduction de plusieurs niveaux de granularité pour s'adapter à cette diversité spatiale et temporelle et réduire ainsi la complexité et la taille des brasseurs optiques. Cette taille peut être réduite en traitant en bloc un groupe de longueurs d'onde contiguës. Cette bande d'ondes sera éventuellement traitée comme une seule entité. Par contre, ce traitement en bloc complique l'opération de routage et d'allocation de longueurs d'onde. Quelques ports d'entrée/sortie du brasseur de bandes peuvent éventuellement être connectés à des démultiplexeurs/multiplexeurs pour passer à un brassage par longueurs d'onde. De cette manière, on résout la commutation en bloc et quelques bandes pourront sortir de la continuité des tunnels établis pour passer d'un tunnel à l'autre. Cette notion peut être étendue pour couvrir différentes granularités et différents niveaux de brassage à l'aide de brasseurs optiques hiérarchiques. La coexistence des différents concepts de groupage optique et électronique ainsi que la manipulation de plusieurs niveaux et différentes échelles d'agrégation forment l'idée de base derrière ce qu'on appelle "réseau optique à plusieurs niveaux de granularité". Dans cette thèse, On propose un nouveau modèle graphique adapté au réseau optique à plusieurs niveaux de granularité. Le modèle d'un composant optique est formé par l'interconnexion d'un nombre d'éléments de base (BNE). Chaque BNE est une représentation graphique des supports du trafic. On introduit la notion de "groupes" qui permet l'abstraction des agrégateurs/désagrégateurs et définit par suite la granularité de commutation de chaque côté du BNE. Étant modulable, ce modèle pourra servir au développement d'un outil d'aide à la conception de ce type de réseaux. On propose un nouveau modèle combinatoire du brasseur hiérarchique permettant de comparer différentes réalisations matérielles. Ceci nous a permis d'étudier la réduction de la complexité du matériel et l'augmentation de la complexité opérationnelle quand on remplace un brasseur optique simple par un brasseur optique hiérarchique. On propose le nouveau concept de modifier les canaux de longueurs d'onde sans modifier l'allocation logique des longueurs d'onde et par suite, permettre un réarrangement avec un minimum d'interruptions afin d'optimiser le brassage à plusieurs granularités. Ce réarrangement est réalisé sans changer la distribution du trafic résultant du routage et de l'attribution des longueurs d'onde. On montre l'importance de la gestion des granularités et on propose une nouvelle méthode de contrôler l'allocation des multiplexeurs/démultiplexeurs dans le contexte du trafic dynamique. Dans ce contexte et en utilisant le modèle graphique, on propose de construire une topologie logique multicouche dans le but d'avoir une base d'informations adaptée à la proposition d'ingénierie de trafic. Dans cette solution, on estime la diversité potentielle d'acheminement des tunnels établis par le brassages hiérarchique en considérant une distribution de charge donnant le flot maximal. cette distribution est considérée comme objectif à atteindre et est mise à jour après tout changement. On donne aux tunnels ayant la plus grande diversité potentielle d'acheminement la priorité de passer aux fines granularités. L'ensemble des propositions est renforcé par des analyses et simulations et plusieurs domaines à aborder en perspective sont présentés en conclusion.

Dans cette thèse, nous nous sommes intéressés à l'optimisation du partage de charge dans un réseau supportant le routage à la source. Une modélisation générique en files d'attente alimentées par un trafic caractérisé par sa bande passante effective et l'utilisation de la théorie des Grandes Déviations nous a permis de déduire de règles d'ingénierie dans divers contextes en optimisant des fonctions de coût qui reflètent les besoins des réseaux opérationnels. Des propriétés structurelles sur les politiques optimales ont été démontrées pour des importants dans le domaine de l'ingénierie du trafic. La variabilité de la capacité des chemins d'un réseau a été intégrée à l'aide du concept de capacité effective. Nous avons mis en évidence qu'un dimensionnement basé sur une capacité moyenne peut s'avérer sous optimal et nous avons quantifié cela. Ainsi, une approche d'ingénierie de trafic adaptative a été proposée en faisant évoluer le partage en fonction des mesures réalisées sur le réseau.

Cette thèse montre la nécessité de développer des méthodes systémiques d'estimation de la sécurité permettant de tenir compte de l'effet de la variabilité de la performance sur la sécurité de la gestion du trafic aérien. Comme la plupart des systèmes socio-techniques modernes, la gestion du trafic aérien est tellement complexe que il lui est impossible d'être complètement décrite. Comme conséquence directe, sa performance ne peut être complètement explicitée, car elle doit varier afin de correspondre aux conditions réelles. La variabilité de la performance est un inévitable atout pour assurer le fonctionnement d'une organisation. Mais en même temps elle peut représenter une atteinte à la sécurité du système lorsqu'elle se déroule de manière indésirable ou inattendue. Cet argument indique la nécessité de méthodes d'estimation de la sécurité qui puissent traiter la variabilité de la performance. La Functional Resonance Analysis Method (FRAM) a la capacité de modéliser la variabilité de la performance. Cependant, certains points de la FRAM pourraient être améliorés dans le but de développer ses capacités a évaluer la variabilité de la performance. Cette thèse aborde ce point faible et développe une méthodologie pour l'évaluation de la variabilité de la performance. Cette méthodologie a été appliquée dans une étude de cas dans le domaine de la Gestion du Trafic Aérien Allemand. Ses résultats ont été comparés aux résultats officiels obtenus en utilisant l'estimation de la sécurité traditionnelle. La comparaison montre la valeur ajoutée de la méthodologie proposée. En particulier elle illustre la possibilité d'identifier des risques émergents et la contribution humaine a la sécurité d'un système.

L'accroissement des connaissances, structurales et fonctionnelles, des protéines nous donne désormais une vision plus précise des phénomènes d'interaction. L'utilisation de ces informations pour le développement de ligands permettrait d'obtenir de nouveaux composés, capables d'interagir avec diverses cibles d'intérêt, et d'améliorer notre compréhension de ces interactions. Ce travail présente le développement d'une nouvelle méthode de conception de ligands protéiques, laquelle repose sur le transfert d'un groupe de résidus, appartenant à un ligand connu et contribuant de façon importante à la liaison avec une cible d'intérêt, sur une protéine hôte, de moins de 100 résidus (mini-protéines). L'identification de protéines hôtes, aptes à reproduire l'interaction après transfert du motif, est réalisée de manière systématique à partir des structures présentes dans la PDB. L'approche a été appliquée pour le développement de ligands du canal Kv1.2, à partir de connaissances structurales et fonctionnelles de l'interaction de ce même canal avec la toxine BgK. Trois ligands, possédant des constantes d'inhibition micro molaires, ont été ainsi conçus. Ces résultats démontrent la possibilité de mettre en application une méthode de conception de ligands, basée sur le transfert de motifs de « hotspots », sur une plateforme structurale de nature protéique, dont les aspects stérique et électrostatique sont compatibles avec une interaction donnée.

Le travail présenté dans ce manuscript tire son origine de la descente d'échelle présente en passant de l'assemblage conventionnel vers le micro-assemblage. On se rendra rapidement compte que ce changement d'échelle nécessitera la maîtrise en profondeur de nombreux phénomènes physiques gouvernant les petites échelles, dont notamment les effets de la tension de surface et l'adhésion, concepts le plus souvent inconnus des ingénieurs mécaniciens. Ce document se décline en trois parties principales, visant à étudier les effets de la tension de surface dans les Microsystèmes. La première partie positionne nos contributions par rapport à l'état de l'art, présentant principalement l'étude des forces de capillarité (forces axiales et radiales, études statiques et dynamiques, aux échelles allant du millimètre au nanomètre). La deuxième partie du travail décrit le développement de bancs d'essai qui ont servi à valider notre travail théorique : cela consiste essentiellement en la mise au point de dispositifs de mesure de forces, du nanonewton au newton. La troisième partier assemble les cas d'études qui ont été traits: assemblage de produits horlogers, préhenseurs, dispositifs d'alimentation, assemblage hybride, mécanique des sols, électrosprays... Le but était de développer des modèles utiles aux communautés de la mécanique de précision et de la microrobotique. Nous espérons ainsi avoir proposé des modèles de forces de capillarité qui pourront être appliqués à de nombreux domaines applicatifs : assemblage et packaging, microrobotique, mécanique des sols, microfluidique...

Plusieurs raisons conduisent aujourd'hui à la nécessité de concevoir une pièce «fabricable» avec le moins de modification et le plus rapidement possible. Nous pouvons citer l'évolution et la mondialisation du marché, la réduction de la taille des séries et des délais de conception comme de réalisation, le fait que le coût d'un produit soit engagé à 80 % au niveau de la conception. C'est dans ce cadre qu'interviennent les outils et les méthodes de l'ingénierie intégrée. Les travaux de cette thèse se positionnent plus précisément au niveau de la formalisation et de l'exploitation des liens qui existent entre le produit et le processus de fabrication. Une démarche a été définie afin d'encadrer la conception progressive de la pièce et de son processus de fabrication. Un outil venant en support à cette démarche a été spécifié. Deux pistes ont été abordées lors du développement de l'outil pour la façon de représenter et d'exploiter les connaissances : un premier formalisme utilisant une ontologie associée à un traitement par classification ou bien un second formalisme basé sur une représentation arborescente des processus de fabrication associée à un traitement par élagage. Cette dernière représentation est nommée « schéma de processus de fabrication ». Un cas d'étude est présenté afin de valider la démarche proposée en utilisant l'outil support. Ces travaux ont été appliqués à la forge en tenant compte des spécificités de ce domaine de fabrication (notamment la nécessité d'une considération plus globale de la pièce par rapport à l'usinage)