中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [6]
计算技术研究所 [3]
心理研究所 [2]
地理科学与资源研究所 [1]
采集方式
OAI收割 [12]
内容类型
期刊论文 [11]
CNKI期刊论文 [1]
发表日期
2022 [2]
2021 [1]
2018 [1]
2008 [1]
2007 [2]
2006 [1]
更多
学科主题
筛选
浏览/检索结果:
共12条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
心理学的底层逻辑与框架(笔会)
期刊论文
OAI收割
苏州大学学报(教育科学版), 2022, 卷号: 10, 期号: 03, 页码: 1-28
作者:
陈巍
;
蒋柯
;
刘燊
;
刘嘉
;
傅安国
  |  
收藏
  |  
浏览/下载:210/0
  |  
提交时间:2022/11/10
理论心理学
认知科学
底层认识论逻辑
底层思辨框架
中国心理学未来发展要建立在科学与人文的底层逻辑和框架之上
期刊论文
OAI收割
苏州大学学报(教育科学学报), 2022, 卷号: 2020, 期号: 3, 页码: 24-28
作者:
张建新
  |  
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2023/02/10
理论心理学
认知科学
底层认识论逻辑
底层思辨框架
村镇建设资源环境承载力测算的基本逻辑与框架
CNKI期刊论文
OAI收割
2021
作者:
段学军
;
王传胜
;
李恒鹏
;
欧维新
;
张龙江
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2022/10/11
村镇建设
资源环境承载力
测算
基本逻辑
框架
A computational framework for Karl Popper's logic of scientific discovery
期刊论文
OAI收割
中国科学:信息科学(英文版), 2018, 卷号: 61.0, 期号: 004, 页码: 042101
作者:
Li Wei
;
Sui Yuefei
  |  
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2023/12/04
科学发现
计算框架
逻辑
卡尔
近似推理
可满足性
近似算法
修订
基于规则的关系数据库到本体的转换方法
期刊论文
OAI收割
计算机应用研究, 2008, 卷号: 25, 期号: 3
余霞
;
刘强
;
叶丹
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2010/08/25
数据集成
关系模式
本体
框架逻辑
资源描述框架
双重软件体系结构描述框架XYZ/ADL
期刊论文
OAI收割
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2011/07/01
软件体系结构
体系结构描述语言
双重描述框架
XYZ/E
时序逻辑
UML
活动图
状态图
形式语义
结构描述
框架
形式化方法
语义基础
图形语言
软件工程师
表示系统
体系结构设计
时序逻辑语言
软件开发过程
软件的可靠性
语言建模
形式语言
行为表示
前端
静态语义
结构框图
结构建模
基本概念Formal languages
Formal methods
Semantics
Software engineering
Software reliability
Tem
Web应用自动构建框架——WACF
期刊论文
OAI收割
计算机工程, 2007, 期号: 9, 页码: 97-99
李梦
;
李凡
;
李京
收藏
  |  
浏览/下载:88/8
  |  
提交时间:2011/07/01
Web应用框架
业务逻辑
自动生成
Struts
国家知识基础设施中的数学知识表示
期刊论文
OAI收割
软件学报, 2006, 卷号: 17.0, 期号: 008, 页码: 1731
作者:
曹存根
;
眭跃飞
;
孙瑜
;
曾庆田
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
数学知识
框架
描述逻辑
本体
UML活动图的时序逻辑语义
期刊论文
OAI收割
计算机研究与发展, 2005, 卷号: 42, 期号: 9, 页码: 1478-1484
朱雪阳
;
唐稚松
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/28
UML
活动图
形式化语义
时序逻辑
XYZ/E
活动图
线性时序逻辑语言
逻辑语义
UML Activity Diagrams
形式化
系统行为
语义转换
行为建模
描述系统
逻辑框架
动态行为
图结构
控制流
可表示
程序性
基础
大学水平的“数学分析知识”的获取和分析研究
期刊论文
OAI收割
计算机科学, 2005, 卷号: 32.0, 期号: 010, 页码: 118
作者:
刘汉武
;
曹存根
;
曾庆田
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
数学知识
本体
框架
逻辑
类型
知识表示
知识获取
数学分析
大学本科
知识库
知识获取过程
水
数学相关
数学平台
数学系统
软件系统