共享系統(tǒng)數(shù)據(jù)模型
大小：0.66 MB 人氣： 2017-11-17 需要積分：0
標(biāo)簽：數(shù)據(jù)模型(9973)共享(13131)
傳統(tǒng)共享系統(tǒng)數(shù)據(jù)模型的建模方法在語義性質(zhì)分析和語義行為描述方面存在不足，針對以上問題提出了一種基于Fibrations理論的共享系統(tǒng)數(shù)據(jù)模型。主要工作體現(xiàn)在兩個方面：首先，應(yīng)用真值函子、保持真值的提升與內(nèi)涵函子并結(jié)合代數(shù)方法精確分析了語義性質(zhì)，應(yīng)用等式函子、保持等式的提升及商函子并結(jié)合共代數(shù)方法形式化描述了語義行為；其次，在Fibrations理論框架內(nèi)構(gòu)造復(fù)雜歸納與共歸納數(shù)據(jù)結(jié)構(gòu)上參數(shù)化的遞歸與共遞歸操作，抽象描述具有普適意義的歸納與共歸納規(guī)則，結(jié)合實例簡要介紹了Fibrations理論的應(yīng)用。相對于范疇論等傳統(tǒng)方法，簡潔描述與靈活擴展的Fibrations理論對共享系統(tǒng)數(shù)據(jù)模型的語義性質(zhì)和語義行為進行了精確分析與形式化描述，抽象描述了復(fù)雜數(shù)據(jù)結(jié)構(gòu)具有普適性的歸納與共歸納規(guī)則。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
共享系統(tǒng)數(shù)據(jù)模型下載
相關(guān)電子資料下載
- 數(shù)據(jù)倉庫與數(shù)據(jù)庫的主要區(qū)別 82
- 億緯鋰能與曹操出行達成深度合作，推動共享出行新生態(tài)發(fā)展 633
- 效率升級，從NAS開始：存儲、查找、共享一鍵完成 97
- 傳音控股堅持“共創(chuàng)·共享” 成就全球化品牌 141
- 共享儲能電站正迎來黃金風(fēng)口 2546
- 遠(yuǎn)程訪問電腦共享文件怎么設(shè)置 236
- 【創(chuàng)新驅(qū)動 合作共享】尋跡智行 為電線電纜產(chǎn)業(yè)持續(xù)健康發(fā)展注入新動力！ 278
- 華為IP Club北部非洲會員計劃再升級，打造數(shù)據(jù)通信技術(shù)交流與共享平臺 210
- Redmi Pad Pro 5G版將支持網(wǎng)絡(luò)共享，且尚未在國內(nèi)上市 433
- 西班牙三大移動通信網(wǎng)絡(luò)運營商已達成共享700MHz頻段頻譜的協(xié)議 366