共享系統數據模型
大小：0.66 MB 人氣：8 2017-11-17 需要積分：0
傳統共享系統數據模型的建模方法在語義性質分析和語義行為描述方面存在不足，針對以上問題提出了一種基于Fibrations理論的共享系統數據模型。主要工作體現在兩個方面：首先，應用真值函子、保持真值的提升與內涵函子并結合代數方法精確分析了語義性質，應用等式函子、保持等式的提升及商函子并結合共代數方法形式化描述了語義行為；其次，在Fibrations理論框架內構造復雜歸納與共歸納數據結構上參數化的遞歸與共遞歸操作，抽象描述具有普適意義的歸納與共歸納規則，結合實例簡要介紹了Fibrations理論的應用。相對于范疇論等傳統方法，簡潔描述與靈活擴展的Fibrations理論對共享系統數據模型的語義性質和語義行為進行了精確分析與形式化描述，抽象描述了復雜數據結構具有普適性的歸納與共歸納規則。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
