comp.lang.ada
 help / color / mirror / Atom feed
From: "Grein, Christoph" <christoph.grein@eurocopter.com>
To: comp.lang.ada@ada.eu.org
Subject: SI Units Checked and Unchecked
Date: Wed, 5 Feb 2003 08:03:15 +0100 (MET)
Date: 2003-02-05T08:03:15+01:00	[thread overview]
Message-ID: <mailman.20.1044436854.3911.comp.lang.ada@ada.eu.org> (raw)

The ultimate SI Units checker has been updated. It now handles reading of units 
like reading of enumeration values. This only affects file reading operations 
for illegal items, i.e. those which raise Data_Error.

Hours, minutes and liters have been added as units.

-------------------------------------------------------------------------------

The ultimate SI Units checker deals with physical items in full generality,
including arbitrary powers and roots, checking the correctness of dimensions
in all expressions:

   Current_Density := (4.0/9.0) * Eps0 *
                      Sqrt (2.0 * Electron_Charge / Electron_Mass) *
                      Voltage**(3/2) / Distance**2;

where the exponent 3/2 is a rational number.

Temperature scales like Celsius and Fahrenheit (the corresponding SI unit is
Kelvin) are available with conversion functions taking into account whether
temperatures or temperature differences are converted. (For differences,
e.g. 1K = 1°C, but not for temperatures themselves.)

Further features include dimensional Text_IO, 3D vector arithmetics,
polynomials, linear interpolation and quadratic approximation.

Mathematical functions are included:

  exp (5.0*Meter) or log (10.0*Kilogramm) are illegal, but
  arctan (y => 10.0*Meter, x => 5.0*Meter) is of course legal as is
  sin (10.0*Centi*Meter, cycle => 1.0*Meter).

Unit checking can be switched off in production code by just changing a few 
lines of code.

See <http://home.T-Online.de/home/Christ-Usch.Grein/Ada/SI.html>

SI is released under GMGPL. Enjoy...

                                 o     _      _          _
 --------- __o       __o      /\_    _ \\o   (_)\__/o   (_)
 ------- _`\<,_    _`\<,_    _>(_)  (_)/<_     \_| \    _|/' \/
 ------ (_)/ (_)  (_)/ (_)  (_)         (_)    (_)     (_)'  _\o_
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Mein Radunfall
My bike accident


Christoph Grein
Mitglied von Ada-Deutschland
Member of Ada Germany
http:/www.ada-deutschland.de

http://home.T-Online.de/home/Christ-Usch.Grein
eMail: Christ-Usch.Grein@T-Online.de



             reply	other threads:[~2003-02-05  7:03 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-02-05  7:03 Grein, Christoph [this message]
  -- strict thread matches above, loose matches on Subject: below --
2018-08-09 12:44 SI Units Checked and Unchecked AdaMagica
2018-08-09 13:47 ` Dan'l Miller
2018-08-09 14:07   ` Dmitry A. Kazakov
2018-08-09 15:03     ` Dan'l Miller
2018-08-09 15:51       ` Dmitry A. Kazakov
2018-08-09 17:32         ` Dan'l Miller
2018-08-09 19:42           ` Dmitry A. Kazakov
2018-08-09 22:12             ` Dan'l Miller
2018-08-10  6:45               ` Dmitry A. Kazakov
2018-08-10 13:59                 ` Dan'l Miller
2018-08-10 14:50                   ` Dmitry A. Kazakov
2018-08-10 17:04                     ` Dan'l Miller
2018-08-10 17:34                       ` Dmitry A. Kazakov
2018-08-11  4:42                         ` Paul Rubin
2018-08-11  5:46                           ` Dmitry A. Kazakov
2018-08-11 19:57                             ` Paul Rubin
2018-08-11 21:01                               ` Dmitry A. Kazakov
2018-08-09 18:47       ` Paul Rubin
2018-08-09 19:13         ` Dan'l Miller
2018-08-09 14:31   ` AdaMagica
2018-08-09 15:19     ` Dan'l Miller
2018-08-09 16:07 ` Jeffrey R. Carter
2018-08-09 17:41   ` AdaMagica
2018-08-09 20:34     ` Jeffrey R. Carter
2018-08-10  9:13       ` AdaMagica
2018-08-10 20:20         ` Jeffrey R. Carter
2018-08-13  8:57           ` AdaMagica
2018-08-20 17:55             ` AdaMagica
2019-09-04 14:20 ` Shark8
2019-09-04 17:11   ` AdaMagica
2019-09-06 21:01     ` Shark8
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox