×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [13]
软件研究所 [12]
兰州理工大学 [4]
自动化研究所 [4]
清华大学 [3]
湖南大学 [3]
更多...
内容类型
期刊论文 [23]
会议论文 [10]
其他 [10]
学位论文 [5]
发表日期
2021 [1]
2017 [3]
2016 [1]
2014 [6]
2013 [2]
2012 [3]
更多...
学科主题
Computer S... [1]
Computer S... [1]
Physics [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共48条,第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
Efficient vulnerability detection based on an optimized rule-checking static analysis technique
期刊论文
FRONTIERS OF INFORMATION TECHNOLOGY & ELECTRONIC ENGINEERING, 2017, 卷号: 18, 期号: 3, 页码: 332-345
-
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/24
Rule-based static analysis
Software quality
Software validation
Performance improvement
Practice of Static and Dynamic Experiments and Structural Identification of Long-span Arch Bridges
期刊论文
Hunan Daxue Xuebao/Journal of Hunan University Natural Sciences, 2017, 卷号: Vol.44 No.5, 页码: 10-19
作者:
Zhou, Y.
;
Zhang, J.
;
Chen, S.
;
Yi, W.
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2019/12/31
Long-span bridge
Model checking
Operational modal analysis
Static and dynamic test
Structural identification
Practice of static and Dynamic Experiments and Structural Identification of Long-span Arch Bridges
期刊论文
Journal of Hunan University. Natural Sciences, 2017, 卷号: Vol.44 No.5, 页码: 10-19
作者:
Zhou Yun
;
Zhang Junkai
;
Chen Songbai
;
Yi Weijian
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/31
model checking
long-span bridge
static and dynamic test
operational modal analysis
structural identification
SEISMIC ANALYSIS OF NUCLEAR POWER PLANT CANNED MOTOR PUMP UNIT BASED ON INTEGRAL CALCULATION METHOD
期刊论文
CIVIL ENGINEERING JOURNAL-STAVEBNI OBZOR, 2016, 卷号: 25, 期号: 4
作者:
Li Zhenggui
;
Li Muyu
;
Zhang Jiarong
;
Li Bo
;
Liu Xiaobing
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2022/03/01
Nuclear power plant
Canned motor pump
Ansys integral calculation
Earthquake spectrum analysis
车载光电稳定平台结构设计与优化
学位论文
硕士: 中国科学院大学, 2014
刘长顺
收藏
  |  
浏览/下载:57/0
  |  
提交时间:2014/08/21
基于电子凸轮的多轴同步关键技术研究
学位论文
工学博士, 中国科学院自动化研究所: 中国科学院大学, 2014
作者:
王慎航
收藏
  |  
浏览/下载:330/0
  |  
提交时间:2015/09/02
电子凸轮
无轴传动
电子凸轮曲线
多轴同步控制
非线性摩擦力
飞剪
Electronic cam
Shaftless driving
Electric cam curve
Multi-axis synchronous control
Nonlinear friction
Flying shear system
知识与数据驱动机器学习模型的参数可辨识性理论研究
学位论文
工学博士, 中国科学院自动化研究所: 中国科学院大学, 2014
作者:
冉智勇
收藏
  |  
浏览/下载:165/0
  |  
提交时间:2015/09/02
可辨识性
参数冗余
信息论
Kullback_Leibler 散度
最优化理论
辨识函数
identifiability
parameter redundancy
information theory
Kullback-Leibler divergence
optimization theory
identifying function
基于锁信息的多线程软件原子性错误检测方法
期刊论文
计算机应用与软件, 2014, 卷号: 31, 期号: 6, 页码: 1-4,94
王云飞
;
刘剑
;
马越
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
多线程软件
原子性错误
锁信息
模型检测
动态优化
Multi-threaded program
Atomicity violation
Lock information
Model checking
Dynamic optimisation
A class loading sensitive approach to detection of runtime type errors in component-based Java programs
期刊论文
Information and Software Technology, 2014, 卷号: 56, 期号: 9, 页码: 1076-1085
Zhang, Wenbo (1)
;
Zhou, Xiaowei (1)
;
Zhang, Jianhua (1)
;
Zhang, Zhenyu (1)
;
Zhong, Hua (1)
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
Runtime error detection
Class loading
Component-based
©版权所有 ©2017 CSpace - Powered by
CSpace