- ARTICLE INTERACTIF
|- 10 oct. 2016
|- Réf : BM7036
de nouvelles techniques d’usinage. L’assistance cryogénique est l’une de ces techniques. Les différents... principes de l’assistance cryogénique ainsi que les gains constatés sont présentés dans cet article... est alors une alternative intéressante. L’assistance cryogénique à l’usinage présente les avantages suivants... instants avant de se vaporiser ; respect de l’environnement, des biens et des personnes. L’assistance...
Les bases documentaires des Techniques de l'Ingénieur couvrent tous les grands domaines de l'ingénierie. Lancez votre recherche, affinez-là, obtenez vos réponses !
- Article de bases documentaires
|- 10 août 2017
|- Réf : H3310
assistant de preuve... Un assistant de preuve est un logiciel interactif permettant à son utilisateur de construire... 'outil est utile à la vérification de logiciel critique. Cet article présente Coq, assistant de preuve développé... – de correction doit être guidée par l’utilisateur. Les assistants de preuve MILNER (R.) - LCF : A way of...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
- ARTICLE INTERACTIF
|- 10 août 2020
|- Réf : TRP4047
Les missions interplanétaires nécessitent des vitesses élevées pour quitter le champ d’attraction terrestre, puis rejoindre les planètes ou corps lointains du système solaire. L’analyse de ces missions est simplifiée par le concept de sphère d’influence qui permet de modéliser la trajectoire comme une suite de problèmes à deux corps. Cette modélisation par coniques juxtaposées met en évidence le ...
Les bases documentaires des Techniques de l'Ingénieur couvrent tous les grands domaines de l'ingénierie. Lancez votre recherche, affinez-là, obtenez vos réponses !