中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [10]
心理研究所 [1]
过程工程研究所 [1]
沈阳自动化研究所 [1]
采集方式
OAI收割 [13]
内容类型
期刊论文 [12]
学位论文 [1]
发表日期
2013 [1]
2008 [1]
2007 [4]
2006 [1]
2004 [1]
2003 [1]
更多
学科主题
计算机应用::计算机... [1]
筛选
浏览/检索结果:
共13条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
多智能体平台图形化开发环境的设计与实现
学位论文
OAI收割
硕士, 北京: 中国科学院大学, 2013
韩启楠
  |  
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/07/05
智能体
多智能体系统
图形化表示方法
图形化开发环境
基于代数的软件过程建模系统的设计与实现
期刊论文
OAI收割
计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539
杨国伟
;
杨秋松
;
翟健
;
袁峰
  |  
收藏
  |  
浏览/下载:25/0
  |  
提交时间:2011/06/10
软件过程建模
多元π演算
ASPMS系统
形式化分析
验证
代数
软件过程建模语言
建模系统
设计
软件开发过程
易于理解
表示方式
表达能力
图形化
形式化语义
组织
生产质量
开发效率
π演算
模型
描述
矛盾
双重软件体系结构描述框架XYZ/ADL
期刊论文
OAI收割
计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494
朱雪阳
  |  
收藏
  |  
浏览/下载:29/0
  |  
提交时间:2011/07/01
软件体系结构
体系结构描述语言
双重描述框架
XYZ/E
时序逻辑
UML
活动图
状态图
形式语义
结构描述
框架
形式化方法
语义基础
图形语言
软件工程师
表示系统
体系结构设计
时序逻辑语言
软件开发过程
软件的可靠性
语言建模
形式语言
行为表示
前端
静态语义
结构框图
结构建模
基本概念Formal languages
Formal methods
Semantics
Software engineering
Software reliability
Tem
基于模版的三角网格拓扑压缩
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 6, 页码: 703-707
刘迎
;
刘学慧
;
吴恩华
  |  
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/07/01
Edgebreaker
模版
算术编码
网格
拓扑压缩
编码
解码
三角网格
无损压缩算法
二进制表示
压缩比
网格拓扑
自适应
操作符
图形操作
遍历方法
编码方法
熵编码
分辨率
算术
设计
分割
网格图形编辑的样条方法
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 7, 页码: 907-912
吴金钟
;
刘学慧
;
吴恩华
  |  
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2011/07/01
样条
图形编辑
三角形网格
网格细分
样条曲面
编辑方法
变形
坐标表示
网格图形
网格光滑
网格方法
网格顶点
网格表面
局部
复杂模型
预计算
控制点
对应点
不变量
保细节
重建
形状
工作流过程图形建模及基于自动机的动态语义
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 1, 页码: 8-13
董广智
;
田勇
;
柳军飞
收藏
  |  
浏览/下载:137/5
  |  
提交时间:2011/07/01
工作流过程
图形建模
反应式控制
自动机
动态语义
工作流
图形建模
有限状态自动机
动态语义
Dynamic Semantics
过程元模型
语义正确性
图形表示
过程执行
过程模型
运行时
可表示
反应式
中心
应用
行为
活动
基于GPU的交互式动态折射绘制算法
期刊论文
OAI收割
计算机辅助设计与图形学学报, 2006, 卷号: 18, 期号: 11, 页码: 1652-1657
刘保权
;
吴恩华
;
刘学慧
  |  
收藏
  |  
浏览/下载:24/0
  |  
提交时间:2011/07/13
图形硬件
GPU
实时绘制
完全透明
半透明
全反射
交互式
折射
半透明物体
真实感绘制
全反射现象
传播路径
光线
吸收模型
网格表示
投影空间
绘制算法
求交运算
反射图像
变形物体
预计算
体绘制
制动
散射
模拟
因果力比较范式下对效力PC理论的检验
期刊论文
OAI收割
心理学报, 2004, 卷号: 36, 期号: 2, 页码: 160-167
作者:
王墨耘
;
傅小兰
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/01/11
效力PC理论
概率对比模型
因果力比较
集中呈现
图形表示
不对称性
一种三维实体模型的离散表示方法
期刊论文
OAI收割
计算机工程与应用, 2003, 卷号: 39, 期号: 15, 页码: 14-15,139
作者:
温佩芝
;
吴晓军
;
史泽林
;
于海斌
  |  
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2010/11/29
体图形学(Vg)
三维模型
体素表示
体素化
深度缓存
可视化软件体系结构描述工具XYZ/ADL的设计与实现
期刊论文
OAI收割
重庆师范学院学报(自然科学版), 2001, 卷号: 18, 期号: 2, 页码: 1-6
张广泉
;
骆华俊
;
郑建丹
  |  
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2011/07/29
时态逻辑
软件体系结构
体系结构描述工具
可视化
软件体系结构
描述工具
体系结构设计
模块化程序
逐步过渡
图形表示
设计方法
设计单元
求精方法
逻辑语言
动态行为
抽象层次
语言能
连接件
交互端
组件
框架
基础
规范