金澜涛
- 作品数:3 被引量:8H指数:1
- 供职机构:南京航空航天大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划中央级公益性科研院所基本科研业务费专项更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于描述逻辑的特征语义建模及验证被引量:8
- 2013年
- 在软件产品线方法中,特征模型已被广泛用于获取领域需求以支持软件复用.但在一定程度上,各种方法对刻画特征模型以及特征之间约束关系存在语义上的冗余和混乱,不能有效对特征模型进行验证,也限制各种不同特征建模方法之间特征信息的共享.采用描述逻辑刻画了特征模型中的特征类、特征间关系与约束等方面,定义了特征间互斥、需要等约束的规则集合,用于对知识库中的语义特征模型实例进行一致性、完整性验证.并结合一个具体领域,对基于描述逻辑的特征建模及推理验证进行了详细论述.此研究对于领域特征模型的语义建模与验证、支持领域模型共享具有一定的指导作用.
- 沈国华张伟黄志球张钰龙金澜涛何文民贾哲赵子玥
- 关键词:软件复用描述逻辑
- ft-MSFS:一种容错的混合P2P海量小文件存储系统
- 近年来,云计算已成为分布式计算领域和服务计算领域的研究热点。随着互联网的迅猛发展,数据的海量存储需求对传统数据存储模式提出了巨大的挑战。云存储(存储即服务)正越来越多的受到人们的关注。集群/分布式文件系统作为支撑云存储的...
- 金澜涛
- 关键词:元数据模型容错性对等网络
- 混合P2P海量小文件元数据模型研究与实现
- 2013年
- 数据的海量存储需求对传统数据存储模式带来了巨大的挑战。目前大多数集群/分布式文件系统都被设计用来管理大文件。当在处理海量的小文件时,这些文件系统并不具有良好的性能表现。论文提出了一种面向海量小文件的元数据模型,该模型是基于具有超级节点的混合P2P拓扑结构,对小文件的优化管理具有一定的普适性。通过测试对比发现,在小文件读写性能上有数量级的提升。
- 金澜涛黄志球
- 关键词:元数据管理混合式P2P