×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
清华大学 [14]
软件研究所 [13]
厦门大学 [12]
北京大学 [7]
广州能源研究所 [6]
大连理工大学 [5]
更多...
内容类型
期刊论文 [59]
会议论文 [13]
学位论文 [13]
其他 [2]
专利 [1]
研究报告 [1]
更多...
发表日期
2021 [3]
2019 [3]
2018 [3]
2017 [3]
2016 [11]
2015 [5]
更多...
学科主题
Anatomy & ... [1]
Computer S... [1]
biochemist... [1]
力学 [1]
天文学 [1]
计算机应用::计算机... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共89条，第1-10条
帮助
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Constitutive model of concrete creep damage considering the deterioration of creep parameters
期刊论文
CONSTRUCTION AND BUILDING MATERIALS, 2021, 卷号: 308, 页码: 15
作者:
Liu, Wenbo
;
Zhou, Hui
;
Zhang, Shuguang
;
Jiang, Shuai
收藏
|
浏览/下载：42/0
|
提交时间：2022/01/05
High-stress level
Creep damage model
Creep parameters
Degradation law
Concrete specimen
Control of Non-Deterministic Systems With
μ
-Calculus Specifications Using Quotienting
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 5, 页码: 953-970
作者:
Samik Basu
;
Ratnesh Kumar
收藏
|
浏览/下载：42/0
|
提交时间：2021/04/09
Discrete event systems (DES)
non-deterministic plant
μ
-calculus
supervisory control
The evolution and determinants of Chinese property insurance companies’ profitability: A DEA-based perspective
期刊论文
Journal of Management Science and Engineering, 2021, 期号: online, 页码: online
作者:
Zhao, Tengyu
;
Pei, Ruimin
;
Pan, Jiaofeng
收藏
|
浏览/下载：4/0
|
提交时间：2022/03/01
Data envelopment analysisProfit ratio change indexChinese insurance industryTobit regression
Model averaging in a multiplicative heteroscedastic model
期刊论文
ECONOMETRIC REVIEWS, 2020, 页码: 25
作者:
Zhao, Shangwei
;
Ma, Yanyuan
;
Wan, Alan T. K.
;
Zhang, Xinyu
;
Wang, Shouyang
收藏
|
浏览/下载：7/0
|
提交时间：2020/09/23
Heteroscedasticity-robust
model averaging
multiplicative heteroscedasticity
plug-in
squared prediction risk
基于 TPM 2.0 的协议设计与分析研究
学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:
王微谨
收藏
|
浏览/下载：192/0
|
提交时间：2019/07/03
可信计算
TPM 2.0
API 分析
形式化方法
匿名认证协议
INTERMEDIATE LYAPUNOV EXPONENTS FOR SYSTEMS WITH PERIODIC ORBIT GLUING PROPERTY
期刊论文
DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, 2019, 卷号: 39, 期号: 2, 页码: 1019-1032
作者:
Tian, Xueting
;
Wang, Shirou
;
Wang, Xiaodong
收藏
|
浏览/下载：20/0
|
提交时间：2019/01/11
Shadowing
specification property
gluing orbit property
asymptotically additive functions
Lyapunov exponents
A Survey of Formal Techniques for Hardware/Software Co-verification
会议论文
7th International Congress on Advanced Applied Informatics, IIAI-AAI 2018, Yonago, Japan, 2018-07-08
作者:
Liu, Kun
;
Kong, Weiqiang
;
Hou, Gang
;
Fukuda, Akira
收藏
|
浏览/下载：14/0
|
提交时间：2019/12/02
Automotive industry
Embedded systems
Model checking
Surveys, Co-designs
Co-verification
Formal techniques
Hardware/software
Integration of hardware and softwares
Low level softwares
Property Specification
Simulation and testing, Formal verification
Tobit models with social interactions: Complete vs incomplete information
期刊论文
REGIONAL SCIENCE AND URBAN ECONOMICS, 2018, 卷号: 73, 页码: 30-50
作者:
Yang, Chao
;
Lee, Lung-fei
;
Qu, Xi
收藏
|
浏览/下载：9/0
|
提交时间：2019/08/22
Tobit models
Cox test
Complete information
Incomplete information
Social interactions
Sensitivity and specification property of fuzzified dynamical systems
期刊论文
MODERN PHYSICS LETTERS B, 2018, 卷号: 32
作者:
Li, Nan
;
Wang, Lidong
;
Lei, Fengchun
收藏
|
浏览/下载：2/0
|
提交时间：2019/12/02
g-Fuzzification
specification property
Zadeh's extension
sensitivity
Correct-by-construction specification to verified code
期刊论文
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 卷号: 30
作者:
Ge, Ning
;
Dieumegard, Arnaud
;
Jenn, Eric
;
Voisin, Laurent
收藏
|
浏览/下载：3/0
|
提交时间：2019/12/30
C
code generation
equivalence proof
Event-B
formal methods
property proof
©版权所有 ©2017 CSpace - Powered by
CSpace
