甘肃省中青年科技研究基金(1208RJYA089)
- 作品数：4 被引量：2H指数：1
- 相关作者：王小龙章恒张其斌赵志威刘光明更多>>
- 相关机构：甘肃省计算中心更多>>
- 发文基金：甘肃省中青年科技研究基金甘肃省应用技术研究与开发专项计划项目甘肃省重点实验室建设计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于语义网技术的服务等级协议协商机制
- 2015年
- 针对服务等级协议(SLA)的自动协商中用于协商的SLA元素及协商过程缺乏语义描述的问题,提出了一种基于语义网技术的SLA协商机制。首先提出一种协商本体Osn,该本体专门描述直接用于协商过程的SLA元素;设计了SLA协商元素的映射函数及协商评估函数并使用Osn描述这些函数,基于描述逻辑对Osn的主要概念及概念之间的关系给出了形式化描述,为Osn提供了可满足的语义模型。进而提出了一种针对SLA协商的讨价还价模型,通过对有关命题及定理的证明说明采用该模型可以形成帕累托最优的协商出价;采用该模型基于OWL-S与统一建模语言(UML)的映射关系设计了针对SLA协商的服务本体。实例研究的结果表明Osn描述的知识可以形成满足协商参与者利益最大化需求的出价序列。从而说明:Osn可以对服务本体提供针对任意SLA协商的参数类型支持;面向SLA协商的讨价还价模型可以形成双方可接受的SLA。
- 王小龙章恒杨博超沈玉琳
- 关键词：服务等级协议协商讨价还价模型OWL-S描述逻辑
- 面向GMA目录服务的领域本体建模研究被引量：1
- 2013年
- 提出构建目录服务本体对GMA目录服务组件维护的网格资源信息提供语义一致的描述,从而弥补使用关系数据库或XML组织信息时产生的语义缺陷。结合国家网格甘肃计算节点的实际情况基于描述逻辑进行本体建模,对支持任意实际运行的网格的目录服务本体及其语义进行形式化分析,提出了可以满足这类本体的模型。基于OWL-dl构建了一个目录服务本体的实例,使用sparql语言进行查询,验证了目录服务本体的正确性及可行性。
- 王小龙张其斌章恒
- 关键词：描述逻辑形式化语义
- 基于ExtJs的集群作业调度策略配置系统的设计与实现被引量：1
- 2015年
- 为充分发挥集群系统的性能,针对PBS调度模块配置调度策略工作繁复、易于出错的问题,该文基于Ext Js框架,采用javabean、jsp、Mysql等技术设计并实现了一种集群作业调度策略配置系统。该系统解决了针对选定辅助策略的控件选取、输入参数的前后台联合校验、针对接口文件的组合调度策略生成、用户数据的分页显示等技术问题,重点实现了PBS的组合调度策略的远程配置及自动生成的功能。详细介绍了系统主要模块的设计思路、核心功能及实现方法。运行结果表明,该系统能够有效提高使用PBS的高性能计算集群的调度策略配置工作的效率,提高生成的较复杂的调度策略的正确率。
- 王小龙刘光明赵志威
- 关键词：高性能计算集群PBSEXTJS调度策略
- 面向网格监控的工作流建模研究
- 2013年
- 网格监控系统种类繁多而且大多具有自身特定的应用领域,有必要对一般性的网格监控模块提供设计参考及相应分析评价方法。文中提出基于活动网络图为网格监控的数据处理流程建立工作流模型并进行语义描述。通过阐释网格监控架构和具有代表性的网格监控系统,总结分析了3种监控过程的一般数据流程,为典型的数据处理流程设计了工作流模型,给出了主要工作流模型的形式化说明。此建模方法有助于网格监控模块的设计,同时为面向网格监控的信息处理过程的分析与评价提供了一种可供参考的形式化语义。
- 王小龙
- 关键词：工作流模型形式化语义网格监控系统
