Multi-chip moduleA multi-chip module (MCM) is generically an electronic assembly (such as a package with a number of conductor terminals or "pins") where multiple integrated circuits (ICs or "chips"), semiconductor dies and/or other discrete components are integrated, usually onto a unifying substrate, so that in use it can be treated as if it were a larger IC. Other terms for MCM packaging include "heterogeneous integration" or "hybrid integrated circuit".
Orbital state vectorsIn astrodynamics and celestial dynamics, the orbital state vectors (sometimes state vectors) of an orbit are Cartesian vectors of position () and velocity () that together with their time (epoch) () uniquely determine the trajectory of the orbiting body in space. State vectors are defined with respect to some frame of reference, usually but not always an inertial reference frame.
Code quantiqueLes codes quantiques sont l'équivalent quantique des codes correcteurs. La théorie des codes quantiques est donc une branche de l'information quantique qui s'applique à protéger l'information quantique des effets de la décohérence. La correction d'erreur quantique est un élément essentiel du calcul tolérant aux fautes qui doit gérer non seulement les erreurs dans l'information stockée, mais aussi dans l'application des portes quantiques, la préparation de nouveaux états ainsi que dans les opérations de mesure.
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).
Orbite elliptiqueEn mécanique céleste et en mécanique spatiale, une orbite elliptique est une orbite dont l'excentricité est inférieure à 1 et non nulle. L'astronome andalou et musulman Al-Zarqali du suggère et affirme déjà que les orbites planétaires sont des ellipses. L'ellipticité des orbites héliocentriques de la Terre et des autres planètes du Système solaire a été découverte par l'astronome allemand et protestant Johannes Kepler (1571-1630), à partir des observations de l'orbite de la planète Mars.
One-way quantum computerThe one-way or measurement-based quantum computer (MBQC) is a method of quantum computing that first prepares an entangled resource state, usually a cluster state or graph state, then performs single qubit measurements on it. It is "one-way" because the resource state is destroyed by the measurements. The outcome of each individual measurement is random, but they are related in such a way that the computation always succeeds.
System in packagethumb|Un SiP avec un processeur, mémoire et mémoire flash, combiné sur un seul substrat. Un SiP, acronyme de « System in Package » (système dans un boîtier, en français), aussi connu sous le nom de System-in-a-Package ou de Multi-Chip Module (MCM), désigne un système de circuits intégrés confinés dans un seul boîtier ou module. Le SiP permet de réaliser la totalité (ou presque) des fonctions habituelles d'un système électronique, tels que ceux présents à l'intérieur d'un téléphone mobile, d'un PC, d'un baladeur numérique, etc.
Calcul des prédicatsEn logique mathématique, le calcul des prédicats du premier ordre, ou calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique. Il a été proposé par Gottlob Frege une formalisation du langage des mathématiques entre la fin du et le début du .
Vol suborbitalvignette|Mercury-Redstone est une fusée permettant uniquement d'effectuer des vols suborbitaux à bord de capsule Mercury. Ici, le décollage de la mission Mercury-Redstone 3, avec l'astronaute Alan Shepard. Un vol suborbital est un vol spatial d'un engin spatial se déplaçant dans l'espace à une vitesse suborbitale, inférieure à la vitesse requise pour qu'il se maintienne en orbite. Le premier vol suborbital est effectué le par l'astronaute Alan Shepard lors de la mission Mercury-Redstone 3.
