机构

• 软件研究所 [8]
• 自动化研究所 [2]
• 地理科学与资源研究所 [1]
• 计算技术研究所 [1]
• 合肥物质科学研究院 [1]

采集方式

• OAI收割 [13]

内容类型

• 期刊论文 [8]
• 学位论文 [4]
• 中文期刊论文 [1]

发表日期

• 2020 [1]
• 2013 [1]
• 2012 [1]
• 2011 [1]
• 2008 [2]
• 2007 [2]
• 更多

学科主题

• 计算机科学技术 [1]
• 计算机科学技术::计... [1]

筛选

浏览/检索结果: 共13条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 基于AADL和Simulink/Stateflow的混成系统图形化建模与仿真 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2020 作者:  占浩澜   |  收藏  |  浏览/下载：32/0  |  提交时间：2020/06/17 混成系统  AADL  Simulink/Stateflow  图形化建模  仿真   面向银行业的交互式审计建模工具的设计与实现 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2013 梁汨   |  收藏  |  浏览/下载：17/0  |  提交时间：2013/05/31 交互式  审计建模工具  类自然语言建模  图形化建模   大巴山区地层中氟的分布规律 中文期刊论文  OAI收割 2012 作者:  雒昆利 收藏  |  浏览/下载：21/0  |  提交时间：2012/11/14 图形处理单元  高精度曲面建模  曲面模拟  统一计算开发架构   应用GPU技术的建模、模拟和绘制的实例研究 学位论文  OAI收割 工学博士, 中国科学院自动化研究所: 中国科学院研究生院, 2011 作者:  王宁 收藏  |  浏览/下载：41/0  |  提交时间：2015/09/02 计算机建模  模拟和绘制  图形处理单元  modeling  simulation and rendering  graphics processing unit   布料上污渍效果的真实感模拟 期刊论文  OAI收割 计算机辅助设计与图形学学报, 2008, 卷号: 20, 期号: 9, 页码: 1110-1116 刘世光; 陈国军; 杨鹏; 张加万; 孙济洲 收藏  |  浏览/下载：64/2  |  提交时间：2011/06/10 计算机图形学  各向异性Navier-Stokes方程组  污渍  布料  真实感  布料  污渍  真实感模拟  方法  真实感绘制  蒸发作用  硬件加速  影视制作  渗透作用  多层模型  扩散作用  扩散运动  计算机  游戏  物理  实验  结构  建模Adsorption  Anisotropy  Fluid dynamics  Fluid mechanics   基于代数的软件过程建模系统的设计与实现 期刊论文  OAI收割 计算机工程与设计, 2008, 卷号: 29, 期号: 3, 页码: 530-534,539 杨国伟; 杨秋松; 翟健; 袁峰   |  收藏  |  浏览/下载：29/0  |  提交时间：2011/06/10 软件过程建模  多元π演算  ASPMS系统  形式化分析  验证  代数  软件过程建模语言  建模系统  设计  软件开发过程  易于理解  表示方式  表达能力  图形化  形式化语义  组织  生产质量  开发效率  π演算  模型  描述  矛盾   双重软件体系结构描述框架XYZ/ADL 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1485-1494 朱雪阳   |  收藏  |  浏览/下载：33/0  |  提交时间：2011/07/01 软件体系结构  体系结构描述语言  双重描述框架  XYZ/E  时序逻辑  UML  活动图  状态图  形式语义  结构描述  框架  形式化方法  语义基础  图形语言  软件工程师  表示系统  体系结构设计  时序逻辑语言  软件开发过程  软件的可靠性  语言建模  形式语言  行为表示  前端  静态语义  结构框图  结构建模  基本概念Formal languages  Formal methods  Semantics  Software engineering  Software reliability  Tem   工作流过程图形建模及基于自动机的动态语义 期刊论文  OAI收割 计算机辅助设计与图形学学报, 2007, 卷号: 19, 期号: 1, 页码: 8-13 董广智; 田勇; 柳军飞 收藏  |  浏览/下载：139/5  |  提交时间：2011/07/01 工作流过程  图形建模  反应式控制  自动机  动态语义  工作流  图形建模  有限状态自动机  动态语义  Dynamic Semantics  过程元模型  语义正确性  图形表示  过程执行  过程模型  运行时  可表示  反应式  中心  应用  行为  活动   重点项目 期刊论文  OAI收割 中国科学基金, 2006, 卷号: 20, 期号: 4, 页码: 236-237 石教英; 胡占义; 吴恩华; 彭群生   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/13 虚拟现实  基于图像的建模和绘制  成果简介  重点项目  虚拟现实技术  图像  建模绘制  计算机  综合应用  医疗卫生  研究领域  学科领域  信息科学  算机视觉  军事演习  环境保护  关键技术  图形学  娱乐  用户  影视  前沿   真实感人脸建模研究的进展与展望 期刊论文  OAI收割 软件学报, 2003, 卷号: 14.0, 期号: 004, 页码: 804 作者:  徐琳;  袁保宗;  高文   |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04 真实感人脸  建模  计算机图形学  面部合成  人机交互