中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [6]
自动化研究所 [3]
力学研究所 [1]
地理科学与资源研究所 [1]
国家空间科学中心 [1]
长春光学精密机械与物... [1]
更多
采集方式
OAI收割 [16]
内容类型
学位论文 [8]
期刊论文 [8]
发表日期
2022 [1]
2017 [1]
2015 [1]
2008 [1]
2007 [1]
2005 [1]
更多
学科主题
筛选
浏览/检索结果:
共16条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
作者升序
作者降序
GPU 加速的超大规模可压缩湍流直接数值模拟研究
学位论文
OAI收割
北京: 中国科学院大学, 2022
作者:
党冠麟
  |  
收藏
  |  
浏览/下载:124/0
  |  
提交时间:2023/02/06
软件,湍流,高超声速,直接数值模拟,图形处理器
星载图像压缩核VLSI实现的软件验证
学位论文
OAI收割
硕士: 中国科学院国家空间科学中心, 2017
作者:
周文敬
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2017/08/29
CCSD-IDC
小波变换
位平面编码
软件验证
图形界面
GPU技术在反应堆设计中的应用研究
学位论文
OAI收割
硕士: 中国科学院研究生院(上海应用物理研究所), 2015
作者:
王飞飞
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2015/12/09
图形处理器
统一计算架构
CPU+GPU混合结构
反应堆计算软件
基于代数的软件过程建模系统的设计与实现
期刊论文
OAI收割
计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539
杨国伟
;
杨秋松
;
翟健
;
袁峰
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2011/06/10
软件过程建模
多元π演算
ASPMS系统
形式化分析
验证
代数
软件过程建模语言
建模系统
设计
软件开发过程
易于理解
表示方式
表达能力
图形化
形式化语义
组织
生产质量
开发效率
π演算
模型
描述
矛盾
双重软件体系结构描述框架XYZ/ADL
期刊论文
OAI收割
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
收藏
  |  
浏览/下载:34/0
  |  
提交时间:2011/07/01
软件体系结构
体系结构描述语言
双重描述框架
XYZ/E
时序逻辑
UML
活动图
状态图
形式语义
结构描述
框架
形式化方法
语义基础
图形语言
软件工程师
表示系统
体系结构设计
时序逻辑语言
软件开发过程
软件的可靠性
语言建模
形式语言
行为表示
前端
静态语义
结构框图
结构建模
基本概念Formal languages
Formal methods
Semantics
Software engineering
Software reliability
Tem
复合平台GIS理论研究与技术实践
学位论文
OAI收割
中国科学院地理科学与资源研究所: 中国科学院研究生院, 2005
作者:
曾志明
  |  
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2010/12/16
复合平台GIS
多平台GIS
通用图形引擎
通用GIS 组件
GIS软件开发
设计模式
铸造工艺CAD组件集成环境的研究
期刊论文
OAI收割
工程图学学报, 2002, 卷号: 23, 期号: 3, 页码: 29-33
冀俊峰
;
吴恩华
;
刘瑞玲
  |  
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2011/07/29
铸造工艺设计
计算机辅助设计
组件
组件集成环境
铸造工艺设计
组件集成环境
设计方法
组件结构
图形软件
设计计算
模数计算
工艺计算
对象属性
组件库
计算机
专业
铸件
注册
重量
通用
扩充
开发
基础
管理
虚拟植物建模及其软件开发进展
期刊论文
OAI收割
模式识别与人工智能, 2002, 卷号: 015
作者:
丁维龙
;
赵星
;
熊范纶
;
腾明贵
;
撒力
  |  
收藏
  |  
浏览/下载:19/0
  |  
提交时间:2020/11/23
虚拟植物
建模
软件开发
计算机图形学
三维动画
可视化软件体系结构描述工具XYZ/ADL的设计与实现
期刊论文
OAI收割
重庆师范学院学报(自然科学版), 2001, 卷号: 18, 期号: 2, 页码: 1-6
张广泉
;
骆华俊
;
郑建丹
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/29
时态逻辑
软件体系结构
体系结构描述工具
可视化
软件体系结构
描述工具
体系结构设计
模块化程序
逐步过渡
图形表示
设计方法
设计单元
求精方法
逻辑语言
动态行为
抽象层次
语言能
连接件
交互端
组件
框架
基础
规范
一个跨平台CGM图形工具的设计与实现
期刊论文
OAI收割
西北大学学报(自然科学版), 2001, 卷号: 31, 期号: 4
田丰
;
栗阳
;
华庆一
  |  
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2010/08/24
软件复用
分布式对象
光栅图形
矢量图形