中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [3]
自然科学史研究所 [2]
心理研究所 [2]
采集方式
OAI收割 [7]
内容类型
期刊论文 [4]
学位论文 [2]
会议论文 [1]
发表日期
2022 [1]
2019 [1]
2011 [1]
2010 [1]
2008 [1]
2001 [1]
更多
学科主题
科技研究理论::科技... [1]
计算机科学技术::计... [1]
筛选
浏览/检索结果:
共7条,第1-7条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
舞蹈治疗之真实动作疗法的理论基础与心理机制
期刊论文
OAI收割
医学与哲学, 2022, 卷号: 43, 期号: 13, 页码: 57-62
作者:
程增艳
;
王詠
  |  
收藏
  |  
浏览/下载:49/0
  |  
提交时间:2023/02/13
舞蹈治疗
真实动作
具身认知
积极想象
生成论
时滞动态系统的形式验证与控制生成
学位论文
OAI收割
博士, 北京: 中国科学院大学, 2019
作者:
陈明帅
  |  
收藏
  |  
浏览/下载:70/0
  |  
提交时间:2019/06/10
时滞动态系统
安全性验证
控制器生成
可达集计算
稳定性分析
算法博弈论
基于范畴计算的多目标语言程序生成架构
期刊论文
OAI收割
计算机科学, 2011, 期号: 4, 页码: 185-187
王金全
;
郑宇军
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2011/10/10
范畴论
程序生成
函子
模型变换
SRL→Radl生成系统及其相关理论研究
学位论文
OAI收割
博士, 北京: 中国科学院研究生院, 2010
王昌晶
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2012/06/20
结构化需求语言
形式化软件规约
生成系统
范畴论
规约相对正确性
《参同契》与中国古代炼丹学说
期刊论文
OAI收割
自然科学史研究, 2008, 卷号: 27, 期号: 4, 页码: 429-450
作者:
容志毅
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2015/11/03
《参同契》
丹药五行反应论
铅汞大丹论
丹鼎小宇宙论
丹药生成化合论
丹鼎小宇宙论
从构成到生成
期刊论文
OAI收割
自然辩证法研究, 2001, 卷号: 17, 期号: 6, 页码: 13-17
田松
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2013/03/05
历史
科学
构成论
生成论
还原论
整体论
幼儿自主性生活与认知发展研究
会议论文
OAI收割
全国第七届心理学学术会议, 北京, 1993-01-01
作者:
李文馥
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2021/07/30
幼儿心理发展
性生活
认知心理学
自主发展能力
自组织理论
儿童心理发展
指导思想
潜在能力
立论依据
开发智力
进程
教育途径
建构理论
自生成
系统论
内源
目标
活动
构造