×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
山东大学 [22]
内容类型
期刊论文 [19]
学位论文 [2]
会议论文 [1]
发表日期
2018 [1]
2017 [1]
2015 [1]
2012 [3]
2011 [1]
2010 [2]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共22条,第1-10条
帮助
限定条件
专题:山东大学
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Computing and estimating the volume of the solution space of SMT(LA) constraints
期刊论文
THEORETICAL COMPUTER SCIENCE, 2018, 卷号: 743, 页码: 110-129
作者:
Ge, Cunjing
;
Ma, Feifei
;
Zhang, Peng
;
Zhang, Jian
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2019/12/11
SMT
Volume
Counting
Convex polytope
Automatic search of bit-based division property for ARX ciphers and word-based division property
期刊论文
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2017, 卷号: 10624 LNCS, 页码: 128-157
作者:
Sun, Ling
;
Wang, Wei
;
Wang, Meiqin
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/12/12
ARX
Automatic search
Division property
SAT/SMT
Diagnosis of solid insulation deterioration for power transformers with dissolved gas analysis-based time series correlation
期刊论文
IET science, measurement & technology, 2015, 卷号: 9, 期号: 4, 页码: 393-399
作者:
Wang, Xuelei
;
Li, Qingmin
;
Yang, Rui
;
Li, Chengrong
;
Zhang, Ying
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/17
power transformer insulation
time series
correlation theory
fault diagnosis
statistical analysis
gas insulated transformers
solid insulation deterioration diagnosis
power transformer
dissolved gas analysis
incipient fault detection
DGA
fault diagnosis
time series correlation technique
statistics
constant characteristic parameters
variable characteristic parameters
frequency histogram
quantitative correlation analysis
transformer fault
electrical faults
thermal faults
An advanced review of hybrid machine translation (HMT)
期刊论文
Procedia Engineering, 2012, 卷号: 29, 页码: 3017-3022
作者:
Xuan, H.W.
;
Li, W.
;
Tang, G.Y.
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/23
Evaluation
Example-based MT (EBMT)
Hybrid machine translation (HMT)
Rule-based MT (RBMT)
Statistical-based MT (SMT)
Multi-party computation with social rational parties
期刊论文
Proceedings of the 2012 4th International Conference on Intelligent Networking and Collaborative Systems, INCoS 2012, 2012, 页码: 251-258
作者:
Wang, Yilei
;
Xu, Qiuliang
;
Liu, Zhe
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/23
Nash equilibrium
reputation
SMT
social rational multi-party computation
Sb及Sb-Bi合金在冷却过程中电阻率与结构的变化
期刊论文
特种铸造及有色合金, 2012, 卷号: 32, 期号: 10, 页码: 949-953
作者:
贾燕
;
田学雷
;
吕婷
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/23
Sb-Bi合金
过冷
电阻率
Peierls畸变
Al-3Ti-1B-0.2C中间合金对A356合金的晶粒细化行为
期刊论文
特种铸造及有色合金, 2011, 卷号: 31, 期号: 6, 页码: 576-579
作者:
张黎黎
;
李鹏廷
;
刘思达
;
聂金凤
;
刘相法
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/23
A356合金
细化
变质
Al-3Ti-1B-0.2中间合金
中华医学会第八次全国脑电图与癫诊治进展高级讲授班及学术研讨会征文通知
期刊论文
临床神经病学杂志, 2010, 期号: 06, 页码: 416
作者:
曹金霞
;
张新建
;
耿德勤
;
姜建东
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/26
学术研讨会
癫疒间
医学会
脑电图
电诊断图
中华
诊治进展
癫
Fe_3Al网络结构多孔材料的制备及性能研究
期刊论文
特种铸造及有色合金, 2010, 卷号: 30, 期号: 4, 页码: 364-366+291
作者:
续晶华
;
耿浩然
;
孙佳伟
;
徐福松
;
王守仁
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2019/12/26
网络结构
孔隙率
Al-5Ti-1B对Al-Si合金磷变质行为影响机理的研究
期刊论文
特种铸造及有色合金, 2006, 卷号: 26, 期号: 5, 页码: 313-314+256
作者:
丁海民
;
刘相法
;
于丽娜
;
乔进国
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2020/01/03
Al-Si合金
Al-5Ti-1B中间合金
初晶硅
变质处理
©版权所有 ©2017 CSpace - Powered by
CSpace