您的位置: 专家智库 > >

邢建生

作品数:4 被引量:25H指数:3
供职机构:中国科学院软件研究所更多>>
发文基金:The Royal Society中国科学院“百人计划”国家自然科学基金更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 3篇期刊文章
  • 1篇学位论文

领域

  • 4篇自动化与计算...

主题

  • 2篇调度
  • 2篇实时系统
  • 2篇RM
  • 1篇等式约束
  • 1篇调度算法
  • 1篇性价比
  • 1篇优先级分配
  • 1篇实时调度
  • 1篇实时调度算法
  • 1篇静态优先级
  • 1篇可调度性
  • 1篇可调度性判定
  • 1篇分支定界法
  • 1篇不等式约束

机构

  • 4篇中国科学院软...
  • 1篇中国科学院研...

作者

  • 4篇邢建生
  • 3篇刘军祥
  • 3篇王永吉
  • 2篇曾海涛
  • 1篇王源

传媒

  • 2篇软件学报
  • 1篇计算机研究与...

年份

  • 2篇2007
  • 1篇2006
  • 1篇2005
4 条 记 录,以下是 1-4
排序方式:
基于逻辑“或”约束优化的实时系统设计被引量:4
2006年
标准约束优化问题的等式或不等式约束之间是逻辑“与”关系,目前已经有很多高效、收敛的优化算法.但是,在实际应用中有很多更一般的约束优化问题,其等式或不等式约束之间不仅包含逻辑“与”关系,而且还包含逻辑“或”关系,现有的针对标准约束优化问题的各种算法不再适用.给出一种新的数学变换方法,把具有逻辑“或”关系的不等式约束转换为一组具有逻辑“与”关系的不等式,并应用到实时单调速率调度算法的可调度性判定充要条件中,把实时系统设计表示成混合布尔型整数规划问题,利用经典的分支定界法求解.实验部分指出了各种方法的优缺点.
刘军祥王永吉王源邢建生曾海涛
关键词:不等式约束分支定界法
实时系统静态优先级调度理论与优化设计研究
随着多媒体、嵌入式、移动计算、普适计算等计算机科学与技术的发展,实时系统的应用日趋广泛和复杂,这同时也对实时系统理论提出了许多新的需求。静态优先级调度理论被实时计算标准和商业操作系统广泛支持,同时也是实时系统中研究最充分...
邢建生
关键词:实时系统
RM及其扩展可调度性判定算法性能分析被引量:11
2005年
可调度性判定是实时调度算法的关键问题·单调速率算法RM(ratemonotonic)及其扩展是应用广泛的实时调度算法,大量文献讨论了实时任务在这些算法下的可调度性判定,给出了相应的判定算法·但迄今为止,对这些判定算法的性能分析都是理论上的定性分析或者只是少数几种判定算法之间的简单比较,这不利于实时系统的开发·归纳了RM及其扩展的可调度性判定算法,通过测试平台,系统地测试和分析了各算法的性能和适用场合,讨论了各种条件和实现方式对算法性能和可调度性的影响·
邢建生刘军祥王永吉
关键词:实时调度算法可调度性判定
一种静态最少优先级分配算法被引量:11
2007年
随着实时系统越来越多地应用于各种快速更新系统,尤其是各种片上系统,如PDA(personal digital assistant),PSP(play station portable)等,性价比已成为系统设计者的主要关注点.实际应用中,实时系统通常仅支持较少的优先级,常出现系统优先级数小于任务数的情况(称为有限优先级),此时,需将多个任务分配到同一系统优先级,RM(rate monotonic),DM(deadline monotonic)等静态优先级分配算法不再适用.为此,静态有限优先级分配是研究在任务集合静态优先级可调度的情况下,可否以及如何用较少或最少的系统优先级保持任务集合可调度.已有静态有限优先级分配可分为两类:固定数目优先级分配和最少优先级分配.给出了任意截止期模型下任务静态有限优先级可调度的充要条件以及不同静态有限优先级分配间转换时的几个重要性质,指出了系统优先级从低到高分配策略的优越性,定义了饱和任务组与饱和分配的概念,证明了在任务集合静态优先级可调度的情况下,最少优先级分配比固定数目优先级分配更具一般性.最后提出一种最少优先级分配算法LNPA(least-number priority assignment).与现有算法相比,LNPA适用范围更广,且复杂度较低.
邢建生王永吉刘军祥曾海涛NASRO Min-Allah
关键词:实时系统优先级分配性价比
共1页<1>
聚类工具0