Bibliothèque de calcul avec vérification des dimensions

Le jeudi 12 septembre 2002.

Voici l’annonce publiée par Christoph Grein sur CLA (traduite de l’anglais) :

Le cracker d’unités SI ultime est là !

Le besoin de calculer des grandeurs physiques, avec vérification des dimensions, a toujours existé, mais moi, toutes mes précédentes tentatives m’ont semblé insuffisantes, et il y en a eu beaucoup. Maintenant c’est là, avec toute la généralité requise, même avec les puissances arbitraires et les racines.

Oui, cela consomme beaucoup à l’exécution puisque la dimension est un attribut. Non, ce n’est pas interdit dans les systèmes temps réel durs. Oui, on peut l’utiliser dans des conditions temps réel à condition de bien s’y prendre. Oui, on peut facilement éliminer les dimensions, il ne reste alors plus que des nombres purs.

C’est livré sous license GMGPL. Profitez-en !

Texte original : The ultimate SI Units cracker is there !

There has always been a demand to be able to compute with physical items where correctness of dimensions is checked, but to me, all previous attempts seemed unsatisfactory (and there were many) - now it’s there, in full generality, including arbitrary powers and roots.

Yes - it’s run-time consuming since the dimension is an attribute No - it’s not precluded from being used for hard real-time systems Yes - it can be applied under hard real-time conditions if it’s done correctly Yes - it’s easy to switch off dimensions - only pure numerics remains

It has been released under GMGPL. Enjoy...

Le lien : http://www.christ-usch-grein.homepage.t-online.de/Ada/SI.html


Forum de l'article