期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
偶图及其应用研究综述
被引量:
1
1
作者
许东
王晶晶
李静
《软件学报》
EI
CSCD
北大核心
2016年第2期195-208,共14页
偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-...
偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-范畴、对称偏幺半范畴之间的关系,对偶图的代数系统进行总结,简化了偶图的离散范式的表述形式,并给予证明.综述了偶图的发展及其应用概况.对偶图范畴的定义、商变换等基本理论中存在的一些问题提出讨论,指出偶图范畴应该属于小范畴而不是大范畴,并给出商变换得出的大范畴转换为小范畴的方法.最后简述了偶图模型的扩展、应用的拓广.
展开更多
关键词
偶图
范畴论
偶图范畴
偶图反应系统
偶图应用
下载PDF
职称材料
Seal演算的偶图语义
被引量:
2
2
作者
金龙飞
刘磊
《计算机学报》
EI
CSCD
北大核心
2008年第3期522-528,共7页
偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一...
偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础.
展开更多
关键词
SEAL演算
偶图
偶图反应系统
结构对应
操作对应
下载PDF
职称材料
大数据管理的偶图模型
被引量:
1
3
作者
许东
李静
《小型微型计算机系统》
CSCD
北大核心
2016年第2期312-315,共4页
大数据管理是大数据研究的一个重要方面.随着数据量的增大,大数据管理的复杂性成指数级增加,大数据生命周期思想是解决这一复杂性的有效方法之一.目前大数据管理大都基于非形式化和半形式化方法,缺少严密的形式化方法.偶图不仅是形式化...
大数据管理是大数据研究的一个重要方面.随着数据量的增大,大数据管理的复杂性成指数级增加,大数据生命周期思想是解决这一复杂性的有效方法之一.目前大数据管理大都基于非形式化和半形式化方法,缺少严密的形式化方法.偶图不仅是形式化建模工具,而且其图形化表达非常直观.本文采用偶图以及偶图反应系统相关理论,并结合大数据生命周期思想,建立大数据管理的偶图模型.然后,用偶图模型重写开源分布式文件系统Fast DFS和MapReduce编程模型,并用带演算的MapReduce偶图模型改进交互数据处理效率低的弱点.两个案例表明提出的大数据管理形式化方法的有效性.
展开更多
关键词
大数据管理
偶图
偶图反应系统
数据生命周期
下载PDF
职称材料
基于Bigraph的面向方面动态软件体系结构演化研究
被引量:
6
4
作者
汪玲
戎玫
+1 位作者
张广泉
王昇
《计算机科学》
CSCD
北大核心
2010年第9期137-140,共4页
随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很...
随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很好地验证系统演化前后的正确性。Bigraph不仅具有直观的图形化表达能力,而且具备良好的数学基础,可以推理和验证系统的演化性质。因此,提出了一种面向方面动态软件体系结构(AODSA)模型,扩展的Bigraph用于描述AODSA的结构,使用Bigraph反应系统(BRS)来描述AODSA的动态演化。最后以一个简化的ATM存款系统模型为例,说明Bigraph表示的ATM模型以及基于BRS的演化过程。
展开更多
关键词
bigraph
bigraph
反应系统
AODSA
动态演化
下载PDF
职称材料
题名
偶图及其应用研究综述
被引量:
1
1
作者
许东
王晶晶
李静
机构
上海大学计算机工程与科学学院
出处
《软件学报》
EI
CSCD
北大核心
2016年第2期195-208,共14页
文摘
偶图是由Robin Milner在2001年提出的一种基于图形的形式化理论模型,试图为普适计算提供一个设计、模拟和分析的平台以及为现有的进程代数提供一个统一的可扩展的框架.介绍了偶图的基本概念,揭示了偶图的数学基础——预范畴、范畴、s-范畴、对称偏幺半范畴之间的关系,对偶图的代数系统进行总结,简化了偶图的离散范式的表述形式,并给予证明.综述了偶图的发展及其应用概况.对偶图范畴的定义、商变换等基本理论中存在的一些问题提出讨论,指出偶图范畴应该属于小范畴而不是大范畴,并给出商变换得出的大范畴转换为小范畴的方法.最后简述了偶图模型的扩展、应用的拓广.
关键词
偶图
范畴论
偶图范畴
偶图反应系统
偶图应用
Keywords
bigraph
category
theory
bigraphical
category
bigraphical
reactive
system
bigraphical
application
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
Seal演算的偶图语义
被引量:
2
2
作者
金龙飞
刘磊
机构
吉林大学计算机科学与技术学院
出处
《计算机学报》
EI
CSCD
北大核心
2008年第3期522-528,共7页
基金
教育部高等学校博士学科点专项科研基金(20061083044)
吉林省科技发展计划项目基金(20050527)资助
文摘
偶图反应系统是一种新的理论工具,其基础是一种强调位置和连接的移动计算图形化模型——偶图,偶图范化了π演算和移动Ambient演算的特征,能够表示具有位置和移动性质的复杂系统.偶图反应系统为普适计算不同层次的设计和实现提供了统一的建模框架.Seal演算是一种用于描述移动计算的进程语言,具有良好的安全性质.文中给出了一种不带复制进程表达式的Seal演算的偶图表示,分析了该Seal演算与其偶图表示间的结构对应和操作对应.本研究扩展了偶图理论的应用范围,展示了偶图理论在描述安全演算方面的能力,为在偶图反应系统框架下研究Seal演算的性质和应用奠定了基础.
关键词
SEAL演算
偶图
偶图反应系统
结构对应
操作对应
Keywords
Seal
calculus
bigraph
bigraphical
reactive
system
structural
correspondence
operational
correspondence
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
大数据管理的偶图模型
被引量:
1
3
作者
许东
李静
机构
上海大学计算机工程与科学学院
出处
《小型微型计算机系统》
CSCD
北大核心
2016年第2期312-315,共4页
文摘
大数据管理是大数据研究的一个重要方面.随着数据量的增大,大数据管理的复杂性成指数级增加,大数据生命周期思想是解决这一复杂性的有效方法之一.目前大数据管理大都基于非形式化和半形式化方法,缺少严密的形式化方法.偶图不仅是形式化建模工具,而且其图形化表达非常直观.本文采用偶图以及偶图反应系统相关理论,并结合大数据生命周期思想,建立大数据管理的偶图模型.然后,用偶图模型重写开源分布式文件系统Fast DFS和MapReduce编程模型,并用带演算的MapReduce偶图模型改进交互数据处理效率低的弱点.两个案例表明提出的大数据管理形式化方法的有效性.
关键词
大数据管理
偶图
偶图反应系统
数据生命周期
Keywords
big
data
management
bigraph
bigraphical
reactive
system
data
life
cycle
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于Bigraph的面向方面动态软件体系结构演化研究
被引量:
6
4
作者
汪玲
戎玫
张广泉
王昇
机构
苏州大学计算机科学与技术学院
暨南大学深圳旅游学院
中国科学院计算机科学国家重点实验室
出处
《计算机科学》
CSCD
北大核心
2010年第9期137-140,共4页
基金
中国科学院计算机科学国家重点实验室开放课题(SYSKF0908)
江苏省高校自然科学(08KJB520010)资助
文摘
随着网络技术的发展,软件运行环境的开放化和用户需求的多样化,使得人们对软件动态演化能力提出了更高的要求。面向方面软件开发中的关注点分离思想很好地支持了软件动态演化,现有的形式化方法难以直观地表示体系结构的动态性,且不能很好地验证系统演化前后的正确性。Bigraph不仅具有直观的图形化表达能力,而且具备良好的数学基础,可以推理和验证系统的演化性质。因此,提出了一种面向方面动态软件体系结构(AODSA)模型,扩展的Bigraph用于描述AODSA的结构,使用Bigraph反应系统(BRS)来描述AODSA的动态演化。最后以一个简化的ATM存款系统模型为例,说明Bigraph表示的ATM模型以及基于BRS的演化过程。
关键词
bigraph
bigraph
反应系统
AODSA
动态演化
Keywords
bigraph
bigraph
reactive
system
AODSA
Dynamic
evolution
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
偶图及其应用研究综述
许东
王晶晶
李静
《软件学报》
EI
CSCD
北大核心
2016
1
下载PDF
职称材料
2
Seal演算的偶图语义
金龙飞
刘磊
《计算机学报》
EI
CSCD
北大核心
2008
2
下载PDF
职称材料
3
大数据管理的偶图模型
许东
李静
《小型微型计算机系统》
CSCD
北大核心
2016
1
下载PDF
职称材料
4
基于Bigraph的面向方面动态软件体系结构演化研究
汪玲
戎玫
张广泉
王昇
《计算机科学》
CSCD
北大核心
2010
6
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部