中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [6]
沈阳自动化研究所 [3]
采集方式
OAI收割 [9]
内容类型
期刊论文 [6]
学位论文 [3]
发表日期
2015 [1]
2006 [3]
2003 [1]
2002 [1]
2001 [2]
1997 [1]
更多
学科主题
筛选
浏览/检索结果:
共9条,第1-9条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于树状线性规划搜索的单调速率优化设计
期刊论文
OAI收割
软件学报, 2015, 卷号: 26, 期号: 12, 页码: 3223-3241
陈力
;
王永吉
;
吴敬征
;
吕荫润
  |  
收藏
  |  
浏览/下载:40/0
  |  
提交时间:2016/12/09
实时系统
单调速率
最优化
搜索算法
线性规划
可满足性模定理
实时系统调度优化理论及方法研究
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院研究生院, 2006
刘军祥
  |  
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2011/03/17
实时系统
速率单调
可调度性判定
利用率上界
逻辑“或”
最优化设计
非线性规划
进程调度
调度空间
过载
能耗管理
基于逻辑"或"约束优化的实时系统设计
期刊论文
OAI收割
软件学报, 2006, 卷号: 17, 期号: 7, 页码: 1641-1649
刘军祥
;
王永吉
;
王源
;
邢建生
;
曾海涛
  |  
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2010/08/17
标准约束优化问题
不等式约束
分支定界法
混合布尔型整数规划
单调速率(RM)
SCOP (standard constrained optimization problem)
inequality constraint
branch and bound algorithm
mixed Boolean-integer programming (MBP)
RM (rate monotonic)
基于逻辑“或”约束优化的实时系统设计
期刊论文
OAI收割
软件学报, 2006, 期号: 7, 页码: 1641-1649
刘军祥
;
王永吉
;
王源
;
邢建生
;
曾海涛
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2011/07/13
标准约束优化问题
不等式约束
分支定界法
混合布尔型整数规划
单调速率(RM)
RFRTOS-基于Linux的QoS实时操作系统
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003
赵慧斌
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/03/17
实时操作系统
优先级反转
优先级继承协议
优先级冲顶协议
速率单调
互斥锁
信号量
资源核心
非独占互斥锁
时钟管理
资源预留
FF现场总线系统中实时任务的建模与调度
期刊论文
OAI收割
信息与控制, 2002, 卷号: 31, 期号: 4, 页码: 289-294
作者:
于海斌
;
王天然
;
周悦
;
苑明哲
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2010/11/29
实时
任务
通信超时
紧凑模式
作业速率单调
扩展单调速率算法及在FF调度时间表构建中的应用
期刊论文
OAI收割
信息与控制, 2001, 卷号: 30, 期号: 5, 页码: 418-421
作者:
于海斌
;
周悦
;
王智
;
王天然
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2010/11/29
Ff现场总线
实时通信
调度时间表
松弛时间
扩展单调速率算法
一种构建WorldFIP扫描变量表的方法
期刊论文
OAI收割
沈阳建筑工程学院学报(自然科学版), 2001, 卷号: 17, 期号: 3, 页码: 235-238
作者:
周悦
;
王天然
;
周迎春
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2010/11/29
Worldfip现场总线
实时通信
扫描变量表
扩展单调速率
实时调度算法研究
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 1997
何军
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/03/17
实时系统
实时调度
周期任务
非周期任务
速率单调算法
最后期限驱动算法
带宽保留算法
可延缓时间