IEEE 1788-2015 en Interval Arithmetic (IEEE Computer Society)《区间四则运算(IEEE计算机协会)》.pdf

《IEEE 1788-2015 en Interval Arithmetic (IEEE Computer Society)《区间四则运算(IEEE计算机协会)》.pdf》由会员分享，可在线阅读，更多相关《IEEE 1788-2015 en Interval Arithmetic (IEEE Computer Society)《区间四则运算(IEEE计算机协会)》.pdf（97页珍藏版）》请在麦多课文档分享上搜索。

1、IEEE Standard for Interval Arithmetic Sponsored by the IEEE Microprocessor Standards Committee IEEE 3 Park Avenue New York, NY 10016-5997 USA IEEE Computer Society IEEE Std 1788-2015 IEEE Std 1788TM-2015IEEE Standard for Interval ArithmeticSponsorMicroprocessor Standards Committeeof theIEEE Computer

2、 SocietyApproved 11 June 2015IEEE-SA Standards BoardAbstract: This standard speci es basic interval arithmetic (IA) operations selecting and following one of thecommonly used mathematical interval models. This standard supports the IEEE 754TM oating-point formats ofpractical use in interval computat

3、ions. Exception conditions are de ned, and standard handling of these conditionsis speci ed. Consistency with the interval model is tempered with practical considerations based on input fromrepresentatives of vendors, developers and maintainers of existing systems.The standard provides a layer betwe

4、en the hardware and the programming language levels. It does not mandatethat any operations be implemented in hardware. It does not de ne any realization of the basic operations asfunctions in a programming language.Keywords: arithmetic, computing, decoration, enclosure, hull, IEEE 1788TM, interval,

5、 operation, veri edThe Institute of Electrical and Electronics Engineers, Inc.3 Park Avenue, New York, NY 10016-5997, USACopyright c 2015 by The Institute of Electrical and Electronics Engineers, Inc.All rights reserved. Published 30 June 2015. Printed in the United States of America.IEEE is a regis

6、tered trademark in the U.S. Patent tnessfor a particular purpose; non-infringement; and quality, accuracy, e ectiveness, currency, or completeness ofmaterial. In addition, IEEE disclaims any and all conditions relating to: results; and workmanlike e ort.IEEE standards documents are supplied AS IS“ a

7、nd WITH ALL FAULTS.“Use of an IEEE standard is wholly voluntary. The existence of an IEEE standard does not imply that thereare no other ways to produce, test, measure, purchase, market, or provide other goods and services relatedto the scope of the IEEE standard. Furthermore, the viewpoint expresse

8、d at the time a standard is approvedand issued is subject to change brought about through developments in the state of the art and commentsreceived from users of the standard.In publishing and making its standards available, IEEE is not suggesting or rendering professional or otherservices for, or o

9、n behalf of, any person or entity nor is IEEE undertaking to perform any duty owed by anyother person or entity to another. Any person utilizing any IEEE Standards document, should rely uponhis or her own independent judgment in the exercise of reasonable care in any given circumstances or, asapprop

10、riate, seek the advice of a competent professional in determining the appropriateness of a given IEEEstandard.IN NO EVENT SHALL IEEE BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO: PROCURE-MENT OF SUBSTITUTE GOODS OR SERVICE

11、S; LOSS OF USE, DATA, OR PROFITS; OR BUSINESSINTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CON-TRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING INANY WAY OUT OF THE PUBLICATION, USE OF, OR RELIANCE UPON ANY STANDARD, EVENIF ADVISED OF THE POSSIBI

12、LITY OF SUCH DAMAGE AND REGARDLESS OF WHETHER SUCHDAMAGE WAS FORESEEABLE.TranslationsThe IEEE consensus development process involves the review of documents in English only. In the eventthat an IEEE standard is translated, only the English version published by IEEE should be considered theapproved I

13、EEE standard.O cial statementsA statement, written or oral, that is not processed in accordance with the IEEE-SA Standards Board Oper-ations Manual shall not be considered or inferred to be the o cial position of IEEE or any of its committeesand shall not be considered to be, or be relied upon as, a

14、 formal position of IEEE. At lectures, symposia,seminars, or educational courses, an individual presenting information on IEEE standards shall make it clearthat his or her views should be considered the personal views of that individual rather than the formalposition of IEEE.Comments on standardsCom

15、ments for revision of IEEE Standards documents are welcome from any interested party, regardlessof membership a liation with IEEE. However, IEEE does not provide consulting information or advicepertaining to IEEE Standards documents. Suggestions for changes in documents should be in the form of apro

16、posed change of text, together with appropriate supporting comments. Since IEEE standards represent aconsensus of concerned interests, it is important that any responses to comments and questions also receivethe concurrence of a balance of interests. For this reason, IEEE and the members of its soci

17、eties and StandardsCoordinating Committees are not able to provide an instant response to comments or questions except inthose cases where the matter has previously been addressed. For the same reason, IEEE does not respondto interpretation requests. Any person who would like to participate in revis

18、ions to an IEEE standard iswelcome to join the relevant IEEE working group.Comments on standards should be submitted to the following address:Secretary, IEEE-SA Standards Board445 Hoes LanePiscataway, NJ 08854 USALaws and regulationsUsers of IEEE Standards documents should consult all applicable law

19、s and regulations. Compliance withthe provisions of any IEEE Standards document does not imply compliance to any applicable regulatoryrequirements. Implementers of the standard are responsible for observing or referring to the applicableregulatory requirements. IEEE does not, by the publication of i

20、ts standards, intend to urge action that isnot in compliance with applicable laws, and these documents may not be construed as doing so.CopyrightsIEEE draft and approved standards are copyrighted by IEEE under U.S. and international copyright laws.They are made available by IEEE and are adopted for

21、a wide variety of both public and private uses. Theseinclude both use, by reference, in laws and regulations, and use in private self-regulation, standardization,and the promotion of engineering practices and methods. By making these documents available for useand adoption by public authorities and

22、private users, IEEE does not waive any rights in copyright to thedocuments.PhotocopiesSubject to payment of the appropriate fee, IEEE will grant users a limited, non-exclusive license to photocopyportions of any individual standard for company or organizational internal use or individual, non-commer

23、cialuse only. To arrange for payment of licensing fees, please contact Copyright Clearance Center, CustomerService, 222 Rosewood Drive, Danvers, MA 01923 USA; +1 978 750 8400. Permission to photocopy portions ofany individual standard for educational classroom use can also be obtained through the Co

24、pyright ClearanceCenter.Updating of IEEE Standards documentsUsers of IEEE Standards documents should be aware that these documents may be superseded at any timeby the issuance of new editions or may be amended from time to time through the issuance of amendments,corrigenda, or errata. An o cial IEEE

25、 document at any point in time consists of the current edition of thedocument together with any amendments, corrigenda, or errata then in e ect.Every IEEE standard is subjected to review at least every ten years. When a document is more than ten yearsold and has not undergone a revision process, it

26、is reasonable to conclude that its contents, although still ofsome value, do not wholly re ect the present state of the art. Users are cautioned to check to determine thatthey have the latest edition of any IEEE standard.In order to determine whether a given document is the current edition and wheth

27、er it has been amendedthrough the issuance of amendments, corrigenda, or errata, visit the IEEE-SA Website at http:/ieeexplore.ieee.org/xpl/standards.jsp or contact IEEE at the address listed previously. For more information aboutthe IEEE SA or IEEEs standards development process, visit the IEEE-SA

28、Website at http:/standards.ieee.org.ErrataErrata, if any, for all IEEE standards can be accessed on the IEEE-SA Website at the following URL:http:/standards.ieee.org/findstds/errata/index.html. Users are encouraged to check this URL forerrata periodically.PatentsAttention is called to the possibilit

29、y that implementation of this standard may require use of subject mattercovered by patent rights. By publication of this standard, no position is taken by the IEEE with respectto the existence or validity of any patent rights in connection therewith. If a patent holder or patentapplicant has led a s

30、tatement of assurance via an Accepted Letter of Assurance, then the statement is listedon the IEEE-SA Website at http:/standards.ieee.org/about/sasb/patcom/patents.html. Letters ofAssurance may indicate whether the Submitter is willing or unwilling to grant licenses under patent rightswithout compen

31、sation or under reasonable rates, with reasonable terms and conditions that are demonstrablyfree of any unfair discrimination to applicants desiring to obtain such licenses.Essential Patent Claims may exist for which a Letter of Assurance has not been received. The IEEE is not re-sponsible for ident

32、ifying Essential Patent Claims for which a license may be required, for conducting inquiriesinto the legal validity or scope of Patents Claims, or determining whether any licensing terms or conditionsprovided in connection with submission of a Letter of Assurance, if any, or in any licensing agreeme

33、nts arereasonable or non-discriminatory. Users of this standard are expressly advised that determination of thevalidity of any patent rights, and the risk of infringement of such rights, is entirely their own responsibility.Further information may be obtained from the IEEE Standards Association.Part

34、icipantsAt the time this IEEE standard was completed, the Interval Standard Working Group had the followingmembership:Nathalie Revol, ChairR. Baker Kearfott, Vice Chair and Acting ChairWilliam Edmonson, SecretaryJ. Wol von Gudenberg, Web MasterGuillaume Melquiond, ArchivistGeorge Corliss, Voting Tab

35、ulatorJohn Pryce, Senior Technical EditorChristian Keil, Deputy Technical EditorMichel Hack, Vincent Lef evre, Ian McIntosh, Dmitry Nadezhin,Ned Nedialkov and J. Wol von Gudenberg, Assistant Technical EditorsAlexandru AmaricaiAyman BakrAhmed BelhaniGerd BohlenderGilles ChabertRudnei Dias da CunhaHen

36、d DawoodBo EinarssonAlan EliasenHossam A. H. FahmyRichard FatemanScott FersonHaitham GadKathy GerberAlexandre GoldsztejnFrederic GoualardMichael GroszkiewiczMohamed GuerfelRobert HanekBehnam HashemiNathan HayesOliver HeimlichTimothy HickeyWerner HofschusterChenyi HuTrevor Jackson, IIIMalgorzata Jank

37、owskaMichel Kie erWalter Kr amerVladik KreinovichUlrich KulischDorina LanzaDavid LesterDominique LohezWolfram LutherAmin MaherSvetoslav MarkovG unter MayerJean-Pierre MerletJean-Michel MullerHumberto MunozJose Antonio MunozKaori NagatouMitsuhiro NakaoMarkus NeherMarco NehmeierDiep NguyenMichael Noon

38、erShinichi OishiSylvain PionAntony PopovEvgenija PopovaTarek RaissiNacim RamdaniAndreas RauhGaby Dos ReisMichael SchulteKyarash ShahriariStefan SiegelIwona SkalnaMark StadtherrJames StinePipop ThienprapasithWarwick TuckerAlfredo VaccaroMaarten van EmdenErik-Jan van KampenVan SnyderJosep VehiJulio Vi

39、llalba-MorenoG. William WalsterYan WangLee WinterPierre-Alain YvarsSergei ZhilinMohamed ZidanDan ZurasThe working group wishes to record with regret the loss of two members. Antony Popov of So a University,Bulgaria, died suddenly in 2012 at the young age of 49. Walter Kr amer, of the Bergische Unive

40、rsit atWuppertal, Germany, died in October 2014 at the age of 62. Despite illness, Walter had remained an activeparticipant until June 2014.The following members of the individual balloting committee voted on this guide. Balloters may have votedfor approval, disapproval, or abstention.Bakul Banerjee

41、Juan CarreonKeith ChowGeorge CorlissHossam FahmyAndrew FieldsendAlexander GelmanFrederic GoualardRandall GrovesMichel HackPeter HarrodOliver HeimlichWerner HoelzlChenyi HuPiotr KarockiRalph KearfottVladik KreinovichVincent LefevreVincent LipsioWilliam LumpkinsGuillaume MelquiondJames MooreJeanMichel

42、 MullerDmitry NadezhinMarco NehmeierJohn PryceNathalie RevolEugene StoudenmireGerald StueveJ. Wol Von GudenbergForrest WrightOren YuenWhen the IEEE-SA Standards Board approved this standard on 11 June 2015, it had the following member-ship:John Kulick, ChairJon Walter Rosdahl, Vice ChairRichard H. H

43、ulett, Past ChairKonstantinos Karachalios, SecretaryMasayuki AriyoshiTed BurseStephen DukesJean-Philippe FaureJ. Travis Gri thGary Ho manMichael JanezicJoseph L. Koep nger*David J. LawHung LingAndrew MylesT. W. OlsenGlenn ParsonsRonald C. PetersenAnnette D. ReillyStephen J. ShellhammerAdrian P. Step

44、hensYatin TrivediPhillip WinstonDon WrightYu YuanDaidi Zhong*Member EmeritusDon MessinaIEEE-SA Content Production and ManagementJonathan GoldbergIEEE-SA Operational Program ManagementviiCopyright c 2015 IEEE. All rights reserved.IntroductionThis introduction is not part of IEEE Std 1788-2015, IEEE S

45、tandard for Interval Arithmetic.This introduction explains some of the alternative interpretations, and sometimes competing objectives, thatin uenced the design of this standard. Implementers should study it for a fuller understanding of the designchoices made in this standard among these interpreta

46、tions and objectives. For more information on intervalcomputations, including history, applications and software, seea e.g. B1, B14 and the references therein, andalso the interval computations web site B5.Mathematical contextInterval computation is a collaboration between human programmer and machi

47、ne infrastructure which, cor-rectly done, produces mathematically proven numerical results about continuous problems|for instance,rigorous bounds on the global minimum of a function or the solution of a di erential equation. It is partof the discipline of constructive real analysis.“ In the long ter

48、m, the results of such computations mightbecome su ciently trusted to be accepted as contributing to legal decisions. The machine infrastructure actsas a body of theorems on which the correctness of an interval algorithm relies, so it must be made as reliableas is practical. In its logical chain are

49、 many links|hardware, underlying oating-point system, etc.|overwhich this standard has no control. The standard aims to strengthen one speci c link, by de ning intervalobjects and operations that are theoretically well-founded and practical to implement.This document uses the standard notation a;b for the interval between numbers a and b,“ with variousdetailed meanings depending on the underlying theory. The classical“ interval arithmetic (IA) of R.A. MooreB8 uses only bounded, closed, nonempty intervals in the real numbers R|that is, a;b = fx 2 R ja x bg where a;b2R w