基于区间分析的浮点计算可靠性分析

来源 :信息工程大学学报 | 被引量 : 0次 | 上传用户:eyeknee1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
浮点数是计算机系统中用于表示实数或小数的一种方式。由于计算机字长有限,导致浮点计算结果与理论计算之间存在误差,通常每一步的误差很小,不会影响计算结果。但随着计算规模不断增加,计算过程不断复杂,微小的误差经过累积可能导致计算结果错误,给实际应用带来严重后果。在IEEE754理论基础上,针对C/C++浮点代码,结合系统架构、程序编译总结了浮点程序中出现的数据误差和舍入误差,并通过ULP(unit in last place)对误差进行量化。最后结合区间分析技术对浮点计算可靠性进行判断,实验结果表明区间分析可以
其他文献
以CP-OFDM、ZP-OFDM、SCLD、CP-SCLD 4类信号作为研究对象,针对OFDM信号序列的自身周期性对其循环自相关函数表达式进行了修正,并加以公式推导;结合OFDM信号的调制特征,提出
建立基于钟差预报多项式模型的多项式模型加周期项、多项式模型与灰色模型组合的钟差预报改进模型,同时考虑起始偏差改正的影响。利用IGS超快速产品的实测钟差(IGUO)数据进行建
中小投资者的非理性投机行为在中国股票市场上表现十分突出,这种行为的形成是中小投资者自身因素与外部市场因素共同作用的结果。这两方面因素对中小投资者的影响较大。
对大学生进行化学素养的教育是现代文明所必须的,通过从科学是一种文化入手,分析了化学的文化特征,即科学和人文的统一。化学教育也应该是科学教育和人文教育的统一,体现出人
随着信息化社会的到来,信息日益成为一种重要的资源。图书馆员的信息素养成为馆员素质结构中重要的组成部分。文章论述了信息化社会图书馆员信息素养的必要性,信息化社会对图书
本文就我国教育未来的制度结构,办学模式,供需关系,配置方式等内容进行了初步的探讨,并从宏观走向的角度对我国教育应对入世所 机遇和挑战提出了加快政府职能和学校角色转变步伐
综合课程的开发是目前教育发展对中小学教师继续教育的新要求。本文从分析中小学教师继续教育综合课程的特点,开设的必要性出发,提出了开设综合课程的难点,问题以及课程设计的基
中专毕业生就业难难在没有从根本上转变就业观念。如过多地归结于社会因素;过多地依赖外在因素;选择就业岗位不恰当;待遇要求过高等。