中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
成都山地灾害与环境研... [2]
心理研究所 [1]
软件研究所 [1]
采集方式
OAI收割 [4]
内容类型
期刊论文 [4]
发表日期
2009 [1]
2008 [2]
2006 [1]
学科主题
心理测量 [1]
筛选
浏览/检索结果:
共4条,第1-4条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
心理测验中正反向表述项目对量表效度的影响
期刊论文
OAI收割
中国临床心理学杂志, 2009, 卷号: 17, 期号: 5, 页码: 554-556
作者:
王淑娟
;
张建新
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/01/21
焦虑控制问卷
项目表述
方法效应
交叉效度验证
岩溶坡地土壤空间异质性的表述与调查方法——以贵州清镇市王家寨坡地为例
期刊论文
OAI收割
地球与环境, 2008, 卷号: 32, 期号: 2, 页码: 130-135
作者:
鲍玉海
;
严冬春
;
张信宝
;
汪阳春
;
文安邦
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2010/12/08
岩溶坡地
土壤空间异质性
表述方法
调查方法
贵州清镇市
岩溶坡地土壤空间异质性的表述与调查方法—以贵州清镇市王家寨坡地为例
期刊论文
OAI收割
地球与环境, 2008, 卷号: 36.0, 期号: 002, 页码: 130-135
作者:
严冬春
;
文安邦
;
鲍玉海
;
汪阳春
;
张信宝
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2021/03/01
岩溶坡地
土壤空间异质性
表述方法
调查方法
贵州清镇市
对一类多级安全模型安全性的形式化分析
期刊论文
OAI收割
计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479
何建波
;
卿斯汉
;
王超
  |  
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2011/07/13
BLP模型
MLS策略
安全不变式
Z语言
Z/EVES定理证明器
多级安全模型
安全性
形式化分析
不变式
验证模型
形式化规范
验证工具
系统安全
策略
表述形式
分析表
语言
思想
理论
客体
方法Computer programming languages
Formal languages
Functions
Mathematical models
Security of data
Security systems
Specifications
Theorem prov