Auto-assemblageL’auto-assemblage, parfois rapproché de l'auto-organisation, désigne les procédés par lesquels un système désorganisé de composants élémentaires s'assemble et s'organise de façon spontanée et autonome, à la suite d'interactions spécifiques et locales entre ces composants. On parle d'auto-assemblage moléculaire lorsque les composants en question sont des molécules, mais l'auto-assemblage s'observe à différentes échelles, des molécules à la formation du système solaire et des galaxies en passant par l'échelle nanométrique.
Self-assembly of nanoparticlesNanoparticles are classified as having at least one of three dimensions be in the range of 1-100 nm. The small size of nanoparticles allows them to have unique characteristics which may not be possible on the macro-scale. Self-assembly is the spontaneous organization of smaller subunits to form larger, well-organized patterns. For nanoparticles, this spontaneous assembly is a consequence of interactions between the particles aimed at achieving a thermodynamic equilibrium and reducing the system’s free energy.
CopolymèreUn copolymère est un polymère issu de la copolymérisation d'au moins deux types de monomère, chimiquement différents, appelés comonomères. Il est donc formé d'au moins deux motifs de répétition. Le terme copolymère s'oppose à homopolymère. L'intérêt des copolymères se trouve dans leurs propriétés physico-chimiques et mécaniques qui sont intermédiaires avec celles obtenues sur les homopolymères correspondants. Les copolymères à enchaînement aléatoire, alterné et statistique sont des matériaux homogènes.
Auto-assemblage moléculairedroite|400px|thumb|Un exemple de molécules se liant par liaisons d'hydrogène. L'auto-assemblage moléculaire est le processus par lequel des molécules soi-montant adoptent un agencement sans la direction d'une source extérieure. En général, le terme fait référence à l'auto-assemblage intermoléculaire alors que l'auto-assemblage intramoléculaire prend plus communément le nom de pliage ou de repliement dans le cas de protéines.
Polymèrevignette|Fibres de polyester observées au Microscopie électronique à balayage. vignette|La fabrication d'une éolienne fait intervenir le moulage de composites résines/renforts. Les polymères (étymologie : du grec polus, plusieurs, et meros, partie) constituent une classe de matériaux. D'un point de vue chimique, un polymère est une substance composée de macromolécules et issue de molécules de faible masse moléculaire. Un polymère est caractérisé par le degré de polymérisation.
Self-replicationSelf-replication is any behavior of a dynamical system that yields construction of an identical or similar copy of itself. Biological cells, given suitable environments, reproduce by cell division. During cell division, DNA is replicated and can be transmitted to offspring during reproduction. Biological viruses can replicate, but only by commandeering the reproductive machinery of cells through a process of infection. Harmful prion proteins can replicate by converting normal proteins into rogue forms.
Science des matériauxLa science des matériaux repose sur la relation entre les propriétés, la morphologie structurale et la mise en œuvre des matériaux qui constituent les objets qui nous entourent (métaux, polymères, semi-conducteurs, céramiques, composites, etc.). Elle se focalise sur l'étude des principales caractéristiques des matériaux, ainsi que leurs propriétés mécaniques, chimiques, électriques, thermiques, optiques et magnétiques. La science des matériaux est au cœur de beaucoup des grandes révolutions techniques.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Chimie supramoléculaireLa chimie supramoléculaire est une des branches de la chimie qui repose sur les interactions non-covalentes ou faibles entre atomes au sein d'une molécule ou entre molécules, au sein d'un ensemble moléculaire. Son objectif est de comprendre ou de construire des édifices de taille nanométrique. Le principe est d'utiliser des briques moléculaires qui, une fois mélangées en solution, dans des conditions contrôlées, s'autoassemblent pour donner des édifices plus complexes.
Machine autoréplicative300px|vignette|Une forme simple de machine autoréplicative. Une machine autoréplicative est une construction qui est théoriquement capable de fabriquer de manière autonome une copie d'elle-même en utilisant des matières premières prises dans son environnement. Le concept de machines autoréplicatives a été proposé et examiné par , Edward F. Moore, Freeman Dyson, John von Neumann et dans des temps plus récents par Kim Eric Drexler dans son livre sur la nanotechnologie, les Moteurs de Création et par Robert Freitas et Ralph Merkle dans leur examen Kinematic des Machines autoréplicatives qui a fourni la première analyse complète du duplicateur.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Cellule photovoltaïque organiquevignette|On peut apercevoir les cellules photovoltaïques organiques Les cellules photovoltaïques organiques sont des cellules photovoltaïques dont au moins la couche active est constituée de molécules organiques. Leur développement constitue une tentative de réduction du coût de l'électricité photovoltaïque, sans conteste la principale barrière pour cette technologie, mais on espère aussi qu'elles seront plus fines, flexibles, faciles et moins chères à produire, tout en étant résistantes.
Polymérisation anioniqueLa polymérisation anionique est un type de polymérisation ionique dans lequel le centre actif est de nature anionique. Elle est constituée de l'amorçage, la propagation, éventuellement de transfert et de terminaison. Les monomères concernés sont ceux qui possèdent des groupements électro-attracteurs. Ce mode de polymérisation est utilisé avec les alcènes substitués comme le méthylpropène. La réaction de propagation est la suivante (pour le méthylpropène): R− + CH2=C(CH3)2 → R-CH2-C−(CH3)2 La polymérisation anionique présente un certain nombre de difficultés.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Groupe terminalvignette|Exemple de structure chimique d'un polymère (polyprénol) ; dans ce cas, les extrémités de chaîne sont -OH (groupe fonctionnel) et -H. En chimie des polymères, un groupe terminal (ou une extrémité de chaîne) est une unité constitutive (un atome ou un groupe d'atomes) localisée à une extrémité d'une macromolécule ou d'un oligomère. Par exemple, le groupe terminal d'un PET (polyester) peut être un groupe hydroxyle ou un groupe carboxyle. Un groupe terminal n'est lié qu'à un seul motif de répétition.
Matière molleLa matière molle rassemble des états de la matière ou des matériaux connaissant une réponse forte pour un très faible signal de commande. Par exemple, les cristaux liquides : des molécules présentes dans une fine pellicule de l'écran sont réorientées par application d'une très faible tension électrique. La matière molle est un domaine de recherche à l'interface entre la physique, chimie, et biologie qui s'intéresse à l'étude de systèmes physico-chimiques très variés, que l’on appelle aussi « fluides complexes ».
