您好，欢迎来电子发烧友网！ ，新用户？[免费注册]

您的位置：电子发烧友网>源码下载>数值算法/人工智能>

共享系统数据模型

大小：0.66 MB 人气： 2017-11-17 需要积分：0

推荐 + 挑错 + 收藏(0) + 用户评论（0）

前往下载地址

分享到:

标签：数据模型(9973)共享(13131)

　　传统共享系统数据模型的建模方法在语义性质分析和语义行为描述方面存在不足，针对以上问题提出了一种基于Fibrations理论的共享系统数据模型。主要工作体现在两个方面：首先，应用真值函子、保持真值的提升与内涵函子并结合代数方法精确分析了语义性质，应用等式函子、保持等式的提升及商函子并结合共代数方法形式化描述了语义行为；其次，在Fibrations理论框架内构造复杂归纳与共归纳数据结构上参数化的递归与共递归操作，抽象描述具有普适意义的归纳与共归纳规则，结合实例简要介绍了Fibrations理论的应用。相对于范畴论等传统方法，简洁描述与灵活扩展的Fibrations理论对共享系统数据模型的语义性质和语义行为进行了精确分析与形式化描述，抽象描述了复杂数据结构具有普适性的归纳与共归纳规则。

共享系统数据模型

非常好我支持^.^

(0) 0%

不好我反对

(0) 0%

用户评论

发表评论即可获得积分！ 详见积分规则

      发表评论

      用户评论
      评价:好评中评差评

      发表评论，获取积分！ 请遵守相关规定！