中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [9]
计算技术研究所 [3]
心理研究所 [1]
沈阳自动化研究所 [1]
采集方式
OAI收割 [14]
内容类型
期刊论文 [9]
学位论文 [5]
发表日期
2018 [1]
2015 [1]
2011 [1]
2007 [1]
2006 [3]
2005 [2]
更多
学科主题
计算机应用 [1]
计算机系统结构::并... [1]
认知心理学 [1]
筛选
浏览/检索结果:
共14条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
过程气相色谱仪故障智能诊断知识的框架表示
期刊论文
OAI收割
当代化工, 2018, 卷号: 47, 期号: 12, 页码: 2700-2703
作者:
邹涛
;
贾洋
;
张世斌
;
惠存万
  |  
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2019/01/13
过程气相色谱仪
可靠性
故障智能诊断
人工智能
通用框架
大气环流模式动力框架优化技术研究(新)
学位论文
OAI收割
北京: 中国科学院研究生院, 2015
作者:
王国江
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2015/07/02
大气环流模式动力框架
干动力框架
水汽输送过程
性能优化
Gpu加速计算
有限差分法
半拉格朗日法
任务驱动的软件生产线框架设计与实现
学位论文
OAI收割
硕士, 北京: 中国科学院研究生院, 2011
詹孟粮
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/06/20
软件开发环境+软件生产线+软件生产线框架+敏捷开发过程
双重软件体系结构描述框架XYZ/ADL
期刊论文
OAI收割
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
收藏
  |  
浏览/下载:31/0
  |  
提交时间:2011/07/01
软件体系结构
体系结构描述语言
双重描述框架
XYZ/E
时序逻辑
UML
活动图
状态图
形式语义
结构描述
框架
形式化方法
语义基础
图形语言
软件工程师
表示系统
体系结构设计
时序逻辑语言
软件开发过程
软件的可靠性
语言建模
形式语言
行为表示
前端
静态语义
结构框图
结构建模
基本概念Formal languages
Formal methods
Semantics
Software engineering
Software reliability
Tem
模型驱动软件开发过程的若干问题研究
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2006
段玉聪
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/03/17
多维关注分离
过程框架
模型驱动开发
本体
认知
UML
多维关注分离的模型驱动过程框架设计方法
期刊论文
OAI收割
软件学报, 2006, 期号: 8, 页码: 1707-1716
段玉聪
;
顾毓清
  |  
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2011/07/13
多维关注分离,过程框架,模型驱动开发
图表加工的理论模型
期刊论文
OAI收割
心理科学进展, 2006, 卷号: 14, 期号: 1, 页码: 23-31
作者:
任衍具
;
傅小兰
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/01/11
图表加工
规则模型
认知过程模型
计算模型
层次框架模型
UML的形式化及其应用
期刊论文
OAI收割
计算机科学, 2005, 卷号: 32, 期号: 3, 页码: 136-140
周瑾
;
马应龙
;
李巍
;
吴志林
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/07/28
UML
形式化
形式化
设计错误
数表
框架
检测
优化建议
优化方案
设计模型
软件设计
进化过程
基础
状态图
序列图
应用
人员
理论
度量
大学水平的“数学分析知识”的获取和分析研究
期刊论文
OAI收割
计算机科学, 2005, 卷号: 32.0, 期号: 010, 页码: 118
作者:
刘汉武
;
曹存根
;
曾庆田
  |  
收藏
  |  
浏览/下载:0/0
  |  
提交时间:2023/12/04
数学知识
本体
框架
逻辑
类型
知识表示
知识获取
数学分析
大学本科
知识库
知识获取过程
水
数学相关
数学平台
数学系统
软件系统
一个以活动为中心的软件过程建模工具的设计与实现
学位论文
OAI收割
博士, 中国科学院软件研究所: 中国科学院软件研究所, 2004
田浩
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2011/03/17
软件过程
软件过程建模
软件过程模型
UML活动图
合理性检测
DOWSON框架