一种面向SAN环境的Windows存储虚拟化系统

企业级用户在部署存储系统时往往需要能够支持多操作系统平台的存储虚拟化系统.给出了一种能够应用在Win-dow s操作系统的存储虚拟化客户端软件.该软件作为SAN环境下的存储虚拟化系统的一部分,在系统内核态提供虚拟存储的基本服务.此外,该软件运用按需分配技术提高了存储资源利用率;通过虚拟卷在线扩展技术可以在不中断服务的情况下完成大规模的数据迁移.实验结果表明,与传统虚拟卷相比,使用按需分配技术可以在不损失性能的前提下有效节约存储资源;通过在线扩展技术不仅在容量上和性能上得到有效扩展,还能够在数据迁移的同时始终保持虚拟存储服务的持续性.     

一种基于Windows操作系统的存储虚拟化在线扩展技术

云计算、大数据等传统应用系统中的存储系统往往以虚拟化的形式运行在开源的Linux平台上,随着存储虚拟化技术不断成熟并向多元化发展,用户同样需要基于Windows平台的存储虚拟化服务。针对这些需求,提出一种基于Windows操作系统平台提供存储虚拟化服务的软件,可实现在Windows操作系统中创建虚拟的本地磁盘供用户使用,磁盘中的数据以条带化的形式平均分布在底层各个物理磁盘上。该软件基于海量存储网络系统TH-MSNS,在存储区域网SAN环境中为用户提供虚拟磁盘服务并支持在线容量扩展。通过测试后证明,条带卷在进行在线扩展时可以保证前台应用不中断,并且能够快速准确地完成大规模的数据迁移。当用户需要扩充虚拟磁盘的容量时,使用此项技术既可保证虚拟磁盘的可靠性又可提高扩容之后的读写性能。     

一种基于有向图的工作流测试方法

已有工作流测试方法在测试完备性和充分性方面存在不足。针对此问题文章对有向图工作流模型进行扩展,提出了一种新的工作流测试方法,设计并实现了其算法。该方法能够自动生成完备且充分的测试路径和测试用例。实例验证该方法有效。     

一种基于云计算的虚拟资源安全性研究

传统的数据安全方法在云计算模式中遭受挑战,用户的数据被传送和存储在云中,信息资产在物理上不为用户所控。弹性、多租户、新的物理和逻辑架构等需要对新的数据安全策略进行分析和研究。本文首先对云计算的网络安全进行了探讨,提出了一种卷存储数据安全的策略;其次,为了保障虚拟资源的安全性,提出了一种虚拟化的安全解决方案,通过该方案的实施,解决了云计算虚拟资源的安全性。     

一种基于云计算的虚拟资源安全性研究

传统的数据安全方法在云计算模式中遭受挑战,用户的数据被传送和存储在云中,信息资产在物理上不为用户所控。弹性、多租户、新的物理和逻辑架构等需要对新的数据安全策略进行分析和研究。本文首先对云计算的网络安全进行了探讨,提出了一种卷存储数据安全的策略;其次,为了保障虚拟资源的安全性,提出了一种虚拟化的安全解决方案,通过该方案的实施,解决了云计算虚拟资源的安全性。     

一种多扫描链混合测试数据压缩方法

针对集成电路测试数据量大、测试应用时间长和测试结构复杂等问题,提出一种多扫描链的混合测试数据压缩方法。对于含无关位较多的测试向量,使用伪随机向量产生器生成。对于含无关位较少的向量,则直接使用自动测试设备存储。将该方法与另一种基于扫描阻塞的测试方法进行比较,理论分析和实验结果表明,该方法对数据的压缩效果优于单纯用伪随机方式的扫描阻塞测试方法。     

基于虚拟化的水务分布式大数据存储平台设计

针对自然界与人类社会二元水循环产生的海量水务观测数据,现有水务数据管理系统存在存储负荷大,数据库扩展困难,查询速度慢的问题,无法满足存储与分析的需要。针对问题,首先,结合虚拟化技术、Hadoop基础架构,设计分布式大数据存储平台的基本架构;其次,依据现有水务大数据情况及实际业务数据库表,实现分布式大数据存储平台的设计;最后,完成从集中式平台到分布式平台的数据迁移代码实现,并进行数据迁移实验测试。实验结果验证了分布式大数据存储平台设计方案的可行性与有效性,可为大规模行业数据的存储与处理提供一种理想的分布式解决方案。     

存储虚拟化在石油物探的应用

随着石油物探向高密度单点、高精度、高分辨率地震技术方向发展,地震资料处理和解释领域正面临着数据存储挑战。要满足存储资源的统一集中管理、异构平台的地震数据共享、提升存储系统的利用率、I/O动态负载均衡等需求,提出了存储设备级与存储网络级结合的存储虚拟化思想,设计了一种实现方案,对地震资料处理与解释中的存储系统进行了逻辑卷级和文件系统级虚拟化,并对其优越性进行了分析与验证。     

基于Kubemark的微服务性能仿真测试研究

虚拟化技术加速了微服务架构上应用程序的扩展,随着这些应用程序复杂性不断增加,系统实际的性能可能会与预期存在很大差异,因此微服务性能测试机制成为了学者们开始探索的课题。借鉴Web服务质量的测试方法和评价标准,在实验过程中采用了仿真测试方法,通过Kubemark工具基于Kubernetes平台对微服务系统的性能进行测试研究,并根据RFC 2679标准的p百分位数指标对测试结果进行了分析。实验结果表明,微服务性能受所负载微服务类型的影响明显,仿真测试是微服务性能测试的有效研究方法。     

安全的灾难备份系统

针对传统灾难备份系统安全性不高的问题,提出一种安全的灾难备份系统,使用差错校验、安全传输和加密存储,保障了备份数据在传输、存储过程中的安全性。在完全同步完成后,通过卷过滤驱动实时监控磁盘数据变化,采用高速缓存存储捕获到的数据,并通过网络发送到远程备份中心。该方法实现了数据的高效、实时、异地备份,同时兼顾了安全性和高效性。     

存储虚拟化技术的研究

存储虚拟化技术是基于网络的存储管理技术,它屏蔽大量异构设备的差异性,向用户提供简单的逻辑存储访问接口;它简化了存储管理,优化了系统性能,提高了存储设备的利用率。本文从存储虚拟化的概念入手,详细分析了存储虚拟化的模型结构、分层、采用的协议等方面的内容,介绍了当前虚拟化技术的最新进展,讨论了基于网络的虚拟存储技术的优点和不足。     

储罐径向偏差测量机器人工程化开发

大型储罐容积检定是法定计量项目,目前应用广泛的光学垂准线法需要人工牵引磁性滑车沿罐壁的竖直母线多次往返以测量储罐径向偏差,测量过程人工劳动强度大,容易偏离测点,操作不便.开发了一种基于永磁吸附并能附着罐壁行走的径向偏差测量机器人工程化样机,能够很好地解决上述问题.该机器人采用了永磁吸附、履带式移动的设计理念,由机器人带动其上的测量装置标尺在储罐罐壁爬行,到测试点位置时自动停止,再由地面的光学垂准仪读取标尺的数据作为该测试点的径向偏差数据;样机自重小于10 kg,竖直爬行速度可达6m/min,往返横向偏移不超过5 mm/10 m.该成果使测量过程省力便捷,实现自动化测量,提升了储罐容积检定的效率.     

提高存储资源利用率的存储虚拟化技术研究

随着存储数据的爆炸式增长,存储空间的迫切需求,虚拟存储技术已经广泛应用到存储系统中.根据操作系统中内存管理的虚拟内存机制,将其扩展引入到整个存储系统的管理中,并与传统的存储虚拟化技术相结合,提出了双层次存储虚拟化的结构,实现了逻辑层和虚拟层的双层虚拟,以屏蔽存储设备的异构性,极大提升存储资源利用率.     

基于自动机的概率计算树逻辑验证方法

根据带有随机特征的复杂信息系统性质验证的需求,针对离散概率回报模型的分层直到公式,提出一种性质验证分析方法。在综合各种离散随机逻辑的基础上,使用一种同时具有迁移回报及迁移步区间表达能力的概率计算树逻辑表示系统模型的分层直到路径公式性质,使用自动机技术建模路径公式,通过构造积模型完成模型与自动机的同步演化,基于积模型给出相应的状态概率满足算法。实例结果验证了该方法的可行性和有效性。     

基于虚拟化技术的卫星控制系统软件构件库运行监控与可信验证技术

动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在同一模型建模体系进行,并进行相应的控制算法设计。但是由于动态系统建模工具其自身的时钟步长和数据流处理逻辑,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,可能与真实物理环境要求的系统有一定的出入,造成对承载卫星控制器功能的目标机CPU处理系统存在一定程度的失真,影响仿真效果。提出了一种基于虚拟化技术的卫星控制系统软件构件库可信验证技术,使用虚拟化技术实现对真实物理目标机功能的完全模拟,运用软件非干涉运行监控技术,获取可信的开发证据和应用证据,利用协同仿真组件和卫星控制系统方案设计的控制算法模型对各个软件构件进行动态同步仿真验证。     

基于数据虚拟化技术的多来源数据集成方法

司法业务数据存储没有统一的格式标准,各机关在进行数据查询访问时存在数据孤岛现象。为解决数据访问之间的异构性,本文提出一种基于数据虚拟化的多来源司法数据集成方法,通过数据虚拟化技术建立元数据映射关系,利用中间件构成数据交换中心,实现多机关多类型司法数据集成。利用改进的K-means聚类算法对虚拟对象元数据进行聚簇,缩短数据访问时间,提高司法数据查询效率。本文方法可以忽略数据存储异构性的影响,实现各司法机关无障碍数据访问通道。     

基于抽象解释的Prolog程序验证技术研究

作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中.现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键.本文给出了一种基于抽象解释的Prolog程序验证方法,该方法采用了具有路径信息的Prolog语义及其抽象作为语义基础,因而可用于验证与程序点相关联的程序特性.本文例子表明了该验证方法的有效性.     

基于可信计算的带外网络存储虚拟化模型的实现

随着网络数据量的飞速发展,更多的企业开始着眼于利用虚拟化技术来降企业的存储成本,存储虚拟化技术正在被广泛应用,其中采用带外的网络存储虚拟化技术是今后的趋势。带外虚拟化与带内虚拟化相比具有性能高和扩展性好等优点,但是在安全性方面还有所欠缺,因为带外方式会在每台服务器上都安装虚拟化客户端软件,此时它就有可能受到攻击。在此,可信计算理论可以解决这一问题,通过结合可信理论,将设计出一种合理、安全的带外网络存储虚拟化的模型。     

处理指针相等关系不确定的指针逻辑

为类C小语言PointerC设计的指针逻辑是Hoare逻辑的一种扩展,可用来对指针程序进行精确的指针分析,以支持指针相等关系确定的程序的安全性验证.通过增加相等关系不确定的指针类型访问路径集合,可扩展这种指针逻辑,使得扩展后的指针逻辑可以应用于有向图等指针相等关系不确定的抽象数据结构上的指针程序性质　证明.