高效可信的虚拟计算环境基础研究VIP免费

第1页共28页编号：时间：2021年x月x日书山有路勤为径，学海无涯苦作舟页码：第1页共28页项目名称：高效可信的虚拟计算环境基础研究首席科学家：卢锡城中国人民解放军国防科学技术大学起止年限：2011.1至2015.8依托部门：国防科技大学第2页共28页第1页共28页编号：时间：2021年x月x日书山有路勤为径，学海无涯苦作舟页码：第2页共28页二、预期目标3.1总体目标以我国经济社会发展对信息网络科学技术的战略需要为牵引，解决规模化网络资源按需聚合模式的效能问题和公用环境下多样化服务的可信问题；建立多尺度的互联网新计算模式和支撑技术，构建高效可信的虚拟计算环境，为互联网新型应用的发展提供基础理论和关键技术支撑。具体包括:（1）探索互联网新型应用的规模化和公用化现象与规律，在互联网计算的效能与可信理论、多尺度的虚拟计算环境体系结构、支持互联网新型应用模式的软件运行机制和面向互联网新型应用模式的程序设计等方面取得具有长远影响的创新成果；（2）获得一系列关键技术的发明专利，形成自主知识产权，提升我国在互联网计算领域的自主创新能力与核心竞争力；（3）培养和建立一支学术水平高、创新能力强的研究人才队伍，使我国在该领域的研究进入国际领先行列；（4）为互联网新型应用和产业的创新发展提供基础理论、关键技术和基础软件支撑，为促进基于互联网的数据和知识产业成为重要新兴支柱产业，推进国民经济和社会信息化做出实质性贡献。3.2五年预期目标（1）理论模型方面在规模化网络资源按需聚合模式的效能问题、公用环境下多样化服务的可信问题两个关键科学问题研究上取得重大突破，提出互联网计算弹性效能模型和可信演化模型，以及评估分析方法，在国际学术界产生重要影响，在互联网计算领域形成流派。具体包括：互联网新型应用的规模变化模型、互联网计算的效能模型和理论、适用互联网计算特点的信任管理模型、分布式交互算法设计及复杂性理论、支持在线扩展和可信演化的计算模型；以及互联网计算体系结构的尺度模型、面向多约束的资源聚合模式、资源协同的代数理论及自适应演化机理、面向弱一致性的并发计算模型、面向大规模并行数据处理和大规模协同服务等特定领域的程序设计理论、公用环境下的可信性评估理论等。（2）支撑技术方面建立多尺度的互联网新计算模式和体系结构，在多粒度的资源虚拟化、多耦合度的资源交互、自适应的弹性绑定、用户为中心的可信保障和领域特定的程序设计等支撑技术体系方面取得具有核心竞争力的专利技术。具体包括：资源聚合策略和资源间计算/数据的多级结构，基于混合互连网络拓扑的资源调度、协调、协作等共享策略与机制，基于事件驱动与虚拟网络事件服务相结合的虚拟执行与并发服务，信任管理、多层次安全隔离、冗余备份和动态演化相结合的可信保障，领域特定的程序设计语言设施、框架和工具等。第3页共28页第2页共28页编号：时间：2021年x月x日书山有路勤为径，学海无涯苦作舟页码：第3页共28页（3）实验验证方面建立仿真级、准生产级（结点数在103量级）和生产级（结点数在104以上量级）三种类型的互联网计算实验环境，支持中心资源、边缘资源和终端资源相互融合的多尺度互联网计算效能分析和可信验证。（4）软件平台方面构建高效可信的虚拟计算环境基础软件平台，其企业版本在我国大型互联网服务企业或国家互联网管理机构部署应用，其开源版本在国际开源社区取得广泛影响，成为知名品牌。通过五年的研究，使项目组的总体研究水平进入国际领先行列，成为一支具有国际影响力的研究队伍，培养一批自主创新能力强的中青年学术带头人和学术骨干。五年共发表高质量的学术论文300篇以上，其中重要国际学术刊物论文30篇以上，拥有10项以上具有自主知识产权的核心关键技术，申请国内外发明专利、标准或软件著作权15项以上。其中，前两年发表论文120篇以上（重要国际学术刊物论文12篇以上），申请国内外发明专利、标准或软件著作权6项以上。第4页共28页第3页共28页编号：时间：2021年x月x日书山有路勤为径，学海无涯苦作舟页码：第4页共28页三、研究方案4.1学术思路本项目针对互联网新型应用的规模化和公用化特点，将围绕两个...