Amplificateur électroniquethumb|Un amplificateur audio à tubes. Un amplificateur électronique (ou amplificateur, ou ampli) est un système électronique augmentant la puissance d’un signal électrique. L’énergie nécessaire à l’amplification est tirée de l’alimentation électrique du système. Un amplificateur parfait ne déforme pas le signal d’entrée : sa sortie est une réplique exacte de l’entrée avec une amplitude majorée ou une impédance minorée. C'est donc un quadripôle actif à base d'un ou plusieurs composants actifs, le plus souvent des transistors.
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.
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.
Electronic circuit simulationElectronic circuit simulation uses mathematical models to replicate the behavior of an actual electronic device or circuit. Simulation software allows for modeling of circuit operation and is an invaluable analysis tool. Due to its highly accurate modeling capability, many colleges and universities use this type of software for the teaching of electronics technician and electronics engineering programs. Electronics simulation software engages its users by integrating them into the learning experience.
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.
Amplificateur opérationnelthumb|300px|Différents modèles d'amplificateurs opérationnels. thumb|300px|La représentation schématique d'un amplificateur opérationnel varie suivant les normes ANSI/IEEE et IEC 60617-13. Un amplificateur opérationnel (aussi dénommé ampli-op ou ampli op, AO, AOP, ALI ou AIL) est un amplificateur différentiel à grand gain : c'est un amplificateur électronique qui amplifie fortement une différence de potentiel électrique présente à ses entrées.
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).
Differential amplifierA differential amplifier is a type of electronic amplifier that amplifies the difference between two input voltages but suppresses any voltage common to the two inputs. It is an analog circuit with two inputs and and one output , in which the output is ideally proportional to the difference between the two voltages: where is the gain of the amplifier. Single amplifiers are usually implemented by either adding the appropriate feedback resistors to a standard op-amp, or with a dedicated integrated circuit containing internal feedback resistors.
V2 (missile)Le V2 (de l'allemand : « arme de représailles »), ou A4, est un missile balistique développé par l'Allemagne nazie durant la Seconde Guerre mondiale et lancé à plusieurs milliers d'exemplaires en 1944 et 1945 contre les populations civiles, principalement du Royaume-Uni et de Belgique. Cette fusée de pouvait emporter une charge explosive de à une distance de . C'est la première grosse fusée construite, et les technologies mises au point durant sa conception, telles que la propulsion à ergols liquides de grande puissance et les gyroscopes de précision, ont plus tard bouleversé ce domaine technique.
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.
Output impedanceThe output impedance of an electrical network is the measure of the opposition to current flow (impedance), both static (resistance) and dynamic (reactance), into the load network being connected that is internal to the electrical source. The output impedance is a measure of the source's propensity to drop in voltage when the load draws current, the source network being the portion of the network that transmits and the load network being the portion of the network that consumes.
Gain (électronique)En électronique, le 'gain' est la capacité d'un dispositif à augmenter la puissance d'un signal. Le gain exprime généralement en décibels le coefficient de transmission d'un dispositif. On parle aussi de gain d'antenne, pour exprimer la capacité à transmettre plus qu'une antenne de référence dans une direction donnée. Selon une définition générale, le gain est La définition sommaire du gain comme mesure de l'amplification, de l'avantage procuré par un circuit comporte plusieurs conditions implicites.
Amplificateur pour guitare électriquethumb|Amplificateur Fender au format « stack » Un amplificateur pour guitare est un amplificateur audio, spécialement conçu pour la guitare électrique, ou la guitare basse. Le terme abrégé « ampli » désigne communément le couple constitué par l'amplificateur électronique et le haut-parleur. La partie électronique et le haut-parleur peuvent se présenter en deux éléments distincts, ou être réunis dans un même meuble, construit le plus souvent en plaques de bois, recouvert d'un revêtement en vinyle.
Yahoo! SearchYahoo! Search is a Yahoo! internet search provider that uses Microsoft's Bing search engine to power results, since 2009, apart from four years with Google from 2015 until the end of 2018. Originally, "Yahoo! Search" referred to a Yahoo!-provided interface that sent queries to a searchable index of pages supplemented with its directory of websites. The results were presented to the user under the Yahoo! brand. Originally, none of the actual web crawling and data housing was done by Yahoo! itself.
Format ATXLe format ATX (en anglais Advanced Technology Extended) est un facteur de forme de carte mère créé en 1995 par Intel. Il s’agissait de la première modification depuis l’introduction du format AT en 1984, dont il corrige la plupart des défauts. Le format BTX, introduit en 2005 par Intel afin de remédier aux défauts du format ATX, n’a pas réussi à le supplanter. ATX se décline aussi dans des formats plus petits dénommés Mini ATX et Micro ATX destinés notamment aux barebones. Une carte mère ATX a comme dimensions : 12 × ( × ).
V1 (missile)Le V1 (de l'allemand Vergeltungswaffe : « arme de représailles ») est une bombe volante et le premier missile de croisière de l'histoire de l'aéronautique. Le V1 est utilisé durant la Seconde Guerre mondiale, du au par l'Allemagne nazie contre le Royaume-Uni, puis également contre la Belgique (principalement le port d'Anvers ) pendant l'hiver 1944-1945. Ces tirs sont renforcés de à par le déploiement du missile balistique V2, qui frappe Londres, Anvers, et diverses autres villes.
Network analysis (electrical circuits)In electrical engineering and electronics, a network is a collection of interconnected components. Network analysis is the process of finding the voltages across, and the currents through, all network components. There are many techniques for calculating these values; however, for the most part, the techniques assume linear components. Except where stated, the methods described in this article are applicable only to linear network analysis.
