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

软件学报 1999年第9期10卷 897-903页

作者：张晓鹏吴恩华中国科学院软件研究所计算机科学开放研究实验室北京100080

人物的绘制是当今计算机图形学中的一项重要任务，特别吸引人的是头发的生成技术．头发生成技术的难点在于其精细的形状和庞大的数量．文章针对头发提出了弯曲纹元和三维纹理体的概念，并给出了它们的数学表达式以及对不同发型的描述方... 详细信息

人物的绘制是当今计算机图形学中的一项重要任务，特别吸引人的是头发的生成技术．头发生成技术的难点在于其精细的形状和庞大的数量．文章针对头发提出了弯曲纹元和三维纹理体的概念，并给出了它们的数学表达式以及对不同发型的描述方法．弯曲纹元和三维纹理体是一般三维纹理的结构．带三维纹理的景物是由弯曲纹元和三维纹理体构成的，三维纹理体可再分成多个弯曲纹元，因而指明了三维纹理空间的结构，并解决了三维纹理曲面的造型问题．

关键词：三维纹理毛发结构造型计算机图形学

来源：评论

学校读者我要写书评

暂无评论

嵌套谓词等式系与弱互模拟

引用

软件学报 1999年第11期10卷 1121-1126页

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

带赋值符号迁移图是一般传值进程的语义模型，其强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广到弱互模拟等价，为此，引入嵌套谓调等式系的概念，并提出算法，将带赋值符号迁移图的弱互模拟等价归结为形如E2μE1的嵌... 详细信息

带赋值符号迁移图是一般传值进程的语义模型，其强互模拟等价可以归结为谓词等式系的最大解．该文将这一结果推广到弱互模拟等价，为此，引入嵌套谓调等式系的概念，并提出算法，将带赋值符号迁移图的弱互模拟等价归结为形如E2μE1的嵌套谓词等式系的最大解．

关键词：传值进程互模拟谓词等式系符号迁移图算法

来源：评论

学校读者我要写书评

暂无评论

面向媒体时序描述的带时间自动机的自动构造方法

引用

计算机学报 1999年第12期22卷 1289-1294页

作者：赵琛中国科学院软件研究所计算机开放研究实验室北京100080

依据有穷状态自动机模型，面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果．由于特殊的实时和同步要求，这些结果不能直接应用于分布式多媒体软件系统的测试．为此，作者提出一种面向媒体对象时序描述的带时间自动... 详细信息

依据有穷状态自动机模型，面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果．由于特殊的实时和同步要求，这些结果不能直接应用于分布式多媒体软件系统的测试．为此，作者提出一种面向媒体对象时序描述的带时间自动机（Ｔｉｍｅｄａｕｔｏｍａｔａ）的自动构造方法，根据带时间自动机，对分布式多媒体软件系统进行非确定性测试时，可以较容易地判断运行结果正确与否；在进行确定性测试时。

关键词：分布式多媒体自动机时序描述软件系统

来源：评论

学校读者我要写书评

暂无评论

Trace演算

引用

软件学报 1999年第8期10卷 790-799页

作者：黄涛钱军倪彬中国科学院软件研究所计算机科学开放研究实验室北京100080 中国科学院软件研究所对象技术中心北京100080

文章定义了基于踪迹（trace）的逻辑语言Trace，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础．Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示．对象标记Ω＝（S，F... 详细信息

文章定义了基于踪迹（trace）的逻辑语言Trace，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础．Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示．对象标记Ω＝（S，F，A，E）包含4个部分；数据类型S、函数F、属性A和动作E．∑＝（S，F）构成通常代数规范意义下的标记，可将动作看成一个广义数据类型，从而得到标记∑的动作扩充∑E．对象标记的语义解释结构由关于标记∑E的代数、映射和动作与踪迹的关系来定义．∑E－代数给出关于数据参数的解释；映射给出属性在动作踪迹中所取的值；而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行．在定义了Trace演算的语法和语义之后，文章给出了Trace演算的公理系统及其可靠性证明．

关键词： Trace演算对象标记公理化软件工程

来源：评论

学校读者我要写书评

暂无评论

对象演算Ⅱ

引用

软件学报 1999年第9期10卷 941-951页

作者：黄涛钱军王栩中国科学院软件研究所计算机科学开放研究实验室北京100080 中国科学院软件研究所对象技术中心北京100080

文章应用Ｇｏｇｕｅｎ等人的结论证明并得到了几个结构化对象演算的基本定理．一方面，这些定理保证了该文可由现有对象的描述构造新对象的描述，并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理．另一方面，文章还讨... 详细信息

文章应用Ｇｏｇｕｅｎ等人的结论证明并得到了几个结构化对象演算的基本定理．一方面，这些定理保证了该文可由现有对象的描述构造新对象的描述，并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理．另一方面，文章还讨论了基于封装性的对象精化．

关键词：结构化对象演算 Ω-理论形式语义理论

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机工程 1999年第S1期25卷 139-141页

作者：肖德琴中国科学院软件所计算机科学实验室

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

文法推断研究的历史和现状

引用

软件学报 1999年第8期10卷 850-860页

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

文法推断属于形式语言的归纳学习问题，它研究如何从语言的有限信息出发，通过归纳推断得到语言的语法定义．文章综述了文法推断研究的历史和现状．首先阐述文法推断的理论模型，接着罗列上下文无关文法类及其非平凡子类、隐马尔可夫模... 详细信息

文法推断属于形式语言的归纳学习问题，它研究如何从语言的有限信息出发，通过归纳推断得到语言的语法定义．文章综述了文法推断研究的历史和现状．首先阐述文法推断的理论模型，接着罗列上下文无关文法类及其非平凡子类、隐马尔可夫模型以及随机上下文无关文法的推断方法，最后简介文法推断的应用，并展望其发展趋势．

关键词：归纳推断形式语言文法推断归纳学习

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：