韩朴杰
- 作品数:4 被引量:8H指数:2
- 供职机构:西北工业大学计算机学院更多>>
- 发文基金:国家自然科学基金西北工业大学基础研究基金中国航空科学基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 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文件系统的原型实验证明,该方法确实能够进行有效的空间回收,且对主机应用影响较小。
- 韩朴杰康慕宁张晓
- 关键词:存储区域网络元数据