Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
Soviet space programThe Soviet space program (Kosmicheskaya programma SSSR) was the national space program of the former Union of Soviet Socialist Republics (USSR), active from 1955 until the dissolution of the Soviet Union in 1991. Soviet investigations in rocketry began with the formation of a research laboratory in 1921, but these efforts were hampered by the devastating war with Germany.
Claire-voie (architecture)En architecture, une claire-voie désigne différents concepts : un ouvrage composé d’éléments qui laissent passer le jour : fenêtre, balustrade, paroi ajourée, baie, arcature ; dans une église, la rangée supérieure de baies d’une nef située au-dessus du triforium et des tribunes. Dans une nef gothique, elle est également appelée « clair-étage » ; tout ouvrage de charpente, de menuiserie ou d'osier, dont les pièces laissent du jour entre elles.
Uncrewed spacecraftRobotic spacecraft or uncrewed spacecraft are spacecraft without people on board. Uncrewed spacecraft may have varying levels of autonomy from human input; they may be remote controlled, remote guided or autonomous: they have a pre-programmed list of operations, which they will execute unless otherwise instructed. A robotic spacecraft for scientific measurements is often called a space probe or space observatory. Many space missions are more suited to telerobotic rather than crewed operation, due to lower cost and risk factors.
Planification des ressources de productionMRP est un sigle signifiant Materials Resources Planning ou Materials Requirements Planning ou encore Manufacturing Resources Planning. L'Office québécois de la langue française (OQLF) propose comme traduction planification des ressources de production. Ancêtre de l'ERP (Enterprise Resource Planning, ou progiciel de gestion intégré en français), le MRP est toujours la partie centrale d'un système de gestion de production informatisé.
Cadre d'architectureUn cadre d'architecture est une spécification sur la façon d'organiser et de présenter une architecture de systèmes ou l'architecture informatique d'un organisme. Étant donné que les disciplines de l'architecture de systèmes et de l'architecture informatique sont très larges, et que la taille de ces systèmes peut être très grande, il peut en résulter des modèles très complexes. Afin de gérer cette complexité, il est avantageux de définir un cadre d'architecture par un ensemble standard de catégories de modèles (appelés “vues”) qui ont chacun un objectif spécifique.
Cadre ZachmanLe cadre Zachman est un cadre d'architecture d'entreprise qui permet d'une manière formelle et hautement structurée de définir le système d'information d'une entreprise. Il utilise un modèle de classification à deux dimensions basé sur : six interrogations de base : Quoi, Comment, Où, Qui, Quand, et Pourquoi (What, How, Where, Who, When, Why), qui croisent six types de modèles distincts qui se rapportent à des groupes de parties prenantes : Visionnaire, Propriétaire, Concepteur, Réalisateur, Sous-traitant et Exécutant (visionary, owner, designer, builder, implementer, worker) pour présenter une vue holistique de l'entreprise qui est modélisée.
Centre des planètes mineuresLe Centre des planètes mineures (en abrégé CPM, bien que rarement utilisé) ou Centre des petites planètes (en anglais Minor Planet Center, en abrégé MPC, plus courant y compris en français) est un organisme dépendant de la division III de l'Union astronomique internationale (UAI), opérant depuis le Smithsonian Astrophysical Observatory. Il a été créé à l'université de Cincinnati en 1947 par l'astronome Paul Herget, qui l'a dirigé jusqu'en 1978.
ÉclairageLéclairage est l'ensemble des moyens qui permettent à l'homme de doter son environnement des conditions de luminosité qu'il estime nécessaires à son activité ou son agrément. L'éclairage associe une source lumineuse (naturelle ou artificielle, fixe ou mobile) et d'éventuels dispositifs de type batteries, luminaires ou miroir/puits de Lumière. Les sources artificielles étaient le feu, des lampes à graisse, puis des lampes à huile, des torches, des bougies, les lampes à pétrole puis le gaz, puis des lampes électriques d’abord à incandescence (traditionnelle ou halogène) puis fluorescentes et électroluminescentes.
Habitat spatialvignette|Une paire de cylindre O'Neill vignette|Intérieur d'un tore de Stanford Un habitat spatial, aussi appelé colonie spatiale ou colonie orbitale, est une station spatiale qui est une installation permanente plutôt qu'un relais orbital ou autre installation spécialisée. Ce pourrait être une « ville » dans l'espace, où une population pourrait vivre, travailler et fonder des familles. Aucun habitat spatial n'a encore été construit, mais beaucoup de concepts ont été développés avec un degré variable de réalisme par aussi bien des ingénieurs que des auteurs de science-fiction.
