×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [22]
北京大学 [13]
清华大学 [6]
计算技术研究所 [6]
长春光学精密机械与物... [5]
数学与系统科学研究院 [5]
更多...
内容类型
期刊论文 [49]
学位论文 [17]
会议论文 [12]
其他 [9]
专利 [1]
发表日期
2020 [1]
2018 [2]
2017 [5]
2016 [3]
2015 [6]
2014 [7]
更多...
学科主题
Physics [3]
Computer S... [1]
Engineerin... [1]
Geochemist... [1]
P642.23 [1]
灾害学 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共88条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Ensuring the Correctness of Regular Expressions: A Review
期刊论文
International Journal of Automation and Computing, 2021, 卷号: 18, 期号: 4, 页码: 521-535
作者:
Li-Xiao Zheng
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2021/07/20
Regular expressions
correctness
string generation
learning
static checking
verification
visualization, repairing
Error checking of large land quality databases through data mining based on low frequency associations
期刊论文
LAND DEGRADATION & DEVELOPMENT, 2020, 页码: 10
作者:
Qiu, Xiao-Qian
;
Zhu, A-Xing
;
Hu, Yue-Ming
;
Guo, Yu-Bin
;
Shen, Xiao-Wen
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2021/03/18
data mining
error checking
land quality assessment
land quality database
low-frequency data associations
System Identification for EAST plasma shape and position control
期刊论文
FUSION ENGINEERING AND DESIGN, 2018, 卷号: 129, 期号: 无, 页码: 140-146
作者:
Wang, Yuehang
;
Xiao, Bingjia
;
Liu, Lei
;
Guo, Yong
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/08/23
System identification
EAST
Shape and position control
高精度重载搅拌摩擦焊机器人设计与运动控制
期刊论文
机器人, 2018
作者:
骆海涛
;
田远征
;
周维佳
;
宛敏红
收藏
  |  
浏览/下载:36/0
  |  
提交时间:2018/04/16
搅拌摩擦焊机器人
重载
高精度
双电机消隙
挠度补偿
A spatial resolution effect analysis of remote sensing bathymetry
期刊论文
ACTA OCEANOLOGICA SINICA, 2017, 卷号: 36, 期号: 7, 页码: 102-109
作者:
Liang Jian
;
Zhang Jie
;
Ma Yi
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/08/19
remote sensing
spatial resolution
water depth remote sensing inversion
A spatial resolution effect analysis of remote sensing bathymetry
期刊论文
ACTA OCEANOLOGICA SINICA, 2017, 卷号: 36, 期号: 7, 页码: 102-109
作者:
Liang Jian
;
Zhang Jie
;
Ma Yi
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2018/12/07
remote sensing
spatial resolution
water depth remote sensing inversion
Barrier certificates revisited
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2017, 卷号: 80, 页码: 62-86
作者:
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2017/02/16
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
Barrier certificates revisited
其他
2017-01-01
Dai, Liyun
;
Gan, Ting
;
Xia, Bican
;
Zhan, Naijun
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2017/12/03
Hybrid system
Barrier certificate
Formal verification
Invariant
Nonlinear system
Semi-definite programming
Sum of squares
HYBRID SYSTEMS
ALGORITHMIC ANALYSIS
SAFETY VERIFICATION
INVARIANTS
聚合物品牌切换轨线优化问题的三段式动态规划算法(英文)
期刊论文
2016, 2016
魏宇杰
;
江永亨
;
黄德先
;
Yujie Wei
;
Yongheng Jiang
;
Dexian Huang
收藏
  |  
浏览/下载:7/0
©版权所有 ©2017 CSpace - Powered by
CSpace