英文含义 DDFV的全称：Deep Dynamic Formal Verification | 中文意思：───深部动力学的形式化验证DDFV的全称：Discrete Duality Finite Volume | 中文意思：───有限体积离散二重性