声明
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。
国内刊号：43-1258/TP
国际刊号：1007-130X
发布日期:
作者：刘永梅1, 2, 王国辉1, 关永2, 张景芝2, 施智平1, 2, 董璐1
单位：1.首都师范大学信息工程学院，北京 100048;2.首都师范大学电子系统可靠性与数理交叉学科国际科技合作基地，北京 100048
关键词：形式化验证,定理证明,斯托克斯定理,HOL Light,
基金：国家重点研发计划（2019YFB1309900）;国家自然科学基金（62002246,62272322，62272323）;科技创新服务能力建设-基本科研业务费（科研费）项目（00621530290000）
斯托克斯定理是场论中的重要定理之一，它在流体力学、电磁学等领域都有广泛的应用。然而在实际应用中，斯托克斯定理前提条件的满足往往得不到正式的验证，这就存在一定的风险。因此，有必要对斯托克斯定理进行验证。基于斯托克斯定理的数学定义，构建其形式化模型，通过分析斯托克斯定理的数学证明过程，得出其形式化证明推导思路，根据分析、构建和验证目标，完成定理的形式化证明，最后将斯托克斯定理证明应用到管道流量设计模型的验证中。
来源：2025年第06期
《计算机工程与科学》期刊编辑部
严正声明：本站非期刊官网，非中介代理。
本站仅提供学术规范服务：快速预审、润色编辑服务、中英文查重、降重、去重服务、推荐合适的期刊投稿等学术规范服务。 如需提供学术规范服务请联系在线编辑。