共查询到20条相似文献,搜索用时 15 毫秒
1.
虚拟机监控器(virtual machine monitor,VMM)动态度量是保障虚拟化环境安全的重要手段,但是目前VMM动态度量正确性缺乏理论分析。基于VMM动态度量流程,确立了动态度量正确性目标,明确了定义动态度量应满足的重要属性,从操作语法、语义及推理规则方面扩展安全系统逻辑(logic of secure systems,LS2),据此推导动态度量程序的不变性,验证VMM动态完整性度量应满足的正确性。结论分析表明,应用本文扩展的LS2方法分析得出的动态度量结论与该技术实际应用效果一致,说明扩展的LS2方法有效,可为虚拟化环境安全提供理论参考。 相似文献
2.
随着芯片设计规模和复杂度的增加,功能验证变得越来越复杂,验证面临着诸多挑战。有统计数据显示,验证工作占整个设计开发工作60%~80%的时间。在长期演进系统(long term evolution,LTE)中,小区搜索是一个非常关键的过程,是移动终端开机后首先要做的步骤。小区搜索的性能好坏直接影响LTE系统后续过程的进行,对LTE系统的性能有很大的影响。以LTE系统小区搜索模块为例,简要介绍了VMM(verifacation methodology man-ual)验证方法学,并基于VMM验证方法学搭建了小区搜索模块验证平台,对小区搜索模块进行了全面的功能验证。验证结果表明,本模块能够完成预期的目标,采用VMM验证方法学可以极大地提高验证效率,缩短验证周期。 相似文献
3.
HUANG Qiang SHEN Changxiang FANG Yanxiang 《武汉大学学报:自然科学英文版》2007,12(1):13-16
With analysis of limitations Trusted Computing Group (TCG) has encountered, we argued that virtual machine monitor (VMM) is the appropriate architecture for implementing TCG specification. Putting together the VMM architecture, TCG hardware and application-oriented "thin" virtual machine (VM), Trusted VMM-based security architecture is present in this paper with the character of reduced and distributed trusted computing base (TCB). It provides isolation and integrity guarantees based on which general security requirements can be satisfied. 相似文献
4.
According to Vening Meinesz-Moritz (VMM) global inverse isostatic problem, either the Moho density contrast (crust-mantle density contrast) or the Moho geometry can be estimated by solv-ing a non-linea... 相似文献
5.
结合最新验证语言SystemVerilog的特点以及VMM(Verification Methodology Manual)验证架构,分别讨论了SoC设计过程中模块验证,集成验证和系统验证的一些改进措施,达到提高功能验证效率的目的。 相似文献
6.
Xen是一个开放源代码,基于x86 CPU架构的虚拟机监视器(VMM),借助于Xen可以在单个物理硬件上同时实现多个操作系统的运行。主要介绍Xen的特点和结构,实例演示以及应用领域。 相似文献
7.
针对多核平台的虚拟化环境中客户机与虚拟机管理器(virtual machine monitor,VMM)之间语义缝隙造成客户机I/O性能下降的问题,提出了一种基于I/O受限进程识别的虚拟处理器(virtual CPU,vCPU)调度机制。该机制在客户机内部利用推断技术识别I/O受限进程,通过客户机与VMM的协作实现I/O事件与I/O受限进程的关联,利用保证客户机之间公平性的虚拟对称多核处理器(virtual symmetric multi-core processor,vSMP)Internal调度算法,优先调度与I/O事件关联的I/O受限进程所在的vCPU来桥接客户机与VMM之间的语义缝隙,提高拥有vSMP的客户机中I/O负载性能。测试结果表明,相比于KVM虚拟化环境的CFS调度机制,该机制可以在保证客户机CPU公平性的前提下,有效提升运行混合负载的vSMP客户机中I/O负载性能,同时只增加较小的客户机额外开销,可以应用在负载多样性和不可预测性的虚拟桌面和云计算环境中。 相似文献
8.
基于VMM的SOC可重用验证平台设计 总被引:1,自引:0,他引:1
当前集成电路设计规模空前增长,对验证提出了巨大挑战,搭建组件化和可重用的验证平台已逐渐被业界采用。以一款接入交换机芯片验证为例,介绍了应用VMM方法学搭建基于subenv的组件化和可重用的验证平台的方法和原则。项目实践表明此方法可以极大地提高验证效率。 相似文献
9.
王亮 《华侨大学学报(自然科学版)》2016,(5):641-644
针对现存的基于软件的虚拟化解决方案存在的不足,利用ARM标准硬件技术和赛灵思ZC702商业平台,实现通用操作系统(GPOS)与轻量级实时操作系统(FreeRTOS)同时运行.测试结果表明:虚拟机从RTOS到GPOS的上下文切换系统开销是3.10 μs,相反过程为2.64 μs,内存占用也仅为1 KB;由虚拟机监视系统(VMM)引入的性能开销低和内存占用较小;利用ARM TrustZone技术可实现一个具有低成本和高可靠性的轻量级虚拟化解决方案. 相似文献
10.
11.
SoC功能复杂度不断提高,结合了最新验证语言SystemVerilog的断言、随机约束、功能覆盖率等特点以及Verification Methodology Manual(VMM)验证架构,对SoC验证的各阶段进行了改进.模块验证阶段灵活应用了形式验证和动态仿真验证;集成验证阶段依据可重性的思想搭建验证环境、采用迭代开发的思想提前了集成验证启动时间;系统验证阶段采取了软硬件协同验证;同时利用随机约束技术开发验证向量,利用功能覆盖率技术评价随机约束向量对功能的覆盖.通过这些改进措施达到了提SoC功能验证效率的目的. 相似文献
12.
虚拟化技术在为用户带来方便的同时,也为恶意程序提供了更多的攻击机会.针对虚拟机内核完整性面临的安全威胁,提出了一种基于硬件虚拟化的虚拟机内核完整性主动保护方法,通过硬件虚拟化扩展机制从2方面保护内核数据、代码以及关键寄存器:一方面为关键的内核数据与代码创建独立的页表并设置访问权限,使其运行在隔离的地址空间内;一方面利用硬件虚拟化的"陷入"机制使得关键寄存器一旦被篡改便下陷到VMM(virtual machine monitor).实验结果表明本文方法能够检测出常见的内核级Rootkit,并能阻止其对系统的恶意篡改,性能开销控制在7%以内,在提升安全性的同时,不会对性能产生明显的影响. 相似文献
13.
支持向量回归多参数的同时调节 总被引:2,自引:0,他引:2
参数调节问题是支持向量回归的基本问题.已有的参数调节方法主要采用内外双层优化框架,调节过程中,训练学习器与更新超参数交替进行.这种嵌套结构具有较高的计算复杂性.针对这一问题,提出了支持向量回归多参数的同时调节模型.首先,将Lagrange乘子、惩罚因子、不敏感度参数和核函数参数合并为一个参数向量,推导出支持向量回归问题的一个新的表示形式,可将原来分离的双层调节过程整合为一个单层调节过程.然后,应用贯序无约束极小化技术(SUMT),将支持向量回归问题转化为多元无约束优化问题.在此基础上,应用变尺度方法(VMM)设计、分析并实现了一个同时调节算法.最后,通过标准数据集上的实验,验证了同时调节算法的收敛性,并比较了同时调节算法与常用调节算法的有效性和计算效率.理论分析与实验结果表明,同时调节模型是一正确且有效的多参数调节模型. 相似文献
14.
15.
16.
两仪生四象,四象生八卦,八卦定吉凶,吉凶生大业这一句接上一句"是故易有太极,是生两仪",几个短句环环相扣,逻辑紧密。识解这一句的时候,首先引我发问的是"仪"字,古人为何用两仪而非两端或两类、两处?查要看"仪"的本义,《说文解字》中是这样解释的:度也。度,法制也。毛传曰。仪,善也。又曰。仪,宜也。又曰。仪,匹也。其义相引伸。古书仪但为义。今时所谓义,古书为谊。按如文王传曰义,善也。翻译过来的意思是,仪通义,是法度的意思,也作适宜、 相似文献
17.
蔡睿贤 《科技导报(北京)》2012,30(13):3-3
众所周知,人类的活动时时刻刻离不开能源。人类对能源的基本要求:① 总量应该足够多。储量很少不能称之为能源,太阳能,煤,天然气,风等等都满足这一要求。② 价格应该让人们可以接受。价格包括本身价格,设备价格等。③ 能量密度应该有一定范围的数值,太低了不行。化石燃料、核能的能量密度都较高,满足这一要求。④ 可持续。至少在长周期内持续,可再生更好。化石燃料是不可再生的。可持续还包含环保要求。⑤ 稳定供应,容易储存,满足召之即来。目前太阳能、风能对此尚未能完全满足。⑥ 可控性。火山爆发,地震,闪电都是能源,但目前不可控,尚没法应用。核裂变已可控,所以变成可用能源。⑦ 运输方便。能源的运输是一个很大的工程,目前为供应能源所需的各种消耗还很多。 相似文献
18.
缪佳祎 《齐齐哈尔大学学报(自然科学版)》2015,(4):66-67
那日,骑着自行车在街上慢悠悠地晃着,从小城的这头到那头,不远的距离。秋日的阳光,暖暖地照在身上。抬头看天,竟然明晃晃地刺眼,赶紧低头,不经意间,视线扫过地上一堆落叶。枯萎的黄色叶子,一片一片,在风中凌乱。已是秋残。自从那年看了额济纳的胡杨林,几乎把这尘世间最美的秋色沉沉地装在了心里,一想起秋,便是那满心满眼的灿黄,燃烧着生命的极致绚烂。而眼前地上那几片枯叶,看似蔫黄,却是染了愁绪的萧瑟。同是秋景,各有况味。脚尖踮地停下车,拿出手机,对着一地落 相似文献
19.