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.
Turbine hydrauliqueUne turbine hydraulique est une machine tournante qui produit une énergie mécanique à partir d'eau en mouvement (cours d'eau ou marée) ou potentiellement en mouvement (barrage). Elle constitue le composant essentiel des centrales hydroélectriques destinées à produire de l'électricité à partir d'un flux d'eau. Elle a été inventée par Benoît Fourneyron en 1832, qui installa sa première machine à Pont-sur-l'Ognon. vignette|droite|Turbine hydraulique et générateur électrique, vue en coupe.
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Méthode agilevignette|Daily stand-up, rituel quotidien des méthodes agiles. En ingénierie logicielle, les mettent en avant la collaboration entre des équipes auto-organisées et pluridisciplinaires et leurs clients. Elles s'appuient sur l'utilisation d'un cadre méthodologique léger mais suffisant centré sur l'humain et la communication. Elles préconisent une planification adaptative, un développement évolutif, une livraison précoce et une amélioration continue, et elles encouragent des réponses flexibles au changement.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Cycle de développement (logiciel)Il existe différents types de cycles de développement entrant dans la réalisation d'un logiciel. Ces cycles prennent en compte toutes les étapes de la conception d'un logiciel. Ce cycle de développement est aussi utilisé dans l'industrie aéronautique et spatiale pour définir des systèmes, ou des sous systèmes embarqués ou au sol qu'ils incluent ou pas de l'informatique. vignette|Évolution des cycles basiques vignette|Modèle en cascade Modèle en cascade Le modèle en cascade est issu du développement de logiciels.
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).
Turbine à vapeurvignette|Le rotor d'une turbine à vapeur moderne utilisée dans une centrale électrique. Une turbine à vapeur est une machine qui extrait l'énergie thermique de la vapeur sous pression et l'utilise pour produire un travail mécanique de rotation de l'arbre de sortie. La version moderne fut inventée par Sir Charles Parsons en 1884. Parce que la turbine génère un mouvement de rotation, elle est particulièrement bien adaptée pour entraîner un générateur électrique ;– environ 90 % de la production d'électricité aux États-Unis (1996) était faite en utilisant des turbines à vapeur.
Turbine à gazvignette|Une turbine à combustion de General Electric (en ). Un turbomoteur est une machine tournante thermodynamique comportant une turbine, appartenant à la famille des moteurs à combustion interne. Une turbine à gaz, ou plus exactement turbine à combustion (TAC) est une machine tournante thermodynamique appartenant à la famille des moteurs à combustion interne.
Nacelle élévatricealt=|vignette|Nacelle automotrice vignette|Sécurisation d'une façade au moyen d'une nacelle élévatrice sur camion avec bras articulé.. Une nacelle élévatrice est un engin de chantier servant à faciliter l'accès à une zone de travail en hauteur. Elles offrent des solutions d'intervention pour effectuer des travaux de maintenance, de réparation, d'entretien ou encore de nettoyage, lorsque des solutions permanentes n'existent pas. En France, leur pilotage est subordonné à la détention d'un certificat d'aptitude à la conduite en sécurité (CACES).
ÉolienneUne éolienne est un dispositif qui transforme l'énergie cinétique du vent en énergie mécanique, dite énergie éolienne, laquelle est ensuite le plus souvent transformée en énergie électrique. Les éoliennes produisant de l'électricité sont appelées « aérogénérateurs », tandis que les éoliennes qui pompent directement de l'eau sont parfois dénommées « éoliennes de pompage » ou « pompes à vent ». Une forme ancienne d'éolienne est le moulin à vent.
Aide au développementL'aide au développement désigne une action volontaire par un acteur extérieur pour impulser le développement d'un pays tiers (pays en développement). Les conceptions du développement sont nombreuses, les différentes formes de l'aide le sont tout autant. L'aide au développement trouve son origine dans le discours sur l'état de l'Union du président des États-Unis Harry Truman le :Nous devons nous lancer dans un nouveau programme de construction pour mettre les bénéfices de nos avancées scientifiques et de nos progrès industriels au service de l'amélioration et de la croissance des régions sous-développées.
