×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [2]
大连理工大学 [2]
上海大学 [1]
暨南大学 [1]
沈阳自动化研究所 [1]
软件研究所 [1]
更多...
内容类型
期刊论文 [5]
学位论文 [2]
会议论文 [1]
发表日期
2021 [1]
2019 [1]
2016 [1]
2014 [2]
2012 [1]
2010 [2]
更多...
学科主题
计算机科学技术::计... [1]
计算机科学技术::计... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共8条,第1-8条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
时间敏感网络流量调度算法研究
学位论文
沈阳: 中国科学院沈阳自动化研究所, 2021
作者:
李庆
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2021/06/12
时间敏感网络
流量调度
基本周期
可满足性模理论
增量调度算法
线性析取约束优化算法理论与应用研究
学位论文
博士, 北京: 中国科学院大学, 2019
作者:
吕荫润
收藏
  |  
浏览/下载:43/0
  |  
提交时间:2019/06/12
析取规划
优化模理论
可满足性模理论
约束优化
线性规划
单纯形方法
基于时间自动机的嵌入式软件压缩与验证
期刊论文
计算机工程与设计, 2016, 卷号: 37, 页码: 1217-1223
作者:
任龙涛
;
张超
;
崔磊
;
魏理豪
;
周宽久
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/09
时间自动机
模型验证
嵌入式软件
状态空间压缩
可满足性模理论
基于 Craig 插值的线性混成系统符号化模型检测
期刊论文
电子学报, 2014, 卷号: 42, 页码: 1338-1346
作者:
Chen, Zu-Xi[1]
;
Xu, Zhong-Wei[2]
;
Huo, Wei-Wei[3]
;
Yu, Gang[4]
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/04/30
Craig 插值
可满足性模理论
线性混成自动机
符号模型检验
混成系统
基于时间Petri网的嵌入式系统中断建模与验证
期刊论文
计算机科学, 2014, 卷号: 41, 页码: 205-209,219
作者:
周宽久
;
常军旺
;
侯刚
;
任龙涛
;
王小龙
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/09
中断建模
有界模型检测
时间自动机
可满足性模理论
时间Petri网
基于限界模型检查的Web服务行为失配检测
期刊论文
2012, 卷号: 39, 期号: 6, 页码: 129
作者:
戎玫[1]
;
陈圣标[2]
;
张广泉[2,3]
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/17
限界模型检查
Web服务
行为失配检测
可满足性模理论
RTL验证中的混合可满足性求解
会议论文
第四届中国测试学术会议论文集, 第四届中国测试学术会议, 中国河北秦皇岛北戴河, CNKI, 中国计算机学会容错计算专业委员会
邓澍军
;
吴为民
;
边计年
;
Deng Shujun
;
Wu Weimin
;
Bian Jinian
收藏
  |  
浏览/下载:3/0
RTL验证中的混合可满足性求解
期刊论文
2010, 2010
邓澍军
;
吴为民
;
边计年
;
Deng Shujun
;
Wu Weimin
;
Bian Jinian
收藏
  |  
浏览/下载:1/0
©版权所有 ©2017 CSpace - Powered by
CSpace