×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [4]
软件研究所 [4]
光电技术研究所 [2]
沈阳自动化研究所 [2]
兰州理工大学 [1]
物理研究所 [1]
更多...
内容类型
会议论文 [8]
期刊论文 [8]
学位论文 [2]
SCI/SSCI论文 [1]
发表日期
2018 [1]
2016 [1]
2014 [3]
2013 [1]
2011 [2]
2010 [7]
更多...
学科主题
Communicat... [1]
Engineerin... [1]
半导体物理 [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共19条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Research and Implementation of SATA Protocol Link Layer Based on FPGA
会议论文
Nanjing, PEOPLES R CHINA, 2017-10-24
作者:
Liu Wen-long
;
Liu Xue-bin
;
Qiang Si-miao
;
Yan Peng
;
Wen Zhi-gang
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2018/07/05
Detector
Sata
Fpga
Link Layer
Designing and Modeling of Covert Channels in Operating Systems
期刊论文
IEEE TRANSACTIONS ON COMPUTERS, 2016, 卷号: 65, 期号: 6, 页码: 1706-1719
Lin, YQ
;
Malik, SUR
;
Bilal, K
;
Yang, QS
;
Wang, YJ
;
Khan, SU
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/12/09
Covert channels
high-level Petri Nets (HLPN)
operating systems
modeling and security
面向精准农业应用的家机导航关键技术研究
学位论文
博士: 中国科学院沈阳自动化研究所, 2014
作者:
高雷
收藏
  |  
浏览/下载:282/0
  |  
提交时间:2014/07/18
农机导航
转向控制
导航控制
ISO11783协议
运动预测模型
模糊自适应比例控制
Quantum cloning machines and the applications
期刊论文
PHYSICS REPORTS-REVIEW SECTION OF PHYSICS LETTERS, 2014, 卷号: 544, 期号: 3, 页码: 241
Fan, H
;
Wang, YN
;
Jing, L
;
Yue, JD
;
Shi, HD
;
Zhang, YL
;
Mu, LZ
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2015/04/14
Formal verification of fault-tolerant and recovery mechanisms for safe node sequence protocol
会议论文
Victoria, BC, Canada, May 13, 2014 - May 16, 2014
作者:
Zhou, Rui
;
Min, Rong
;
Yu, Qi
;
Li, Chanjuan
;
Sheng, Yong
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2020/11/15
Embedded systems
Formal verification
Model checking
Recovery
Safety engineering
Event-triggered
Fault tolerant systems
Protocol state machines
Recovery mechanisms
Safety critical systems
Sequence protocols
System robustness
Verification results
Fiber image transmission system base on FPGA
会议论文
Proceedings of the 2011 International Conference on Communication, Electronics and Automation Engineering: Advances in Intelligent Systems and Computing, 2013
作者:
Sun, Ke-Lin
;
Zhou, Wei-Chao
;
Wu, Qin-Zhang
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2016/11/24
Fiber image transmission system based on FPGA
期刊论文
American Journal of Engineering and Technology Research, 2011, 卷号: 11, 页码: 1178-1183
作者:
KE-LIN SUN
;
WEi-CHAO ZHOU
;
QIN-ZHANG WU
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2016/11/01
A dfsm-based protocol conformance testing and diagnosing method
期刊论文
Informatica, 2011, 卷号: 22, 期号: 3, 页码: 447-469
作者:
Zhang, Xinchang
;
Yang, Meihong
;
Geng, Guanggang
;
Luo, Wanming
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2019/05/09
Protocol conformance testing
Fault detection
Fault diagnosis
Dfsm model
基于MSC测试目的的协议互操作性测试生成
会议论文
2006年全国通信软件学术会议论文集, 2006年全国通信软件学术会议, 中国北京, CNKI, 中国通信学会
王之梁
;
吴建平
;
尹霞
;
施新刚
;
WANG Zhi-liang
;
WU Jian-ping
;
YIN Xia
;
SHI Xin-gang
收藏
  |  
浏览/下载:3/0
基于MSC测试目的的协议互操作性测试生成
期刊论文
2010, 2010
王之梁
;
吴建平
;
尹霞
;
施新刚
;
WANG Zhi-liang
;
WU Jian-ping
;
YIN Xia
;
SHI Xin-gang
收藏
  |  
浏览/下载:1/0
©版权所有 ©2017 CSpace - Powered by
CSpace