报告题目【ISReal—循环迭代的一个正确计算器】
时间：2018年8月21日(星期二) 08:30 -12:30
地点：仓山校区成功楼603报告厅
主讲：华东师范大学，赵世忠博士
主办：数学与信息学院
参加对象：计算机与软件类相关方向教师和研究生
报告摘要：在现有计算模式下，程序中的循环迭代有时可能会出现错误结果，即使没有语法、逻辑等静态错误，也没有溢出等动态错误。其主要原因是，每一个中间结果只保留一定数量的二进制位（比如，双精度下，只有53位）。这样，导致最终的计算结果可能误差很大。
基于算术表达式的误差可控计算，我们给出了一个算法，可以计算任意一个循环迭代的任意精度的值，并用C++已编程实现。我们会展示，对于现有系统无法计算的一些迭代，通过该软件工具，可以获得正确结果。
报告人简介：赵世忠，男，博士，现为华东师范大学讲师。1990年毕业于北京师范大学数学系，2006年博士毕业于中国科学院成都计算机应用研究所，2009年6月---2010年6月在美国德克萨斯大学达拉斯分校（The University of Texas at Dallas）访问一年。发表文章20余篇，其中包括刊于《中国科学》的6篇代表作。编制一个可靠计算器ISReal。现在研究兴趣为“软件数值计算的正确性分析与验证”。