×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [99]
软件研究所 [84]
清华大学 [75]
自动化研究所 [21]
兰州大学 [18]
数学与系统科学研究... [18]
更多...
内容类型
期刊论文 [266]
会议论文 [110]
其他 [75]
学位论文 [29]
SCI/SSCI论文 [3]
专著 [3]
更多...
发表日期
2020 [9]
2019 [8]
2018 [16]
2017 [9]
2016 [35]
2015 [20]
更多...
学科主题
Computer S... [3]
Computer S... [2]
Computer S... [2]
Engineerin... [2]
计算机科学技术基础学... [2]
Acoustics [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共493条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Integrated phylogenomics and fossil data illuminate the evolution of beetles
期刊论文
ROYAL SOCIETY OPEN SCIENCE, 2022, 卷号: 9, 期号: 3, 页码: 19
作者:
Cai, Chenyang
;
Tihelka, Erik
;
Giacomelli, Mattia
;
Lawrence, John F.
;
Kundrata, Robin
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2022/07/20
Coleoptera
classification
diversification
phylogenomics
substitution modelling
CAT-GTR
A negotiation-based right-of-way assignment strategy to ensure traffic safety and efficiency in lane changes
期刊论文
IET INTELLIGENT TRANSPORT SYSTEMS, 2021, 页码: 14
作者:
Zhao, Can
;
Li, Zhiheng
;
Li, Li
;
Wu, Xiangbin
;
Wang, Fei-Yue
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2021/11/02
Empirical Research on the Application of a Structure-Based Software Reliability Model
期刊论文
IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 6, 页码: 1153-1162
作者:
Jie Zhang
;
Yang Lu
;
Ke Shi
;
Chong Xu
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2021/06/11
Algebraic method
reliability evaluation
software metrics
software reliability
Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z
期刊论文
MATHEMATICAL PROBLEMS IN ENGINEERING, 2020, 卷号: 2020, 页码: 11
作者:
Liu, Yang
;
Huang, Liyuan
;
Chen, Jingwei
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2021/03/01
Model of synthetic evaluation on interface stylistic beauty based on moderately standardized of index
期刊论文
Zhejiang Daxue Xuebao (Gongxue Ban)/Journal of Zhejiang University (Engineering Science), 2020, 卷号: 54, 期号: 12, 页码: 2273-2285
作者:
Zhou, Ai-Min
;
Zhou, Cai-Xia
;
Ouyang, Jin-Yan
;
Zhang, Shu-Tao
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2022/02/17
Curve fitting
Fitness functions
Intelligent design systems
Intelligent designs
Least square methods
Relation expression
Synthetic evaluation
Technical support
Technique for order preference by similarity to ideal solutions
Welding distortion control technology in CFETR vacuum vessel
期刊论文
FUSION ENGINEERING AND DESIGN, 2020, 卷号: 160
作者:
Xiu, Lei
;
Wu, Jiefeng
;
Liu, Zhihong
;
Ma, Jianguo
;
Fan, Xiaosong
收藏
  |  
浏览/下载:38/0
  |  
提交时间:2021/04/26
CFETR
Vacuum vessel
Welding distortion
Inherent strain
Evaluating and Constraining Hardware Assertions with Absent Scenarios
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216
作者:
Chao, Hui-Na
;
Li, Hua-Wei
;
Song, Xiaoyu
;
Wang, Tian-Cheng
;
Li, Xiao-Wei
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2021/12/01
hardware formal verification
assertion generation
data mining
assertion evaluation
assertion coverage
Light Absorption Properties of Organic Aerosol from Wood Pyrolysis: Measurement Method Comparison and Radiative Implications
期刊论文
ENVIRONMENTAL SCIENCE & TECHNOLOGY, 2020, 卷号: 54
作者:
Li, Xinghua
;
Xiao, Maodong
;
Xu, Xuezhe
;
Zhou, Jiacheng
;
Yang, Kaiqiang
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2020/10/21
Intercomparison of NO2, O-4, O-3 and HCHO slant column measurements by MAX-DOAS and zenith-sky UV-visible spectrometers during CINDI-2
期刊论文
ATMOSPHERIC MEASUREMENT TECHNIQUES, 2020, 卷号: 13
作者:
Kreher, Karin
;
Van Roozendael, Michel
;
Hendrick, Francois
;
Apituley, Arnoud
;
Dimitropoulou, Ermioni
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2020/11/26
Decentralized Trust Management: Risk Analysis and Trust Aggregation
期刊论文
ACM COMPUTING SURVEYS, 2020, 卷号: 53, 期号: 1, 页码: 33
作者:
Fan, Xinxin
;
Liu, Ling
;
Zhang, Rui
;
Jing, Quanliang
;
Bi, Jingping
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2020/12/10
Trust management
adverse effect
threat risk
trust aggregation
©版权所有 ©2017 CSpace - Powered by
CSpace