【摘 要】
：
固定优先级任务可调度性判定是实时系统调度理论研究的核心问题之一.目前已有的各种判定方法可归结为两大类:多项式时间调度判定和确切性判定.多项式时间调度判定通常采用调
【机 构】
：
中国科学院,中国科学院,DepartmentofMechanicalEngineering
【基金项目】
：
中国科学院资助项目，中国科学院"百人计划"，中国科学院国际合作项目，教育部留学回国人员科研启动基金，国家高技术研究发展计划(863计划)
论文部分内容阅读
固定优先级任务可调度性判定是实时系统调度理论研究的核心问题之一.目前已有的各种判定方法可归结为两大类:多项式时间调度判定和确切性判定.多项式时间调度判定通常采用调度充分条件来进行,为此,许多理想条件下基于RM(rate monotonic)调度算法的CPU利用率最小上界被提了出来.确切性判定利用RM调度的充要条件,保证任何任务集均可被判定,并且判定结果是确切的.但是由于时间复杂度较差,确切性判定方法难以实现在线分析.提出了一种改进的RM可调度性判定方法(improved schedulability te
其他文献
文学史的写作并不仅仅是撰写者个人文学观念的外化，同时也是所属的社会群体的价值规范、情感诉求和政治意识博弈的结果，通过对民族文学史的分析与整合，分析少数民族文学史编写过
促进性别平等,有利于维护社会公共利益,实现男女共同发展,是我国全面建成小康社会的题中应有之义,有助于构建社会主义和谐社会。以科学发展观作为我国公共政策的价值诉求;以
奥林巴斯μ720SW会聚高像素、时尚机身，以及1．5M防震与3M防水与一身．让人眼前一亮。
对口支援新疆政策在根本上是为了解决我国东西部地区经济发展不平衡的政策性安排；是在全国一盘棋思路的指引下，运用法制进行利益分配的政治举措。树立法制理念是新疆发展的重要
三星X210L完美继承三星闪存技术的强大优势，融合了数码相机、数码摄像机、MP3播放器、数码录音笔、移动硬盘和网络摄像头等功能．真正实现轻薄和丰富娱乐功能的和谐统一，三星闪存
Netac朗科在北京隆重发布了又一款车载MP3——A200。据悉，朗科A200是朗科首款车载MP3——A100的升级之作，与之相比，A200增加了视频播放功能，拥有26万色的1．8英寸OLED全彩显示屏。
新疆绿洲城镇现代化面临的挑战：城镇规模小,产业结构水平低;城镇布局不合理;城市首位度过高。推进绿洲城镇现代化的对策建议有：积极探索符合新疆实际的新型城镇化路径;坚持以人
优派的显示器产品在国内可谓是尽人皆知了。它以自身产品优良的性能与质量赢得了众多消费者的青睐．如今。优派产品也随着时代潮流开始开拓数码产品．MP3是其新推出的一系列产品
三星Anypro是去年刚刚出现的一个键鼠品牌，其主要产品火、水、圣等多个系列的套装产品已经被广大消费者认可．为了满足用户的不同需要，三星又推出了水平键、“风之絮语”鼠标等单