A Comprehensive Analysis of Interflight Variability in Carbon Dioxide Emissions from Global Aviation
2025 Environmental Science & Technology
Yuxiao Han, Huizhong Shen, Xin He, Zelin Mai, Ruixin Zhang, Zhiyu Zheng, Yiqi Liu, Xin Zhang, Guanting Li, Zhanwei Zhang, Zien Liang, Yilin Chen, Yang Xie, Mei Li, Guofeng Shen, Chen Wang, Jianhuai Ye, Lei Zhu, Tzung-May Fu, Xin Yang
利用 Flightradar24 大规模航班追踪数据集，以前所未有的时空粒度评估全球航空 CO2 排放的航次间变异性。我们为超过两百种标准机型开发了简化模型，可捕获航次间的排放波动。
A Mathematics-Guided Approach to Floating-Point Error Detection
2025 arXiv preprint
Youshuai Tan, Zhanwei Zhang, Zishuo Ding, Lianyu Zheng, Jinfu Chen, Weiyi Shang
我们提出 MGDE，一种基于数学引导的新方法，利用具有二次收敛性质的牛顿-拉夫森方法检测错误诱导输入。该方法在 44 个程序中识别出 89 个 bug，速度比基线快 6.4 倍。
Computing Floating-Point Errors by Injecting Perturbations
2025 arXiv preprint
Youshuai Tan, Zhanwei Zhang, Jinfu Chen, Zishuo Ding, Jifeng Xuan, Weiyi Shang
我们提出 PI-detector，一种通过在程序中各原子操作的操作数上注入微小扰动，并比较原始程序与扰动版本的输出来高效计算浮点数误差的新方法。
DELA: A Novel Approach for Detecting Errors Induced by Large Atomic Condition Numbers
2024 arXiv preprint
Youshuai Tan, Zhanwei Zhang, Jinfu Chen, Zishuo Ding, Jifeng Xuan, Weiyi Shang
我们提出 DELA 方法，基于大多数数值误差源于原子操作中较大条件数这一观察。DELA 在单个原子操作结果中注入微小扰动并比较输出来检测误差。