您的位置: 专家智库 > >

韩朴杰

作品数:4 被引量:8H指数:2
供职机构:西北工业大学计算机学院更多>>
发文基金:国家自然科学基金西北工业大学基础研究基金中国航空科学基金更多>>
相关领域:自动化与计算机技术电子电信更多>>

文献类型

  • 3篇期刊文章
  • 1篇会议论文

领域

  • 4篇自动化与计算...
  • 1篇电子电信

主题

  • 2篇区域网络
  • 2篇网络
  • 2篇存储区
  • 2篇存储区域网
  • 2篇存储区域网络
  • 1篇虚拟机
  • 1篇遗传算法
  • 1篇元数据
  • 1篇远程
  • 1篇远程唤醒
  • 1篇时间自动机
  • 1篇自动机
  • 1篇文件存储系统
  • 1篇系统参数
  • 1篇可用性
  • 1篇集群
  • 1篇分布式
  • 1篇分布式遗传算...
  • 1篇高可用
  • 1篇高可用性

机构

  • 4篇西北工业大学
  • 1篇西安航空计算...

作者

  • 4篇韩朴杰
  • 2篇康慕宁
  • 1篇黄昌华
  • 1篇李战怀
  • 1篇翟正军
  • 1篇陆艳洪
  • 1篇张晓
  • 1篇赵晓南
  • 1篇李运喜

传媒

  • 2篇计算机与现代...
  • 1篇西北工业大学...

年份

  • 1篇2019
  • 2篇2013
  • 1篇2012
4 条 记 录,以下是 1-4
排序方式:
Hyper_v虚拟机集群管理系统的设计与实现被引量:4
2013年
随着Hyper_v虚拟机的应用普及,虚拟机资源的远程管理成为困扰企业的一个问题,主要包括:启动、停止、重启、快照、暂停、继续、保存、恢复、运行状态监测、机器信息采集等功能。本文针对上述问题展开研究,设计面向Web应用服务平台的Hyper_v虚拟机集群管理系统,介绍虚拟机集群资源管理的相关工作和阐述系统架构、功能模块特点、部署方式和优点。
黄昌华康慕宁韩朴杰
关键词:虚拟机高可用性集群远程唤醒
基于模型检验的分级调度系统参数生成方法被引量:2
2019年
针对综合模块化航空电子(IMA)分级调度系统中的分区参数优化问题,提出了一种基于模型检验的参数生成方法。该方法结合了传统符号模型检验和统计模型检验(SMC)技术,构建一个通用的时间自动机网络来描述分级调度系统的时间行为,在确保系统可调度性的前提下,采用分布式遗传算法搜索具有最优处理器利用率的参数。其中,系统的可调度性约束表述为符号模型检验中的安全性属性和统计模型检验中的假设检验2种形式。相比广泛应用的响应时间分析模型,该方法的形式化模型具有更强的表达能力,能更精确地描述复杂系统特征。而且统计模型检验的引入缓解了传统模型检验的“状态空间爆炸”问题。参数生成实验表明该方法能够定位参数空间中的全局最优解。
韩朴杰翟正军陆艳洪李运喜
关键词:时间自动机分布式遗传算法
NTFS文件系统中基于簇位示图的空间回收方法的研究
精简配置(Thin Provisioning,TP)技术通过按需分配可以有效地解决传统容量配置技术造成的存储资源浪费问题.然而,存储区域网络(Storage Area Network,SAN)环境下,自动精简配置中对空闲...
齐婵颖李战怀赵晓南韩朴杰
关键词:文件存储系统存储区域网络
自动精简配置技术中空间回收方法的研究被引量:2
2012年
自动精简配置(Thin-Provisioning)技术通过按需分配存储资源,可有效提高存储利用率。然而,在应用释放申请的空间后,存储系统难以及时回收这些被释放的空间。为此,提出一种存储区域网络(SAN)环境下针对自动精简配置的空间回收方法:存储系统识别文件系统格式并监视其元数据IO;当检测到文件系统空间释放行为时,计算对应可回收的区域;在通过数据一致性分析之后,对其进行回收。针对NTFS文件系统的原型实验证明,该方法确实能够进行有效的空间回收,且对主机应用影响较小。
韩朴杰康慕宁张晓
关键词:存储区域网络元数据
共1页<1>
聚类工具0