Propulsion électrique (spatial)La propulsion électrique dans le domaine spatial est un type de propulsion à réaction dans lequel l'électricité est utilisée comme source d'énergie pour accélérer un fluide. Contrairement à la propulsion chimique, ce type de propulsion spatiale ne fournit pas des poussées suffisamment importantes (poussées inférieures à , soit ) pour placer en orbite des satellites artificiels mais, grâce à une impulsion spécifique très élevée, elle permet de réduire de manière très importante (jusqu'à dix fois) la masse d'ergols nécessaire pour manœuvrer un engin dans l'espace par rapport aux autres types de propulsion.
Fusée (astronautique)En astronautique, une fusée est un véhicule mû par un moteur-fusée de grande puissance qui lui permet de se déplacer dans l'espace proche, et notamment de placer en orbite une (satellite artificiel), voire d'échapper à l'attraction terrestre pour visiter différents corps célestes. Les fusées de l'astronautique sont généralement dotées de plusieurs étages mis à feu successivement. Les plus grosses fusées construites, comme Saturn V, permettent de placer jusqu'à en orbite basse.
Moteur-fuséeLe moteur-fusée est un type de moteurs à réaction, c'est-à-dire un engin qui projette un fluide (gaz ou liquide) vers l'arrière, ce qui transmet par réaction une poussée au véhicule solidaire du moteur, de force égale et de direction opposée, vers l'avant. Le moteur-fusée présente la particularité d'expulser une matière qui est entièrement stockée dans le corps du véhicule. Ce type de moteur est en particulier utilisé par les fusées car, étant autosuffisant, il peut fonctionner dans un milieu dépourvu d'atmosphère, mais également par les missiles car il permet d'atteindre des vitesses très importantes.
SchemeScheme (prononciation : ) est un langage de programmation dérivé du langage fonctionnel Lisp, créé dans les années 1970 au Massachusetts Institute of Technology (MIT) par Gerald Jay Sussman et Guy L. Steele. Le but des créateurs du langage était d'épurer le Lisp en conservant les aspects essentiels, la flexibilité et la puissance expressive. Scheme a donc une syntaxe extrêmement simple, avec un nombre très limité de mots-clés. Comme en Lisp, la notation préfixée permet de s'affranchir d'une précédence des opérateurs.
Chicken (Scheme implementation)Chicken (stylized as CHICKEN) is a programming language, specifically a compiler and interpreter which implement a dialect of the programming language Scheme, and which compiles Scheme source code to standard C. It is mostly R5RS compliant and offers many extensions to the standard. The newer R7RS standard is supported through an extension library. Chicken is free and open-source software available under a BSD license. It is implemented mostly in Scheme, with some parts in C for performance or to make embedding into C programs easier.
FauconsLes Faucons (Falco) sont un genre de rapaces diurnes, éponyme de la famille des Falconidés. On les retrouve sur pratiquement toute la planète, à l'exception des régions polaires. En France, citons parmi les espèces les plus connues le Faucon crécerelle (Falco tinnunculus) connu pour son chant chevalin, un rapace commun sur le territoire, et le Faucon pèlerin (Falco peregrinus) qui a souvent été apprivoisé dans le cadre de la fauconnerie.
ErgolUn ergol, dans le domaine de l'astronautique, est une substance homogène employée seule ou en association avec d'autres substances et destinée à fournir de l'énergie à un lanceur spatial, un satellite, ou tout autre objet propulsé astronautique. Les ergols sont les produits initiaux, séparés, utilisés dans un système propulsif à réaction, de manière générale utilisés dans des moteurs-fusées. Ils sont constitués d'éléments oxydants (comburant) et réducteurs (carburant ou combustible), c'est-à-dire d'un élément capable de recevoir un ou plusieurs électrons durant une réaction, et un capable d'en fournir.
Short-circuit evaluationShort-circuit evaluation, minimal evaluation, or McCarthy evaluation (after John McCarthy) is the semantics of some Boolean operators in some programming languages in which the second argument is executed or evaluated only if the first argument does not suffice to determine the value of the expression: when the first argument of the AND function evaluates to false, the overall value must be false; and when the first argument of the OR function evaluates to true, the overall value must be true.
Stratégie d'évaluation (informatique)Un langage de programmation utilise une stratégie d'évaluation pour déterminer « quand » évaluer les arguments à l'appel d'une fonction (ou encore, opération, méthode) et « comment » passer les arguments à la fonction. Par exemple, dans l'appel par valeur, les arguments doivent être évalués avant d'être passés à la fonction. La stratégie d'évaluation d'un langage de programmation est spécifiée par la définition du langage même. En pratique, la plupart des langages de programmation (Java, C...
Évaluation paresseuseL’évaluation paresseuse (), appelée aussi appel par nécessité ou évaluation retardée est une technique d'implémentation des programmes récursifs pour laquelle l'évaluation d'un paramètre de fonction ne se fait pas avant que les résultats de cette évaluation ne soient réellement nécessaires. Ces résultats, une fois calculés, sont préservés pour des réutilisations ultérieures. Dans un langage comme Haskell, l'évaluation est paresseuse par défaut.
