消息
×
loading..
中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [14]
地理科学与资源研究所 [2]
计算技术研究所 [2]
过程工程研究所 [2]
长春应用化学研究所 [2]
长春光学精密机械与物... [1]
更多
采集方式
OAI收割 [26]
_filter
_filter
_filter
筛选
浏览/检索结果:
共26条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
面向高效能的软件及其设计、分析与实现方法专刊前言
期刊论文
OAI收割
软件学报, 2012, 卷号: 23.0, 期号: 002, 页码: 177
作者:
孙毓忠
;
臧斌宇
|
收藏
|
浏览/下载:3/0
|
提交时间:2023/12/04
软件开发
设计理念
计算系统
节能减排
开发效率
硬件
面向少儿多通道交互技术软件系统的研究
期刊论文
OAI收割
江西科学, 2010, 卷号: 28, 期号: 1, 页码: 64-66,71
熊金泉
;
刘翌
;
王丹力
|
收藏
|
浏览/下载:8/0
|
提交时间:2011/05/23
少儿,软件开发包,多通道交互技术,益智系统
信息可视化中的交互技术研究
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2009
任磊
|
收藏
|
浏览/下载:30/0
|
提交时间:2011/03/17
可视化
信息可视化
人机交互
用户界面模型
模型驱动架构
软件开发方法
软件体系结构
软件平台
制造业信息化
计算机文件系统
基于代数的软件过程建模系统的设计与实现
期刊论文
OAI收割
计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539
杨国伟
;
杨秋松
;
翟健
;
袁峰
|
收藏
|
浏览/下载:27/0
|
提交时间:2011/06/10
软件过程建模
多元π演算
ASPMS系统
形式化分析
验证
代数
软件过程建模语言
建模系统
设计
软件开发过程
易于理解
表示方式
表达能力
图形化
形式化语义
组织
生产质量
开发效率
π演算
模型
描述
矛盾
空间碎片搜索数字化仿真系统的设计与实现
期刊论文
OAI收割
系统仿真学报, 2007, 卷号: 19, 期号: 24, 页码: 5680-5683,5687
王抒雁
;
王宇心
;
陈宏
|
收藏
|
浏览/下载:19/0
|
提交时间:2011/07/01
UML
建模
碎片
搜索
仿真
空间碎片
数字化
仿真系统
用例模型
质量和效率
可视化建模
行为模型
设计方法
软件开发
耦合关系
面向对象
可扩展性
开发过程
辅助作用
适用性
航天器
证明
识别
平台
双重软件体系结构描述框架XYZ/ADL
期刊论文
OAI收割
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
|
收藏
|
浏览/下载:32/0
|
提交时间:2011/07/01
软件体系结构
体系结构描述语言
双重描述框架
XYZ/E
时序逻辑
UML
活动图
状态图
形式语义
结构描述
框架
形式化方法
语义基础
图形语言
软件工程师
表示系统
体系结构设计
时序逻辑语言
软件开发过程
软件的可靠性
语言建模
形式语言
行为表示
前端
静态语义
结构框图
结构建模
基本概念Formal languages
Formal methods
Semantics
Software engineering
Software reliability
Tem
地理信息系统的新时代:网格地理信息系统
中文期刊论文
OAI收割
2007
周成虎
收藏
|
浏览/下载:43/0
|
提交时间:2012/05/15
商业地理信息系统
地理信息服务
地理信息系统技术
地理信息科学
网格技术
发展历史
软件开发
空间信息技术
空间信息服务
空间数据生产
基于决策树算法的可用性评估平台的实现
期刊论文
OAI收割
计算机仿真, 2006, 卷号: 23, 期号: 9, 页码: 53-57
常晓红
;
苏菲
|
收藏
|
浏览/下载:19/0
|
提交时间:2011/07/13
可用性评估
信息熵
决策树
智能交互
决策树
分类算法
可用性评估
用户满意度
知识支持
评估平台
交互过程
软件开发过程
市场竞争力
知识内容
知识分类
用户选择
信息影响
平台系统
评估工作
节点信息
交互方式
产品质量
属性值
有价值
一种支持构件动态重配置的部署框架
期刊论文
OAI收割
计算机工程与应用, 2006, 卷号: 42, 期号: 15, 页码: 82-85,124
何冰
;
马波
|
收藏
|
浏览/下载:23/0
|
提交时间:2011/07/13
构件部署框架
基于构件的软件开发
动态重配置
部署生命周期
构件部署框架
系统动态重配置
Software Development
开发者
基于构件
可扩展系统
软件系统
构件系统
构件模型
运行时
适应性
灵活性
增长
基于PMAC开放式数控系统软件开发
期刊论文
OAI收割
机械设计与制造, 2006, 卷号: 44, 期号: 11, 页码: 49-51
作者:
孟淑娟
;
刘建伟
;
高世一
|
收藏
|
浏览/下载:11/0
|
提交时间:2010/11/29
Pmac
开放式数控系统
软件开发
首页
上一页
1
2
3
下一页
末页