项目名称: 基于Chu空间的云数据管理服务建模和验证研究

项目编号: No.61170061

项目类型: 面上项目

立项/批准年度: 2012

项目学科: 自动化技术、计算机技术

项目作者: 邢春晓

作者单位: 清华大学

项目金额: 15万元

中文摘要: 对云计算中海量的数据资源进行管理是云计算领域研究的一项重要基础性工作。在考虑到云计算的虚拟化、多粒度、不确定性和软计算这四个重要特征的条件下,本项目针对云数据管理和服务中海量、分布、动态、异构的特点,基于Chu空间理论,研究云数据管理和服务的一致性、可扩展性、可靠性、正确性的形式化建模和特性验证,通过设计和建立基于开放源的云数据管理服务CDMS原型平台,对研究成果和形式化模型进行验证。同时,本项目提出了形式化模型将成为构建大规模高可靠安全可信的云数据管理服务平台奠定理论和实践基础。

中文关键词: 云数据管理;Chu空间;服务建模;验证;

英文摘要:

英文关键词: Cloud data management;Chu space;Service modeling;Verification;

成为VIP会员查看完整内容
0

相关内容

顾及时空特征的地理知识图谱构建方法
专知会员服务
53+阅读 · 2022年2月15日
空间数据智能:概念、技术与挑战
专知会员服务
85+阅读 · 2022年2月3日
WSDM 2022 | 基于图神经网络的协同过滤设计空间研究
专知会员服务
36+阅读 · 2022年1月3日
【NeurIPS 2021】寻找视觉Transformer的搜索空间
专知会员服务
13+阅读 · 2021年12月1日
专知会员服务
46+阅读 · 2021年6月27日
专知会员服务
53+阅读 · 2021年4月3日
区块链赋能新基建领域应用白皮书, 41页ppt
专知会员服务
110+阅读 · 2021年3月17日
专知会员服务
30+阅读 · 2020年12月21日
专知会员服务
50+阅读 · 2020年11月20日
你有订阅视频平台会员服务吗?
ZEALER订阅号
0+阅读 · 2021年12月18日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
阿里巴巴全球化架构设计挑战
InfoQ
35+阅读 · 2019年11月25日
领域应用 | 中医临床知识图谱的构建与应用
开放知识图谱
33+阅读 · 2017年12月12日
国家自然科学基金
5+阅读 · 2015年12月31日
国家自然科学基金
6+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
2+阅读 · 2008年12月31日
Symplectic Groupoids for Poisson Integrators
Arxiv
0+阅读 · 2022年5月10日
Arxiv
13+阅读 · 2018年1月20日
小贴士
相关VIP内容
顾及时空特征的地理知识图谱构建方法
专知会员服务
53+阅读 · 2022年2月15日
空间数据智能:概念、技术与挑战
专知会员服务
85+阅读 · 2022年2月3日
WSDM 2022 | 基于图神经网络的协同过滤设计空间研究
专知会员服务
36+阅读 · 2022年1月3日
【NeurIPS 2021】寻找视觉Transformer的搜索空间
专知会员服务
13+阅读 · 2021年12月1日
专知会员服务
46+阅读 · 2021年6月27日
专知会员服务
53+阅读 · 2021年4月3日
区块链赋能新基建领域应用白皮书, 41页ppt
专知会员服务
110+阅读 · 2021年3月17日
专知会员服务
30+阅读 · 2020年12月21日
专知会员服务
50+阅读 · 2020年11月20日
相关资讯
相关基金
国家自然科学基金
5+阅读 · 2015年12月31日
国家自然科学基金
6+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
2+阅读 · 2008年12月31日
微信扫码咨询专知VIP会员