期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
10
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于命题投影时序逻辑的单调速率调度算法模型检测
被引量：
3
1
作者
田聪
段振华
《软件学报》
EI
CSCD
北大核心
2011年第2期211-221,共11页
提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMS)模型检测方法.该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调度系统建模,使用PPTL描述系...
提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMS)模型检测方法.该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调度系统建模,使用PPTL描述系统期望的性质,通过SPIN验证系统模型是否满足性质,从而得知一个任务组在RMS下是否可调度.同时,RMS算法控制下的任务调度系统的其他性质也可以得到验证.
展开更多
关键词
时序逻辑
模型检测
单调
速率
调度
算法
验证
实时系统
在线阅读
下载PDF
职称材料
混合实时事务的延期单调速率调度算法及其可调度性分析
被引量：
2
2
作者
刘云生
何冰
冉龙波
《计算机学报》
EI
CSCD
北大核心
2004年第3期289-294,共6页
对于含有实时和非实时两部分的混合实时应用 ,传统的单调速率调度算法 (RM)已不再适用 .为此 ,该文引入“混合实时事务”的概念 ,并针对这类事务提出一种延期单调速率调度算法 (DRM) ;着重分析了DRM算法对混合实时事务的可调度性 ;进行...
对于含有实时和非实时两部分的混合实时应用 ,传统的单调速率调度算法 (RM)已不再适用 .为此 ,该文引入“混合实时事务”的概念 ,并针对这类事务提出一种延期单调速率调度算法 (DRM) ;着重分析了DRM算法对混合实时事务的可调度性 ;进行了实验测试与性能分析比较 .结果表明 ,事务集中混合实时事务占的比例越高 ,混合事务中非实时子事务占的比例越大 ,该算法的CPU使用率阈值就越高 ,且在各种情况下 ,DRM算法与RM算法相比性能都更优 ,最低情况也与之一样 .
展开更多
关键词
实时数据库
事务处理
延期
单调
速率
调度
算法
可
调度
性分析
混合实时事务
在线阅读
下载PDF
职称材料
单调速率调度算法的改进
被引量：
3
3
作者
李学桥
梁爽
陈园
《郑州轻工业学院学报（自然科学版）》
CAS
2010年第6期29-32,共4页
针对经典的静态调度算法RM仅以任务的周期来决定优先级,容易导致某些周期较长且非常重要的任务错过截止期而无法调度的问题,提出一种新的静态调度算法——基于单调速率调度算法的改进算法(CPSS).该算法利用任务的运行时间和重要程度2个...
针对经典的静态调度算法RM仅以任务的周期来决定优先级,容易导致某些周期较长且非常重要的任务错过截止期而无法调度的问题,提出一种新的静态调度算法——基于单调速率调度算法的改进算法(CPSS).该算法利用任务的运行时间和重要程度2个参数计算得出任务的综合优先级,并将综合优先级通过分组的方式进行分类.理论分析和实验结果表明,该算法降低了任务的截止期错失率,可以更有效地调度实时任务.
展开更多
关键词
单调
速率
调度
算法
静态
调度
综合优先级
分组方式
实时任务
调度
在线阅读
下载PDF
职称材料
基于单调速率调度算法的μC/OS-II多任务周期的设计
被引量：
2
4
作者
石为人
欧国建
《计算机应用》
CSCD
北大核心
2007年第3期706-708,共3页
嵌入式实时操作系统μC/OS-II对于多任务调度采用让就绪表中优先级最高的任务总是处于运行状态,这种策略在周期性多任务的调度中存在着缺陷,可能使得任务的周期设计不当导致任务不能被调度。通过引入单调速率调度算法,在对多个任务设计...
嵌入式实时操作系统μC/OS-II对于多任务调度采用让就绪表中优先级最高的任务总是处于运行状态,这种策略在周期性多任务的调度中存在着缺陷,可能使得任务的周期设计不当导致任务不能被调度。通过引入单调速率调度算法,在对多个任务设计任务周期时予以分析,确定每个任务都能被调度。
展开更多
关键词
单调
速率
调度
算法
μC/OS-Ⅱ
多任务周期
可
调度
性判定
在线阅读
下载PDF
职称材料
改进的单调速率调度算法
被引量：
3
5
作者
刁承
虞慧群
《计算机科学与探索》
CSCD
2011年第6期562-568,共7页
实时系统中调度算法起着重要的作用。单调速率调度算法(rate monotonic algorithm,RM)是一种被广泛使用的调度算法,并且已被证明是一种最佳的静态优先级算法。传统的RM算法忽略上下文切换需要消耗的时间,针对此问题,提出了一种延迟抢占...
实时系统中调度算法起着重要的作用。单调速率调度算法(rate monotonic algorithm,RM)是一种被广泛使用的调度算法,并且已被证明是一种最佳的静态优先级算法。传统的RM算法忽略上下文切换需要消耗的时间,针对此问题,提出了一种延迟抢占的改进方法。该方法考虑了上下文切换消耗时间对调度算法的影响,可以减少低优先级任务不必要的频繁抢占。通过实验证明了该方法的有效性。
展开更多
关键词
实时系统
调度
算法
单调
速率
调度
算法
延迟抢占
单调
速率
调度
算法
在线阅读
下载PDF
职称材料
分布式实时系统任务调度算法的设计和实现
被引量：
2
6
作者
余科军
蒋毅
《中国测试技术》
2008年第6期69-72,共4页
针对分布式实时任务中容易引起的任务分配不合理及系统负载不平衡的情况,根据分布式实时任务多机执行的特点及分布式实时系统在同一结点上有多任务执行,提出了两级分布式系统结构下实时任务的调度策略:任务分配和任务调度。实验表明,在...
针对分布式实时任务中容易引起的任务分配不合理及系统负载不平衡的情况,根据分布式实时任务多机执行的特点及分布式实时系统在同一结点上有多任务执行,提出了两级分布式系统结构下实时任务的调度策略:任务分配和任务调度。实验表明,在任务分配阶段提出的算法可以更合理地平衡任务,在任务调度阶段采用的调度算法能够更好地完成任务的执行。
展开更多
关键词
分布式实时系统
任务分配
任务
调度
加权轮转
调度
算法
速率单调调度算法
在线阅读
下载PDF
职称材料
网络化运动控制系统的经典调度算法应用研究
被引量：
3
7
作者
赵维佺
李迪
+1 位作者
万加富
黄培灿
《计算机工程与应用》
CSCD
北大核心
2010年第29期63-68,79,共7页
网络化运动控制系统作为一类特殊的实时系统,其系统的性能与资源(处理器、网络)的调度密切相关,将实时调度理论应用于网络化运动控制系统非常必要。在对用于单处理器的经典实时调度算法(RM和EDF)以及网络调度的研究现状进行综述的基础上...
网络化运动控制系统作为一类特殊的实时系统,其系统的性能与资源(处理器、网络)的调度密切相关,将实时调度理论应用于网络化运动控制系统非常必要。在对用于单处理器的经典实时调度算法(RM和EDF)以及网络调度的研究现状进行综述的基础上,对网络调度和任务调度的异同点及网络调度的实现方法和应用技术进行了研究。最后,对RM和EDF两类调度算法在网络化运动控制系统中的应用及调度优化问题进行了仿真研究。
展开更多
关键词
网络化运动控制
调度
单调
速率
静态
调度
算法
(RM)
最早时限优先动态
调度
算法
(EDF)
在线阅读
下载PDF
职称材料
实时系统的多任务调度
被引量：
25
8
作者
刘怀
胡继峰
《计算机工程》
CAS
CSCD
北大核心
2002年第3期43-44,150,共3页
讨论了实时系统多任务的调度,对速率单调调度算法进行了改进,以便其能应用于具有非周期任务的实时系统,同时对系统的瞬时过载有一定的适应性。最后,给出了系统中任务可调度的条件。
关键词
实时系统
周期任务
非周期任务
速率单调调度算法
多任务
调度
操作系统
计算机
在线阅读
下载PDF
职称材料
实时多处理机系统BEST-FIT启发式容错调度
被引量：
8
9
作者
阳春华
计莉
+1 位作者
沈德耀
桂卫华
《计算机工程与科学》
CSCD
2003年第5期61-64,85,共5页
本文从有效利用资源的角度出发,提出了一种以最小化处理机数目为优化目标的Best-Fit启发式容错调度算法。该算法采用主/副版本备份技术和副版本的主动运行方式与被运行方式相结合的方法,将实时任务的主版本和副版本调度到不同处理机上运...
本文从有效利用资源的角度出发,提出了一种以最小化处理机数目为优化目标的Best-Fit启发式容错调度算法。该算法采用主/副版本备份技术和副版本的主动运行方式与被运行方式相结合的方法,将实时任务的主版本和副版本调度到不同处理机上运行;并且按照Best-Fit启发式策略为实时任务主版本寻找“最佳满足”处理机,使尽可能多的实时任务副版本以被动方式运行。算法既保证了系统的实时性和容错性,也节约了处理机。分析和仿真结果均证明了算法的有效性。
展开更多
关键词
实时多处理机系统
BEST-FIT
启发式容错
调度
算法
单调
速率
调度
算法
在线阅读
下载PDF
职称材料
上下位机监控系统中任务的随机优先级调度
被引量：
1
10
作者
向筱铭
华泽玺
刘明慧
《重庆理工大学学报（自然科学）》
CAS
2011年第8期71-74,共4页
针对上下位机监控系统中上位机端使用单调速率调度算法所遇到的低优先级任务不能被及时处理而超时重发,增加系统负载的现象,设计了基于随机数动态生成优先级的改进算法。该算法以单调速率调度算法所产生的优先级为基础,加入随机变化的...
针对上下位机监控系统中上位机端使用单调速率调度算法所遇到的低优先级任务不能被及时处理而超时重发,增加系统负载的现象,设计了基于随机数动态生成优先级的改进算法。该算法以单调速率调度算法所产生的优先级为基础,加入随机变化的部分。实验结果表明,该算法在一定程度上减少了低优先级任务超时的数量。
展开更多
关键词
上下位机监控系统
单调
速率
调度
算法
随机数
优先级
在线阅读
下载PDF
职称材料
题名
基于命题投影时序逻辑的单调速率调度算法模型检测
被引量：
3
1
作者
田聪
段振华
机构
西安电子科技大学计算理论与技术研究所
西安电子科技大学综合业务网理论及关键技术国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2011年第2期211-221,共11页
基金
国家自然科学基金(61003078
91018010
+4 种基金
60873018
60910004)
国家重点基础研究发展计划(973)(2010CB328102)
教育部博士点基金(200807010012)
中央高校基本科研业务费专项资金(JY10000903004)
文摘
提出了基于命题投影时序逻辑(propositional projection temporal logic,简称PPTL)的单调速率调度(rate monotonic scheduling,简称RMS)模型检测方法.该方法使用SPIN模型检测器的系统建模语言PROMELA为任务调度系统建模,使用PPTL描述系统期望的性质,通过SPIN验证系统模型是否满足性质,从而得知一个任务组在RMS下是否可调度.同时,RMS算法控制下的任务调度系统的其他性质也可以得到验证.
关键词
时序逻辑
模型检测
单调
速率
调度
算法
验证
实时系统
Keywords
temporal logic
model checking
rate monotonic scheduling algorithm
verification
real time system
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
混合实时事务的延期单调速率调度算法及其可调度性分析
被引量：
2
2
作者
刘云生
何冰
冉龙波
机构
华中科技大学计算机科学与技术学院
出处
《计算机学报》
EI
CSCD
北大核心
2004年第3期289-294,共6页
基金
国家自然科学基金 (6 0 0 730 4 5)
预研项目基金 (JW0 52 9)
"十五"预研项目基金 (J1 5.3.3)资助
文摘
对于含有实时和非实时两部分的混合实时应用 ,传统的单调速率调度算法 (RM)已不再适用 .为此 ,该文引入“混合实时事务”的概念 ,并针对这类事务提出一种延期单调速率调度算法 (DRM) ;着重分析了DRM算法对混合实时事务的可调度性 ;进行了实验测试与性能分析比较 .结果表明 ,事务集中混合实时事务占的比例越高 ,混合事务中非实时子事务占的比例越大 ,该算法的CPU使用率阈值就越高 ,且在各种情况下 ,DRM算法与RM算法相比性能都更优 ,最低情况也与之一样 .
关键词
实时数据库
事务处理
延期
单调
速率
调度
算法
可
调度
性分析
混合实时事务
Keywords
scheduling algorithm
deferred rate monotonic scheduling algorithm
hybrid real time transaction
schedulability analysis
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
单调速率调度算法的改进
被引量：
3
3
作者
李学桥
梁爽
陈园
机构
郑州轻工业学院计算机与通信工程学院
出处
《郑州轻工业学院学报（自然科学版）》
CAS
2010年第6期29-32,共4页
文摘
针对经典的静态调度算法RM仅以任务的周期来决定优先级,容易导致某些周期较长且非常重要的任务错过截止期而无法调度的问题,提出一种新的静态调度算法——基于单调速率调度算法的改进算法(CPSS).该算法利用任务的运行时间和重要程度2个参数计算得出任务的综合优先级,并将综合优先级通过分组的方式进行分类.理论分析和实验结果表明,该算法降低了任务的截止期错失率,可以更有效地调度实时任务.
关键词
单调
速率
调度
算法
静态
调度
综合优先级
分组方式
实时任务
调度
Keywords
rate-monotonic scheduling algorithm
static scheduling
integrated priority
classify by grouping
real-time task scheduling
分类号
TP316.2 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于单调速率调度算法的μC/OS-II多任务周期的设计
被引量：
2
4
作者
石为人
欧国建
机构
重庆大学自动化学院
出处
《计算机应用》
CSCD
北大核心
2007年第3期706-708,共3页
基金
重庆市科技攻关重点项目(CSTC2005BA2018)
文摘
嵌入式实时操作系统μC/OS-II对于多任务调度采用让就绪表中优先级最高的任务总是处于运行状态,这种策略在周期性多任务的调度中存在着缺陷,可能使得任务的周期设计不当导致任务不能被调度。通过引入单调速率调度算法,在对多个任务设计任务周期时予以分析,确定每个任务都能被调度。
关键词
单调
速率
调度
算法
μC/OS-Ⅱ
多任务周期
可
调度
性判定
Keywords
rate monotonic （RM） scheduling algorithm
μC/OS-Ⅱ
multitask period
-scheduling judgement
分类号
TP316.2 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
改进的单调速率调度算法
被引量：
3
5
作者
刁承
虞慧群
机构
华东理工大学计算机科学与工程系
出处
《计算机科学与探索》
CSCD
2011年第6期562-568,共7页
基金
国家自然科学基金No.60473055
60773094
上海市曙光计划No.07SG32~~
文摘
实时系统中调度算法起着重要的作用。单调速率调度算法(rate monotonic algorithm,RM)是一种被广泛使用的调度算法,并且已被证明是一种最佳的静态优先级算法。传统的RM算法忽略上下文切换需要消耗的时间,针对此问题,提出了一种延迟抢占的改进方法。该方法考虑了上下文切换消耗时间对调度算法的影响,可以减少低优先级任务不必要的频繁抢占。通过实验证明了该方法的有效性。
关键词
实时系统
调度
算法
单调
速率
调度
算法
延迟抢占
单调
速率
调度
算法
Keywords
real-time system
scheduling algorithm
rate monotonic algorithm （RM）
delay preemption rate monotonic algorithm
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
分布式实时系统任务调度算法的设计和实现
被引量：
2
6
作者
余科军
蒋毅
机构
四川教育学院信息技术学院
四川理工学院计算机科学系
出处
《中国测试技术》
2008年第6期69-72,共4页
文摘
针对分布式实时任务中容易引起的任务分配不合理及系统负载不平衡的情况,根据分布式实时任务多机执行的特点及分布式实时系统在同一结点上有多任务执行,提出了两级分布式系统结构下实时任务的调度策略:任务分配和任务调度。实验表明,在任务分配阶段提出的算法可以更合理地平衡任务,在任务调度阶段采用的调度算法能够更好地完成任务的执行。
关键词
分布式实时系统
任务分配
任务
调度
加权轮转
调度
算法
速率单调调度算法
Keywords
Distributed real-time systems
Task allocation
Task scheduling
Weighted round-robin （WRR） algorithm
Rate monotonic scheduling（RMS）algorithm
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
网络化运动控制系统的经典调度算法应用研究
被引量：
3
7
作者
赵维佺
李迪
万加富
黄培灿
机构
华南理工大学机械与汽车工程学院
东莞理工学院计算机学院
出处
《计算机工程与应用》
CSCD
北大核心
2010年第29期63-68,79,共7页
基金
国家自然科学基金(No.50575075)
东莞市科技计划项目基金(No.2008108101019)~~
文摘
网络化运动控制系统作为一类特殊的实时系统,其系统的性能与资源(处理器、网络)的调度密切相关,将实时调度理论应用于网络化运动控制系统非常必要。在对用于单处理器的经典实时调度算法(RM和EDF)以及网络调度的研究现状进行综述的基础上,对网络调度和任务调度的异同点及网络调度的实现方法和应用技术进行了研究。最后,对RM和EDF两类调度算法在网络化运动控制系统中的应用及调度优化问题进行了仿真研究。
关键词
网络化运动控制
调度
单调
速率
静态
调度
算法
(RM)
最早时限优先动态
调度
算法
(EDF)
Keywords
Networked Motion Control Systems（NMCS）
scheduling
Rate Monotonic（RM）
Earliest Deadline First（EDF）
分类号
TP302.7 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
实时系统的多任务调度
被引量：
25
8
作者
刘怀
胡继峰
机构
东南大学自动化研究所
云南民族学院化学系
出处
《计算机工程》
CAS
CSCD
北大核心
2002年第3期43-44,150,共3页
基金
国家攀登计划资助项目(970211017)
国家自然科学基金资助项目(69603004)
文摘
讨论了实时系统多任务的调度,对速率单调调度算法进行了改进,以便其能应用于具有非周期任务的实时系统,同时对系统的瞬时过载有一定的适应性。最后,给出了系统中任务可调度的条件。
关键词
实时系统
周期任务
非周期任务
速率单调调度算法
多任务
调度
操作系统
计算机
Keywords
Real-time systemPeriodic taskAperiodic taskRate-monotonic scheduling (RMS)
分类号
TP316.2 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
实时多处理机系统BEST-FIT启发式容错调度
被引量：
8
9
作者
阳春华
计莉
沈德耀
桂卫华
机构
中南大学信息科学与工程学院
出处
《计算机工程与科学》
CSCD
2003年第5期61-64,85,共5页
基金
国家863计划资助项目(863-511-945-014)
文摘
本文从有效利用资源的角度出发,提出了一种以最小化处理机数目为优化目标的Best-Fit启发式容错调度算法。该算法采用主/副版本备份技术和副版本的主动运行方式与被运行方式相结合的方法,将实时任务的主版本和副版本调度到不同处理机上运行;并且按照Best-Fit启发式策略为实时任务主版本寻找“最佳满足”处理机,使尽可能多的实时任务副版本以被动方式运行。算法既保证了系统的实时性和容错性,也节约了处理机。分析和仿真结果均证明了算法的有效性。
关键词
实时多处理机系统
BEST-FIT
启发式容错
调度
算法
单调
速率
调度
算法
Keywords
multiprocessor systems
real-time scheduling
fault-tolerance
best-fit heuristics
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
上下位机监控系统中任务的随机优先级调度
被引量：
1
10
作者
向筱铭
华泽玺
刘明慧
机构
西南交通大学信息科学与技术学院
西南交通大学电气工程学院
出处
《重庆理工大学学报（自然科学）》
CAS
2011年第8期71-74,共4页
基金
西南交通大学学位与研究生教育研究基金资助项目(2009YY03)
文摘
针对上下位机监控系统中上位机端使用单调速率调度算法所遇到的低优先级任务不能被及时处理而超时重发,增加系统负载的现象,设计了基于随机数动态生成优先级的改进算法。该算法以单调速率调度算法所产生的优先级为基础,加入随机变化的部分。实验结果表明,该算法在一定程度上减少了低优先级任务超时的数量。
关键词
上下位机监控系统
单调
速率
调度
算法
随机数
优先级
Keywords
master/slave monitoring system
rate monotonic scheduling
random number
priority
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于命题投影时序逻辑的单调速率调度算法模型检测
田聪
段振华
《软件学报》
EI
CSCD
北大核心
2011
3
在线阅读
下载PDF
职称材料
2
混合实时事务的延期单调速率调度算法及其可调度性分析
刘云生
何冰
冉龙波
《计算机学报》
EI
CSCD
北大核心
2004
2
在线阅读
下载PDF
职称材料
3
单调速率调度算法的改进
李学桥
梁爽
陈园
《郑州轻工业学院学报（自然科学版）》
CAS
2010
3
在线阅读
下载PDF
职称材料
4
基于单调速率调度算法的μC/OS-II多任务周期的设计
石为人
欧国建
《计算机应用》
CSCD
北大核心
2007
2
在线阅读
下载PDF
职称材料
5
改进的单调速率调度算法
刁承
虞慧群
《计算机科学与探索》
CSCD
2011
3
在线阅读
下载PDF
职称材料
6
分布式实时系统任务调度算法的设计和实现
余科军
蒋毅
《中国测试技术》
2008
2
在线阅读
下载PDF
职称材料
7
网络化运动控制系统的经典调度算法应用研究
赵维佺
李迪
万加富
黄培灿
《计算机工程与应用》
CSCD
北大核心
2010
3
在线阅读
下载PDF
职称材料
8
实时系统的多任务调度
刘怀
胡继峰
《计算机工程》
CAS
CSCD
北大核心
2002
25
在线阅读
下载PDF
职称材料
9
实时多处理机系统BEST-FIT启发式容错调度
阳春华
计莉
沈德耀
桂卫华
《计算机工程与科学》
CSCD
2003
8
在线阅读
下载PDF
职称材料
10
上下位机监控系统中任务的随机优先级调度
向筱铭
华泽玺
刘明慧
《重庆理工大学学报（自然科学）》
CAS
2011
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
