基于幾何代數(shù)的高階邏輯形式化建模
大?。?/span>0.47 MB 人氣： 2018-01-16 需要積分：2
標(biāo)簽：幾何(12294)代數(shù)(12000)
幾何代數(shù)是一種用于描述和計(jì)算幾何問題的代數(shù)語言，由于它統(tǒng)一表達(dá)分析和不依賴于坐標(biāo)的幾何計(jì)算等優(yōu)點(diǎn)，現(xiàn)已成為數(shù)學(xué)分析、理論物理、幾何學(xué)、工程應(yīng)用等領(lǐng)域重要的理論基礎(chǔ)和計(jì)算工具．然而，利用幾何代數(shù)進(jìn)行計(jì)算和建模分析的傳統(tǒng)方法，如數(shù)值計(jì)算方法和符號方法等，都存在計(jì)算不精確或者不完備等問題，高階邏輯定理證明是驗(yàn)證系統(tǒng)正確的一種嚴(yán)密的形式化方法．在高階邏輯證明工具HOL-Light中建立了幾何代數(shù)系統(tǒng)的形式化模型，主要包括片積、多重矢量、外積、內(nèi)積、幾何積、幾何逆、對偶、基矢量運(yùn)算和變換算子等的形式化定義和相關(guān)性質(zhì)定理的證明．最后，為了說明幾何代數(shù)形式化的有效性和實(shí)用性，在共形幾何代數(shù)空間中，給剛體運(yùn)動問題提供了一種簡單有效的形式化建模與驗(yàn)證方法．
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
基于幾何代數(shù)的高階邏輯形式化建模下載
相關(guān)電子資料下載
- 精準(zhǔn)測量第一步：如何選擇合適的幾何尺寸測量儀器？ 103
- Actian發(fā)布面向邊緣計(jì)算的下一代數(shù)據(jù)庫Zen 16.0 190
- 自動化生產(chǎn)中的精密幾何量測量：三坐標(biāo)測量機(jī)的應(yīng)用 1054
- 機(jī)床的幾何精度什么和什么時是有區(qū)別的 335
- 數(shù)控機(jī)床的幾何精度是表明所測量的什么 298
- WD4000系列晶圓幾何量測系統(tǒng)：全面支持半導(dǎo)體制造工藝量測，保障晶圓制造工藝 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