位置：成果数据库 > 期刊 > 期刊详情页
抽象数据类型的双代数结构
  • ISSN号：1000-565X
  • 期刊名称：《华南理工大学学报：自然科学版》
  • 时间：0
  • 分类：TP301.2[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]华南理工大学计算机科学与工程学院,广东广州510006, [2]中山大学信息科学与技术学院,广东广州510275
  • 相关基金：国家自然科学基金资助项目（61103039）;高等学校博士学科点专项科研基金资助项目（20100172120043）;华南理工大学中央高校基本科研业务费专项资金资助项目（2009ZM0158）
作者： 苏锦钿[1], 余珊珊[2]
关键词： 抽象数据类型:共代数:双代数:共递归
中文摘要：

对抽象数据类型的语法构造和动态行为的性质及两者的关系而言，单纯利用代数或共代数方法进行研究存在一定的不足．文中结合范畴论及分配律给出抽象数据类型的双代数结构，并通过A．双代数自然地描述了语法构造与动态行为之间的转换关系；分别利用分配律对共代数函子及代数函子进行函子化提升，证明这种函子化提升可以将初始代数（或终结共代数）提升为初始（或终结）九．双代数，并将其应用于递归及共递归函数的定义及计算中．实例表明，这种函子化提升可以扩展代数中的归纳原理和共代数中的共归纳原理，从而提高程序语言对抽象数据类型的描述与性质证明能力．

同期刊论文项目
支持WEB服务搜索的情境数据管理
期刊论文 36 会议论文 16 获奖 4 著作 1
同项目期刊论文
考虑观点多样性的评论选择问题
MR-tree: an efficient index for MapReduce
范畴数据类型上的子类型
广义共迭代及其计算律
支持通信数据查询分析的分布式计算系统
电子商务中的商品推荐系统
<br class="MsoNormal" /> 考虑观点多样性的评论选择问题<span></span>
Context sensitive web service discovery over the bipartite graph model
电子商务商品归一化方法研究
一站式服务推荐系统
On Detecting Maximal Quasi Antagonistic Communities in&nbsp;Signed Graphs<br />
Product-oriented review summarization and scoring
一种基于曝光量和点击率的用户组优化策略
基于评论分析的评分预测与推荐
下一代移动推荐系统
基于Fibrations理论的共享系统数据模型
抽象数据类型的双代数结构及其计算
期刊信息
  • 《华南理工大学学报：自然科学版》
  • 北大核心期刊（2011版）
  • 主管单位:国家教育部科技司
  • 主办单位:华南理工大学
  • 主编：李元元
  • 地址：广州市天河区五山路华南理工大学17号楼
  • 邮编：510640
  • 邮箱：journal@scut.edu.cn
  • 电话：
  • 国际标准刊号：ISSN：1000-565X
  • 国内统一刊号：ISSN：44-1251/T
  • 邮发代号:46-174
  • 获奖情况:
  • 本学报荣获1996年国家教委系统优秀科技期刊二等奖...,1999年荣获全国优秀高校自然科学学报及教育部优秀...,2001年荣获广东省优秀期刊奖和广东省优秀科技期刊...,2004年获全国高校优秀科技期刊二等奖,2006年获首届教育部优秀科技期刊奖,2008年荣获第二届教育部优秀科技期刊奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:22954