国家教育部博士点基金(20050358040)
- 作品数：29 被引量：104H指数：5
- 相关作者：周学海李曦龚育昌王志刚余洁更多>>
- 相关机构：中国科学技术大学大连理工大学安徽建筑工业学院更多>>
- 发文基金：国家教育部博士点基金安徽省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术电子电信交通运输工程机械工程更多>>
- 一种用于可重构计算系统的离线布局算法被引量：2
- 2008年
- 为在编译过程中估计程序在可重构器件上的执行时间,进而进行软硬件代码划分,需要将程序中所有基本块映射到可重构器件上,然后使用逻辑综合或其他方法计算其硬件执行时间,为此提出一个离线布局算法完成基本块的映射工作,同时使用基于IP核的代码转换机制完成从基本块数据流图到布局算法所需任务图的转换.实验结果表明,虽然布局算法的结果是局部最优解,同Xilinx ISE中的布局器相比,生成电路的最大工作频率平均低6.891%,面积大4.016%,但布局过程所需时间缩短了5个数量级,从而极大地减少了整个编译过程所需时间.
- 沈英哲周学海
- 关键词：可重构计算
- 一种利用部分重构技术实现DES算法的方法被引量：1
- 2007年
- 针对当前利用可重构计算技术实现DES算法的方法中存在重构性能低和资源占用量大等缺陷,提出了一种利用基于模块的部分重构技术实现DES算法的方法.该方法利用DES具有的对合结构特性进行算法的模块划分,解决了算法部分重构时的模块间通讯和时序调整等关键问题.通过对DES算法的不同实现方案进行对比,验证了该方法的可行性和有效性.
- 王峰周学海陈艾李曦
- 关键词：模块化设计
- 一种数据驱动的可重构计算统一编程模型被引量：7
- 2007年
- 可重构计算以其优异的性能和高度的灵活性,在国际国内研究领域逐渐引起广泛的关注.然而,在研的可重构计算系统架构多种多样,编程模型多与体系结构相关,使用和移植都非常困难.本文为解决编程通用性问题,从可重构计算的基本特征出发,提出数据驱动的,支持异构任务并行计算的统一编程模型,并讨论其实现方法.该模型基于生产者.消费者通讯机制,支持多种类型的计算结点和通讯网络,具有高度的抽象性.实验结果显示,使用统一编程模型进行应用设计,在不同的架构上能够使用同样的用户程序,并且获得比纯硬件加速方式更高的加速比.
- 周学海罗赛王峰齐骥
- 关键词：可重构计算编程模型
- 一种用于可重构计算系统的软硬件划分算法被引量：3
- 2009年
- 在编译过程中,为了对运行于可重构计算系统上的应用程序自动地进行软硬件划分,提出一种基于模拟退火和链式调度的划分算法,该算法将程序的划分和调度结合起来,采用软硬件协同工作的方式,利用系统中微处理器核与可重构硬件之间的并行性加速程序的执行,同时在调度过程中,通过配置预取减少系统的重构开销.实验结果表明,相对于现有软硬件自动划分方法,该算法可以平均减少25%左右的程序执行时间.
- 沈英哲周学海
- 关键词：可重构计算软硬件划分模拟退火
- 一种针对可执行代码的内存泄漏静态分析方案被引量：3
- 2009年
- 针对应用程序安全分析的实际需求,设计并实现了一个针对可执行代码的内存泄漏分析框架MLAB.MLAB首先从可执行代码中恢复控制流和数据流信息,依据恢复的控制流图建立程序的有限状态自动机,在此基础上运用模型检测算法分析程序可能存在的内存泄漏.利用几个典型的程序实例详细说明了MLAB方法的工作原理,并通过基于测试程序集MiBench的实验对方法进行了验证,结果说明了该方法的有效性.
- 龚育昌胡燕张晔赵振西
- 关键词：可执行代码内存泄漏
- OSEK/VDX标准的车载嵌入式操作系统内核的结构与设计方法被引量：3
- 2009年
- OSEK/VDX标准在汽车电子领域有着广泛的应用。该标准仅仅规定了OSEK操作系统的系统行为以及相关接口功能,并未涉及其具体实现,因此研究基于OSEK标准的嵌入式操作系统结构与设计方法有着重要意义。在深入分析OSEK操作系统标准的基础上,给出了基于OSEK操作系统标准的车载嵌入式操作系统内核OSEKernel的结构。介绍OSEKernel中ECC2和BCC2一致类的任务调度、警报与计数器、第二类中断的设计方法,以及降低RAM消耗的任务堆栈优化方法,最终在x86平台下实现了OS-EKernel的原型。
- 冯小天陈香兰李曦
- 关键词：嵌入式操作系统
- 一种基于向导的Web应用框架设计与实现被引量：3
- 2009年
- 介绍当前流行的Web应用框架及其在状态维护上的不足,提出一种新的上下文。在此基础上设计了基于向导的Web应用框架并给出Java平台下的参考实现,通过实例表明细粒度的上下文管理机制很好地满足了实际应用中的需求。
- 吴亮周学海胡楠刘毅
- 关键词：WEB应用框架
- 服务组合中一种服务组合路径优化方法研究被引量：3
- 2008年
- 在大规模网络环境下的服务组合路径研究中,服务组合路径长度总是大于服务组合中服务的个数.然而,在服务密集分布、节点间网络距离近似相等的环境下,这个结论不再成立.此时,服务组合路径长度服务组合中的服务路径选择问题的关键在于如何在不影响负载平衡的前提下,选择合适的服务节点,使服务组合能连续使用部署在同一节点上的服务资源,以减少路由次数.为此引入了保持因子和匹配长度因子这两个参数来调整服务节点的选择算法,并通过模拟实验分析了这两个参数对负载平衡和服务路径长度的影响,最后给出这两个参数的选择策略和选择方法.
- 陈香兰李曦龚育昌
- 关键词：服务路由负载平衡局域网
- 可重定向的周期精确模拟器生成环境研究被引量：2
- 2007年
- 针对嵌入式系统设计对模拟器生成环境可重定向性的要求,以及当今大多数生成环境多为功能级,而不支持周期级模拟的现状,本文提出了一个可重定向的周期精确模拟器的自动生成环境.通过体系结构描述语言xpADL对目标体系结构的组成和周期级行为进行描述,利用生成器和构件库完成了模拟器的生成.其中,xpADL的描述构架、生成器的分析机制和构件库中控制模拟框架的应用,使得与现有的生成环境相比,此环境在指令的周期级行为、流水线组织和流水化部件的模拟能力等方面均具有优势.实验部分完成了PISA和StrongARM两种体系结构的周期级模拟,并进行了针对加解密应用的流水线结构设计空间搜索的研究,证明了该环境的可重定向性和有效性.
- 余洁李曦周学海王志刚
- 关键词：体系结构描述语言
- 一种混合式内存泄漏静态检测方法被引量：4
- 2008年
- 内存泄漏是导致系统性能降低的重要问题.提出一种基于模型检测算法的内存泄漏静态检查方法TMC.该方法依据程序的控制流图构建对应于程序执行的有限状态自动机,进而在此基础上应用模型检测算法分析程序中可能存在的内存泄漏.论文利用几个典型的程序实例详细说明了TMC的工作原理,并通过基于内存操作密集的测试程序集PtrDist的实验对TMC进行了验证.实验结果表明,TMC能够显著提升内存泄漏分析的精度.
- 胡燕龚育昌孙伟峰赵振西
- 关键词：内存泄漏别名分析自动机
