中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
数学与系统科学研究院 [4]
力学研究所 [1]
金属研究所 [1]
采集方式
OAI收割 [6]
内容类型
期刊论文 [5]
会议论文 [1]
发表日期
2011 [1]
2010 [2]
2007 [1]
2004 [1]
1995 [1]
学科主题
Applied [1]
Physics [1]
筛选
浏览/检索结果:
共6条,第1-6条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
Shock pressure induced by glass-confined laser shock peening: Experiments, modeling and simulation
会议论文
OAI收割
9th Workshop on Piezoresponse Force Microscopy (PFM)/10th International Symposium on Ferroic Domains, Prague, CZECH REPUBLIC, SEP 22-24, 2010
作者:
Wu XQ(吴先前)
;
Duan ZP(段祝平)
;
Song HW(宋宏伟)
;
Wei YP(魏延鹏)
;
Wang X(王曦)
收藏
  |  
浏览/下载:193/0
  |  
提交时间:2013/02/26
Doppler effect
Dynamic response
Glass
Glass lasers
Velocimeters
Velocity control
Velocity measurement
Analytical model
Diagnostic capabilities
Empirical formulas
Exponential decays
Free surface velocity
Free surfaces
Laser shock peening
LS-DYNA
Particle velocities
Photonic doppler velocimetry
Plasma pressures
Shock pressure
Short time scale
Stress wave
Target materials
Temporal profile
WAVE EXPERIMENTS
STRESS WAVES
PLASMA
GENERATION
ALUMINUM
GEOMETRY
ALLOYS
METALS
Visually Dynamic Presentation of Proofs in Plane Geometry Part 1. Basic Features and the Manual Input Method
期刊论文
OAI收割
JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 213-241
作者:
Ye, Zheng
;
Chou, Shang-Ching
;
Gao, Xiao-Shan
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2018/07/30
Geometry theorem proving
Visually dynamic presentation of proof
Dynamic geometry
Unordered geometry
Gelernter
Java Geometry Expert
Morley's theorem
Feuerbach's theorem
Pythagorean theorem
Pedal triangle
Visually Dynamic Presentation of Proofs in Plane Geometry Part 2. Automated Generation of Visually Dynamic Presentations with the Full-Angle Method and the Deductive Database Method
期刊论文
OAI收割
JOURNAL OF AUTOMATED REASONING, 2010, 卷号: 45, 期号: 3, 页码: 243-266
作者:
Ye, Zheng
;
Chou, Shang-Ching
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2018/07/30
Geometry theorem proving
Proof with hierarchical structures
Visually dynamic presentation of proof
Dynamic geometry
Full-angle
Deductive database
Fixpoint
Unordered geometry
Hilbert geometry
Tarski geometry
A survey on semi-tensor product of matrices
期刊论文
OAI收割
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2007, 卷号: 20, 期号: 2, 页码: 304-322
作者:
Cheng, Daizhan
;
Qi, Hongsheng
;
Xue, Ancheng
  |  
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2018/07/30
abstract algebra
differential geometry
dynamic systems
logic
semi-tensor product
MMP/geometer - A software package for automated geometric reasoning
期刊论文
OAI收割
AUTOMATED DEDUCTION IN GEOMETRY, 2004, 卷号: 2930, 页码: 44-66
作者:
Gao, XS
;
Lin, Q
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2018/07/30
geometry software
automated reasoning
geometric theorem proving
geometric theorem discovering
geometric diagram generation
intelligent dynamic geometry
EFFECTS OF FRACTAL CRACK
期刊论文
OAI收割
Theoretical and Applied Fracture Mechanics, 1995, 卷号: 23, 期号: 3, 页码: 235-244
H. Xie
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2012/04/14
fast brittle-fracture
surface-roughness
dynamic fracture
propagation
fatigue
models
toughness
dimension
geometry