Variable d'étatEn thermodynamique, des variables d'état sont des paramètres qui caractérisent l'état d'équilibre d'un système, tels que le volume, la température, la pression et la quantité de matière. Ces caractérisations sont elles-mêmes des fonctions d'état du système. Une variable d'état n'a de sens que pour un système à l'équilibre thermodynamique. Une variable d'état est toujours une grandeur physique scalaire. Il s'agit soit d'une grandeur extensive, définie sur l'ensemble du système considéré, soit d'une grandeur intensive, qui doit alors prendre la même valeur en tout point du système.
State space (physics)In physics, a state space is an abstract space in which different "positions" represent, not literal locations, but rather states of some physical system. This makes it a type of phase space. Specifically, in quantum mechanics a state space is a complex Hilbert space in which each unit vector represents a different state that could come out of a measurement. Each unit vector specifies a different dimension, so the numbers of dimensions in this Hilbert space depends on the system we choose to describe.
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.
Surveillance aircraftA surveillance aircraft is an aircraft used for surveillance. They are operated by military forces and other government agencies in roles such as intelligence gathering, battlefield surveillance, airspace surveillance, reconnaissance, observation (e.g. artillery spotting), border patrol and fishery protection. This article concentrates on aircraft used in those roles, rather than for traffic monitoring, law enforcement and similar activities. Surveillance aircraft usually carry no armament, or only limited defensive armament.
Théorie des contraintesLa Théorie des Contraintes (Theory Of Constraints ou TOC en Anglais) est un référentiel de connaissances, de méthodes et d’outils de management interdisciplinaires des organisations. L’auteur principal est Eliyahu M. Goldratt, avec d’autres contributeurs. C'est une nouvelle approche du management fondée sur l'approche systémique, l'acceptation des aléas et le bon sens. La Théorie des Contraintes part du postulat que le déséquilibre est inévitable, même si l'approche japonaise permet de le limiter.
Contrôleur de volUn contrôleur de vol est une personne qui aide au vol spatial en travaillant dans des centres de contrôle de mission tels que le Centre de contrôle de mission de la NASA ou le Centre européen d'opérations spatiales de l'ESA. Les contrôleurs de vol travaillent sur des consoles informatiques et utilisent la télémétrie pour surveiller en temps réel les différents aspects techniques d'une mission spatiale. Chaque contrôleur est un expert dans un domaine spécifique et communique constamment avec d'autres experts.
Interstellar probeAn interstellar probe is a space probe that has left—or is expected to leave—the Solar System and enter interstellar space, which is typically defined as the region beyond the heliopause. It also refers to probes capable of reaching other star systems. There are five interstellar probes, all launched by the American space agency NASA: Voyager 1, Voyager 2, Pioneer 10, Pioneer 11 and New Horizons. As of 2019, Voyager 1, Voyager 2 and Pioneer 10 are the only probes to have actually reached interstellar space.
Answer set programmingL’answer set programming (ASP) est une forme de programmation déclarative adaptée aux problèmes de recherche combinatoires (par exemple, sudoku et coloration de graphes). Dans le contexte de la programmation logique, cette approche distingue deux types de négation — la négation par manque d'information, dite négation par défaut, et la négation forte ou négation logique. La négation par défaut permet de raisonner en l'absence d'information et rend l'ASP non monotone.
Retour sur traceEn informatique, plus précisément en algorithmique, le retour sur trace ou retour arrière (appelé aussi backtracking en anglais) est une famille d'algorithmes pour trouver des solutions à des problèmes algorithmiques, notamment de satisfaction de contraintes. Contrairement à une recherche exhaustive, un algorithme de retour sur trace construit incrémentalement des solutions candidates. Il abandonne la construction lorsqu'il ne peut compléter le candidat courant en solution valide.
Invasion de l'Irak par les États-Unis en 2003L'invasion de l'Irak par les États-Unis en 2003 (en anglais, 2003 invasion of Iraq), la guerre d'Irak ou la guerre américano-irakienne, est une opération militaire déclenchée le 20 mars 2003, sur ordre du président américain George W. Bush. L’opération Liberté irakienne (en anglais, Operation Iraqi Freedom) est le nom donné à l'intervention militaire américaine qui marque le début de la guerre d'Irak par le département de la Défense des États-Unis, dont l'objectif principal officiel était de renverser Saddam Hussein et le Parti Baas du pouvoir, ainsi que d'« instaurer la démocratie en Irak ».
