×
验证码:
换一张
忘记密码?
记住我
×
登录
中文版
|
English
中国科学院计算技术研究所机构知识库
Institute of Computing Technology, Chinese Academy IR
登录
注册
ALL
ORCID
题名
作者
学科领域
关键词
文献类型
出处
收录类别
出版者
发表日期
存缴日期
资助项目
学科门类
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
新闻&公告
在结果中检索
研究单元&专题
中国科学院计算技术... [19]
作者
叶新铭 [17]
李军 [10]
白翔宇 [7]
蒋海 [5]
刘靖 [3]
谢高岗 [3]
更多...
文献类型
期刊论文 [19]
发表日期
2021 [1]
2014 [1]
2012 [3]
2011 [1]
2010 [1]
2009 [1]
更多...
语种
英语 [19]
出处
内蒙古大学学报:自然... [4]
系统仿真学报 [3]
计算机科学 [3]
计算机学报 [2]
计算机工程 [2]
NETWORKING... [1]
更多...
资助项目
100 Talent... [1]
13th Five-... [1]
CAS Pionee... [1]
China Post... [1]
China Post... [1]
Fundamenta... [1]
更多...
收录类别
SCI [2]
资助机构
×
知识图谱
CSpace
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
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
排序方式:
请选择
作者升序
作者降序
WOS被引频次升序
WOS被引频次降序
提交时间升序
提交时间降序
期刊影响因子升序
期刊影响因子降序
题名升序
题名降序
发表日期升序
发表日期降序
Database Resources of the National Genomics Data Center, China National Center for Bioinformation in 2021
期刊论文
NUCLEIC ACIDS RESEARCH, 2021, 卷号: 49, 期号: D1, 页码: D18-D28
作者:
Xue, Yongbiao
;
Bao, Yiming
;
Zhang, Zhang
;
Zhao, Wenming
;
Xiao, Jingfa
;
He, Shunmin
;
Zhang, Guoqing
;
Li, Yixue
;
Zhao, Guoping
;
Chen, Runsheng
;
Song, Shuhui
;
Ma, Lina
;
Zou, Dong
;
Tian, Dongmei
;
Li, Cuiping
;
Zhu, Junwei
;
Gong, Zheng
;
Chen, Meili
;
Wang, Anke
;
Ma, Yingke
;
Li, Mengwei
;
Teng, Xufei
;
Cui, Ying
;
Duan, Guangya
;
Zhang, Mochen
;
Jin, Tong
;
Shi, Chengmin
;
Du, Zhenglin
;
Zhang, Yadong
;
Liu, Chuandong
;
Li, Rujiao
;
Zeng, Jingyao
;
Hao, Lili
;
Jiang, Shuai
;
Chen, Hua
;
Han, Dali
;
Yongbiao, Xue
;
Zhang, Tao
;
Kang, Wang
;
Qu, Jing
;
Zhang, Weiqi
;
Liu, Guang-Hui
;
Liu, Lin
;
Zhang, Yang
;
Niu, Guangyi
;
Zhu, Tongtong
;
Feng, Changrui
;
Liu, Xiaonan
;
Zhang, Yuansheng
;
Li, Zhao
;
Chen, Ruru
;
Li, Qianpeng
;
Hua, Zhongyi
;
Jiang, Chao
;
Chen, Ziyuan
;
He, Fangshu
;
Zhao, Yuyang
;
Jin, Yan
;
Huang, Luqi
;
Yuan, Yuan
;
Zhou, Chenfen
;
Xu, Qingwei
;
He, Sheng
;
Ye, Wei
;
Cao, Ruifang
;
Wang, Pengyu
;
Ling, Yunchao
;
Yan, Xing
;
Wang, Qingzhong
;
Du, Qiang
;
Zong, Wenting
;
Kang, Hongen
;
Xiong, Zhuang
;
Huan, Wendi
;
Zhang, Sirui
;
Xia, Qiguang
;
Fan, Xiaojuan
;
Wang, Zefeng
;
Chen, Xu
;
Chen, Tingting
;
Zhang, Sisi
;
Tang, Bixia
;
Dong, Lili
;
Zhang, Zhewen
;
Wang, Zhonghuang
;
Kang, Hailong
;
Wang, Yanqing
;
Wu, Song
;
Wang, Honggen
;
Chen, Ming
;
Liu, Chang
;
Xiong, Yujia
;
Shao, Xueying
;
Li, Yanyan
;
Zhou, Honghong
;
Chen, Xiaomin
;
Zheng, Yu
;
Kang, Quan
;
Hao, Di
;
Zhang, Lili
;
Luo, Huaxia
;
Hao, Yajing
;
Zhang, Peng
;
Nie, Zhi
;
Yu, Shuhuan
;
Yang, Fei
;
Sang, Jian
;
Li, Zhaohua
;
Zhang, Xiangquan
;
Zhou, Qing
;
Zhai, Shuang
;
Zhang, Yaping
;
Wang, Guodong
;
Zhu, Qianghui
;
Li, Xin
;
Li, Menghua
;
Yan, Jun
;
Li, Chen
;
Wang, Zhennan
;
Wang, Xiangfeng
;
Liu, Yuanming
;
Luo, Hong
;
Wu, Xiaoyuan
;
Jing, HaiChun
;
Song, Tinrui
;
Zhao, Yi
;
Mehmood, Furrukh
;
Ali, Shahid
;
Ali, Amjad
;
Saleem, Shoaib
;
Hussain, Irfan
;
Abbasi, Amir A.
;
Zuo, Zhixiang
;
Ren, Jian
;
Zhang, Xinxin
;
Xiao, Yun
;
Li, Xia
;
Tu, Yiran
;
Xue, Yu
;
Wu, Wanying
;
Ji, Peifeng
;
Zhao, Fangqing
;
Meng, Xianwen
;
Peng, Di
;
Luo, Hao
;
Gao, Feng
;
Ning, Wanshan
;
Lin, Shaofeng
;
Liu, Teng
;
Guo, An-Yuan
;
Yuan, Hao
;
Zhang, Yong E.
;
Tan, Xiaodan
;
Zhang, Weizhi
;
Xie, Yubin
;
Wang, Chenwei
;
Liu, Chun-Jie
;
Yang, De-Chang
;
Tian, Feng
;
Gao, Ge
;
Tang, Dachao
;
Yao, Lan
;
Cui, Qinghua
;
An, Ni A.
;
Li, Chuan-Yun
;
Luo, XiaoTong
收藏
  |  
浏览/下载:97/0
  |  
提交时间:2021/12/01
PN4TS:一种基于CPN模型的IOCO测试选择方法
期刊论文
计算机学报, 2014, 卷号: 37.0, 期号: 012, 页码: 2451
作者:
刘靖
;
李茹
;
叶新铭
;
李军
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2023/12/04
测试选择
测试目的
IOCO一致性
着色Petri网
同步模拟执行
感知实时车流信息的VANET路由仿真研究
期刊论文
系统仿真学报, 2012, 卷号: 24.0, 期号: 002, 页码: 429
作者:
白翔宇
;
叶新铭
;
李军
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2023/12/04
车用自组织网络
路由协议
实时车流
位置服务
网络仿真
基于CPN的可信路由器发现协议建模与仿真分析
期刊论文
系统仿真学报, 2012, 卷号: 24.0, 期号: 003, 页码: 701
作者:
张珺
;
刘靖
;
叶新铭
;
许智君
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2023/12/04
接入路由器身份认证
着色Petri网
仿真分析
协议验证
性能分析
MANET网络激励节点协作的信任评估路由协议
期刊论文
通信学报, 2012, 卷号: 33.0, 期号: 007, 页码: 27
作者:
许智君
;
胡琪
;
张玉军
;
叶新铭
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2023/12/04
移动自组网
协作
网络性能
信任评估
BitTorrent协议的Petri网建模方法研究
期刊论文
系统仿真学报, 2011, 卷号: 23.0, 期号: 011, 页码: 2312
作者:
刘靖
;
叶新铭
;
李军
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2023/12/04
BitTorrent协议
着色Petri网
层次建模
模型确认
模型检验
路由协议的符号化测试生成
期刊论文
计算机学报, 2010, 卷号: 33.0, 期号: 003, 页码: 589
作者:
邢熠
;
叶新铭
;
谢高岗
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2023/12/04
协议一致性测试
统一语义模型
符号测试生成
符号执行
数据选择
基于可用性的一致性测试套选择
期刊论文
计算机科学, 2009, 卷号: 36.0, 期号: 012, 页码: 132
作者:
邢熠
;
叶新铭
;
谢高岗
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2023/12/04
一致性测试
测试选择
接受域
采样
可用性
网络协议测试的符号化一致性关系研究
期刊论文
计算机工程与应用, 2008, 卷号: 44.0, 期号: 029, 页码: 11
作者:
邢熠
;
叶新铭
;
谢高岗
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2023/12/04
符号化一致性关系
一致性
则试
输入输出符号变迁系统(IOTS)
一种分布式网络数字媒体内容发布方法
期刊论文
内蒙古大学学报:自然科学版, 2008, 卷号: 39.0, 期号: 006, 页码: 698
作者:
白翔宇
;
叶新铭
;
王燕
;
李军
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2023/12/04
数字媒体
内容管理
发布
分布式