程序数值误差的扰动检测与优化

来源 :中国科学:信息科学 | 被引量 : 0次 | 上传用户:lcb225
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
很多用于关键领域的数值计算程序使用浮点数格式作为数据的内部表示,但由于浮点数在表示上存在误差,这类程序的正确性很难得到完全的保障.本文提出了一种自动的检测途径来帮助应用程序的开发人员获得他们所写代码的稳定性信息.它通过两种具体的扰动技术——数值扰动与算式扰动,来扰动底层的数值量和计算步骤,统计扰动下的运算差异,并最终评估数值计算代码的稳定性.数值扰动随机动态地改变程序数值的有效数字尾数,通过模拟误差的引入来观测程序的计算结果是否稳定;而算式扰动针对程序中算术表达式的计算过程,通过程序变换方法,将其转
其他文献
阐述在线谱仪在核电站回路系统放射性监测中的应用,介绍在线谱仪的构成,分析测量原理,针对谱仪运行初期出现的各类问题给出解决对策。
期刊
近日,依托北京航天益来电子科技有限公司组建的"北京市气环境监测工程技术研究中心"研制出具有自主知识产权的气体环境监测重要设备"紫外差分光谱烟气分析仪",打破在低浓度测量领域分析仪表过度依赖进口产品的局面,降低烟气连续排放监测系统的生产和维护成本。烟气排放连续监测系统是对污
期刊
新年伊始,持续的大面积雾霾便给美丽中国来了一个"下马威"。雾霾除了影响空气能见度以外,细颗粒物还可经呼吸道进入肺部、血液,对人体的呼吸系统、心血管系统等造成重要影响。为了积极应对雾霾天气,减少雾霾对人们身体健康的危害,中科宇图天下科技有限公司依托中国科学院、中国环科院、北京师范大学等权威研究机构,在自有环境模型分析技术与地理信息应用技术的基础上,凭借其丰富的环境监测技术、详实的环境监测数据,自主研
期刊
在综合分析国内外对管制员生理状况测量、人与机器系统环境相互作用和心理分析三方面研究的基础上,建立了基于改进的物元分析的管制员工作负荷综合评价模型。借鉴灰色关联分析方法 (GRA)分辨系数的设定思想对可拓关联函数进行改进,对超出节域范围的情况在函数中增加修正系数,以保证不会出现关联函数的分母为0而无法计算的情况。采用基于改进的物元分析的管制员工作负荷综合评价模型对上海终端区扇区安全管制工作进行评估。
期刊
为了探讨倍斜率聚类法在湿地旅游景区水环境质量评价中的应用,构建了包括聚类指标溶解氧(DO)等在内的宽域式倍斜率聚类隶属函数,测量了南沙湿地公园和附近6个采样点的水体温度、pH值、DO、BOD5、COD、TP和NH+4等物化指标。结果表明,南沙湿地公园水域整体处于"尚清洁"状态,内部3个采样点均为Ⅱ级水质标准,但与外围的2个采样点的Ⅰ级水质标准相比,水质稍有下降。外围的另外1个采样点虽也处于Ⅱ级,但
期刊
本文描述了一种基于前一帧已有分割结果对当前帧进行自动分割的递推式视频前景目标分割方法。目前视频分割主要有以下三大难点尚未被很好地解决, 首先是前景与背景的颜色区分度过小, 造成其不易将其分割。其次,视频中频繁出现的局部遮挡与暴露区域,会破坏递推式视频分割的连续性,使得分割推理错误, 造成结果不正确。最后, 前/背景颜色模型的所选用采样方法, 更是影响结果的重要因素之一。因此本文着重对此三类问题给与
图像平滑是计算机图形学和图像处理领域中最为重要的工具之一,其主要挑战在于平滑输入图像细节的同时如何保持原图像的显著结构特征。近几年,一种基于L0梯度极小化的图像平滑方法被提出,不仅视觉上效果出色,而且其局部均一的效果较之以往方法更为显著,然而,现有的基于L0的方法会产生阶梯效应且容易丢失部分结构。本文提出一种结合L0梯度极小化和梯度保真的平滑方法。该方法可以在保留图像主要结构的同时克服传统方法的阶
现有的体模型线绘制算法采用跟踪随机种子的方式得到特征线,存在严重的时空连续性问题。本文提出一种GPU加速的体模型线绘制算法,能够在每一帧抽取全部的特征线,从而彻底解决绘制中的不连续现象。我们首先提出一种并行的特征线抽取方法,在GPU的几何处理器中计算每个立方体单元中的特征线片段。为了解决可见性判定问题,我们采用splatting的方式生成深度图,取代已有方法中的光线投射方法,获得了明显的性能提升。
在这篇论文中,我们提出了一个使用局部支撑径向基函数对三维散乱点进行Hermite插值或逼近的快速曲面重构方法。通过构造给定数据点集的一个层次结构,采用逐层精化的方式实现了全局曲面重构的效果,解决了因使用局部支撑径向基函数导致的问题。另外,设计一个基于逼近误差导向的径向基函数中心点选择策略,减少每层进行插值的数据点,从而使Hermite径向基函数曲面重构方法能处理百万以上规模的点云数据。实验结果显示
针对传统医学影像可视化软件难以实现跨平台访问,以及有限的影像数据的存储和体绘制能力,且缺少协同可视化共享的机制,本文提出一个基于云平台的医学影像可视化平台。利用云平台超大的存储容量以及强大的图形图像处理能力,在云端进行医学图像的编解码、分割及高级体绘制,然后本文提出支持协同可视化的自适应医学元数据和图像数据传输协议,通过浏览器和云端的实时交互以及浏览器和浏览器的对等传输,实现了影像的各种二维和三维