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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

形式化验证认证协议的研究

形式化验证认证协议的研究

引用

1999信息安全国际会议

作者：肖德琴中国科学院软件所计算机科学实验室(北京) 华南农业大学理学院(广州)

认证协议设计和实现的安全性分析是网络安全的重要课题，越来越多的人关注这个方向的发展。在此系统地讨论了证证协议形式验证研究的前沿课题和发展趋势，并介绍了基于时序逻辑的认证协议研究成果和基于时序逻辑的Model Checking的构想。

关键词：认证协议形式化方法协议分析

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 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页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：