您的位置: 专家智库
>
资助详情 >
国家自然科学基金(60273042)
国家自然科学基金(60273042) 作品数:49 被引量:157 H指数:7 相关作者: 李曦 周学海 龚育昌 雷霆 王志刚 更多>> 相关机构: 中国科学技术大学 国家气象信息中心 更多>> 发文基金: 国家自然科学基金 安徽省自然科学基金 国家教育部博士点基金 更多>> 相关领域: 自动化与计算机技术 电气工程 更多>>
一种支持动态可重构系统的布局碎片量化方法 被引量:7 2007年 在可重构计算领域,布局硬件任务所产生的碎片是影响系统资源利用率和任务拒绝率的关键因素之一.本文提出了一种对布局碎片进行量化的方法QFOAC,该方法将每个已占用的可重构计算单元对总碎片量化值的贡献求和,得到可重构芯片布局碎片量化值.QFOAC方法对碎片的抽象准确直观,且运算时间复杂度为常数.实验表明,将QFOAC碎片量化方法应用于布局器,可显著提高芯片利用率,降低任务拒绝率,且基本不增加系统开销,适用于动态重构和实时系统. 龚育昌 齐骥 胡楠 王立刚关键词:可重构 部分可重构系统布局的一种新算法 被引量:4 2007年 针对动态部分可重构系统的瓶颈,即布局算法必须在保证运行速度的基础上,尽可能增加可重构芯片利用率的问题,提出了一种布局算法KVIT(keeping the vertexes information of tasks).其核心思想是尝试将新到达的硬件任务放置在已布局硬件任务的顶点处,并通过对可重构芯片内部计算单元进行编码迅速判断新任务是否可放置在该顶点.该算法的时间复杂度为O(N),N是可重构系统中当前运行的硬件任务的数目.仿真实验结果表明,KVIT算法的布局质量与现有的O(N2)时间复杂度布局算法基本一致,而其执行速度则明显高于已有算法. 龚育昌 齐骥 胡楠 王峰 王立刚关键词:可重构 调度 面向实时动态调度的代码插装方法 2006年 利用代码插装完成实时任务对自身剩余最长执行时间的运行时自我预估,以满足实时动态调度领域的相关需要.该方法以全面的、规范的相关性分析为基础,构建形式化模型,简洁一致地刻画程序的控制流和相关性;提出了一种高效的预估点代码生成算法;并给出了权衡预估精度和运行时开销的若干优化实现技术. 胡潇 李曦 雷霆 龚育昌关键词:代码插装 编译器 一种新的静态优先级在线节能调度算法 被引量:1 2006年 合理运用动态电压调整技术可有效降低嵌入式实时系统能耗.针对静态优先级实时调度,提出了一种能够有效分析松弛时间并尽可能平衡分配松弛时间的在线节能调度算法TPSRM.设计了一种两段式频率执行策略来改变任务执行时间的分配,能充分在线分析各种形式的松弛时间.通过尽可能合理降低高优先级任务的处理器执行频率来实现有效的在线频率调整.实验结果表明TPSRM算法可实现较好的节能效果. 雷霆 胡潇 周学海关键词:低功耗 实时系统 调度算法 动态电压调整 静态优先级 基于Windows CE系统的动态电压管理 2008年 基于W indows CE平台设计的动态电压管理框架提供了管理处理器运行状态的机制,其核心的电压管理驱动程序实现了对处理器运行频率的查询和设置等功能,为应用程序中实施动态电压调节优化策略提供了充分的支持,进一步降低了系统的能耗。 王爱峰 简大圣 李曦关键词:功耗优化 动态电压调节 WINDOWS 基于体系结构描述语言xpADL的ASIP设计方法的研究 随着ASIP(Application Specific Instruction Processor)的不断涌现,其设计方法学的研究成为一个热点,其中体系结构描述语言(ADL)驱动的设计流程受到越来越多的关注。在这种设计流... 余洁 周学海 李曦 高妍妍关键词:体系结构描述语言 ARM 专用指令集处理器(ASIP)行为级设计方法研究 被引量:5 2004年 由专用指令集处理器(ASIP)构成的片上系统(SoC)具有高效、灵活等优点。有效的ASIP行为级设计方法对于SoC设计具有重大意义。该文对ASIP行为级设计方法进行研究,提出了一种基于体系结构描述语言(ADL)的ASIP行为级设计方法,并介绍了基于该方法的可视化ASIP行为级设计平台xptools。 陈艾 周学海 李曦 王志刚 王峰关键词:专用指令集处理器 体系结构描述语言 基于Petri网的ASIP体系结构形式化建模方法研究 被引量:4 2006年 根据SOC(System on Ch ip)的软硬件协同设计的需求,针对A S IP体系结构空间搜索(DSE,D es ign Space Exp loration)问题,考虑复杂的流水线结构,提出了一种扩展的时序Petri网模型——PNP模型,该模型可以以简洁直观的形式精确有效地描述目标体系结构.文中给出了PNP模型的确切定义,并通过对一个流水化的体系结构进行形式化建模的实例展示了该模型的有效性. 朱赟 李曦 龚育昌 王志刚关键词:PETRI网 流水线 可配置的微体系结构级功耗评估器研究 2006年 功耗评估器是研究体系结构的重要工具,目前国内外已经有一些成熟的微体系结构级功耗评估器,但都仅仅面向单一的体系结构,或支持的功能部件较少,不利于进行全面的功耗分析。论文分析了现有的评估工具各自的优点与不足,设计了一个可配置的微体系结构级功耗评估器,并在Windows下编程实现。实验结果表明该功耗评估器具有可配置性好、适用范围较广的特点。 陈洵 周学海关键词:功耗评估 可配置 一种新型的构件化操作系统的内核设计 被引量:5 2009年 采用构件化模型是当前操作系统设计新的发展趋势.构件化操作系统设计的关键技术集中反映在其内核的设计与实现中.本文首先介绍已有的内核结构以及操作系统新的抽象——服务体/执行流模型(SEFM),进而介绍基于SEFM的构件化操作系统Minicore中内核(核心服务体)的设计技术.最后以实际的测试数据验证了所采用技术的有效性. 龚育昌 张晔 李曦 陈香兰关键词:构件化操作系统 端口