Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Motion P1788/M0035.01:OverflowBeforeUnbounded -- voting period begins



PP-1788:

The voting period herewith
begins.  Voting will continue until after Tuesday, June 19, 2012.
Voting on this motion will proceed according to the rules for
position papers (quorum and simple majority).
Comment can continue during voting, but the motion
cannot be changed during voting.

Juergen:  Please update the web page with this action.

Acting secretary:  Please record the transaction in the minutes.

The motion appears in the private area of the IEEE P-1788 site:

http://grouper.ieee.org/groups/1788/private/Motions/AllMotions.html

I have also attached the motion and accompanying
paper, for your convenience.

As usual, please contact me if you need the password to the private
area.

Note that there are now TWO motions under vote: 33 and 34.

Best regards,

Baker (acting as chair, P-1788)


--

---------------------------------------------------------------
Ralph Baker Kearfott,   rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------


As described in the accompanying position paper, P1788 shall change the
existing Level 1 and Level 2 model to the three-tiered level structure as
described in Section 2. Specifically, this means the following:

    -- The "mathematical intervals" at Level 1 are defined to be the
classic set of nonempty, closed and bounded intervals; this will be
called the level of "mathematical regularity" (MR) for interval
arithmetic. The FTIA, infimum, supremum, midpoint and radius are all
defined as in Section 2.1.

    -- In Level 1a, FTIA is extended to unbounded intervals and the empty
set according to (4) and (5); this will be called the level of "algebraic
closure" (AC) for interval arithmetic. More specifically, an unbounded
interval is interpreted as an overflow family parameterized (virtually)
by an overflow threshold, as defined and explained in Section 2.2.

    -- Level 2 is defined as in Section 2.3; this is the level of
"interval datums." The maximal real element of each interval datum format
defines the concrete value of each corresponding overflow threshold at
Level 1a.

    -- The midpoint operation is defined at Level 1a and Level 2 as a
real number for all overflow families except { empty }. We suggest
something similar to what is discussed in Section 3.2 and Table 1, but
we leave the actual definition to a future motion. The midpoint of
{ empty } is undefined. THIS MOTION DOES NOT DEFINE THE MIDPOINT OF
AN UNBOUNDED INTERVAL AT ANY LEVEL OF THE STANDARD.

Attachment: overflow.pdf
Description: Adobe PDF document