您好，欢迎来电子发烧友网！ ，新用户？[免费注册]

您的位置：电子发烧友网>源码下载>数值算法/人工智能>

基于几何代数的高阶逻辑形式化建模

大小：0.47 MB 人气： 2018-01-16 需要积分：2

推荐 + 挑错 + 收藏(0) + 用户评论（0）

前往下载地址

分享到:

标签：几何(12252)代数(11958)

　　几何代数是一种用于描述和计算几何问题的代数语言，由于它统一表达分析和不依赖于坐标的几何计算等优点，现已成为数学分析、理论物理、几何学、工程应用等领域重要的理论基础和计算工具．然而，利用几何代数进行计算和建模分析的传统方法，如数值计算方法和符号方法等，都存在计算不精确或者不完备等问题，高阶逻辑定理证明是验证系统正确的一种严密的形式化方法．在高阶逻辑证明工具HOL-Light中建立了几何代数系统的形式化模型，主要包括片积、多重矢量、外积、内积、几何积、几何逆、对偶、基矢量运算和变换算子等的形式化定义和相关性质定理的证明．最后，为了说明几何代数形式化的有效性和实用性，在共形几何代数空间中，给刚体运动问题提供了一种简单有效的形式化建模与验证方法．

非常好我支持^.^

(0) 0%

不好我反对

(0) 0%

用户评论

发表评论即可获得积分！ 详见积分规则

      发表评论

      用户评论
      评价:好评中评差评

      发表评论，获取积分！ 请遵守相关规定！