×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
自动化研究所 [2]
软件研究所 [2]
北京大学 [1]
西安交通大学 [1]
计算技术研究所 [1]
数学与系统科学研究院 [1]
更多...
内容类型
期刊论文 [7]
会议论文 [2]
学位论文 [2]
其他 [1]
发表日期
2019 [1]
2017 [1]
2016 [2]
2015 [1]
2014 [1]
2011 [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共12条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
发表日期升序
发表日期降序
作者升序
作者降序
提交时间升序
提交时间降序
题名升序
题名降序
Numerical prediction of thermal contact resistance of 3D C/C-SiC needled composites based on measured practical topography
期刊论文
International Journal of Heat and Mass Transfer, 2019, 卷号: 131, 页码: 176-188
作者:
Ren, Xing-Jie
;
Dai, Yan-Jun
;
Gou, Jian-Jun
;
Tao, Wen-Quan
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/11/19
3d optical microscopes
Arithmetical mean
Contact interface
Functional parts
Loading pressures
Numerical predictions
Thermal contact resistance
Thermal Protection System
A Self-Indexed Register File for Efficient Arithmetical Computing Hardware
会议论文
UK, 2017-10
作者:
Lei Yang
;
Shaolin Xie
;
Zijun Liu
;
Xueliang Du
;
DongLin Wang
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2018/05/07
Register File
Arithmetical Computing
Energy Efficient
Completeness of Hoare logic with inputs over the standard model
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
作者:
Xu, Zhaowei
;
Sui, Yuefei
;
Zhang, Wenhui
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2019/12/13
Hoare logic
Peano arithmetic
The standard model
Computation
Arithmetical definability
Logical completeness
Completeness of Hoare logic with inputs over the standard model
期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
Xu, ZW
;
Sui, YF
;
Zhang, WH
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2016/12/13
Hoare logic
Peano arithmetic
The standard model
Computation
Arithmetical definability
Logical completeness
微处理器高性能部件设计关键技术研究
学位论文
工学博士, 中国科学院自动化研究所: 中国科学院大学, 2015
作者:
肖偌舟
收藏
  |  
浏览/下载:118/0
  |  
提交时间:2015/09/02
高性能部件
运算部件算法
模板抽取
晶体管级优化
高性能时钟网络
High Performance Components
Algorithms of Arithmetical Cells
Template Extraction
Transistor Level Optimization
High Performance Clock Network
3D resistivity inversion using improved parallel genetic algorithm
期刊论文
Yantu Gongcheng Xuebao/Chinese Journal of Geotechnical Engineering, 2014, 卷号: 36, 期号: 7, 页码: 1252-1261
作者:
Liu, Bin
;
Wang, Chuan-Wu
;
Yang, Wei-Min
;
Li, Shu-Cai
;
Nie, Li-Chao
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/17
3D resistivity inversion imaging
Improved parallel genetic algorithm
Joint mutation algorithm
Multi-level master-slave parallel computing strategy
Random ratio arithmetical crossover algorithm
on the number of infinite sequences with trivial initial segment complexity
期刊论文
Theoretical Computer Science, 2011, 卷号: 412, 期号: 52, 页码: 7133-7146
George Barmpalias
;
T.F. Sterkenburg
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/10/08
Kolmogorov complexity
K-trivial sets
Arithmetical complexity
Trees
Farhi函数的周期性
学位论文
: 四川大学, 2008
作者:
杨钰娟
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/04/19
Periodic
arithmetical
function
period
the
smallest
period
p-adic
valuation
A note on Hoffman-type identities of graphs
期刊论文
LINEAR ALGEBRA AND ITS APPLICATIONS, 2005, 卷号: 402, 页码: 143-149
作者:
Hou, YP
;
Tian, F
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2018/07/30
main eigenvalue
Hoffman identity
arithmetical graph
Finite groups with few regular orbits on the power set
其他
1997-01-01
Zhang, JP
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2015/11/16
primitive group
regular orbit
arithmetical theory
©版权所有 ©2017 CSpace - Powered by
CSpace