{"title":"需要科学的浮点运算","authors":"Lawrence A. Liddiard","doi":"10.1109/ARITH.1978.6155786","DOIUrl":null,"url":null,"abstract":"Previous papers in computer arithmetic have shown that correct rounded floating point with good arithmetic properties can be attained using guard digits and careful algorithms on the floating point fractions. This paper combines that body of knowledge with proposed exponent forms that are closed with respect to inversion and detection and recovery of exponent under and over flow. In addition radix 2 is shown to be the only base radix meeting minimal variation of precision, a condition necessary for the safe use of floating point. An effort is made to establish objective criteria in answer to the question; \"What is the best division of the computer word into exponent and fraction parts?\". Combining the previous results allows a required scientific floating point arithmetic to be portrayed and compared with available arithmetics on current computers.","PeriodicalId":443215,"journal":{"name":"1978 IEEE 4th Symposium onomputer Arithmetic (ARITH)","volume":"74 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1978-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Required scientific floating point arithmetic\",\"authors\":\"Lawrence A. Liddiard\",\"doi\":\"10.1109/ARITH.1978.6155786\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Previous papers in computer arithmetic have shown that correct rounded floating point with good arithmetic properties can be attained using guard digits and careful algorithms on the floating point fractions. This paper combines that body of knowledge with proposed exponent forms that are closed with respect to inversion and detection and recovery of exponent under and over flow. In addition radix 2 is shown to be the only base radix meeting minimal variation of precision, a condition necessary for the safe use of floating point. An effort is made to establish objective criteria in answer to the question; \\\"What is the best division of the computer word into exponent and fraction parts?\\\". Combining the previous results allows a required scientific floating point arithmetic to be portrayed and compared with available arithmetics on current computers.\",\"PeriodicalId\":443215,\"journal\":{\"name\":\"1978 IEEE 4th Symposium onomputer Arithmetic (ARITH)\",\"volume\":\"74 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1978-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"1978 IEEE 4th Symposium onomputer Arithmetic (ARITH)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ARITH.1978.6155786\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"1978 IEEE 4th Symposium onomputer Arithmetic (ARITH)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ARITH.1978.6155786","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Previous papers in computer arithmetic have shown that correct rounded floating point with good arithmetic properties can be attained using guard digits and careful algorithms on the floating point fractions. This paper combines that body of knowledge with proposed exponent forms that are closed with respect to inversion and detection and recovery of exponent under and over flow. In addition radix 2 is shown to be the only base radix meeting minimal variation of precision, a condition necessary for the safe use of floating point. An effort is made to establish objective criteria in answer to the question; "What is the best division of the computer word into exponent and fraction parts?". Combining the previous results allows a required scientific floating point arithmetic to be portrayed and compared with available arithmetics on current computers.