检索结果-内蒙古大学图书馆

计算机研究与发展 2000年第1期37卷 95-101页

作者：方海许文林惠民中国科学院软件研究所计算机科学实验室北京100080

带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型，在ＳＴＧＡ上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价．由于ＳＴＧＡ的一个结点对应于具体迁移图的许多结点，在ＳＴＧＡ上所作... 详细信息

带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型，在ＳＴＧＡ上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价．由于ＳＴＧＡ的一个结点对应于具体迁移图的许多结点，在ＳＴＧＡ上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响．文中介绍了ＳＴＧＡ上的一组局部优化算法，证明其正确性，并通过应用实例说明对提高效率的作用．

关键词：传值进程符号迁移图赋值局部优化算法

来源：评论

学校读者我要写书评

暂无评论

虚拟现实系统中飞行器航迹的实时模拟

引用

系统仿真学报 2000年第4期12卷 308-310页

作者：严涛郑新吴恩华中国科学院软件研究所计算机科学实验室北京100080

烟雾等无定形物质的模拟一直是计算机图形学领域一个具有挑战性的问题 ,烟雾的实时模拟更是一个困难的问题。虽然目前现有技术已经可以生成真实感较强的动态烟雾 ,但由于这些方法多采用基于粒子系统的体绘制技术生成图象 ,因而大多无法... 详细信息

烟雾等无定形物质的模拟一直是计算机图形学领域一个具有挑战性的问题 ,烟雾的实时模拟更是一个困难的问题。虽然目前现有技术已经可以生成真实感较强的动态烟雾 ,但由于这些方法多采用基于粒子系统的体绘制技术生成图象 ,因而大多无法满足VR系统的实时性需求。本文提出了一种在VR系统中实时模拟飞行器尾部航迹的方法 ,该方法利用对平面多边形顶点灰度和透明度的扰动实时地生成和绘制航迹 ,算法简单高效 ,所生成的尾迹真实感较强。

关键词：飞行器航迹实时模拟烟雾虚拟现实系统

来源：评论

学校读者我要写书评

暂无评论

三元四方向四面体剖分上的B样条

引用

中国科学（A辑） 2000年第9期30卷 791-798页

作者：施锡泉孙家昶大连理工大学应用数学系大连116024 中国科学院软件研究所计算机科学实验室北京100080

研究了三维样条构造的一些本质困难 ,把有关二元三方向上样条的结果推广到三维空间 ,得到了三元四方向四面体剖分和相应的B样条及其支集和积分、微分差分公式 .结果可直接推广到更高维空间中去。

关键词：四面体剖分三元四方向剖分小波 B样条函数

来源：评论

学校读者我要写书评

暂无评论

飞行模拟系统中导弹尾焰的实时生成

引用

计算机辅助设计与图形学学报 1999年第1期11卷 74-76页

作者：严涛吴恩华中国科学院软件研究所计算机科学实验室

虚拟现实（ＶＲ）系统对火焰的模拟，通常采用纹理映射（ＴｅｘｔｕｒｅＭａｐｐｉｎｇ）技术，即采用二维火焰图象作为纹理，将其映射到画面对应位置．由于纹理是二维的，所以无法从各个角度对火焰进行观察，从而大大影响了场景的真实... 详细信息

虚拟现实（ＶＲ）系统对火焰的模拟，通常采用纹理映射（ＴｅｘｔｕｒｅＭａｐｐｉｎｇ）技术，即采用二维火焰图象作为纹理，将其映射到画面对应位置．由于纹理是二维的，所以无法从各个角度对火焰进行观察，从而大大影响了场景的真实感及用户的沉浸感．本文提出了一种在ＶＲ飞行模拟系统中生成导弹尾部火焰的算法，用该算法产生的三维尾焰，在形状、色彩、动画效果上均十分逼真，且计算开销较小．对于有图形硬件支持的ＶＲ系统来说，完全可以实现尾焰的实时生成．

关键词：飞行模拟系统导弹尾焰尾焰虚拟现实

来源：评论

学校读者我要写书评

暂无评论

基于图像的室内虚拟环境的研究

引用

计算机学报 1999年第5期22卷 529-534页

作者：李洪举吴恩华中国科学院软件研究所计算机科学实验室澳门大学

基于图像的建模和绘制技术，提出了一个构造室内虚拟环境的完整方案，用户只需要输入少数照片，即可重建室内场景的全景图像．方案主要包括以下几步：首先由用户交互确定图像中的匹配象素，通过运动分析算法恢复整个场景的几何结构；然... 详细信息

基于图像的建模和绘制技术，提出了一个构造室内虚拟环境的完整方案，用户只需要输入少数照片，即可重建室内场景的全景图像．方案主要包括以下几步：首先由用户交互确定图像中的匹配象素，通过运动分析算法恢复整个场景的几何结构；然后，将原始图像变换至平面的参数坐标系，抽取纹理图像，并在参数空间对纹理图像进行拼接；最后生成场景的全景图像．算法对拍摄条件和设备没有苛刻要求，运算量较小，有较强的稳定性．

关键词：虚拟环境射影几何纹理图像变换虚拟现实

来源：评论

学校读者我要写书评

暂无评论

一种辐射度全局光照网格模型的简化方法

引用

软件学报 1999年第2期10卷 121-128页

作者：刘学慧吴恩华中国科学院软件研究所计算机科学实验室澳门大学科学技术系

全局光照模型计算通常将环境中的表面分解得足够细，以精确地捕捉由于物体间相互遮挡所引起的阴影效果及其他一些光照效果．因而，一个复杂场景经全局光照计算后，其模型复杂度远远超出了当今图形工作站的实时绘制能力．给出了一种辐射... 详细信息

全局光照模型计算通常将环境中的表面分解得足够细，以精确地捕捉由于物体间相互遮挡所引起的阴影效果及其他一些光照效果．因而，一个复杂场景经全局光照计算后，其模型复杂度远远超出了当今图形工作站的实时绘制能力．给出了一种辐射度全局光照网格模型的简化方法．算法首先根据辐射度计算的特点以及人眼的视觉特点，提出以辐射度最大相对变化值为准则，以面片合并法实现全局光照网格模型的第１步简化，将原辐射度全局光照网格模型简化为能量相对变化在用户定义误差范围内的一些超面区域．然后利用顶点删除法实现超面区域边界的简化，进一步加大原网格模型的简化程度．试验表明，这种算法不仅能有效地简化辐射度全局光照网格模型，而且能较好地保持原光照网格模型的特征．

关键词：全局光照模型辐射度网络简化虚拟现实

来源：评论

学校读者我要写书评

暂无评论

基于图象空间判据的地表模型加速绘制技术

引用

软件学报 1998年第7期9卷 481-486页

作者：刘学慧吴恩华中国科学院软件研究所计算机科学实验室

在利用图形绘制实现虚拟现实的研究工作中，为了加速图形生成以保证实时的图形绘制，物体层次细节模型ＬｏＤ（ｌｅｖｅｌｏｆｄｅｔａｉｌ）的选择是其最主要的解决办法．其主要原理是根据物体对于观察者的重要性选择该物体绘制的细节... 详细信息

在利用图形绘制实现虚拟现实的研究工作中，为了加速图形生成以保证实时的图形绘制，物体层次细节模型ＬｏＤ（ｌｅｖｅｌｏｆｄｅｔａｉｌ）的选择是其最主要的解决办法．其主要原理是根据物体对于观察者的重要性选择该物体绘制的细节．地表模型作为多边形网格模型的一种特殊几何模型，在各种虚拟现实系统中有着重要而广泛的应用．该文通过对地表模型实时生成特殊性要求的分析，提出具有焦点加权因子的基于图象空间误差的、适用于地表模型特殊性的、有效的加速简化方法．以焦点和显示面积的有效结合作为物体重要性评价尺度，有效地简化了地表模型的绘制．同时，算法结合均匀网格模型的多分辨率细节层次模型，以“块”作为地表模型大面积简化的空间单位，加速地表模型的简化操作，以实现较为复杂的地表模型的实时绘制．

关键词：虚拟现实地表模型层次细节实时绘制

来源：评论

学校读者我要写书评

暂无评论

一阶逻辑中约束求解的局部搜索法

引用

软件学报 1998年第8期9卷 598-600页

作者：张健中国科学院软件研究所计算机科学实验室

以一阶谓词逻辑为基础，讨论约束满足问题．着重研究一阶逻辑公式可满足性的局部搜索法，并与命题逻辑中的可满足性过程加以比较．以皇后问题和哈密顿回路问题为例，说明基于一阶逻辑的方法能处理较大的问题实例．

关键词：约束满足问题一阶谓词逻辑局部搜索人工智能

来源：评论

学校读者我要写书评

暂无评论

传值系统的互模拟与谓词等式系

引用

计算机学报 1998年第2期21卷 97-102页

作者：林惠民中国科学院软件研究所计算机科学实验室北京100080

本文引入描述传值并发系统的新模型“带赋值符号迁移图（STGA）”．STGA推广了Hen－nessy和Lin提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类传值系统表示为有穷状态图．STGA的另一优点是在并行运算下封闭．文... 详细信息

本文引入描述传值并发系统的新模型“带赋值符号迁移图（STGA）”．STGA推广了Hen－nessy和Lin提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类传值系统表示为有穷状态图．STGA的另一优点是在并行运算下封闭．文中给出了STGA的操作语义，在此基础上定义了STGA的互模拟等价关系．为了刻划STGA的互模拟，以谓词等式系的形式在一阶逻辑的正子集中扩充了最大和最小不动点，并设计了一个算法将STGA的互模拟归结为谓词等式系的最大不动点．

关键词：互模拟谓词等式系传值系统进程软件

来源：评论

学校读者我要写书评

暂无评论

树在风中的摇曳──基于动力学的计算机动画

引用

计算机学报 1998年第9期21卷 769-773页

作者：冯金辉陈彦云严涛吴恩华中国科学院软件研究所计算机科学实验室北京100080 澳门大学计算机系

树木森林在自然场景的构成中占有很重要的地位，尤其是树在风中的摇曳更是组成了一幕幕动人的景象．但是由于树结构的高度复杂性，给这一问题的研究工作带来了极大的困难。本文首次基于动力学对树在风中的摇曳进行了计算机模拟，对这一... 详细信息

树木森林在自然场景的构成中占有很重要的地位，尤其是树在风中的摇曳更是组成了一幕幕动人的景象．但是由于树结构的高度复杂性，给这一问题的研究工作带来了极大的困难。本文首次基于动力学对树在风中的摇曳进行了计算机模拟，对这一问题进行了探索并给出了解决方案．根据树木结构的物理性质可把其分为固定枝条、可动枝条以及波动枝条．固定枝条无需处理．可动枝条的行为采用现代非线性力学理论来解决，而波动枝条的解决则是基于波动理论．同时基于OpenGL，图形库函数制作出了计算机动画实例．

关键词：计算机动画树波动风动力学

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：