首页> 外文会议>International Dagstuhl Seminar on Numerical Validation in Current Hardware Architectures >Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021
【24h】

Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021

机译:DAGSTUHL研讨会08021的间隔算术标准讨论

获取原文

摘要

Efforts have been made to standardize interval arithmetic (IA) for over a decade. The reasons have been to enable more widespread use of the technology, to enable more widespread sharing and collaboration among researchers and developers of the technology, and to enable easier checking that computer codes have been correctly programmed. During the late 1990's, the first author of this report led such a project to introduce an interval data type into the Fortran language. One reason for failure of that effort was the Fortran language standardization committee's lack of familiarity with interval technology and consequent caution. Another was misunderstanding between the Fortran standardization committee's basic tenets on standardizing interline optimization and some views expressed by members of the interval analysis community. A third was confusion over how extended IA (arithmetic dealing with division by intervals that contain zero) should be handled. This was coupled with a heavy committee load associated with other projects, such as standardizing an interface for interoperability with "C" language programs.
机译:已经努力标准化间隔算术(IA)超过十年。原因是实现技术更广泛使用的技术,以实现技术的研究人员和开发人员之间的更广泛的共享和协作,并使计算机代码已正确编程更容易检查。在1990年代后期,本报告的第一个作者领导了这样的项目将间隔数据类型引入Fortran语言。该努力失败的一个原因是福斯特兰语标准化委员会缺乏间隔技术的熟悉程度,并随后谨慎。另一个人在福特兰标准化委员会的基本原则上误解了标准化中线优化以及间隔分析社区成员表达的一些意见。第三个是应该如何处理延伸的IA(算术处理零分裂的算术)的困惑。这与与其他项目相关的重型委员会负载耦合,例如使用“C”语言程序标准化互操作性的接口。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号