Verification in Scientific Computing 2024-10-23 2026-04-10 工业智能, 科学计算, V&V, 机理模型 article https://gyznsw.cn/2024/10/23/Verification-in-Scientific-Computing/ 工业软件