王小龙
- 作品数：11 被引量：14H指数：2
- 供职机构：甘肃省计算中心更多>>
- 发文基金：甘肃省中青年科技研究基金甘肃省应用技术研究与开发专项计划项目甘肃省科技支撑计划更多>>
- 相关领域：自动化与计算机技术医药卫生环境科学与工程更多>>
- 面向GMA目录服务的领域本体建模研究被引量：1
- 2013年
- 提出构建目录服务本体对GMA目录服务组件维护的网格资源信息提供语义一致的描述,从而弥补使用关系数据库或XML组织信息时产生的语义缺陷。结合国家网格甘肃计算节点的实际情况基于描述逻辑进行本体建模,对支持任意实际运行的网格的目录服务本体及其语义进行形式化分析,提出了可以满足这类本体的模型。基于OWL-dl构建了一个目录服务本体的实例,使用sparql语言进行查询,验证了目录服务本体的正确性及可行性。
- 王小龙张其斌章恒
- 关键词：描述逻辑形式化语义
- 高性能计算集群环境对人体健康影响评估及控制技术研究
- 刘光明马骁沈玉琳彭天蜀徐惠萍王小龙屠晓光赵志威张其斌李盛
- 该项目以甘肃省超级计算中心高性能计算集群系统机房为研究环境，以机房工作人员为研究对象，分析研究了具体的工作环境对相关人员身体健康的影响和干扰程度，评估了影响因素与高性能计算集群系统之间的关联性，给出了必要的控制技术，以减...
- 关键词：
- 关键词：人体健康影响计算机机房
- GMA架构下监控信息工作流模型探讨
- 2011年
- 分析了GMA架构的核心流程,基于活动网络图提出了一种监控信息工作流模型的定义,设计了基于GMA的工作流模型.在引入XYZ/E线性时序逻辑语言中的时序算子的基础上,给出了GMA体系架构的生产者与消费者之间主要信息交互活动工作流模型的形式化语义.
- 王小龙肖珺刘光明
- 关键词：形式化语义XYZ/E
- 基于ExtJs的集群作业调度策略配置系统的设计与实现被引量：1
- 2015年
- 为充分发挥集群系统的性能,针对PBS调度模块配置调度策略工作繁复、易于出错的问题,该文基于Ext Js框架,采用javabean、jsp、Mysql等技术设计并实现了一种集群作业调度策略配置系统。该系统解决了针对选定辅助策略的控件选取、输入参数的前后台联合校验、针对接口文件的组合调度策略生成、用户数据的分页显示等技术问题,重点实现了PBS的组合调度策略的远程配置及自动生成的功能。详细介绍了系统主要模块的设计思路、核心功能及实现方法。运行结果表明,该系统能够有效提高使用PBS的高性能计算集群的调度策略配置工作的效率,提高生成的较复杂的调度策略的正确率。
- 王小龙刘光明赵志威
- 关键词：高性能计算集群PBSEXTJS调度策略
- 基于Spring Security框架的前后端分离软件平台构建的研究被引量：4
- 2022年
- 随着日新月异的互联网技术的发展,软件技术衍生出新的开发模式,将逻辑层和视图层进行分离,从而减少前端和后端代码的耦合性,使用安全框架对系统进行认证和授权,防止数据,接口泄露等问题。结合甘肃省外籍高层人才平台建设为例,介绍该开发模式,为以后开发提供思路,样例。
- 崔娟章恒马尧田全红金瑞欣马鹏王小龙杨梓涵张园琳杨元娟陈春霖
- 一种软件测试平台
- 本发明公开了一种软件测试平台，包括工具收纳支撑架，所述工具收纳支撑架内部设有支撑板，所述支撑板上设有散热机构，所述支撑板上设有可延展测试支撑机构且可延展测试支撑机构的输出轴贯穿工具收纳支撑架设置，所述可延展测试支撑机构上...
- 章恒马鹏范瑞龙沈玉琳王小龙崔娟金瑞欣
- 基于浏览器端MVC的富客户端技术的应用与研究被引量：7
- 2013年
- 主要分析了面向富客户端的ExtJS开发框架的Sencha MVC的架构及实现该框架各模块功能的ExtJS类,提出了一种以数据为中心的并行开发流程。详细分析了ExtJS的MVC模式对移动终端设备支持的原理及实现方式。通过比较分析常用的几种富客户端技术肯定了ExtJS支持的MVC模式的技术优势及发展前景。
- 王小龙赵志威屠晓光李唐艳
- 关键词：EXTJSSENCHAMVC富客户端SENCHA
- 基于语义网技术的服务等级协议协商机制
- 2015年
- 针对服务等级协议(SLA)的自动协商中用于协商的SLA元素及协商过程缺乏语义描述的问题,提出了一种基于语义网技术的SLA协商机制。首先提出一种协商本体Osn,该本体专门描述直接用于协商过程的SLA元素;设计了SLA协商元素的映射函数及协商评估函数并使用Osn描述这些函数,基于描述逻辑对Osn的主要概念及概念之间的关系给出了形式化描述,为Osn提供了可满足的语义模型。进而提出了一种针对SLA协商的讨价还价模型,通过对有关命题及定理的证明说明采用该模型可以形成帕累托最优的协商出价;采用该模型基于OWL-S与统一建模语言(UML)的映射关系设计了针对SLA协商的服务本体。实例研究的结果表明Osn描述的知识可以形成满足协商参与者利益最大化需求的出价序列。从而说明:Osn可以对服务本体提供针对任意SLA协商的参数类型支持;面向SLA协商的讨价还价模型可以形成双方可接受的SLA。
- 王小龙章恒杨博超沈玉琳
- 关键词：服务等级协议协商讨价还价模型OWL-S描述逻辑
- 高性能计算集群作业管理和调度系统的研究与实现
- 王小龙徐成俊赵志威屠晓光柴宝强张其斌白瑞俊章恒
- 该项目的调研工作是对世界范围内主要使用的分布式系统的监控管理系统进行比较分析，为面向网格监控的信息处理过程的分析与评价提供了一种可供参考的形式化语义。这样的理论模型可以用于具有大规模硬件的计算资源的管理监控系统的设计与实...
- 关键词：
- 关键词：调度管理系统
- 面向网格监控的工作流建模研究
- 2013年
- 网格监控系统种类繁多而且大多具有自身特定的应用领域,有必要对一般性的网格监控模块提供设计参考及相应分析评价方法。文中提出基于活动网络图为网格监控的数据处理流程建立工作流模型并进行语义描述。通过阐释网格监控架构和具有代表性的网格监控系统,总结分析了3种监控过程的一般数据流程,为典型的数据处理流程设计了工作流模型,给出了主要工作流模型的形式化说明。此建模方法有助于网格监控模块的设计,同时为面向网格监控的信息处理过程的分析与评价提供了一种可供参考的形式化语义。
- 王小龙
- 关键词：工作流模型形式化语义网格监控系统
