Transmission d'énergie sans filLa transmission d'énergie sans fil est une technique permettant la distribution de l'énergie électrique sans utiliser de support matériel. Cette technique est destinée à être utilisée, soit pour alimenter des lieux difficiles d'accès, soit pour recharger des objets nomades (véhicules, téléphones, outillage portatif...) . Contrairement à la transmission de données, le rendement est le critère à maximiser pour la transmission d'énergie, il détermine le choix entre les différentes technologies.
Système d'alimentation autonomevignette|320x320px| Schéma d'un système hybride Un système d'alimentation autonome (SAA, ou ), ou plus précisément un système d'alimentation électrique autonome également connu sous le nom d'alimentation électrique en zone éloignée, est un système électrique hors réseau pour les emplacements dépourvus de réseau de distribution d'électricité. Les SAA typiques incluent une ou plusieurs méthodes de production d'électricité, de stockage d'énergie et de régulation.
Théorèmes d'incomplétude de GödelLes théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, publiés par Kurt Gödel en 1931 dans son article (« Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés »). Ils ont marqué un tournant dans l'histoire de la logique en apportant une réponse négative à la question de la démonstration de la cohérence des mathématiques posée plus de 20 ans auparavant par le programme de Hilbert.
Théorème de complétude de GödelEn logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre. En termes intuitifs le théorème de complétude construit un pont entre vérité et démontrabilité formelle : tout énoncé vrai est démontrable.
Théorèmes de SylowEn théorie des groupes finis, les théorèmes de Sylow forment une réciproque partielle du théorème de Lagrange, d'après lequel, si H est sous-groupe d'un groupe fini G, alors l'ordre de H divise l'ordre de G. Ces théorèmes garantissent, pour certains diviseurs de l'ordre de G, l'existence de sous-groupes d'ordre égal à ces diviseurs, et donnent une information sur le nombre de ces sous-groupes. Ces théorèmes portent le nom du mathématicien norvégien Ludwig Sylow, qui les démontra en 1872.
Montage en pontUn montage en pont est un montage électrique comportant 4 dipôles câblés entre 4 nœuds A, B, C et D. Entre A et C on applique la tension d'entrée, la tension de sortie est alors la tension entre B et D. pont de diodes pont de Maxwell pont de Wheatstone pont de Wien Le montage en pont est très fréquemment utilisé en mesure (pont de jauges, pont de mesure). Deux des dipôles placés entre A et B et entre C et D sont des dipôles dont les caractéristiques dépendent de la grandeur physique à mesurer : jauges de contrainte ou résistance de platine.
Automatisation de la logistiqueLautomatisation de la logistique est l'application de logiciels ou de machines automatisées pour améliorer l'efficacité des opérations logistiques. En général, cela se réfère aux opérations dans un entrepôt ou un centre de distribution, avec des tâches plus larges entreprises par les systèmes d'ingénierie de la chaîne d'approvisionnement et les systèmes de planification des ressources de l'entreprise. Les systèmes d'automatisation de la logistique peuvent compléter puissamment les possibilités offertes par ces systèmes informatiques de niveau supérieur.
MétathéorèmeIn logic, a metatheorem is a statement about a formal system proven in a metalanguage. Unlike theorems proved within a given formal system, a metatheorem is proved within a metatheory, and may reference concepts that are present in the metatheory but not the object theory. A formal system is determined by a formal language and a deductive system (axioms and rules of inference). The formal system can be used to prove particular sentences of the formal language with that system.
