From: "Grein, Christoph" <christoph.grein@eurocopter.com>
Subject: Re: Interval arithmetic in Ada?
Date: Mon, 22 Apr 2002 15:21:17 +0200 (MET DST)
Date: 2002-04-22T15:21:17+02:00 [thread overview]
Message-ID: <mailman.1019482382.32502.comp.lang.ada@ada.eu.org> (raw)
> From: "Dmitry A.Kazakov" <mailbox@dmitry-kazakov.de>
>> On Mon, 22 Apr 2002 11:13:10 +0200 (MET DST), "Grein, Christoph"
> <christoph.grein@eurocopter.com> wrote:
>
> >This was the Ada 83 floating point model.
>
> Hmm. Interval arithmetic is defined on intervals of numbers as opposed
> to single numbers. It goes approximately like this:
>
> [a,b] + [c,d] = [a+c, b+d]
> [a,b] * [c,d] = [min (ac, ad, bc, bd), max (ac, ad, bc, bd)]
> ...
>
> Usually it is used for numeric computations with an automatic control
> over calculation errors. It is also tightly related with the
> possibility theory, fuzzy numbers etc. It is relatively
> straightforward, but firstly I do not want to reinvent wheel and
> secondly it requires precise control over rounding. I feel myself not
> very confident with Annexes A.5 and G.
Again, this _is_ the Ada 83 model with a and b the model numbers enclosing the
actual value. See the Ada 83 RM.
next reply other threads:[~2002-04-22 13:21 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-04-22 13:21 Grein, Christoph [this message]
2002-04-22 17:43 ` Interval arithmetic in Ada? Robert Dewar
-- strict thread matches above, loose matches on Subject: below --
2002-04-22 9:13 Grein, Christoph
2002-04-22 12:04 ` Dmitry A. Kazakov
2002-04-22 9:04 Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox