-
题名斯托克斯定理的形式化及其初步应用
- 1
-
-
作者
刘永梅
王国辉
关永
张景芝
施智平
董璐
-
机构
首都师范大学信息工程学院
首都师范大学电子系统可靠性与数理交叉学科国际科技合作基地
-
出处
《计算机工程与科学》
北大核心
2025年第6期1050-1061,共12页
-
基金
国家重点研发计划(2019YFB1309900)
国家自然科学基金(62002246,62272322,62272323)
科技创新服务能力建设-基本科研业务费(科研费)项目(00621530290000)。
-
文摘
斯托克斯定理是场论中的重要定理之一,它在流体力学、电磁学等领域都有广泛的应用。然而在实际应用中,斯托克斯定理前提条件的满足往往得不到正式的验证,这就存在一定的风险。因此,有必要对斯托克斯定理进行验证。基于斯托克斯定理的数学定义,构建其形式化模型,通过分析斯托克斯定理的数学证明过程,得出其形式化证明推导思路,根据分析、构建和验证目标,完成定理的形式化证明,最后将斯托克斯定理证明应用到管道流量设计模型的验证中。
-
关键词
形式化验证
定理证明
斯托克斯定理
HOL
Light
-
Keywords
formal verification
theorem proving
Stokes’theorem
HOL light
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
