基于幾何代數的高階邏輯形式化建模
大小：0.47 MB 人氣：0 2018-01-16 需要積分：2
幾何代數是一種用于描述和計算幾何問題的代數語言，由于它統一表達分析和不依賴于坐標的幾何計算等優點，現已成為數學分析、理論物理、幾何學、工程應用等領域重要的理論基礎和計算工具．然而，利用幾何代數進行計算和建模分析的傳統方法，如數值計算方法和符號方法等，都存在計算不精確或者不完備等問題，高階邏輯定理證明是驗證系統正確的一種嚴密的形式化方法．在高階邏輯證明工具HOL-Light中建立了幾何代數系統的形式化模型，主要包括片積、多重矢量、外積、內積、幾何積、幾何逆、對偶、基矢量運算和變換算子等的形式化定義和相關性質定理的證明．最后，為了說明幾何代數形式化的有效性和實用性，在共形幾何代數空間中，給剛體運動問題提供了一種簡單有效的形式化建模與驗證方法．
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
基于幾何代數的高階邏輯形式化建模下載
相關電子資料下載
- 精準測量第一步：如何選擇合適的幾何尺寸測量儀器？ 103
- Actian發布面向邊緣計算的下一代數據庫Zen 16.0 190
- 自動化生產中的精密幾何量測量：三坐標測量機的應用 1054
- 機床的幾何精度什么和什么時是有區別的 335
- 數控機床的幾何精度是表明所測量的什么 298
- WD4000系列晶圓幾何量測系統：全面支持半導體制造工藝量測，保障晶圓制造工藝 427
- 英特爾攜手騰訊云用CPU打造LLM時代數據中樞，共筑AGI基建 289
- 東盟能源和華為主編的《東盟下一代數據中心建設白皮書》正式發布 389
- 谷歌將推出第六代數據中心AI芯片Trillium TPU 386
- 谷歌發布第六代數據中心AI芯片Tensor處理器單元Trilliu? 265