作者:
基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
针对粒计算中细粒层到粗粒层的转换问题,提出一种基于范畴论的粒合成形式化方法.以粒结构为对象,将粒结构映射作为态射构成粒结构范畴,利用范畴论的外推实现粒结构合并,并给出相应的粒合成算法GrSA,结合具体案例说明该方法解决粒合成问题的过程.应用结果表明,该方法能够实现粒层之间的转换.
推荐文章
基于范畴论的业务目标模型形式化
GRL模型
范畴论
模型形式化
模型正确性验证
基于范畴论的业务目标模型形式化
GRL模型
范畴论
模型形式化
模型正确性验证
基于MDA的MARTE模型形式化方法
模型驱动体系
形式化方法
模型转换
MARTE元模型
基于B方法的TCP协议形式化研究
B方法
形式化方法
协议
TCP
一致性测试
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于范畴论的粒合成形式化方法
来源期刊 计算机工程 学科 工学
关键词 范畴论 粒结构 粒结构范畴 粒结构映射 粒结构合并 粒合成
年,卷(期) 2011,(14) 所属期刊栏目 人工智能及识别技术
研究方向 页码范围 189-191,194
页数 分类号 TP18
字数 4970字 语种 中文
DOI 10.3969/j.issn.1000-3428.2011.14.063
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李鸿 中国矿业大学信息与电气工程学院 37 117 5.0 9.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (13)
共引文献  (20)
参考文献  (4)
节点文献
引证文献  (2)
同被引文献  (8)
二级引证文献  (1)
1965(2)
  • 参考文献(0)
  • 二级参考文献(2)
1993(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(2)
  • 参考文献(0)
  • 二级参考文献(2)
1997(2)
  • 参考文献(0)
  • 二级参考文献(2)
1998(2)
  • 参考文献(1)
  • 二级参考文献(1)
2001(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(2)
  • 参考文献(0)
  • 二级参考文献(2)
2004(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2015(2)
  • 引证文献(2)
  • 二级引证文献(0)
2016(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
范畴论
粒结构
粒结构范畴
粒结构映射
粒结构合并
粒合成
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程
月刊
1000-3428
31-1289/TP
大16开
上海市桂林路418号
4-310
1975
chi
出版文献量(篇)
31987
总下载数(次)
53
总被引数(次)
317027
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导