中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
高能物理研究所 [3]
软件研究所 [2]
上海应用物理研究所 [1]
采集方式
OAI收割 [6]
内容类型
期刊论文 [5]
学位论文 [1]
发表日期
2014 [1]
2011 [1]
2007 [1]
1996 [1]
1982 [1]
1980 [1]
更多
学科主题
筛选
浏览/检索结果:
共6条,第1-6条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于余归纳的最小Kripke结构的求解
期刊论文
OAI收割
软件学报, 2014, 卷号: 25, 期号: 1, 页码: 16-26
高建华
;
蒋颖
  |  
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2014/12/16
模型检测
互模拟
函子
终余代数
最小Kripke结构
基于范畴计算的多目标语言程序生成架构
期刊论文
OAI收割
计算机科学, 2011, 期号: 4, 页码: 185-187
王金全
;
郑宇军
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2011/10/10
范畴论
程序生成
函子
模型变换
富勒烯结构稳定化和碳纳米管机械振动性质的计算模拟研究
学位论文
OAI收割
博士, 上海应用物理研究所: 中国科学院上海应用物理研究所, 2007
许子健
收藏
  |  
浏览/下载:63/0
  |  
提交时间:2012/04/11
富勒烯
碳纳米管振子
密度泛函理论
分子动力学
初态相互作用与高能p—A碰撞中J/ψ产额的压低
期刊论文
OAI收割
高能物理与核物理, 1996, 期号: 7, 页码: 1003-1006
作者:
覃克宇
;
姜焕清
;
刘波
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2015/12/10
夸克-胶子等离子体
J/ψ压低
程函近似
13)C(K~-;π~-)_∧~(13)C反应的角分布
期刊论文
OAI收割
科学通报, 1982, 期号: 6, 页码: 776-779
作者:
李扬国
;
姜焕清
;
王潍潍
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2015/12/10
角分布
激发谱
激发方式
激发能
谐振子
第一激发态
奇异数
微分截面
末态
程函近似
多粒子体系的相对论Glauber展开式
期刊论文
OAI收割
科学通报, 1980, 期号: 11, 页码: 489-490
作者:
朱熙泉
;
何祚庥
;
赵维勤
;
鲍诚光
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2015/12/07
散射振幅
Glauber
展开式
核散射
强子
散射问题
多体
程函
强相互作用
时空间隔