×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [29]
内容类型
期刊论文 [19]
会议论文 [8]
学位论文 [2]
发表日期
2017 [1]
2014 [2]
2013 [2]
2012 [3]
2011 [6]
2010 [1]
更多...
学科主题
Applied [1]
Computer S... [1]
Engineerin... [1]
Mathematic... [1]
Mathematic... [1]
计算机科学技术基础学... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共29条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
一种基于组件的信息物理系统描述语言
学位论文
硕士, 北京: 中国科学院大学, 2017
作者:
时雨霖
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2017/07/08
信息物理系统
基于组件
系统描述
XML
美式期权定价的分数阶偏微分方程组及其数值离散方法
期刊论文
数值计算与计算机应用, 2014, 卷号: 35, 期号: 3, 页码: 229-240
席钧
;
曹建文
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
美式期权
欧式期权
分数阶偏微分方程
线性互补问题
数值离散
Super-dense computation in verification of hybrid CSP processes
会议论文
10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013
Guelev, Dimitar P. (1)
;
Wang, Shuling (2)
;
Zhan, Naijun (2)
;
Zhou, Chaochen (2)
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/12/16
Hybrid system
Differential invariant
Hybrid CSP
Duration Calculus
Super-dense computation
Hybrid Hoare logic
The Application of the Combinatorial Relaxation Theory on the Structural Index Reduction of DAE
会议论文
12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES), London, ENGLAND, SEP 02-04, 2012
Wu, Xuesong
;
Zeng, Yan
;
Cao, Jianwen
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/12/16
Complex system
Modelica
DAE
Index reduction
Combinatorial relaxation theory
Modeling and simulations of drop pinch-off from liquid crystal filaments and the leaky liquid crystal faucet immersed in viscous fluids
期刊论文
JOURNAL OF COMPUTATIONAL PHYSICS, 2013, 卷号: 236, 页码: 1-14
Yang, Xiaofeng
;
Forest, M. Gregory
;
Li, Huiyuan
;
Liu, Chun
;
Shen, Jie
;
Wang, Qi
;
Chen, Falai
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2014/12/16
Phase field model
Drop pinch-off
Liquid crystal filament
CPU/GPU集群上求解偏微分方程的可扩展混合算法
期刊论文
集成技术, 2012, 卷号: 1, 期号: 1, 页码: 84-88
罗力
;
杨超
;
赵宇波
;
蔡小川
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2013/09/17
PDEs
CPU/GPU集群
区域分解
代数多重网格
可扩展算法
known-key distinguisher on round-reduced 3d block cipher
会议论文
12th International Workshop on Information Security Applications, WISA 2011, Jeju Island, Korea, Republic of, August 22, 2011 - August 24, 2011
Dong Le
;
Wu Wenling
;
Wu Shuang
;
Zou Jian
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2013/09/22
Security of data
Three dimensional
an assume/guarantee based compositional calculus for hybrid csp
会议论文
9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012
Wang Shuling
;
Zhan Naijun
;
Guelev Dimitar
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2013/09/22
Differential equations
Hybrid systems
impossible differential cryptanalysis of spn ciphers
期刊论文
IET Information Security, 2011, 卷号: 5, 期号: 2, 页码: 111-120
Li R.
;
Sun B.
;
Li C.
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2011/10/10
Linear algebra
Linear equations
Linear transformations
Lyapunov methods
Mathematical transformations
parallel computation of continuous petri nets based on hypergraph partitioning
期刊论文
Journal of Supercomputing, 2011, 卷号: 62, 期号: 1, 页码: 1-33
Ding Zuohua
;
Shen Hui
;
Cao Jianwen
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2013/10/08
Parallel architectures
Petri nets
Philosophical aspects
Static analysis
©版权所有 ©2017 CSpace - Powered by
CSpace