形式化飞行控制数学相关硕士博士期刊学术论文 - 搜论网

形式化飞行控制数学相关论文

Laplace变换在Coq中的形式化及其在飞控系统验证中的应用

形式化数学是一个借助定理证明器进行数学定理机械验证的研究方向。形式化工程数学是形式化数学技术在工程数学领域中的应用。在控......

学位

Laplace变换形式化数学 Coq 定理证明形式化验证形式化飞行控制数学

基于Coq的直升机形式化飞行控制数学初步探索

定理证明是人工智能的一个分支,它的研究目标是在计算机辅助下进行数学定理的证明。基于定理证明的形式化验证技术已经被广泛应用......

学位

Coq 形式化工程数学高阶定理证明飞行控制系统直升机形式化飞行控制数学

看过本文同时还关注