中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [3]
力学研究所 [2]
上海光学精密机械研究... [2]
地质与地球物理研究所 [1]
数学与系统科学研究院 [1]
过程工程研究所 [1]
更多
采集方式
OAI收割 [11]
内容类型
期刊论文 [9]
会议论文 [2]
发表日期
2024 [2]
2022 [1]
2021 [1]
2015 [1]
2007 [1]
2006 [2]
更多
学科主题
筛选
浏览/检索结果:
共11条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
Numerical Simulation of Seismic-Wave Propagation in Specific Layered Geological Structures
期刊论文
OAI收割
APPLIED SCIENCES-BASEL, 2024, 卷号: 14, 期号: 18, 页码: 17
作者:
Hao, Chunyue
;
Gu ZP(谷周澎)
;
Li K(李凯)
;
Wu XQ(吴先前)
;
Li K(李凯)
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2024/11/01
seismic-wave propagation
geological structures
LS-DYNA simulation
TNT explosion model
Macroscopic Dynamic Response and Microscopic Damage Formation Analysis of Steel Plates with Different Explosive Distances
期刊论文
OAI收割
JOURNAL OF MATERIALS ENGINEERING AND PERFORMANCE, 2024, 页码: 18
作者:
Zhou, Zhengqing
;
Zhang, Peize
;
Zhang, Yulong
;
Yang, Guili
;
Liu, Yuzhe
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2024/05/14
close-range explosion
finite element model
low alloy steel plate
macroscopic dynamic response
microscopic damage
Pulses of atmosphere oxygenation during the Cambrian radiation of animals
期刊论文
OAI收割
EARTH AND PLANETARY SCIENCE LETTERS, 2022, 卷号: 590, 页码: 9
作者:
Jiang, Lei
;
Zhao, Mingyu
;
Shen, Anjiang
;
Huang, Lili
;
Chen, Daizhao
  |  
收藏
  |  
浏览/下载:44/0
  |  
提交时间:2022/07/19
Cambrian explosion
atmosphere oxygenation
sulfate
O isotope
S isotope
biogeochemical model
Dynamic response and safety assessment of buried gas pipe subjected to ground surface explosion
期刊论文
OAI收割
INTERNATIONAL JOURNAL OF PRESSURE VESSELS AND PIPING, 2021, 卷号: 194, 页码: 11
作者:
Wu, Tingyao
;
Jiang, Nan
;
Zhou, Chuanbo
;
Luo, Xuedong
;
Li, Haibo
  |  
收藏
  |  
浏览/下载:66/0
  |  
提交时间:2022/01/05
Buried gas pipe
Surface explosion test
Full-scale model
Parametric analysis
Safety assessment
Enhancement of flavonoids extraction from fig leaf using steam explosion
期刊论文
OAI收割
INDUSTRIAL CROPS AND PRODUCTS, 2015, 卷号: 69, 期号: JUL, 页码: 1-6
作者:
Qin, Lanzhi
;
Chen, Hongzhang
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2015/08/18
Flavonoids
Extraction
Steam explosion
Internal diffusion
Fig leaf
Finite reaction model
Two overrun phenomena and their effects on fusion yield in the Coulomb explosion of heteronuclear clusters
期刊论文
OAI收割
j. phys. b-at. mol. opt. phys., 2007, 卷号: 40, 期号: 19, 页码: 3941, 3955
李洪玉
;
刘建胜
;
王成
;
倪国权
;
Kim Cheol Jung
;
李儒新
;
徐至展
收藏
  |  
浏览/下载:913/120
  |  
提交时间:2009/09/18
Coulomb explosion
Heteronuclear clusters
Electrostatic model
ltl model checking via search space partition
会议论文
OAI收割
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei
;
Zhang Wenhui
  |  
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2011/07/28
LTL model checking
complexity reduction
compositional verification
memory requirement
nondeterministic choice
search space partition
state space explosion
computational complexity
formal verification
search problems
ltl model checking via search space partition
会议论文
OAI收割
6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28,
Pu Fei
;
Zhang Wenhui
  |  
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2011/07/28
LTL model checking
complexity reduction
compositional verification
memory requirement
nondeterministic choice
search space partition
state space explosion
computational complexity
formal verification
search problems
飞秒激光在石英玻璃中诱导微爆炸的理论研究
期刊论文
OAI收割
物理学报, 2005, 卷号: 54, 期号: 9, 页码: 4146, 4150
徐世珍
;
贾天卿
;
孙海轶
;
李晓溪
;
程兆谷
;
冯东海
;
李成斌
;
徐至展
收藏
  |  
浏览/下载:1146/177
  |  
提交时间:2009/09/18
雪崩击穿模型
avalanche model
微爆炸
micro-explosion
有限元方法
finite element method
石英玻璃
femtosecond laser
飞秒激光
理论研究
诱导
导带电子
静电场分布
二维模型
模型检测新技术研究
期刊论文
OAI收割
计算机科学, 2003, 卷号: 30, 期号: 5, 页码: 102-104
戎玫
;
张广泉
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2011/07/29
Model checking
State explosion
Symbolic model checking
positional reasoning
Real-time system
Hybrid system
模型
检测
新技术研究
model checking
mathematical methods
concurrent system
hybrid systems
state space