曰本美女∴一区二区特级A级黄色大片, 国产亚洲精品美女久久久久久2025, 页岩实心砖-高密市宏伟建材有限公司, 午夜小视频在线观看欧美日韩手机在线,国产人妻奶水一区二区,国产玉足,妺妺窝人体色WWW网站孕妇,色综合天天综合网中文伊,成人在线麻豆网观看

您好，歡迎來電子發(fā)燒友網(wǎng)！ ，新用戶？[免費(fèi)注冊]

您的位置：電子發(fā)燒友網(wǎng)>源碼下載>數(shù)值算法/人工智能>

共享系統(tǒng)數(shù)據(jù)模型

大?。?/span>0.66 MB 人氣： 2017-11-17 需要積分：0

推薦 + 挑錯(cuò) + 收藏(0) + 用戶評(píng)論（0）

前往下載地址

　　傳統(tǒng)共享系統(tǒng)數(shù)據(jù)模型的建模方法在語義性質(zhì)分析和語義行為描述方面存在不足，針對以上問題提出了一種基于Fibrations理論的共享系統(tǒng)數(shù)據(jù)模型。主要工作體現(xiàn)在兩個(gè)方面：首先，應(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é)合實(shí)例簡要介紹了Fibrations理論的應(yīng)用。相對于范疇論等傳統(tǒng)方法，簡潔描述與靈活擴(kuò)展的Fibrations理論對共享系統(tǒng)數(shù)據(jù)模型的語義性質(zhì)和語義行為進(jìn)行了精確分析與形式化描述，抽象描述了復(fù)雜數(shù)據(jù)結(jié)構(gòu)具有普適性的歸納與共歸納規(guī)則。

共享系統(tǒng)數(shù)據(jù)模型

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發(fā)表評(píng)論

      用戶評(píng)論
      評(píng)價(jià):好評(píng)中評(píng)差評(píng)

      發(fā)表評(píng)論，獲取積分！ 請遵守相關(guān)規(guī)定！

      ?