une tension d’erreur V comp , à savoir l’écart entre les valeurs cible et réelle de la tension de sortie... de v comp . Il y a linéarité entre les deux grandeurs. Les interrupteurs de l’étage de puissance... -vis du réseau électrique d’interconnexion. La boucle fermée, H comp , va modifier l’impédance... de H comp va permettre de compenser la chute de tension en continue que provoquerait l’impédance de sortie...
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.
theorem. Notices of the American Mathematical Society , Le compilateur CompCert garantit... Total (comp : A → A → bool) : Prop := ∀ a b, comp a b = false → comp b a = true. Hypothesis leb... par le compilateur. CompCert Le compilateur CompCert est le premier compilateur optimisant qui soit formellement... .) - Closing the gap — the formally verified optimizing compiler CompCert. In Safety-critical Systems...
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.
compas céleste... . Un des instruments de navigation du robot AntBot repose sur un compas céleste détectant le rayonnement diffusé... composés des insectes, et plus particulièrement de la fourmi du désert Cataglyphis fortis. Ce compas... , en dépit du nombre non négligeable de tentatives d’implémentations robotiques de compas célestes inspirés...
Les articles Recherche et Innovation présentent des technologies en cours de développement, émergentes, qui n'ont pas encore atteint leur pleine maturité pour un développement industriel mais sont prometteuses.
TECHNIQUES DE L'INGENIEUR
L'EXPERTISE TECHNIQUE ET SCIENTIFIQUE
DE RÉFÉRENCE
Avec Techniques de l'Ingénieur, retrouvez tous les articles scientifiques et techniques : base de données, veille technologique, documentation et expertise technique
Plus de 10 000 articles de référence, fiches pratiques et articles interactifs validés par les comités scientifiques
Toute l'actualité, la veille technologique, les études de cas et les événements de chaque secteur de l'industrie
SUIVEZ-NOUS
