Programmation logiqueLa programmation logique est une forme de programmation qui définit les applications à l'aide : d'une base de faits : ensemble de faits élémentaires concernant le domaine visé par l'application, d'une base de règles : règles de logique associant des conséquences plus ou moins directes à ces faits, d'un moteur d'inférence (ou démonstrateur de théorème ) : exploite ces faits et ces règles en réaction à une question ou requête. Cette approche se révèle beaucoup plus souple que la définition d'une succession d'instructions que l'ordinateur exécuterait.
Haute tensionLa haute tension est un terme qui caractérise, selon des normes européennes, les valeurs de la tension électrique supérieures à en courant alternatif et en courant continu. En France, on distingue deux domaines de hautes tensions : le domaine haute tension A (ou HTA)), concerne les installations électriques dans lesquelles la tension : excède sans dépasser en courant alternatif, ou excède sans dépasser en courant continu ; le domaine haute tension B (ou HTB) concerne les installations électriques dans lesquelles la tension : excède en courant alternatif, ou excède en courant continu.
Apollo Guidance ComputerL'Apollo Guidance Computer (AGC) est l'ordinateur embarqué de navigation et de pilotage installé dans les vaisseaux spatiaux des missions Apollo. Il a été conçu par la société MIT Instrumentation Laboratory sous la direction de Charles Stark Draper avec le matériel de conception dirigée par Eldon C. Hall. La fabrication de l'ordinateur était confiée à la société Sperry tandis que la programmation était réalisée au MIT. C'est le premier ordinateur à avoir recours aux circuits intégrés (CI).
Tour horlogeUne tour horloge, tour d'horloge ou tour de l'horloge est une tour construite avec une horloge sur une ou plusieurs de ses faces (souvent quatre). Elle fait généralement partie d'une église ou d'un bâtiment municipal comme un hôtel de ville, mais de nombreuses tours horloges ne sont pas liées à un bâtiment. Les beffrois typiques des Flandres sont pour la plupart des tours d'horloge, équipées de carillons. Un certain nombre de ces tours remontent au Moyen Âge.
Cascading failureA cascading failure is a failure in a system of interconnected parts in which the failure of one or few parts leads to the failure of other parts, growing progressively as a result of positive feedback. This can occur when a single part fails, increasing the probability that other portions of the system fail. Such a failure may happen in many types of systems, including power transmission, computer networking, finance, transportation systems, organisms, the human body, and ecosystems.
Pendule à coucouUne pendule à coucou, ou elliptiquement coucou, est une pendule dont la sonnerie imite le cri du coucou. Le concept d’horloge à coucou aurait été créé par , en 1738, dans le village de Schönwald, en Forêt-Noire (Allemagne). Le coucou a été choisi parce que son cri est facile à imiter par des moyens mécaniques simples. Le modèle traditionnel, défini vers 1850, se présente typiquement comme une horloge murale à balancier apparent, mue par deux contrepoids en forme de cône, avec un boîtier décoré en forme de chalet ou de tronc d’arbre.
Intel 8085L'Intel 8085 est un microprocesseur 8 bits fabriqué par Intel au milieu des années 1970. Il était compatible au niveau du code binaire avec le plus célèbre Intel 8080, mais demandait moins de matériel environnant, ce qui permit la création de micro-ordinateurs plus simples et moins chers à construire. Le « 5 » dans le numéro du modèle provient du fait que les 8085 exigeaient seulement une alimentation de +5V plutôt que les +5V, -5V et +12V exigés par les 8080. Cependant, il était plus lent que le 8080.
Autoepistemic logicThe autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only express facts, autoepistemic logic can express knowledge and lack of knowledge about facts. The stable model semantics, which is used to give a semantics to logic programming with negation as failure, can be seen as a simplified form of autoepistemic logic. The syntax of autoepistemic logic extends that of propositional logic by a modal operator indicating knowledge: if is a formula, indicates that is known.
Horloge astronomique300px|Détail du cadran de l'horloge astronomique de Prague Czech-2013-Prague-Astronomical clock face 200px|vignette|Prague, horloge astronomique Une horloge astronomique est une horloge qui affiche l'heure ainsi que des informations relatives à l'astronomie. De façon générale, le terme fait référence à toute horloge qui affiche, en plus de l'heure, des informations astronomiques.
