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

形式规约语言中函数运算的优化

引用

软件学报 2000年第8期11卷 1003-1008页

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

在运行时刻 ,由于某些函数参数的取值会造成一些函数被重复调用 ,这在编译时刻是无法被传统的优化器发现的 .针对这种情况 ,提出一种运行时刻的优化方法 .它通过调用依赖图来消除被重复调用的函数 .

关键词：形式规约语言函数运算优化

来源：评论

学校读者我要写书评

暂无评论

基于产生式集划分的上下文无关语言句子生成

引用

软件学报 2000年第8期11卷 1030-1034页

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

给出了上下文无关文法 (context- free grammar,简称 CFG)产生式集的一种划分方法 ,可将产生式分为两类 .使用一类产生式进行推导时 ,推导过程将无限进行下去 ;使用另一类进行推导时 ,推导过程将迅速结束 .证明了 CFG句子生成过程一定... 详细信息

给出了上下文无关文法 (context- free grammar,简称 CFG)产生式集的一种划分方法 ,可将产生式分为两类 .使用一类产生式进行推导时 ,推导过程将无限进行下去 ;使用另一类进行推导时 ,推导过程将迅速结束 .证明了 CFG句子生成过程一定是先使用一类产生式使生成的句型不断变长、变复杂 ,再使用另一类产生式使句型变成句子 .据此 ,提出了一种可控制的通用句子生成方法 .其生成一条句子的时间和空间复杂度是 O(r+n) ,其中 n是生成句子的长度或深度限制 ,r是给定上下文无关文法中产生式的数目 .同时 ,给出了适应不同需要的句子生成策略 .

关键词：句子生成上下无关语言产生式集划分随机法

来源：评论

学校读者我要写书评

暂无评论

移动计算形式理论分析与研究

引用

计算机研究与发展 2000年第2期37卷 129-139页

作者：魏峻冯玉琳中国科学院软件研究所计算机科学开放实验室北京100080 中国科学院软件研究所对象技术中心北京100080

移动计算是在网络技术发展中涌现出的一种新计算范型．文章旨在从形式抽象的角度来认识移动计算的本质特点．文中分析了网络计算平台的综合特征，总结了移动计算范型的典型特征，重点介绍了有代表性的移动计算形式模型和方法，包括进程... 详细信息

移动计算是在网络技术发展中涌现出的一种新计算范型．文章旨在从形式抽象的角度来认识移动计算的本质特点．文中分析了网络计算平台的综合特征，总结了移动计算范型的典型特征，重点介绍了有代表性的移动计算形式模型和方法，包括进程代数类的π－演算、环境演算和Ｓｅａｌ演算、时序逻辑类的移动Ｕｎｉｔｙ，以及Ａｃｔｏｒ扩充模型．针对每个模型或方法，分析了位置、移动等概念在模型中的刻画，以及各自的交互、动态配置重构和资源控制机制在移动环境中的特点．通过综合比较与分析，对各个模型和方法给出了一定评价。

关键词：移动计算形式方法计算机网络网络计算平台

来源：评论

学校读者我要写书评

暂无评论

用弯曲体纹理构造发型

引用

软件学报 2000年第3期11卷 324-327页

作者：张晓鹏陈彦云吴恩华中国科学院软件研究所计算机科学开放研究实验室澳门大学科学与技术系中国澳门

毛发的造型和绘制技术是当今计算机图形学中的一个突出难题 .因为头发形状精细、数量庞大 ,传统的造型和绘制技术很难达到令人满意的效果 .针对人的头发 ,提出并在数学上表示出了弯曲体纹理 .接着参照理发师制作发型的过程 ,将头皮曲面... 详细信息

毛发的造型和绘制技术是当今计算机图形学中的一个突出难题 .因为头发形状精细、数量庞大 ,传统的造型和绘制技术很难达到令人满意的效果 .针对人的头发 ,提出并在数学上表示出了弯曲体纹理 .接着参照理发师制作发型的过程 ,将头皮曲面予以特别处理 ,并以人头部的形状为依据 ,给出简单发型的构造方法 .然后根据头皮曲面上四边形的结构关系 ,用插值方法将简单造型予以修正和发展 ,给出了几个发型构造的实例 .最后绘制出具有较为真实效果的发型图 .

关键词：发型弯曲体纹理图形生成计算机图形学

来源：评论

学校读者我要写书评

暂无评论

基于递进网格的多层次模型编辑

引用

计算机学报 2000年第9期23卷 953-959页

作者：费广正吴恩华中国科学院软件研究所计算机科学开放实验室北京100080 澳门大学科技学院澳门

给出了一种基于递进网格的交互式模型编辑新方法 .该方法中把模型看成由若干个不同的细节层次来表示 ,对每一个层次均可进行单独编辑 .在活动层次中实现编辑操作的方法是将编辑区映射到二维空间上 ,并在其上对施加在原模型上的离散编辑... 详细信息

给出了一种基于递进网格的交互式模型编辑新方法 .该方法中把模型看成由若干个不同的细节层次来表示 ,对每一个层次均可进行单独编辑 .在活动层次中实现编辑操作的方法是将编辑区映射到二维空间上 ,并在其上对施加在原模型上的离散编辑信息进行插值 ,再逆映射到原三维模型 ,从而实现模型形状的修改 .映射和插值算法的高效是该算法可用于实时交互的关键 .另外 ,由于我们可以将编辑信息在不同层次间进行传播。

关键词：递进网格多层次模型编辑计算机图形学

来源：评论

学校读者我要写书评

暂无评论

树木的整体性运动及树内部风场的研究

引用

软件学报 2000年第3期11卷 363-367页

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

树木的结构和物理性质的复杂性使得人们很难对其进行动态模拟 .该文提出一个深度优先的数值积分遍历算法 ,把树作为一个整体考虑 ,求得整棵树协调一致的位移 ,较好地表现了树的整体动感 .此算法作为一个整体性算法也可推广用于其他树种... 详细信息

树木的结构和物理性质的复杂性使得人们很难对其进行动态模拟 .该文提出一个深度优先的数值积分遍历算法 ,把树作为一个整体考虑 ,求得整棵树协调一致的位移 ,较好地表现了树的整体动感 .此算法作为一个整体性算法也可推广用于其他树种的模拟 .另外 ,文章还分析了枝条对风的遮挡关系 ,包括过遮挡、孔洞、狭长缝隙及透射 .基于 Z- buffer算法思想对这些遮挡关系进行了处理 ,取得了令人满意的效果 .

关键词：计算机动画树模拟风场数值积分

来源：评论

学校读者我要写书评

暂无评论

时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)

引用

软件学报 2000年第3期11卷 285-292页

作者：李广元唐稚松中国科学院软件研究所计算机科学开放研究实验室贵州大学计算机理论研究所贵阳550025

指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是一个程序设计语言 ,它能表示普通高级语言中几乎所有的重要机... 详细信息

指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是一个程序设计语言 ,它能表示普通高级语言中几乎所有的重要机制 .本文主要讨论在时序逻辑语言 XYZ/E中指针的形式化表示问题以及在结构化 XYZ/SE程序中指针的验证问题 .

关键词：形式语义程序验证指针时序逻辑语言 XYZ/E

来源：评论

学校读者我要写书评

暂无评论

基于时序逻辑的移动计算的形式方法分析

引用

计算机科学 2000年第6期27卷 22-27页

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

现今,移动计算被广泛认为是一种由计算新技术支持的新计算范型,其主要特征是计算组件能与计算资源动态改变绑定关系,表现出移动性。有两类关注移动特性的计算——mobile computing研究基于无线网络的移动设备上进行的计算活动及相关问题... 详细信息

现今,移动计算被广泛认为是一种由计算新技术支持的新计算范型,其主要特征是计算组件能与计算资源动态改变绑定关系,表现出移动性。有两类关注移动特性的计算——mobile computing研究基于无线网络的移动设备上进行的计算活动及相关问题;mobilecomputation研究基于WEB的移动程序。多项研究表明,在设计层次可以一致地抽象这两类分布式计算,统一为移动计算。尽管有很多新技术和语言支持移动计算,如Java、

关键词：移动计算时序逻辑形式方法计算模式

来源：评论

学校读者我要写书评

暂无评论

一阶理论的主型

引用

数学进展 2000年第1期29卷 51-54页

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

研究了主型的有关性质，证明了一个素模型存在的充分必要条件．

关键词：主型完全公式素模型模型论一阶理论

来源：评论

学校读者我要写书评

暂无评论

判断检测点是否在多边形或多面体内的新方法

引用

软件学报 2000年第12期11卷 1614-1619页

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

提出一种新方法 ,以检测一个点是否在多边形或多面体内 .该方法通过将多面体的面片和多边形的边组织成层次结构 ,在检测时运用二分查找算法 ,不必处理每个面片和每条边 .试验结果表明 ,这种方法简单、有效。

关键词：多边形多面体计算机图形学检测点

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：