Thread Links | Date Links | ||||
---|---|---|---|---|---|
Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
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