胡潇
- 作品数：9 被引量：6H指数：2
- 供职机构：中国科学技术大学更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金更多>>
- 相关领域：自动化与计算机技术医药卫生更多>>
- 面向实时动态调度的代码插装方法
- 2006年
- 利用代码插装完成实时任务对自身剩余最长执行时间的运行时自我预估,以满足实时动态调度领域的相关需要.该方法以全面的、规范的相关性分析为基础,构建形式化模型,简洁一致地刻画程序的控制流和相关性;提出了一种高效的预估点代码生成算法;并给出了权衡预估精度和运行时开销的若干优化实现技术.
- 胡潇李曦雷霆龚育昌
- 关键词：代码插装编译器
- 一种新的静态优先级在线节能调度算法被引量：1
- 2006年
- 合理运用动态电压调整技术可有效降低嵌入式实时系统能耗.针对静态优先级实时调度,提出了一种能够有效分析松弛时间并尽可能平衡分配松弛时间的在线节能调度算法TPSRM.设计了一种两段式频率执行策略来改变任务执行时间的分配,能充分在线分析各种形式的松弛时间.通过尽可能合理降低高优先级任务的处理器执行频率来实现有效的在线频率调整.实验结果表明TPSRM算法可实现较好的节能效果.
- 雷霆胡潇周学海
- 关键词：低功耗实时系统调度算法动态电压调整静态优先级
- 基于时间Petri网的实时系统低能耗高层综合被引量：2
- 2006年
- 以时间Petri网为模型,验证系统功能性和实时性,在此基础上,提出了一种由子任务的能耗变化率驱动的启发式能耗优化算法,并针对一类特殊形式的网模型———可组合时间Petri网,设计了相应的简化算法·实验说明,上述算法时间复杂度低,且优化效果接近最优值,能够为实时系统低能耗高层综合提供有力支持·
- 胡潇李曦龚育昌
- 关键词：时间PETRI网系统级设计
- 系统级能耗优化的实时电压调度方法研究被引量：1
- 2006年
- 如何在满足实时性要求的前提下尽可能降低系统能耗,已成为目前实时系统设计面临的新挑战。针对动态优先级节能调度研究存储器操作的系统级能耗优化问题。通过设计线性整数规划模型提出了实现离线节能调度的SYS-SEDF算法,并分析临界频率及其计算方法,进而提出了应用于在线节能调度的SYS-CCEDF算法和SYS-LAEDF算法。实验表明,SYS-DVS系列算法可较好地降低系统级能耗。
- 雷霆胡潇周学海
- 关键词：实时系统调度算法低功耗
- 分布式实时系统能耗优化设计方法研究
- 本论文将能耗优化引入整个设计过程中，全面考察了底层硬件节能机制在各个设计步骤中的有效应用，提出了一套较为完整的分布式实时系统能耗优化设计理论和实现技术。
本文以形式化可调度性验证为基础，从权衡设计效率和能耗优化...
- 胡潇
- 关键词：实时系统资源分配
- 文献传递
- 一种新的基于动态电压调整的单任务调度方法被引量：2
- 2005年
- 合理运用动态电压调整技术可以有效降低实时任务运行所需的能耗.提出了一种新的单任务DV S调度方法,针对程序的平均执行信息,并结合参数化动态预测策略,合理设置电压/频率调整点.实验结果表明,该方法能够充分利用动态松弛时间,有效控制调整开销,实现较高的能耗优化率.
- 雷霆胡潇李曦周学海
- 关键词：低能耗
- 高尔基体靶向的双色点亮型荧光探针用于弗林蛋白酶的空间精准成像
- 癌症是世界上最主要的死亡原因之一。癌症的早期精确诊断对于降低癌症导致的死亡率至关重要。临床上对癌症的诊断主要依靠细胞和组织形态学分析，以及癌症相关生物标志物的检测（例如，与癌症各个时期相关的酶、蛋白质和代谢物）。但是，在...
- 胡潇
- 关键词：癌症诊断荧光探针高尔基体
- 文献传递
- 实时低能耗动态调度的编译支持技术研究
- 2006年
- 面向实时低能耗调度中对任务的剩余最大周期数的运行时预估需求,全面分析基本块间相关性(尤其是值依赖约束)对程序执行路径的影响,提出了一种自适应预估代码的高效生成方法,并给出了权衡预估精度和开销的优化实现技术.
- 胡潇雷霆龚育昌
- 关键词：实时控制
- 分布式实时系统的低能耗资源分配方法研究被引量：1
- 2006年
- 针对基于动态电压调整技术的调度算法在任务切换时大幅度的频率调整给系统带来较多的额外能耗这一问题,提出了一种均匀化任务利用率的启发式资源分配方法。该方法选用时间Petri网对分布式实时系统建模,并根据时间Petri网状态空间的变化规律,简化系统状态空间的生成过程,提高了资源分配算法的实现效率。实验表明,上述方法能够降低目标系统频率调整带来的系统能耗开销。
- 陈艾胡潇周学海龚育昌
- 关键词：分布式实时系统资源分配时间PETRI网动态电压调整
