中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [3]
沈阳自动化研究所 [2]
采集方式
OAI收割 [5]
内容类型
期刊论文 [5]
发表日期
2015 [1]
2006 [2]
2001 [2]
学科主题
筛选
浏览/检索结果:
共5条,第1-5条
帮助
条数/页:
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, 卷号: 17, 期号: 7, 页码: 1641-1649
刘军祥
;
王永吉
;
王源
;
邢建生
;
曾海涛
  |  
收藏
  |  
浏览/下载:25/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)
扩展单调速率算法及在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现场总线
实时通信
扫描变量表
扩展单调速率