中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
近代物理研究所 [2]
软件研究所 [2]
计算技术研究所 [1]
紫金山天文台 [1]
采集方式
OAI收割 [6]
内容类型
期刊论文 [5]
会议论文 [1]
发表日期
2013 [3]
2012 [2]
2002 [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
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
Theoretical study on neutron skin thickness of Ca isotopes by parity-violating electron scattering
期刊论文
OAI收割
NUCLEAR PHYSICS A, 2013, 卷号: 900, 页码: 1-15
作者:
Liu, Jian
;
Ren, Zhongzhou
;
Dong, Tiekuang
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2014/01/08
Parity-violating electron scattering
Neutron skin thickness
Statistical errors in PVS experiments
Ca isotopes
Theoretical study on neutron skin thickness of Ca isotopes by parity-violating electron scattering
期刊论文
OAI收割
NUCLEAR PHYSICS A, 2013, 卷号: 900, 页码: 1-15
作者:
Liu, Jian
;
Ren, Zhongzhou
;
Dong, Tiekuang
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2018/07/05
Parity-violating Electron Scattering
Neutron Skin Thickness
Statistical Errors In Pvs Experiments
Ca Isotopes
基于PVS的数据库安全策略形式化分析方法
期刊论文
OAI收割
中国科学技术大学学报, 2013, 卷号: 43, 期号: 7, 页码: 591-598
李昊
;
张敏
;
王榕
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2014/12/16
形式化方法
数据库管理系统
PVS
定理证明
formal method
DBMS
PVS
theorem proving
Theoretical study on parity-violating electron scattering off isotonic nuclei
期刊论文
OAI收割
NUCLEAR PHYSICS A, 2012, 卷号: 888, 页码: 45-57
作者:
Liu, Jian
;
Ren, Zhongzhou
;
Dong, Tiekuang
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2018/07/05
Parity-violating Electron Scattering
Neutron Skin Thickness
Statistical Errors In Pvs Experiments
Isotonic Nuclei
基于PVS的数据库安全策略形式化分析方法
会议论文
OAI收割
首届全国信息安全等级保护技术大会, 桂林, 2012
李昊
;
张敏
;
王榕
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2013/09/22
formal method
DBMS
PVS
theorem proving
基于PVS的密码协议形式化规范
期刊论文
OAI收割
中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 003, 页码: 233
作者:
Zheng Yuan
;
Hu Chengjun
;
Lu Shuwang
;
Shen Changxiang
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2023/12/04
密码协议
形式化规范
PVS
规范语言
规范方法
加密系统
语义编码方式