Fabrication dans l'espacealt=|vignette|450x450px| Vision d'artiste d'une future base lunaire construite et entretenue via l'impression 3D. La fabrication dans l'espace, parfois appelée fabrication et assemblage dans l'espace, est la production de biens tangibles au-delà de l'atmosphère terrestre. Elle peut être considérée comme une branche de l'industrie spatiale. Puisqu'à ce jour, la plupart des capacités de production spatiale sont limitées à l'orbite terrestre basse, la littérature anglaise emploie parfois aussi la formule de « fabrication en orbite » (in-orbit manufacturing).
Ascenseur spatialvignette|redresse=1.2|Concept d'ascenseur spatial de la NASA. L’ascenseur spatial est un type de transport spatial entre la surface et une orbite autour de la Terre (ou d'un autre astre : lune (ascenseur spatial lunaire), autre planète). Ce concept est fondé sur l'idée d'un câble maintenu tendu par la force centrifuge due à la rotation de la Terre sur elle-même. Pour être en équilibre, le câble doit s'allonger au-delà de l'orbite géostationnaire (), à partir de laquelle la force centrifuge dépasse la force de gravitation.
Technologievignette|250px|Durant la seconde moitié du , l'humanité a atteint la maîtrise technologique nécessaire pour quitter pour la première fois l'atmosphère terrestre et partir à la conquête de l'espace. La technologie est l'étude des outils et des techniques. Le terme désigne les observations sur l'état de l'art aux diverses périodes historiques, en matière d'outils et de savoir-faire. Il comprend l'art, l'artisanat, les métiers, les sciences appliquées et éventuellement les connaissances.
Combinational logicIn automata theory, combinational logic (also referred to as time-independent logic or combinatorial logic ) is a type of digital logic which is implemented by Boolean circuits, where the output is a pure function of the present input only. This is in contrast to sequential logic, in which the output depends not only on the present input but also on the history of the input. In other words, sequential logic has memory while combinational logic does not.
Structure de donnéesEn informatique, une structure de données est une manière d'organiser les données pour les traiter plus facilement. Une structure de données est une mise en œuvre concrète d'un type abstrait. Pour prendre un exemple de la vie quotidienne, on peut présenter des numéros de téléphone par département, par nom, par profession (comme les Pages jaunes), par numéro téléphonique (comme les annuaires destinés au télémarketing), par rue et/ou une combinaison quelconque de ces classements.
Débris spatialvignette|Trou dans le radiateur de la navette spatiale américaine Endeavour provoqué par un débris durant la mission ST-118. Le diamètre de l'orifice d'entrée est de et celui de sortie est le double.|alt=Vue rapprochée d'un impact sur un élément métallique right|thumb|Test destiné à simuler l'impact d'un débris spatial dans un véhicule en orbite au centre de recherche de la NASA.|alt=Traînée lumineuse matérialisant la trajectoire d'un projectile jusqu'à une cible.
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).
Espresso heuristic logic minimizerThe ESPRESSO logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital logic gate circuits. ESPRESSO-I was originally developed at IBM by Robert K. Brayton et al. in 1982. and improved as ESPRESSO-II in 1984. Richard L. Rudell later published the variant ESPRESSO-MV in 1986 and ESPRESSO-EXACT in 1987. Espresso has inspired many derivatives. Electronic devices are composed of numerous blocks of digital circuits, the combination of which performs the required task.
Tourisme spatialLe tourisme spatial est l'activité touristique qui regroupe l'ensemble des expériences, entraînements, vols à sensations, séjours (dans les stations spatiales ou sur la Lune) qui permettent à des personnes d'aller dans l'espace pour des motifs non professionnels. De manière conventionnelle on considère qu'un séjour dans l'espace nécessite de dépasser l'altitude de (ligne de Kármán). À cette altitude, l'atmosphère, très ténue, n'oppose pratiquement plus de résistance. On peut parvenir à cette altitude dans le cadre d'un vol orbital ou suborbital.
NanotechnologieLes nanosciences et nanotechnologies (d’après le grec , « nain »), ou NST, peuvent être définies au minimum comme l’ensemble des études et des procédés de fabrication et de manipulation de structures (physiques, chimiques ou biologiques), de dispositifs et de systèmes matériels à l’échelle du nanomètre (nm), qui est l'unité la plus proche de la distance entre deux atomes. Les NST présentent plusieurs acceptions liées à la nature transversale de cette jeune discipline.
Circuit asynchronethumb|upright=1.2|Principe du pipeline synchrone, en haut, où les données avancent au rythme de l'horloge, et du pipeline asynchrone, en bas, où les étages communiquent localement. Un circuit asynchrone est un circuit électronique numérique qui n'utilise pas de signal d'horloge global pour synchroniser ses différents éléments. À la place, ces derniers communiquent souvent localement en indiquant l'envoi et la réception de données. On parle parfois de « circuit auto-séquencé ».
Espace de suites ℓpEn mathématiques, l'espace est un exemple d'espace vectoriel, constitué de suites à valeurs réelles ou complexes et qui possède, pour 1 ≤ p ≤ ∞, une structure d'espace de Banach. Considérons l'espace vectoriel réel R, c'est-à-dire l'espace des n-uplets de nombres réels. La norme euclidienne d'un vecteur est donnée par : Mais pour tout nombre réel p ≥ 1, on peut définir une autre norme sur R, appelée la p-norme, en posant : pour tout vecteur . Pour tout p ≥ 1, R muni de la p-norme est donc un espace vectoriel normé.
