-
CADNA_C_C_C_程序浮点误差分析库完整数据
2025年11月29日 30 192 77
数据集概述 本数据集包含CADNA_C程序库的完整发行版本,该库专门用于C或C++程序的浮点误差传播估计。CADNA_C基于概率方法评估程序运行过程中的舍入误差传播,能够检测运行时可能出现的数值不稳定性,实现对任何仿真程序数值质量的监控和用户代码的数值调试。数据集为单一压缩文件格式。 文件详解 主程序压缩包 文件名称:aegq_v1_0.tar.gz...
-
CADNA库新版本_用于Fortran程序舍入误差传播估计
2025年11月29日 30 96 34
数据集概述 本数据集包含CADNA库的新版本,该库通过概率方法估算Fortran程序中的舍入误差传播。库提供随机数值类型、重载运算符及数学函数,支持64位处理器,可在运行时检测数值不稳定性,为模拟程序的数值可靠性分析提供工具支持。 文件详解 压缩文件: aeat_v1_1.tar.gz 文件格式: GZIP压缩包 (.gz) 内容说明:...
-
CADNA库用于估计舍入误差传播数据集
2025年11月28日 30 139 136
数据集概述 本数据集包含CADNA库的相关文件,该库通过概率方法估计浮点运算中的舍入误差传播,可控制模拟程序的数值质量,检测运行时数值不稳定性并进行调试,需修改变量声明等少量代码适配。 文件详解 文件名称: CADNA a library for estimating round-off error...
-
卫星测位特征量数据集
2025年6月1日 30 8 1
卫星测位特征量数据集 数据来源:互联网公开数据 标签:卫星测位,GNSS,伪距,ECEF坐标,误差估计,位置解算 数据概述: 本数据集包含了用于卫星测位的特征量数据,涵盖了卫星的ECEF坐标(x, y,...



