郭帆 作品数:17 被引量:15 H指数:2 供职机构: 中国科学技术大学 更多>> 发文基金: 国家自然科学基金 更多>> 相关领域: 自动化与计算机技术 理学 电气工程 天文地球 更多>>
地球磁层中微观等离子体不稳定性的粒子模拟 本文中,用粒子模拟的方法研究了磁层中的两种微观不稳定性:磁尾电流片中的低混杂漂移不稳定性和磁鞘层中由于离子温度各项异性激发的离子回旋波。
1.Harris电流片中低混杂漂移不稳定性的二维伞粒子模拟低混杂漂移不稳... 郭帆关键词:地球磁层 文献传递 一种异构内存架构下基于任务感知的资源分配方法 本发明公开了一种异构内存架构下基于任务感知的资源分配方法,特征是包括进程性能元数据记录、节点任务分配记录、任务特性感知的调度策略和页面感知的迁移策略步骤。由于对不同的任务进行了区分,使每个NUMA节点内的任务分配相对均匀... 许胤龙 陈吉强 李永坤 郭帆 刘军明感应电压叠加器中感应腔系统研制 感应电压叠加器(Induction voltage adder,IVA)利用电磁感应原理,将初级驱动源产生的多路电脉冲馈入感应腔,在次级传输线区域实现电压串联叠加,获得高压脉冲输出。本文以研制输出电压达到4.0MV的大型... 郭帆关键词:输出电压 一种异构内存架构下基于任务感知的资源分配方法 本发明公开了一种异构内存架构下基于任务感知的资源分配方法,特征是包括进程性能元数据记录、节点任务分配记录、任务特性感知的调度策略和页面感知的迁移策略步骤。由于对不同的任务进行了区分,使每个NUMA节点内的任务分配相对均匀... 许胤龙 陈吉强 李永坤 郭帆 刘军明文献传递 虚拟化环境中资源管理机制的优化研究 在云计算等虚拟化环境中,资源管理机制负责资源的分配、调度与管理,为多租户之间的高效资源共享提供了基础。高效的资源管理机制不仅可以通过提升资源利用率来大幅降低成本,还可以通过满足用户资源需求来保证服务质量。但是软硬件技术的... 郭帆关键词:虚拟资源 缓存管理 基于语言的移动代码安全问题 被引量:2 2002年 With the development of Internet, traditional network is converting to active network computing, which makes the problem of mobile-code security emerge as one of the most challenges of research in Computer Science today. The literature introduces one method that solves the problem of mobile-code security: Language-Based Security,and decribes in detail several methods in this research area, such as Proof-Carrying Code(PCC) and Typed Assembly Language(TAL). Our resolvation of mobile-code safety is presented at last. 郭帆 陈意云 胡荣贵关键词:信息安全 移动代码 汇编语言 一种基于细粒度的内存分配方法 本发明公开了一种基于细粒度的内存分配方法,特征是采取虚拟机类型的探测、虚拟机内页面类型的探测、细粒度的差异化页面分配策略和访存感知的内存动态分配策略。由于对虚拟机的类型进行了区分,使得I/O密集型和计算密集型的虚拟机使用... 许胤龙 刘军明 李永坤 郭帆 李诚 吕敏 陈吉强文献传递 基于类型注解的认证编译器设计与实现 被引量:3 2004年 基于类型注解的认证编译器是安全策略系统的核心部件 ,它不仅能够用C语言的类型安全子集编写的程序编译成优化的Intelx86 /linux汇编语言程序 ,而且还可以根据类型安全策略的要求产生带注解的汇编程序 实验结果表明 ,新设计的认证编译器可实现 :①类型安全的C语言子集的编译 ;②许多标准的局部优化 ;③可以对数组运行时越界操作进行检查 由于安全策略系统的证明是建立在含注解的代码基础之上的 ,因此 。 胡荣贵 陈意云 郭帆 张昱带类型注解的汇编器TAAS的设计与实现 被引量:1 2003年 给出了一种带类型注解的汇编器 TAAS的设计与实现 .TAAS分析带有类型注解的汇编代码 ,把类型注解映射进目标文件和可执行文件中 ,产生带有类型注解的二进制代码 ,同时不影响代码的执行语义 .TAAS分析 AT&T语法的汇编程序 ,产生 EL F格式的 x86机器代码 ,并且与 GNU 郭帆 陈意云 胡荣贵 张昱关键词:TAAS 基于程序设计语言的移动代码安全研究 该文综合叙述了已经存在的使用基于语言的技术解决移动代码的安全问题的众多研究,详细描述了携带证明的代码(PCC)和类型化汇编语言(TAL)两种方法.已经展开的研究所面向的安全策略都是最基本的安全策略如内存安全、控制流安全和... 郭帆关键词:移动代码 文献传递