Arbitrary waveform generatorAn arbitrary waveform generator (AWG) is a piece of electronic test equipment used to generate electrical waveforms. These waveforms can be either repetitive or single-shot (once only) in which case some kind of triggering source is required (internal or external). The resulting waveforms can be injected into a device under test and analyzed as they progress through it, confirming the proper operation of the device or pinpointing a fault in it. Unlike function generators, AWGs can generate any arbitrarily defined waveshape as their output.
Economic calculation problemThe economic calculation problem (sometimes abbreviated ECP) is a criticism of using economic planning as a substitute for market-based allocation of the factors of production. It was first proposed by Ludwig von Mises in his 1920 article "Economic Calculation in the Socialist Commonwealth" and later expanded upon by Friedrich Hayek. In his first article, Mises described the nature of the price system under capitalism and described how individual subjective values (while criticizing other theories of value) are translated into the objective information necessary for rational allocation of resources in society.
Statistical parameterIn statistics, as opposed to its general use in mathematics, a parameter is any measured quantity of a statistical population that summarises or describes an aspect of the population, such as a mean or a standard deviation. If a population exactly follows a known and defined distribution, for example the normal distribution, then a small set of parameters can be measured which completely describes the population, and can be considered to define a probability distribution for the purposes of extracting samples from this population.
Générateur congruentiel linéaireUn générateur congruentiel linéaire est un générateur de nombres pseudo-aléatoires dont l'algorithme, introduit en 1948 par Derrick Lehmer, sous une forme réduite, pour produire des nombres aléatoires, est basé sur des congruences et une fonction affine. Les nombres pseudo aléatoires forment une suite dont chaque terme dépend du précédent, selon la formule : où a est le multiplicateur, c l'incrément et m le module. Le terme initial est appelé la graine (seed en anglais). C'est elle qui va permettre de générer une suite apparemment aléatoire.
7400-series integrated circuitsThe 7400 series is a popular logic family of transistor–transistor logic (TTL) integrated circuits (ICs). In 1964, Texas Instruments introduced the SN5400 series of logic chips, in a ceramic semiconductor package. A low-cost plastic package SN7400 series was introduced in 1966 which quickly gained over 50% of the logic chip market, and eventually becoming de facto standardized electronic components. Over the decades, many generations of pin-compatible descendant families evolved to include support for low power CMOS technology, lower supply voltages, and surface mount packages.
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
Transistor-Transistor logicthumb|Composants TTL thumb| Circuit intégré TTμL-103 de Fairchild (1964) contenant deux portes NON-ET à quatre entrées en logique TTL Transistor-Transistor Logic ou TTL est une famille de circuits logiques utilisée en électronique, inventée en 1961 par sous l'appellation Transistor-Coupled Transistor Logic. De façon indépendante, inspirée par une présentation de la société Fairchild sur les techniques de logique tout-transistor, la société Sylvania a produit les premiers circuits intégrés TTL commerciaux en 1963.
Glace de merthumb|upright=1.25|Fragments épars de glace de mer recouverts de neige. thumb|upright=1.25|Lame fine de glace de mer, observée sous une lumière à polarisation croisée. Tous les cristaux (que l'on distingue grâce aux couleurs d'interférence différentes) contiennent des inclusions de saumure (solution saline) et d'air ; inclusions situées dans le plan cristallographique. La glace de mer est constituée d'eau de mer gelée, et parfois aussi de neige tassée ou d'eau douce gelée (l'eau de mer gèle à une température plus basse - environ -2°C - que l'eau douce).
Analyse (mathématiques)L'analyse (du grec , délier, examiner en détail, résoudre) a pour point de départ la formulation rigoureuse du calcul infinitésimal. C'est la branche des mathématiques qui traite explicitement de la notion de limite, que ce soit la limite d'une suite ou la limite d'une fonction. Elle inclut également des notions comme la continuité, la dérivation et l'intégration. Ces notions sont étudiées dans le contexte des nombres réels ou des nombres complexes.
GlaceLa glace est l'eau (de formule chimique ) lorsqu'elle est à l'état solide. Cet élément est très étudié dans la nature et en laboratoire, par les scientifiques, à commencer par les glaciologues, les physiciens de la matière condensée et autres cryologues de spécialités différentes : il contient souvent beaucoup d'impuretés ou d'inclusions, d'origine diverse.
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
Plateforme de glacevignette|Schéma montrant l'alimentation d'une plateforme de glace (en anglais en) par un courant glaciaire. vignette|Principales plateformes de glace de l'Antarctique et leur superficie Une plateforme de glace, ice-shelf ou barrière de glace est une structure glaciaire qui constitue le prolongement d'un ou plusieurs glaciers ou d'un inlandsis en flottant sur la mer. Contrairement à la banquise qui se forme par le gel de l'eau de mer, une plateforme de glace est alimentée par l'écoulement d'un glacier en amont, et généralement par l'accumulation de précipitations.
