哈哈哈哈哈操欧洲电影,久草网在线,亚洲久久熟女熟妇视频,麻豆精品色,久久福利在线视频,日韩中文字幕的,淫乱毛视频一区,亚洲成人一二三,中文人妻日韩精品电影

您好,歡迎來(lái)電子發(fā)燒友網(wǎng)! ,新用戶?[免費(fèi)注冊(cè)]

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

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

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

  傳統(tǒng)共享系統(tǒng)數(shù)據(jù)模型的建模方法在語(yǔ)義性質(zhì)分析和語(yǔ)義行為描述方面存在不足,針對(duì)以上問(wèn)題提出了一種基于Fibrations理論的共享系統(tǒng)數(shù)據(jù)模型。主要工作體現(xiàn)在兩個(gè)方面:首先,應(yīng)用真值函子、保持真值的提升與內(nèi)涵函子并結(jié)合代數(shù)方法精確分析了語(yǔ)義性質(zhì),應(yīng)用等式函子、保持等式的提升及商函子并結(jié)合共代數(shù)方法形式化描述了語(yǔ)義行為;其次,在Fibrations理論框架內(nèi)構(gòu)造復(fù)雜歸納與共歸納數(shù)據(jù)結(jié)構(gòu)上參數(shù)化的遞歸與共遞歸操作,抽象描述具有普適意義的歸納與共歸納規(guī)則,結(jié)合實(shí)例簡(jiǎn)要介紹了Fibrations理論的應(yīng)用。相對(duì)于范疇論等傳統(tǒng)方法,簡(jiǎn)潔描述與靈活擴(kuò)展的Fibrations理論對(duì)共享系統(tǒng)數(shù)據(jù)模型的語(yǔ)義性質(zhì)和語(yǔ)義行為進(jìn)行了精確分析與形式化描述,抽象描述了復(fù)雜數(shù)據(jù)結(jié)構(gòu)具有普適性的歸納與共歸納規(guī)則。

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

非常好我支持^.^

(0) 0%

不好我反對(duì)

(0) 0%

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

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

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

      ?
      庆元县| 广灵县| 土默特右旗| 慈利县| 奎屯市| 阿巴嘎旗| 沙洋县| 阳春市| 夏河县| 丰原市| 嘉义县| 丘北县| 镇原县| 贡觉县| 浪卡子县| 固原市| 清原| 司法| 馆陶县| 东乡| 文化| 安西县| 红河县| 海盐县| 五寨县| 军事| 阳谷县| 三门县| 隆化县| 萨嘎县| 梁平县| 庆云县| 清徐县| 日喀则市| 沈阳市| 花莲县| 德清县| 内江市| 奉化市| 沙湾县| 旬邑县|