×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
兰州理工大学 [3]
清华大学 [2]
心理研究所 [1]
内容类型
期刊论文 [3]
会议论文 [2]
学位论文 [1]
发表日期
2011 [1]
2010 [2]
2008 [2]
2006 [1]
学科主题
Cognitive ... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共6条,第1-6条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Eye movement guidance in Chinese reading: Is there a preferred viewing location?
期刊论文
VISION RESEARCH, 2011, 卷号: 51, 期号: 10, 页码: 1146-1156
作者:
Li, Xingshan
;
Liu, Pingping
;
Rayner, Keith
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2015/06/26
Eye movements
Reading
Chinese reading
密钥交换协议IKEv2的分析与改进
期刊论文
2010, 2010
张朝东
;
徐明伟
;
ZHANG Chaodong
;
XU Mingwei
收藏
  |  
浏览/下载:6/0
Analysis and improvements of the IKEv2 protocol
期刊论文
2010, 2010
Zhang Chaodong
;
Xu Mingwei
收藏
  |  
浏览/下载:8/0
Modeling and verification of SCTP association management based on colored Petri Nets
会议论文
Guangzhou, China, August 3, 2008 - August 4, 2008
作者:
Wang, Jizeng
;
Zhang, Shengcai
;
Chen, Fan
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2020/11/15
Petri nets
Colored Petri Nets
Coloured Petri Nets
Formal model
Internal consistency
Modeling and verifications
Reliable transport protocol
Request for comments
Stream control
Modeling and Verification of SCTP Association Management Based on Colored Petri Nets
会议论文
作者:
Wang, Jizeng
;
Zhang, Shengcai
;
Chen, Fan
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2019/11/15
SCTP关联管理的有色Petri网建模与分析
学位论文
: 兰州理工大学, 2006
作者:
张生财
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2020/11/05
形式化描述
协议验证
有色Petri网
流控制传输协议
状态空间
仿真
©版权所有 ©2017 CSpace - Powered by
CSpace