中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
地理科学与资源研究所 [2]
沈阳应用生态研究所 [1]
软件研究所 [1]
采集方式
OAI收割 [4]
内容类型
期刊论文 [3]
中文期刊论文 [1]
发表日期
2006 [1]
2005 [2]
1989 [1]
学科主题
筛选
浏览/检索结果:
共4条,第1-4条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
需求驱动的Web服务建模及其验证:一个基于本体的方法
期刊论文
OAI收割
中国科学E辑, 2006, 卷号: 36, 期号: 10, 页码: 1189-1219
侯丽珊
;
金芝
;
吴步丹
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/13
Web服务
环境本体
自动组合
π演算
形式化验证
需求驱动
Web服务
建模
验证算法
本体
组合模型
环境变化
能力描述
进程表达式
转换机制
验证方法
可满足性
操作
形式化
概念化
π演算
语义
行为
框架
交互
“水资源约束下西北干旱区城市化过程及生态效应”研究进展
中文期刊论文
OAI收割
2005
作者:
方创琳
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2012/05/23
城市化过程
研究进展
城市化水平
城市用地扩展
生态效应
西北干旱区
水资源约束
城市化进程
河西走廊
水资源变化
河西走廊水资源变化与城市化过程的耦合效应分析
期刊论文
OAI收割
资源科学, 2005, 卷号: 27.0, 期号: 002, 页码: 2
作者:
方创琳
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/11/25
城市化水平
城市化进程
城市化过程
农民进城
城镇化战略
剩余劳动力
产业集聚
难度
变化
未来
长白山树木蒸腾和气孔阻力的日变化
期刊论文
OAI收割
植物生理学通讯, 1989, 期号: 3, 页码: 22-25
作者:
陶大立
;
靳月华
;
林继惠
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2016/12/06
气孔阻力
蒸腾强度
下降过程
日变化
光合能力
变化进程
森林生态系统
气孔计
上升过程
长白松