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

软件学报 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，图形库函数制作出了计算机动画实例．

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

来源：评论

学校读者我要写书评

暂无评论

一个面向对象的交互式图形工具箱OOIGT

引用

计算机学报 1998年第2期21卷 154-161页

作者：华庆一葛玮鱼滨郝克刚西北大学计算机科学系西安710069 中国科学院软件研究所计算机科学实验室北京100080

在开发交互式图形应用过程中，一个主要难题是如何表示和建立代表应用模型数据及操作的图形对象并提供直接操作的交互方式，另一个难题是如何有效地表示和管理图形对象之间的关系．OOIGT是作者设计和实现的一个交互式图形建造工具箱，... 详细信息

在开发交互式图形应用过程中，一个主要难题是如何表示和建立代表应用模型数据及操作的图形对象并提供直接操作的交互方式，另一个难题是如何有效地表示和管理图形对象之间的关系．OOIGT是作者设计和实现的一个交互式图形建造工具箱，其目的是为解决上述难题提供一个有效的解．OOIGT提供了一个可扩充、用于表示应用模型并集成了事件模型的图形对象集，使应用不仅只需定义对象，而毋须了解如何作图，且容易处理在这些对象上的交互式直接操作．

关键词：面向对象交互式图形工具箱 OOIGT 图形处理

来源：评论

学校读者我要写书评

暂无评论

模态逻辑推理的翻译方法

引用

计算机研究与发展 1998年第5期35卷 389-392页

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

文中研究了模态逻辑推理的翻译法，即把模态逻辑公式按照一定的规则翻译成经典逻辑公式，再用传统的定理证明器进行推理．文中指出，该方法在理论上保持了正规命题模态逻辑的可判定性．还给出了一些试验结果，说明该方法是实际可行的．

关键词：自动定理证明可满足性判定模态逻辑推理

来源：评论

学校读者我要写书评

暂无评论

一种用于室内虚拟环境的新表示

引用

软件学报 1998年第9期9卷 641-645页

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

针对室内环境的虚拟问题，提出一种用于描述封闭环境的新表示．该表示由定义在经纬度平面上的光强－距离函数组成，可以支持３个自由度的全景浏览、连续变焦以及任意路线的移动．基于这种表示，给出一个使用少数照片创建室内环境的方法... 详细信息

针对室内环境的虚拟问题，提出一种用于描述封闭环境的新表示．该表示由定义在经纬度平面上的光强－距离函数组成，可以支持３个自由度的全景浏览、连续变焦以及任意路线的移动．基于这种表示，给出一个使用少数照片创建室内环境的方法，它结合了基于几何和基于图象的绘制技术，算法快速稳定，对拍摄条件和硬件设备没有苛刻要求．

关键词：虚拟现实表示纹理映射

来源：评论

学校读者我要写书评

暂无评论

基于色彩分布合成的交互式可视化方法

引用

计算机学报 1998年第S1期21卷 323-330页

作者：王文成吴恩华中国科学院软件研究所计算机科学实验室北京100080

在科学计算可视化中，由于数据场的数据一般都比较庞大，使得成像速度较慢，阻碍了人对数据场进行高效的分析和理解．基于体绘制中色彩在虚拟面上分布合成的方法，本文提出一种交互式可视化方法．该方法通过虚拟面上保存的已有的图像信... 详细信息

在科学计算可视化中，由于数据场的数据一般都比较庞大，使得成像速度较慢，阻碍了人对数据场进行高效的分析和理解．基于体绘制中色彩在虚拟面上分布合成的方法，本文提出一种交互式可视化方法．该方法通过虚拟面上保存的已有的图像信息，提供细化、强化和弱化三种手段在虚拟面上进行局部操作，使用户可以对感兴趣的部分进行快速方便的成像和分析，提高可视化的效率．

关键词：科学计算可视化体绘制交互逐步求精

来源：评论

学校读者我要写书评

暂无评论

用于体绘制的可变模板法

引用

计算机学报 1997年第7期20卷 592-599页

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

作为投影成象的一种重要方法，模板法在规则场的体绘制中取得了很好的效果．然而，传统模板法要求样点的大小和形状一致，限制了其在曲线结构数据场和非规则数据场体绘制中的应用，因为这类场中样点的大小和形状变化很大．当前非规则场... 详细信息

作为投影成象的一种重要方法，模板法在规则场的体绘制中取得了很好的效果．然而，传统模板法要求样点的大小和形状一致，限制了其在曲线结构数据场和非规则数据场体绘制中的应用，因为这类场中样点的大小和形状变化很大．当前非规则场或曲线结构数据场中的体绘制计算复杂、成象速度很慢，严重影响了可视化的效率．本文提出一种可变模板法，不受样点大小必须一致的限制，使得模板法能在曲线结构数据场和非规则场的体绘制中发挥充分的作用．

关键词：模板法非规则场体绘制科学计算可视化.

来源：评论

学校读者我要写书评

暂无评论

基于图象绘制的虚拟现实系统环境

引用

软件学报 1997年第10期8卷 721-728页

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

虚拟现实的一个重要目标是使用计算机生成逼真的视觉世界，使用户可以对虚拟世界的客体进行交互式考察．虚拟现实的实现有两种方法．传统上，用三维图形学的方法实行建模和绘制．此方法需要繁琐的建模和昂贵的专用绘制硬件，而且图形绘... 详细信息

虚拟现实的一个重要目标是使用计算机生成逼真的视觉世界，使用户可以对虚拟世界的客体进行交互式考察．虚拟现实的实现有两种方法．传统上，用三维图形学的方法实行建模和绘制．此方法需要繁琐的建模和昂贵的专用绘制硬件，而且图形绘制的质量和场景的复杂性受到很大的限制．基于图象的绘制是实现虚拟现实系统的一种新方法．它克服了三维图形方法的缺点．本文在总结已有技术的基础上，提出一个实现基于图象绘制的虚拟现实系统模型，并据此模型实现一个实验系统及相应的图象工具．

关键词：虚拟实现图象绘制图象拼接计算机仿真

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：