周学海
- 作品数：177 被引量：523H指数：13
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金国家教育部博士点基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信建筑科学更多>>
- 基于内容检索的图象数据库系统研究
- 图像数据库系统是图像信息系统的核心,按内容检索图像是目前大型图像数据库系统迫切需要的查询手段.该文围绕基于内容检索的图像数据库系统中的关键问题进行研究,旨在为建立实用的基于内容检索的图像数据库系统打下基础.
- 周学海
- 关键词：图像数据库图像信息数据库
- 基于PBD技术的Anti-Bootkit优先启动被引量：1
- 2009年
- Bootkit是继承自Rootkit内核权限获取和自我痕迹擦除技术的Rootkit高级发展形式,对系统启动和内核准入安全提出了最新挑战。在Bootkit入侵和Anti-Bootkit的检测的攻防对抗中,能做到优先启动往往是制胜的关键;而目前主流的Anti-Bootkit/Rootkit软件由于固守传统的启动方式,很容易被Bootkit利用固有优势绕过、劫控、篡改、移除而形同虚设。通过反汇编并跟踪调试Windows引导执行流程,反利用Bootkit入侵思想,提出了新的利用PBD(pre-bootable driver)技术来做到优先启动的方案设计。利用该方案可以有效做到Anti-Bootkit优先启动,为其实施布控提供了可信的内核执行环境,从而为防范Bootkit提供了新的思路和技术参考。
- 李月锋周学海
- 关键词：反汇编
- 用于WCET静态分析的MIPS处理器建模方法研究被引量：3
- 2006年
- 为获得安全而紧致的WCET估计,需要考虑执行程序的目标处理器的体系结构特征.Cache、流水线等用于提高性能的技术已经广泛地应用于现代处理器中,如果在静态分析过程中不考虑它们带来的影响,必然会导致WCET过估计.以Petri网作为模型工具,以WCET分析为应用目标构造MIPS处理器的体系结构模型,该方法讨论了各种RISC处理器中常见的体系结构特征的抽象以及它们在Petri网模型中的表示方法.通过实验验证,指令序列在Petri网模型上的模拟执行时间与指令序列在DLXView模拟器上的测试结果具有一致性,表明构建处理器的体系结构Petri网模型是一种有效的指令序列执行时间的静态分析方法.
- 卞晓丰周学海
- 关键词：MIPSPETRI网
- 可重定向的周期精确模拟器生成环境研究被引量：2
- 2007年
- 针对嵌入式系统设计对模拟器生成环境可重定向性的要求,以及当今大多数生成环境多为功能级,而不支持周期级模拟的现状,本文提出了一个可重定向的周期精确模拟器的自动生成环境.通过体系结构描述语言xpADL对目标体系结构的组成和周期级行为进行描述,利用生成器和构件库完成了模拟器的生成.其中,xpADL的描述构架、生成器的分析机制和构件库中控制模拟框架的应用,使得与现有的生成环境相比,此环境在指令的周期级行为、流水线组织和流水化部件的模拟能力等方面均具有优势.实验部分完成了PISA和StrongARM两种体系结构的周期级模拟,并进行了针对加解密应用的流水线结构设计空间搜索的研究,证明了该环境的可重定向性和有效性.
- 余洁李曦周学海王志刚
- 关键词：体系结构描述语言
- 平台无关的访问控制框架研究与实现被引量：4
- 2010年
- 为了使开发的访问控制模块可以在不同的平台上实施,通过总结不同平台异同点以及现有安全系统中访问控制实现方法,抽象出访问控制机制对平台的依赖,设计了一个平台无关灵活的访问控制框架PIFAC,且已经被实施在Windows、Linux以及Rtems系统上。
- 胡大磊周学海
- 关键词：访问控制
- 基于部分重构技术的加密算法实现研究被引量：6
- 2007年
- 针对当前可重构计算技术在加密领域的应用中存在性能和资源占用量等方面的缺陷,提出了一种基于部分重构技术的加密算法实现方法.该方法利用Xilinx FPGA具有的基于模块的部分重构能力实现具有对合结构的块加密算法,有效解决了模块间的协同机制、通讯通道设计以及执行时序调整等关键问题.加密算法实现的对比实验验证了该方法的有效性.
- 王峰周学海陈艾罗赛
- 关键词：模块化设计
- 可配置的热点路径动态剖析器的硬件实现被引量：4
- 2009年
- 动态路径剖析技术能够在程序运行时识别其中频繁执行的代码块,从而指导程序的性能优化,在指令集扩展和动态二进制翻译等研究中都有着重要的应用。在对路径优化技术研究的基础上,提出一种适用于不同体系结构的简单高效的剖析器硬件实现方案(configurable hardware dynamic path profiler,CHDPP)。CHDPP能够与目标处理器低耦合地工作,通过识别程序中的分支指令来完成路径剖析并存储热点路径信息。实验结果表明,该方案在占用少量硬件资源的情况下能够高效地完成路径剖析,获得准确度高达94.1%的热点路径数和97.7%的热点路径相关信息。
- 张惠臻周学海纪金松陈香兰马宏星
- 关键词：可配置
- VMM下Guest OS进程级管理工具设计与实现
- 2010年
- 目前在虚拟监控器VMM(Virtual Machine Monitor)下还没有能高效方便地对GuestOS进程进行管理的工具。以VMM是Lguest,GuestOS是Linux为运行环境,实现了名为GPMU(Guest Processes Management Utilities)的VMM下GuestOS进程级的管理工具原型。GPMU在不改动GuestOS和对VMM性能影响尽可能小这两个前提下,通过直接在VMM中动态地按需获得GuestOS中进程描述符后对其操作来实现GuestOS进程级管理。实验结果表明GPMU的实现是正确有效的。还分析了GPMU的性能瓶颈并做了对应的优化,典型的管理操作时间缩短为原始实现中的41%,大幅提高了性能。
- 张纪胜陈香兰周学海
- 关键词：VMM虚拟机
- 商业管理信息系统支撑环境的构建被引量：6
- 2000年
- 文章从系统集成的角度，全面分析论证了设计商业管理信息系统的支撑环境时所涉及的实用技术，包括高速以太网配置，基于客户／服务器体系的数据库服务器和数据库管理系统的选型，数据库容错技术，数据分布技术，并给出了具体的实施方案。实际应用证明所提出的技术切实有效，获得了良好的效果。
- 李曦彭伟周学海蒋凡赵振西
- 关键词：管理信息系统计算机数据库
- 基于多段插值拟合的深度神经网络非线性层加速方法被引量：1
- 2023年
- 针对传统量化算法无法应用于非线性运算层的问题,本文提出了一种基于多段插值拟合的非线性层加速方法,利用插值表存储插值函数的参数,通过查表来计算得到非线性层的输出结果。使用本方法,可以在对非线性层进行有效加速的同时实现拟合误差可控。此外在硬件部署时,仅需要基础硬件指令支持,在边缘端和服务器都可以部署。实验结果表明,使用本文提出的多段插值方法拟合多种非线性层,可以取得平均1.44倍的加速效果。这种非线性层可以方便快捷地部署在图像分类、自然语言处理和机器翻译等多种任务模型上,并且每个模型对拟合精度有不同需求的情况下,均可以保证推理和训练精度损失小于0.5%。
- 黄一凡张欣支天张蕊张曦珊周学海
