Preuve de travailUn système de validation par preuve de travail (en anglais : proof of work, PoW) est, en informatique, un protocole permettant de repousser, sur un environnement client-serveur, des attaques par déni de service ou d'autres abus de service tels que les spams. Ce système de preuve de travail est utilisé dans des cadres beaucoup plus complexes, pour la validation des transactions de la blockchain de certaines crypto-monnaies comme le Bitcoin. Cette vérification par les mineurs de bitcoins est récompensée par l'émission de nouveaux bitcoins au bénéfice des vérificateurs.
Méthode des éléments finis de frontièreLa méthode des éléments finis de frontière, méthode des éléments frontière ou BEM - Boundary Element Method - en anglais, est une méthode de résolution numérique. Elle se présente comme une alternative à la méthode des éléments finis avec la particularité d'être plus intéressante dans les domaines de modélisation devenant infinis. Méthode des moments (analyse numérique) Méthode des différences finies Méthode des volumes finis Méthode des éléments finis Méthode des points sources distribués Introduction à l
Computational electromagneticsComputational electromagnetics (CEM), computational electrodynamics or electromagnetic modeling is the process of modeling the interaction of electromagnetic fields with physical objects and the environment. It typically involves using computer programs to compute approximate solutions to Maxwell's equations to calculate antenna performance, electromagnetic compatibility, radar cross section and electromagnetic wave propagation when not in free space.
Démonstration formelleUne démonstration formelle est une séquence finie de propositions (appelées formules bien formées dans le cas d'un langage formel) dont chacun est un axiome, une hypothèse, ou résulte des propositions précédentes dans la séquence par une règle d'inférence. La dernière proposition de la séquence est un théorème d'un système formel. La notion de théorème n'est en général pas effective, donc n'existe pas de méthode par laquelle nous pouvons à chaque fois trouver une démonstration d'une proposition donnée ou de déterminer s'il y en a une.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
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.
Electrolytic capacitorAn electrolytic capacitor is a polarized capacitor whose anode or positive plate is made of a metal that forms an insulating oxide layer through anodization. This oxide layer acts as the dielectric of the capacitor. A solid, liquid, or gel electrolyte covers the surface of this oxide layer, serving as the cathode or negative plate of the capacitor. Because of their very thin dielectric oxide layer and enlarged anode surface, electrolytic capacitors have a much higher capacitance-voltage (CV) product per unit volume than ceramic capacitors or film capacitors, and so can have large capacitance values.
ThermodurcissableLa transformation d'un matériau thermodurcissable fait intervenir une polymérisation, laquelle est irréversible et conduit à un produit fini solide, généralement rigide. Ce dernier est infusible donc non transformable, ce qui empêche son recyclage. Il est souvent préparé par réticulation, deux ingrédients, dont l'un est typiquement une « résine », réagissent sous l'action de la chaleur en présence de réactifs (catalyseur et accélérateur de polymérisation).
BiosenseurUn biosenseur (aussi appelé biocapteur) est un dispositif détecteur, semi-biologique associant trois éléments : l'échantillon à étudier : eau, air, sol, matériel biologique (tissus, micro-organismes, organites, récepteurs cellulaires, enzymes, anticorps, acides nucléiques, organismes génétiquement modifié, ou matériel issu d'OGM, etc.) un élément capteur (éventuellement sous la forme d'une puce électronique) détectant des changements physico-chimiques sous forme de signaux (présence/absence) biochimiques et/ou physiques ou chimique dans un milieu (externe ou interne au corps humain) et émettant un signal biologique.
Supercondensateurvignette|Supercondensateur Un supercondensateur est un condensateur de technique particulière permettant d'obtenir une densité de puissance et une densité d'énergie intermédiaires entre les batteries et les condensateurs électrolytiques classiques. Composés de plusieurs cellules montées en série-parallèle, ils permettent une tension et un courant de sortie élevés (densité de puissance de l'ordre de plusieurs kW/kg) et stockent une quantité d'énergie intermédiaire entre les deux modes de stockage cités ci-dessus (densité d'énergie de l'ordre de quelque Wh/kg), et peuvent la restituer plus rapidement qu'une batterie.
