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).
Turbinevignette|alt=|Rotors de turbines à vapeur de la centrale nucléaire de Philippsburg. Une turbine est un dispositif rotatif convertissant partiellement l'énergie interne d'un fluide, liquide (comme l'eau) ou gazeux (vapeur, air, gaz de combustion), en énergie mécanique au moyen d'aubes disposées sur un arbre tournant à grande vitesse. L'énergie entrante du fluide est caractérisée notamment par sa vitesse, sa pression, son enthalpie.
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.
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.
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).
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.
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.
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.
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.
International developmentInternational development or global development is a broad concept denoting the idea that societies and countries have differing levels of economic or human development on an international scale. It is the basis for international classifications such as developed country, developing country and least developed country, and for a field of practice and research that in various ways engages with international development processes. There are, however, many schools of thought and conventions regarding which are the exact features constituting the "development" of a country.
É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.
