×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [21]
清华大学 [16]
山东大学 [15]
北京大学 [12]
武汉大学 [9]
大连理工大学 [6]
更多...
内容类型
期刊论文 [67]
会议论文 [39]
其他 [8]
学位论文 [4]
发表日期
2021 [1]
2019 [2]
2018 [2]
2017 [1]
2016 [6]
2015 [1]
更多...
学科主题
Computer S... [3]
Science & ... [1]
Telecommun... [1]
计算机科学技术 [1]
计算机科学技术::计... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共118条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Torque Ripple Suppression of PMSM Using Fractional-Order Vector Resonant and Robust Internal Model Control
期刊论文
IEEE Transactions on Transportation Electrification, 2021, 卷号: 7, 期号: 3, 页码: 1437-1453
作者:
M. Huang
;
Y. Deng
;
H. Li and J. Wang
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2022/06/13
基于 TPM 2.0 的协议设计与分析研究
学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:
王微谨
收藏
  |  
浏览/下载:192/0
  |  
提交时间:2019/07/03
可信计算
TPM 2.0
API 分析
形式化方法
匿名认证协议
Research on concurrency comparison modeling based on pi calculus in future computer technology
期刊论文
CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, 2019, 卷号: 22
作者:
Bu, Hao
;
Zhu, Rong
;
Chen, Shihong
;
Tan, Xiaoqiong
收藏
  |  
浏览/下载:60/0
  |  
提交时间:2019/12/05
pi-calculus
Well-ordered set
Mobile communication
Comparison
Ergodicity of the 2D Navier-Stokes equations with degenerate multiplicative noise
期刊论文
ACTA MATHEMATICAE APPLICATAE SINICA-ENGLISH SERIES, 2018, 卷号: 34, 期号: 1, 页码: 97-118
作者:
Dong, Zhao
;
Peng, Xu-hui
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2018/07/30
tochastic Navier-Stokes equation
asymptotically strong Feller property
ergodicity
Modelling method of dynamic business process based on pi-calculus
期刊论文
INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, 2018, 卷号: 17, 页码: 146-158
作者:
Liu, Yaya[1]
;
Jiang, Jiulei[2]
;
Li, Weimin[3]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/04/22
dynamic business process
cross-organisational business process
channel mobility
pi-calculus
extended directed acyclic graph
eDAG
Sorting realization of well-ordered sets based on pi-calculus
期刊论文
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2017, 卷号: 32, 期号: 5
作者:
Bu, Hao
;
Zhu, Rong
;
Chen, Shihong
;
Tan, Xiaoqiong
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/05
pi-calculus
mobile computing
sorting
cinema algorithm
key change algorithm
All parameters adaptive fractional order PI/PD type iterative learning control
期刊论文
Proceedings of the 28th Chinese Control and Decision Conference, CCDC 2016, 2016, 页码: 5820-5825
作者:
Pan, Di
;
Li, Yan
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2019/12/16
Flat phase
Fractional calculus
Impulse response invariant discretization method
Iterative learning control
Web Service Composition Modeling Based on Pi Calculus
会议论文
2015 4th National Conference on Electrical,Electronics and Computer Engineering(NCEECE 2015), Xi’an,China, 2015-12-12
作者:
Yang Yan*
;
Li Rong
;
Wang Sai
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/23
Pi Calculus
Web Service
Service Composition
Composition Validation
A Simple Modeling and Realization Based on pi-Based Comparison Algorithm
会议论文
作者:
Chen, Shihong
;
Tan, Xiaoqiong
;
Zhu, Rong
;
Bu, Hao
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2019/12/05
pi calculus
well-orderedness
movement calculation
comparison
A Formal Approach for Modeling and Verification of Distributed Systems
会议论文
6th International Conference on Cloud Computing (CloudComp), Daejeon, SOUTH KOREA, 2016-01-01
作者:
Ren, Gang
;
Deng, Pan
;
Yang, Chao
;
Zhang, Jianwei
;
Hua, Qingsong
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/30
UML seqence diagram
pi-calculus
Model checking
Formal methods
©版权所有 ©2017 CSpace - Powered by
CSpace