高云伟
- 作品数：55 被引量：35H指数：3
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家自然科学基金甘肃省科技支撑计划山东省自然科学基金更多>>
- 相关领域：自动化与计算机技术理学石油与天然气工程更多>>
- 基于TPM 的本地验证式启动方法
- 本发明公开一种基于TPM的本地验证式启动方法，所述方法包括：步骤1，使用TPM封存功能部署生成需要验证程序的度量标准值；步骤2，在GRUBStage2中验证虚拟机监视器、Linux Kernel、Ramdisk的完整性；...
- 高云伟薛栋梁孙毓忠
- 文献传递
- 一种针对硬件虚拟化的内存监控方法和系统
- 本发明公开一种针对硬件虚拟化的内存监控方法和系统，所述方法包括：步骤1，建立客户域DomU，根据操作系统的运算能力建立内存监控参数，所述操作系统的运算能力包括32位操作系统和64位操作系统；步骤2，将客户域DomU的配置...
- 田昕晖高云伟邬小龙孙毓忠叶川
- 文献传递
- 一种节点内的数据处理方法、装置和系统
- 本发明实施例公开了一种节点内的数据处理方法、装置和系统。本发明实施例采用由根复合体接收CPU发送的第一系统总线事务消息，其中，该第一系统总线事务消息携带事务类型、目的地址和权限标识；在该事务类型指示为配置事务时，根据该权...
- 陆钢高云伟詹剑锋付龙
- 一种基于TPM的Linux内核初始化中的数据结构保护方法及系统
- 本发明提供了一种基于TPM的Linux内核初始化中的数据结构保护方法及系统，通过对Linux内核镜像本身以及Linux内核初始化过程中加载的内核页表、GDT表、IDT表(包含系统调用表)进行了基于TPM的可信验证、可信数...
- 薛栋梁高云伟杨鹏斐展旭升孙毓忠
- 文献传递
- 远程资源访问方法和交换设备
- 本发明实施例提供一种远程资源访问方法和交换设备，能够实现本地计算机系统与远端的物理资源设备之间的数据传输且实现远端的物理资源设备以中断的方式访问计算机系统。其方法为：计算机系统访问远端的物理资源设备时，首先将虚拟资源设备...
- 林鑫龙高云伟黄彬詹剑锋
- 文献传递
- 一种内存共享方法、异构硬件、主机及异构系统
- 本发明公开了一种内存共享方法，应用于异构硬件，异构硬件连接主机，本发明方法包括：异构硬件获取主机发送的主机的部分内存的内存地址；当异构硬件的内存的空闲容量低于预定容量时，异构硬件根据内存地址，将异构硬件的内存中使用频率低...
- 解壁伟高云伟詹剑锋张立新
- 文献传递
- 一种虚拟机内存映射方法及系统
- 本发明提供一种虚拟机内存映射方法及系统，其中方法包括：步骤1，根据应用层映射请求选择内存映射方式，执行步骤2或步骤3；步骤2，将待映射虚拟机的待映射机器页与监控虚拟机的物理页绑定，直接读写所映射的虚拟机的对应内存，执行步...
- 高云伟邬小龙孙毓忠詹剑锋张立新
- 文献传递
- 新型虚拟桌面杀毒模型被引量：1
- 2012年
- 针对现有杀毒方式系统开销大,占有网络带宽大,以及没有对未知程序的实时监测等缺点,通过对先前工作进行改进,提出了针对虚拟桌面框架的一种新型虚拟桌面杀毒模型,支持用户主动扫毒和程序启动过程的被动杀毒。特权虚拟机执行病毒检测和可信列表的管理,并将每个普通虚拟机中的文件签名传输到其他虚拟机;客户端分析待检测文件的签名和特性,优化网络传输的字节数,并在程序加载时实时查杀病毒。实验结果表明,该模型能够实时查杀病毒,减少系统开销和网络带宽的占用。
- 展旭升高云伟冯百明蒋芸杨鹏斐
- 关键词：虚拟桌面签名
- 巧用构造模型法证明不等式被引量：1
- 2009年
- 构造模型法就是构造一个与之相对应的数学问题,从不同角度用不同方法计算同一个量,利用结论的唯一性得到恒等式,然后通过适当的变形得到要证明的不等式。这种方法是证明不等式的一种非常实用的方法。这种方法的应用能很好地提高学生的想象力及分析问题和解决问题的能力。
- 展丙军高云伟
- 关键词：组合数学
- 一类三阶微分方程边值问题解的存在性
- 2008年
- 考虑如下微分方程边值问题u+f(t,u)=0 t∈[0,1](1)u′(0)=u″(0)=u′(1)=0(2)采用上、下解的方法和Schaudler原理把上述边值问题转化为初值问题,从而确定该问题的解是存在的。
- 郭爽王继革高云伟
- 关键词：微分方程边值问题上下解方法
