Polymérisation radicalaireLa polymérisation (par voie) radicalaire est un processus de polymérisation en chaîne qui, comme son nom l'indique, fait intervenir comme espèce active des radicaux. Elle fait intervenir des réactions d'amorçage, de propagation, de terminaison et de transfert de chaîne. Le site actif qui propage est un radical possédant une structure quasi plane au carbone terminal qui porte l'électron non apparié. L'assemblage du maillon suivant peut alors se faire par-dessus ou dessous aléatoirement.
Polymérisationvignette|Le latex de ce ballon de baudruche est synthétisé par polymérisation. vignette|Structure du UHMWPE, un haut polymère avec n supérieur à . La polymérisation désigne la réaction chimique ou le procédé par lesquels des petites molécules (par exemple des hydrocarbures de deux à dix atomes de carbone) réagissent entre elles pour former des molécules de masses molaires plus élevées. Les molécules initiales peuvent être des monomères ou des pré-polymères ; la synthèse conduit à des polymères.
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.
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.
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.
Degré de polymérisationLe degré de polymérisation (DP) définit la longueur d'une chaîne polymère. DP est le nombre d'unités monomères (unités répétitives) constitutives de cette chaîne. Le degré de polymérisation est directement proportionnel à la masse molaire du polymère. Il est exceptionnel qu’un polymère synthétique soit formé de chaînes de même degré de polymérisation, on a plutôt une distribution de chaînes de longueurs différentes ; on parle plus précisément de degré de polymérisation moyen en nombre, ou .
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.
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.
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.
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).
Transfert de chaîneEn chimie des polymères, le transfert de chaîne est une étape de la polymérisation en chaîne à laquelle l'activité d'une chaîne polymère en croissance est transférée à une autre molécule. P• + XR' → PX + R'• Les réactions de transfert de chaîne diminuent la masse moléculaire moyenne du polymère produit. Le transfert de chaîne peut être introduit dans une polymérisation par l'emploi d'un agent de transfert de chaîne, ou bien il peut être une réaction secondaire inévitable lors d'une polymérisation.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Reaction rateThe reaction rate or rate of reaction is the speed at which a chemical reaction takes place, defined as proportional to the increase in the concentration of a product per unit time and to the decrease in the concentration of a reactant per unit time. Reaction rates can vary dramatically. For example, the oxidative rusting of iron under Earth's atmosphere is a slow reaction that can take many years, but the combustion of cellulose in a fire is a reaction that takes place in fractions of a second.
Polymérisation vivanteLa polymérisation vivante est une polymérisation en chaîne où les centres actifs sont pérennes. Cela implique l'absence de réactions de transfert de chaîne ou de terminaison. Cette propriété particulière est notamment utilisée pour synthétiser des copolymères à blocs. La polymérisation vivante peut être : une polymérisation ionique vivante : une : ou NMP de l'anglais nitroxide-mediated (radical) polymerization ; Polymérisation radicalaire par transfert d'atomes ou ATRP de l'anglais atom-transfer radical polymerization ; Utilisation d’agents de fragmentation réversible ou RAFT polymerization de l'anglais reversible-addition-fragmentation chain-transfer polymerization.
Polymérisation par ouverture de cyclethumb|Polymérisation par ouverture de cycle du caprolactame pour donner le polyamide 6. La polymérisation par ouverture de cycle (Ring-Opening Polymerization en anglais, soit ROP) est une polymérisation durant laquelle un monomère cyclique conduit à une unité monomère qui est acyclique ou contient moins de cycles que le monomère. Plusieurs mécanismes de polymérisation par ouverture de cycle existent : le mécanisme cationique : le site actif de la chaîne de propagation est un carbocation ; le mécanisme anionique : le site actif est un carbanion ; le mécanisme par coordination-insertion, qui fait appel à un amorceur de type organométallique.
Chimie macromoléculairePolymer chemistry is a sub-discipline of chemistry that focuses on the structures of chemicals, chemical synthesis, and chemical and physical properties of polymers and macromolecules. The principles and methods used within polymer chemistry are also applicable through a wide range of other chemistry sub-disciplines like organic chemistry, analytical chemistry, and physical chemistry. Many materials have polymeric structures, from fully inorganic metals and ceramics to DNA and other biological molecules.
Constante de vitesseDans la cinétique chimique, la constante de vitesse (ou le coefficient de vitesse) k est une mesure de la vitesse d'une réaction chimique. Pour une réaction élémentaire ou une étape élémentaire entre les réactifs A et B, la vitesse de réaction dépend des concentrations. La vitesse de réaction dans un réacteur fermé au cours du temps noté v(t) peut être déterminé par l'expression: Ici la constante de proportionnalité k(T) est la constante de vitesse de la réaction, qui dépend de la température.
Rate equationIn chemistry, the rate law or rate equation for a chemical reaction is a mathematical equation that links the rate of forward reaction with the concentrations or pressures of the reactants and constant parameters (normally rate coefficients and partial reaction orders). For many reactions, the initial rate is given by a power law such as where [\mathrm{A}] and [\mathrm{B}] express the concentration of the species \mathrm{A} and \mathrm{B}, usually in moles per liter (molarity, M).
