中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
力学研究所 [7]
金属研究所 [3]
高能物理研究所 [2]
软件研究所 [2]
遥感与数字地球研究所 [1]
合肥物质科学研究院 [1]
更多
采集方式
OAI收割 [17]
内容类型
期刊论文 [13]
会议论文 [3]
标准 [1]
发表日期
2022 [1]
2013 [1]
2012 [1]
2011 [1]
2008 [1]
2007 [1]
更多
学科主题
筛选
浏览/检索结果:
共17条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
践行工程科学思想的体会——工程科学是技术创新与人类认识的源泉
期刊论文
OAI收割
力学学报, 2022, 卷号: 54, 期号: 08, 页码: 2332-2342
作者:
李世海
;
张丽
  |  
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2022/10/17
工程科学
技术创新
爆炸力学
数值模拟
连续非连续
油料着火爆炸早期特征模式实验研究
会议论文
OAI收割
中国工程热物理学会-燃烧学, 2013
蒋新生
;
刘文辉
;
王冬
;
周建忠
;
欧益宏
;
钱海兵
;
梁建军
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2013/11/29
油料着火爆炸
早期特征模式
模拟实验
测试技术
冷气动力喷涂技术在空间领域的应用
会议论文
OAI收割
中国空间科学学会空间材料专业委员会2012学术交流会议, 中国湖北武汉, 2012
熊天英
;
陶永山
;
李铁藩
收藏
  |  
浏览/下载:37/0
  |  
提交时间:2014/01/10
冷气动力喷涂
合金
冷喷涂技术
铝涂层
双相流
等离子喷涂
块体
孔蚀电位
涂层管
超音速
喷涂粉末
耐蚀性
氧化膜
自腐蚀电位
喷涂装置
喷涂涂层
爆炸喷涂
抗高温氧化
热喷涂
力学:26
金属材料.焊接残余应力.爆炸处理法
标准
OAI收割
2011
武汉钢铁(集团)公司
;
中国科学院金属研究所
;
沈阳消应爆破工程有限公司
收藏
  |  
浏览/下载:64/0
  |  
提交时间:2014/02/21
金属
焊接
爆炸技术
应力
一种基于离散时间自动机的LTL性质检测工具
期刊论文
OAI收割
计算机仿真, 2008, 期号: 4, 页码: 80-83
张文亮
;
彭云全
收藏
  |  
浏览/下载:67/2
  |  
提交时间:2011/06/10
离散时间自动机
非空性检测
线性时序逻辑性质
时间自动机
检测工具
Timed Automata
状态空间爆炸
线性时序逻辑
利用模型
指数增长
压缩存储
性质验证
系统规模
时间空间
检测效果
检测速度
检测过程
检测方法
存储延迟
效率
算法
实验
技术
爆炸技术与低渗透油气藏增产
期刊论文
OAI收割
钻采工艺, 2007, 期号: 5, 页码: 48-52+166
作者:
孙丰成
;
丁雁生
;
丁雁生
;
蒋金宝
;
丁雁生
收藏
  |  
浏览/下载:1370/102
  |  
提交时间:2010/05/03
低渗透油藏
油藏增产
爆炸技术
联合作业
层内爆炸
低渗透油藏改造技术的研究及发展
期刊论文
OAI收割
钻采工艺, 2005, 期号: 5, 页码: 50-53+3
作者:
丁雁生
;
丁雁生
;
阮新芳
;
蒋金宝
;
丁雁生
收藏
  |  
浏览/下载:1078/12
  |  
提交时间:2010/05/03
低渗透油藏
油藏改造
复合技术
层内爆炸
爆炸物的X射线相干散射实验研究
期刊论文
OAI收割
高能物理与核物理, 2005, 期号: 6, 页码: 619-622
作者:
郁忠强
;
周化十
;
高树琦
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2015/12/21
同步辐射
X射线
相干散射
非破坏性检测技术
爆炸物
基于工作流网的实时协同系统模拟技术
期刊论文
OAI收割
计算机学报, 2004, 卷号: 27, 期号: 4, 页码: 471-481
杜玉越
;
蒋昌俊
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/07/29
逻辑Petri网
工作流
逻辑工作流网
实时协同系统
模拟与验证
逻辑工作流网
实时协同系统
状态空间爆炸问题
企业销售系统
模拟与分析
逻辑表达式
系统设计
模拟分析
继承问题
组合网
抑制弧
形式化
应用
输入
输出
人员
扩展
技术
概念Computer simulation
Formal logic
Petri nets
Real time systems
Specifications
爆炸物及毒品的探测技术
期刊论文
OAI收割
核电子学与探测技术, 2003, 期号: 4, 页码: 371-379+363
作者:
孟祥承
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2015/12/15
爆炸物
毒品
炸药
探测技术
X射线CT
电四极矩