×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
上海大学 [4]
华南理工大学 [2]
中国水产科学院 [1]
浙江工商大学 [1]
内容类型
会议论文 [4]
期刊论文 [3]
会议 [1]
发表日期
2017 [1]
2015 [2]
2013 [1]
2011 [1]
2010 [2]
×
知识图谱
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
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Robust estimator design for networked uncertain systems with imperfect measurements and uncertain-covariance noises (EI收录)
期刊论文
Neurocomputing, 2017, 卷号: 230, 页码: 40-47
作者:
Wang, Shaoying[1,2]
;
Fang, Huajing[1]
;
Tian, Xuegang[2]
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2019/04/24
Covariance matrix
Difference equations
Kalman filters
Packet loss
Riccati equations
Stochastic systems
Synthetic aperture sonar
Uncertain systems
Supporting Requirements Analysis using Pattern-Based Formal Specification Construction
会议论文
--, 2015-01-03
作者:
Shaoying Liu[1]
;
Xi Wang[2]
;
Weikai Miao[3]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/04/26
A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge
会议论文
International Symposium on Theoretical Aspects of Software Engineering, 2015-01-01
作者:
Miao, Weikai[1]
;
Wang, Xi[2]
;
Liu, Shaoying[3]
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/04/26
A sensitive chemiluminescent enzyme immunoassay for carbofuran residue in vegetable, fruit and environmental samples
期刊论文
2013, 卷号: 24, 期号: 3, 页码: 345
作者:
Jin, Maojun[1]
;
Zhu, Guonian[2]
;
Jin, Renyao[3]
;
Liu, Shaoying[2]
;
Shao, Hua[1]
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/26
A pattern-based approach to formal specification construction
会议论文
2011 Int.Conf.on Advanced Software Eng.and Its Applications,ASEA 2011,Disaster Recovery and Business Continuity,DRBC 2011,and Education and Learning,EL 2011,Held as Part of the 3rd Int.Mega-Conf.on Future-Generation Inform.Tech.FGIT 2011, 2011-12-08
作者:
Wang, Xi[1]
;
Liu, Shaoying[2]
;
Miao, Huaikou[3]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/04/30
A Pattern System to Support Refining Informal Ideas into Formal Expressions
会议论文
12th International Conference on Formal Engineering Methods, 2010-11-17
作者:
Wang, Xi[1]
;
Liu, Shaoying[2]
;
Miao, Huaikou[3]
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/04/30
Permanent Genetic Resources added to Molecular Ecology Resources Database 1 October 2009-30 November 2009
期刊论文
MOLECULAR ECOLOGY RESOURCES, 2010, 卷号: 10, 期号: 2, 页码: 404-408
作者:
An, Junghwa[1]
;
Bechet, Arnaud[2]
;
Berggren, Asa[3]
;
Brown, Sarah K.[4]
;
Bruford, Michael W.[5]
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2020/01/02
Robust state estimation for uncertain systems with missing measurements and random sensor delay (EI收录)
会议
Chengdu, China,
作者:
Wang, Shaoying[1,2]
;
Fang, Huajing[1]
;
Tian, Xuegang[2]
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/04/11
©版权所有 ©2017 CSpace - Powered by
CSpace