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

一个上下文无关文法获取过程的设计和实现

引用

软件学报 1998年第8期9卷 601-605页

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

文章介绍一个基于复用的上下文无关文法获取过程的设计和实现，该过程用于获取以上下文无关文法表示的概念．它从待获取概念的有限实例和句型以及可能复用的已知概念出发，通过一个交互式文法推断过程。

关键词：文法推断示例学习 SCFG 自然语言处理

来源：评论

学校读者我要写书评

暂无评论

运算构造和检验系统FC的设计和实现

引用

软件学报 1998年第10期9卷 755-759页

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

运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互... 详细信息

运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向．

关键词：递归函数函数计算形式规约 FC 软件工程

来源：评论

学校读者我要写书评

暂无评论

一个软件过程可视化工具的设计与实现

引用

计算机研究与发展 1998年第9期35卷 830-835页

作者：冯涛武小鹏中国科学院软件研究所计算机科学开放研究实验室

文中介绍了一个软件过程模型可视化工具——项目活动管理器（ＰＡＭｅｒ）的设计与实现．基于ＰＣＬＡｇｅｎｄａ的软件过程模型，ＰＡＭｅｒ将软件开发过程可视化，从而方便人机交互，以更加形象直观的方式对开发人员的工作进行辅助、... 详细信息

文中介绍了一个软件过程模型可视化工具——项目活动管理器（ＰＡＭｅｒ）的设计与实现．基于ＰＣＬＡｇｅｎｄａ的软件过程模型，ＰＡＭｅｒ将软件开发过程可视化，从而方便人机交互，以更加形象直观的方式对开发人员的工作进行辅助、指导和监控．ＰＡＭｅｒ采用活动网络图描述软件过程模型中各种基本元素及其相互关系．系统具有多级抽象、多视口、多种工作模式等特点。

关键词：软件过程软件工程可视化工具设计

来源：评论

学校读者我要写书评

暂无评论

限定误差的直方图

引用

计算机学报 1998年第8期21卷 704-712页

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

限定误差的直方图方法以任意给定的误差作为前提，生成满足要求的直方图．本文在作者已有工作的基础上，进一步探讨生成限定误差直方图的方法，以适用于等值和范围两种查询，并进行了大量的模拟实验．实验结果表明，限定误差的直方图不... 详细信息

限定误差的直方图方法以任意给定的误差作为前提，生成满足要求的直方图．本文在作者已有工作的基础上，进一步探讨生成限定误差直方图的方法，以适用于等值和范围两种查询，并进行了大量的模拟实验．实验结果表明，限定误差的直方图不仅估算精确，肯定能满足预定的要求，而且算法简单，实现效率高，具有良好的应用前景．

关键词：数据库系统查询优化查询代价的估算直方图

来源：评论

学校读者我要写书评

暂无评论

树在风中的摇曳──基于动力学的计算机动画

引用

计算机学报 1998年第9期21卷 769-773页

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

树木森林在自然场景的构成中占有很重要的地位，尤其是树在风中的摇曳更是组成了一幕幕动人的景象．但是由于树结构的高度复杂性，给这一问题的研究工作带来了极大的困难。本文首次基于动力学对树在风中的摇曳进行了计算机模拟，对这一... 详细信息

树木森林在自然场景的构成中占有很重要的地位，尤其是树在风中的摇曳更是组成了一幕幕动人的景象．但是由于树结构的高度复杂性，给这一问题的研究工作带来了极大的困难。本文首次基于动力学对树在风中的摇曳进行了计算机模拟，对这一问题进行了探索并给出了解决方案．根据树木结构的物理性质可把其分为固定枝条、可动枝条以及波动枝条．固定枝条无需处理．可动枝条的行为采用现代非线性力学理论来解决，而波动枝条的解决则是基于波动理论．同时基于OpenGL，图形库函数制作出了计算机动画实例．

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

来源：评论

学校读者我要写书评

暂无评论

模态逻辑推理的翻译方法

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

模型库管理系统的设计和实现

引用

软件学报 1998年第8期9卷 613-618页

作者：李京孙颖博刘智深张道一中国科学技术大学中国科学院软件研究所计算机科学开放实验室香港城市大学

模型库管理系统是决策支持系统的核心，其基本功能包括模型的定义、组合、存储和调用．该文介绍一个支持客户／服务器模式的模型库管理系统的设计和实现，在这个系统中，模型被视为程序模块，通过运用面向对象的方法进行组织以及对模型... 详细信息

模型库管理系统是决策支持系统的核心，其基本功能包括模型的定义、组合、存储和调用．该文介绍一个支持客户／服务器模式的模型库管理系统的设计和实现，在这个系统中，模型被视为程序模块，通过运用面向对象的方法进行组织以及对模型的远程和动态的透明调用提供支持，使实现的系统具有良好的动态可扩充性．同时，通过提供模型定义语言和模型库管理，便于决策支持系统客户软件的开发．

关键词：决策支持系统模型库管理系统客户/服务器

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：