公开(公告)号：CN111104091B

公开(公告)日：2021-11-26

申请号：CN201911275775.9

申请日：2019-12-12

Applicant: 北京科技大学

Inventor： 时加 ,  何啸 ,  王星伟 ,  王学松 ,  杨宏伟 ,  刘天才 ,  胡长军

IPC: G06F7/483

Abstract: 本发明提供一种动态浮点误差分析中精度特定计算的检测和转换方法，能够有效提高高精度执行结果的准确性和误差分析的准确性。方法包括：通过监测浮点指令加操作数地址的方式完成位操作的检测和位操作从低精度程序执行向高精度程序执行的转换；通过监测乘法操作的浮点指令执行序列来检测乘法操作，并根据乘法操作的浮点指令执行序列，完成乘法操作从低精度程序执行向高精度程序执行的转换；通过监测加法和减法的操作序列及对应的操作数，对舍入操作进行检测，完成舍入操作从低精度程序执行向高精度程序执行的转换；通过常数值匹配的方式对特定常数进行检测，将低精度特定常数转换为高精度下对应常数的准确值。本发明涉及计算机、软件工程技术领域。

公开(公告)号：CN111104091A

公开(公告)日：2020-05-05

申请号：CN201911275775.9

申请日：2019-12-12

Applicant: 北京科技大学

Inventor： 时加 ,  何啸 ,  王星伟 ,  王学松 ,  杨宏伟 ,  刘天才 ,  胡长军

IPC: G06F7/483

Abstract: 本发明提供一种动态浮点误差分析中精度特定计算的检测和转换方法，能够有效提高高精度执行结果的准确性和误差分析的准确性。方法包括：通过监测浮点指令加操作数地址的方式完成位操作的检测和位操作从低精度程序执行向高精度程序执行的转换；通过监测乘法操作的浮点指令执行序列来检测乘法操作，并根据乘法操作的浮点指令执行序列，完成乘法操作从低精度程序执行向高精度程序执行的转换；通过监测加法和减法的操作序列及对应的操作数，对舍入操作进行检测，完成舍入操作从低精度程序执行向高精度程序执行的转换；通过常数值匹配的方式对特定常数进行检测，将低精度特定常数转换为高精度下对应常数的准确值。本发明涉及计算机、软件工程技术领域。

公开(公告)号：CN119416693A

公开(公告)日：2025-02-11

申请号：CN202411458842.1

申请日：2024-10-18

Applicant: 北京科技大学

Inventor： 胡长军 ,  刘逸辰 ,  孟祥玲 ,  何啸 ,  李扬 ,  陈丹丹

IPC: G06F30/28 ,  G06F9/50 ,  G06F111/10

Abstract: 本发明公开了基于国产CPU+DCU架构求解渗流方程的Hy‑GA并行求解方法，属于高性能计算技术领域；本发明基于国产CPU+DCU架构的计算优势，结合代数多重网格和几何多重网格的特点，设计适定型混合多重网格对渗流力学方程进行求解；本发明利用国产超算架构进行大规模并行计算，可以将模拟任务分解并行处理，允许使用更精细的网格划分和更复杂的物理模型，既提升了模拟结果的精度，又解决了传统计算资源不足导致的计算瓶颈问题。此外，本发明中使用的混合多重网格预条件，在构造粗网格层次使用几何多重网格聚集粗化法，而构造系数矩阵则基于代数信息的伽辽金算子；在尽量保持物理特性的同时，减少了构造系数矩阵的复杂性。