中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [5]
自动化研究所 [2]
计算技术研究所 [1]
心理研究所 [1]
沈阳自动化研究所 [1]
采集方式
OAI收割 [10]
内容类型
期刊论文 [5]
会议论文 [3]
学位论文 [2]
发表日期
2023 [1]
2008 [2]
2006 [1]
2005 [2]
2004 [1]
2003 [2]
更多
学科主题
筛选
浏览/检索结果:
共10条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
发表日期升序
发表日期降序
题名升序
题名降序
作者升序
作者降序
Impact of feedback content on dangerous driving behaviours based on the triangle model of responsibility
期刊论文
OAI收割
Transportation Research Part F: Traffic Psychology and Behaviour, 2023, 卷号: 93, 页码: 1-10
作者:
Yan Ge
;
Xiaohui Luo
;
Weina Qu
  |  
收藏
  |  
纯公钥模型下对NP语言的高效并发零知识证明系统
期刊论文
OAI收割
软件学报, 2008, 卷号: 19, 期号: 2, 页码: 468-478
邓燚
;
林东岱
  |  
收藏
  |  
resettable zero knowledge with concurrent soundness in the bare public-key model under standard assumption
会议论文
OAI收割
3rd SKLOIS Conference on Information Security and Cryptology, Xining, PEOPLES R CHINA, AUG 31-SEP
Deng Yi
;
Lin Dongdai
  |  
收藏
  |  
model checking data consistency for cache coherence protocols
期刊论文
OAI收割
Springer New York LLC, 2006, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775
Pan Hong
;
Lin Huimin
;
Lv Yi
  |  
收藏
  |  
VFSim: Concurrent fault simulation at register transfer level
期刊论文
OAI收割
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 2, 页码: 175-186
作者:
Shen, L
  |  
收藏
  |  
extended symbolic transition graphs with assignment
会议论文
OAI收割
29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28,
Deng WJ
;
Lin HM
  |  
收藏
  |  
基于同时设计的柔性机械臂系统建模和控制优化
学位论文
OAI收割
工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2004
作者:
肖志权
收藏
  |  
模型检测新技术研究
期刊论文
OAI收割
计算机科学, 2003, 卷号: 30, 期号: 5, 页码: 102-104
戎玫
;
张广泉
  |  
收藏
  |  
The research of product CDMS models for overall lifecycle over Internet
会议论文
OAI收割
3rd International Conference on Electronic Commerce Engineering, HANGZHOU, China, October 24-27, 2003
作者:
Li HY(李海越)
;
Ma MX(马明旭)
;
Zhang WL(张闻雷)
;
Wang CE(王成恩)
收藏
  |  
离散事件动态系统的PN机理论与方法研究
学位论文
OAI收割
工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1995
作者:
蒋昌俊
收藏
  |