×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [56]
武汉大学 [15]
北京大学 [4]
西安交通大学 [2]
山东大学 [2]
沈阳应用生态研究所 [2]
更多...
内容类型
期刊论文 [57]
会议论文 [25]
其他 [2]
专利 [1]
发表日期
2020 [1]
2018 [3]
2017 [2]
2014 [5]
2013 [4]
2012 [4]
更多...
学科主题
Computer S... [3]
Artificial... [1]
Computer S... [1]
Interdisci... [1]
Operations... [1]
Theory & M... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共85条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
A novel silicon nanoparticles-infilled capsule prepared by an oil-in-water emulsion strategy for high-performance Li-ion battery anodes
期刊论文
NANOTECHNOLOGY, 2020, 卷号: 31
作者:
Wu, Yong
;
Han, Tianli
;
Zhou, Ting
;
Qiao, Xue
;
Chen, Xi
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2020/11/26
silicon nanoparticles
capsules
yolk-shell nanostructures
secondary batteries
An iteration-based interactive analysis method to design dynamic service-oriented systems
会议论文
作者:
Xie, Wuping
;
Xue, Jinyun
;
Jiang, Dongming
;
Song, Lan
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/05
An iteration-based interactive analysis method to design dynamic service-oriented systems
期刊论文
SOFTWARE-PRACTICE & EXPERIENCE, 2018, 卷号: 48, 期号: 2
作者:
Xie, Wuping
;
Xue, Jinyun
;
Jiang, Dongming
;
Song, Lan
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/05
service computing
service-oriented design
dynamic system
system analysis
design evaluation
双固相萃取/高效液相色谱-串联质谱法测定鱼类中糖肽类抗生素残留量
期刊论文
分析试验室, 2018, 期号: 01, 页码: 36-39
作者:
薛婷婷[1]
;
黄冬梅[2]
;
娄晓祎[3]
;
孙锦兰[4]
;
汤云瑜[5]
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2020/01/02
万古霉素
正己烷
固相萃取
残留量
糖肽类抗生素
无线射频RFID识别协议自动验证方法研究
期刊论文
计算机科学, 2017, 卷号: 44, 期号: 9
作者:
宋岚
;
谢武平
;
江东明
;
薛锦云
;
胡启敏
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/05
协议验证
无线射频RFID识别协议自动验证方法研究
期刊论文
计算机科学, 2017, 期号: 9
作者:
宋岚
;
薛锦云
;
胡启敏
;
谢武平
;
江东明
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/05
Population Protocols
RFID
协议验证
Spin
SRLtoRadl生成系统及其范畴论语义
期刊论文
电子学报, 2014, 卷号: 42, 期号: 1, 页码: 137-143
王昌晶
;
薛锦云
;
左正康
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2014/12/16
结构化需求语言
形式化软件规约
自动生成系统
高可靠
范畴论语义
structural requirement language
formal software specification
automatic generation system
high reliability
category semantics
A dynamic design framework for semi-automated service orchestration
期刊论文
Journal of Computational Information Systems, 2014, 卷号: 10, 期号: 13
作者:
Jiang, Dongming
;
Xie, Wuping
;
Xue, Jinyun
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/05
Contract-based generic programming mechanism for dynamic service orchestration
期刊论文
Proceedings - 2014 IEEE International Conference on Computer and Information Technology, CIT 2014, 2014
作者:
Jiang, Dongming
;
Xie, Wuping
;
Xue, Jinyun
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/05
Radl算法到Apla程序的生成系统
期刊论文
计算机研究与发展, 2014, 卷号: 51, 期号: 4
作者:
谢武平
;
薛锦云
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/05
PAR方法
Radl算法
程序生成
算法推导
生成规则
©版权所有 ©2017 CSpace - Powered by
CSpace