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

软件学报 2000年第6期11卷 785-790页

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

阴影的生成在体现虚拟现实环境的真实感程度方面起着重要的作用 ,但现有生成阴影的算法普遍速度较慢 ,不能适应实时绘制的要求 .该文提出了一种基于点光源的实时生成三维阴影的算法 .该算法的基本思想是基于在一个复杂的虚拟环境中 ,某... 详细信息

阴影的生成在体现虚拟现实环境的真实感程度方面起着重要的作用 ,但现有生成阴影的算法普遍速度较慢 ,不能适应实时绘制的要求 .该文提出了一种基于点光源的实时生成三维阴影的算法 .该算法的基本思想是基于在一个复杂的虚拟环境中 ,某一时段内只有少数多边形相对于光源发生形状的改变 ,从而导致相应阴影计算的改变 ,而大多数多边形相对于光源是静态的 .这样就有可能针对静态物体与动态物体分别作不同的处理 ,使尽可能少的多边形参与阴影计算 .方法是 ,先用 Tiling方法对静态场景进行预处理 ,确定相关阴影多边形集合 ,然后用 SVBSP(shadow volame BSP)树算法计算阴影 .文中所有算法均用 C++实现 ,运行于 IntelPentium 4 0 0微机平台 ,取得了较好的实验结果 .

关键词： BSP树 SVBSP树 tiling 阴影生成虚拟现实真实感图形

来源：评论

学校读者我要写书评

暂无评论

逐步求精法获取上下文无关文法

引用

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

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

文法推断研究如何从语言的有限实例，通过归纳推断获取语言的文法定义．文中提出一个基于逐步求精的上下文无关文法推断方法，以尝试将文法推断用于替代或帮助传统手工的文法构造工作．文中的推断方法以Ａｎｇｌｕｉｎ的交互式学习... 详细信息

文法推断研究如何从语言的有限实例，通过归纳推断获取语言的文法定义．文中提出一个基于逐步求精的上下文无关文法推断方法，以尝试将文法推断用于替代或帮助传统手工的文法构造工作．文中的推断方法以Ａｎｇｌｕｉｎ的交互式学习模型为框架，以逐步求精和复用为主要策略。

关键词：归纳学习上下文无关文法逐步求精形式语言

来源：评论

学校读者我要写书评

暂无评论

多媒体节目时序描述的完全性和协调性

引用

计算机学报 2000年第7期23卷 750-755页

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

完全性和协调性是形式规范的两个基本性质 .针对不同的形式规范 ,完全性和协调性的定义可能是不同的 .该文首先根据通信顺序进程的理论 ,把一个多媒体流用两个瞬时事件表示 ,并且定义了时间区间向量的概念和在它之上的一些运算 .基于这... 详细信息

完全性和协调性是形式规范的两个基本性质 .针对不同的形式规范 ,完全性和协调性的定义可能是不同的 .该文首先根据通信顺序进程的理论 ,把一个多媒体流用两个瞬时事件表示 ,并且定义了时间区间向量的概念和在它之上的一些运算 .基于这些准备工作 ,文中给出了多媒体系统中媒体对象时序关系描述的完全性和协调性的形式定义 .由于文中讨论的时序描述语言较简单 ,但是对于多媒体领域又是足够的 ,因此 ,与相关工作比较 ,该文研究的完全性和协调性的形式定义更直观。

关键词：时序关系完全性协调性多媒体节目多媒体系统

来源：评论

学校读者我要写书评

暂无评论

一种用户主导的面向领域应用软件开发新方法(英文)

引用

软件学报 2000年第7期11卷 863-870页

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

提出一种应用软件开发的新方法 ,称为“用户工程”.这是一种基于构件化软件系统结构的用户主导的面向领域的应用软件开发方法 ,强调用户在应用软件开发中的主导作用 ,试图将应用软件的开发过程变成用户详细定义过程 ,而不仅仅是传统的... 详细信息

提出一种应用软件开发的新方法 ,称为“用户工程”.这是一种基于构件化软件系统结构的用户主导的面向领域的应用软件开发方法 ,强调用户在应用软件开发中的主导作用 ,试图将应用软件的开发过程变成用户详细定义过程 ,而不仅仅是传统的编程过程 .

关键词：软件开发新方法应用软件用户工程

来源：评论

学校读者我要写书评

暂无评论

一类特殊无限方阵的逆

引用

数学杂志 2000年第1期20卷 60-62页

作者：陈国龙中国科学院软件所计算机科学实验室北京100080

研究了除环上一类特殊无限方阵的逆方阵．用紧致性论证给出了除环上无限上三角阵具有左（右）逆和双侧逆方阵的充分条件．

关键词：除环无限方阵逆方阵无限上三角阵数理逻辑

来源：评论

学校读者我要写书评

暂无评论

ω-范畴完全理论的特征

引用

数学杂志 2000年第2期20卷 185-188页

作者：陈国龙中国科学院软件所计算机科学实验室北京100080

在一阶理论的型中建立了拓扑空间 ,证明了该拓扑空间的基本性质 ;利用上述性质 ,证明了 ω-范畴完全理论的新特征 .

关键词：拓扑空间 ω-范畴完全理论特征性质

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

上下文无关语言分析树的一种表示形式

引用

计算机研究与发展 2000年第10期37卷 1179-1184页

作者：陈海明董韫美中国科学院软件研究所计算机科学开放实验室北京100080

介绍了上下文无关语言 (CFL)的句子的一种分析树表示 ,它适合用于一类与以往不同的 CFL 的应用 ,即对分析树空间效率要求较高且不需标记分析树的应用 ,典型的就是把 CFL的句子用作算法加工对象 .这种表示比传统分析树不仅空间较小 ,而... 详细信息

介绍了上下文无关语言 (CFL)的句子的一种分析树表示 ,它适合用于一类与以往不同的 CFL 的应用 ,即对分析树空间效率要求较高且不需标记分析树的应用 ,典型的就是把 CFL的句子用作算法加工对象 .这种表示比传统分析树不仅空间较小 ,而且进行结构匹配的速度快 .还介绍了这种分析树表示的实现技术 .

关键词：上下文无关语言树表示形式数据结构

来源：评论

学校读者我要写书评

暂无评论

高度复杂植物场景的构造和真实感绘制

引用

计算机学报 2000年第9期23卷 917-924页

作者：陈彦云林珲孙汉秋吴恩华中国科学院软件研究所计算机科学开放实验室北京100080 香港中文大学地球信息科学联合实验室香港中文大学计算机科学与工程学系

绘制高度真实感的自然场景是计算机图形学研究领域的一个富有挑战性的难题 ,植物对象比如草地和树木是虚拟自然场景的重要组成部分 .植物种类繁多 ,形态各异 ,复杂的结构使其无论在造形、存储还是在绘制上都存在相当的困难 .为了解决这... 详细信息

绘制高度真实感的自然场景是计算机图形学研究领域的一个富有挑战性的难题 ,植物对象比如草地和树木是虚拟自然场景的重要组成部分 .植物种类繁多 ,形态各异 ,复杂的结构使其无论在造形、存储还是在绘制上都存在相当的困难 .为了解决这个难题 ,根据植物的自身特点 ,分别采用多边形、纹元 (texel)和体纹理 (volum etrictexture)作为工具来构造不同的植物 ,并且分别给出了不同植物场景的简单构造方法 .绘制的结果证明了这些构造和绘制方法是有效可行的 .

关键词：真实感图形生成自然场景体纹理计算机图形学

来源：评论

学校读者我要写书评

暂无评论

有限构模器的扩展及其在形式化方法中的应用

引用

计算机学报 2000年第2期23卷 190-194页

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

规约在软件开发和验证中占有重要地位 .对于以一阶逻辑为基础的规约 ,可以利用有限模型构造技术对其执行并测试 .文中研究规约中某些特性的处理 ,包括存在量词以及二元关系的传递闭包 .对已有的一个构模工具进行扩充。

关键词：形式规约软件开发形式化方法有限构模器

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：