中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [4]
高能物理研究所 [2]
新疆生态与地理研究所 [1]
化学研究所 [1]
大连化学物理研究所 [1]
上海硅酸盐研究所 [1]
更多
采集方式
OAI收割 [10]
内容类型
期刊论文 [7]
会议论文 [1]
学位论文 [1]
成果 [1]
发表日期
2015 [1]
2013 [2]
2010 [1]
2009 [1]
2008 [2]
2007 [1]
更多
学科主题
Instrument... [1]
地球科学::地质 [1]
特种功能无机非金属材... [1]
筛选
浏览/检索结果:
共10条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
The development of magnetic field measurement system for drift-tube linac quadrupole
期刊论文
OAI收割
NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 2015, 卷号: 786, 页码: 142-146
作者:
Zhou JX(周建新)
;
Kang W(康文)
;
Yin BG(尹宝贵)
;
Peng QL(彭全岭)
;
Li L(李藜)
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2016/04/18
DTLQ
Magnetic field measurement
Harmonic coil
Nonsequential and Sequential Fragmentation of CO23+ in Intense Laser Fields
期刊论文
OAI收割
PHYSICAL REVIEW LETTERS, 2013, 卷号: 110, 期号: 10
作者:
Wu, Cong
;
Wu, Chengyin
;
Song, Di
;
Su, Hongmei
;
Yang, Yudong
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2019/04/09
Nonsequential and Sequential Fragmentation of CO23+ in Intense Laser Fields
期刊论文
OAI收割
physical review letters, 2013, 卷号: 110, 期号: 10
作者:
Wu, Cong
;
Wu, Chengyin
;
Song, Di
;
Su, Hongmei
;
Yang, Yudong
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2015/11/09
功能梯度PZT陶瓷的介电性能研究
期刊论文
OAI收割
Ferroelectrics, 2010, 卷号: 403, 期号: 12, 页码: 191-195
王晓燕
;
龚兆全
;
唐艳雪
;
何夕云
;
何其壮
;
彭子飞
;
孙大志
收藏
  |  
浏览/下载:37/0
  |  
提交时间:2012/07/05
时间自动机的LTL性质模型检测研究
期刊论文
OAI收割
计算机仿真, 2009, 卷号: 26, 期号: 5
彭云全
;
魏绪凯
;
李广元
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2010/08/26
时间自动机
模型检测
线性时序逻辑性质
二叉决策图共享存储
实时系统非空性模型检测工具及技术
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2008
彭云全
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2011/03/17
实时系统
二叉判定图
非空性
模型检测
一种基于离散时间自动机的LTL性质检测工具
期刊论文
OAI收割
计算机仿真, 2008, 期号: 4, 页码: 80-83
张文亮
;
彭云全
收藏
  |  
浏览/下载:67/2
  |  
提交时间:2011/06/10
离散时间自动机
非空性检测
线性时序逻辑性质
时间自动机
检测工具
Timed Automata
状态空间爆炸
线性时序逻辑
利用模型
指数增长
压缩存储
性质验证
系统规模
时间空间
检测效果
检测速度
检测过程
检测方法
存储延迟
效率
算法
实验
技术
improvements for the symbolic verification of timed automata
会议论文
OAI收割
27th International Conference on Formal Techniques for Networked and Distributed Systems, Tallinn, ESTONIA, JUN 27-29,
Yan Rongjie
;
Li Guangyuan
;
Zhang Wenliang
;
Peng Yunquan
收藏
  |  
浏览/下载:48/5
  |  
提交时间:2011/06/29
verification
timed systems
symbolic method
BDD
我国地球化学块体内矿产资源潜力预测
成果
OAI收割
2005
连长云
;
严光生
;
邓军
;
王全明
;
刘大文
;
向运川
;
肖桂义
;
元春华
;
彭润民
;
张大权
收藏
  |  
浏览/下载:40/0
  |  
提交时间:2010/11/03
地球化学块体
第一台真空内扭摆磁铁的设计与研制
期刊论文
OAI收割
高能物理与核物理, 2004, 期号: 6, 页码: 637-643
作者:
石才土
;
景毓辉
;
李大仕
;
陈绩
;
王莫托
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2015/12/14
同步辐射
真空内扭摆磁铁
磁场测量