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