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

关于非线性有限自动机的弱可逆性

引用

计算机学报 1997年第11期20卷 1003-1008页

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

根据ＲａＲｂ变换所得方程是否有解或至多一解可判定有限自动机Ｍ是否为弱逆或弱可逆．本文证明这些充分条件与某类映射为满射或单射是等价的，从而减少了判定所需的工作量．本文还讨论了它们同时也是判定Ｍ为弱逆或弱可逆的必要条件的... 详细信息

根据ＲａＲｂ变换所得方程是否有解或至多一解可判定有限自动机Ｍ是否为弱逆或弱可逆．本文证明这些充分条件与某类映射为满射或单射是等价的，从而减少了判定所需的工作量．本文还讨论了它们同时也是判定Ｍ为弱逆或弱可逆的必要条件的情形．

关键词：有限自动机 TR变换自动机非线性弱可逆性

来源：评论

学校读者我要写书评

暂无评论

限定误差的直方图

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

从基于迁移的扩展Büchi自动机到Büchi自动机

引用

软件学报 2006年第4期17卷 720-728页

作者：易锦张文辉中国科学院软件研究所计算机科学重点实验室

目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用Büchi自动机来表示,将需要验证的性质用LTL(lineartemporallogic)公式来表达;然后将LTL公式取反后转化为Büchi自动机,并检查这两个自... 详细信息

目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用Büchi自动机来表示,将需要验证的性质用LTL(lineartemporallogic)公式来表达;然后将LTL公式取反后转化为Büchi自动机,并检查这两个自动机接受语言之间的包含关系.有一类LTL公式转化为Büchi自动机的算法是:在计算过程中,首先得到一个标注在迁移上的扩展Büchi自动机(transition-basedgeneralizedBüchiautomaton,简称TGBA),然后把这种扩展Büchi自动机转换成非扩展的Büchi自动机.针对这类转换算法,根据Büchi自动机接受语言的特点,重新定义了基于迁移的扩展Büchi自动机的求交运算,减少了需要复制的状态个数,使转换后的自动机具有较少的状态.测试的结果表明:对随机产生的公式,新算法相对于以往的算法有明显的优势.

关键词：模型检测 Büehi自动机 LTL 公式 TGBA

来源：评论

学校读者我要写书评

暂无评论

有限精度时间自动机的可达性检测

引用

软件学报 2006年第1期17卷 1-10页

作者：晏荣杰李广元徐雨波刘春明唐稚松中国科学院软件研究所计算机科学重点实验室

为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of delay sequence)符号... 详细信息

为了缓解状态空间爆炸问题,减小模型检测过程中生成的状态空间,加快模型检测速度,引入有限精度时间自动机(finite precision timed automata,简称FPTA)作为实时系统的形式模型,并提出了一种数据结构SDS(series of delay sequence)符号化表示状态空间中的状态集.FPTA只记录时钟变量的整数值及时钟变化的先后次序,从而减小生成的状态空间.在一定的时间约束下,Alur与Dill提出的时间自动机的可达性检测可简化为FPTA的可达性检测.举例描述了状态空间的生成过程和表示方法.最后,列出部分初步的实验结果,分析了SDS的特点及不足.

关键词：有限精度时间自动机符号化方法模型检测可达性

来源：评论

学校读者我要写书评

暂无评论

快速真实地生成树的自然摇曳

引用

计算机学报 2005年第7期28卷 1185-1191页

作者：柳有权王文成吴恩华中国科学院软件研究所计算机科学重点实验室

快速真实地模拟树在风中的摇曳一直是图形学中的一个挑战性问题.已有的方法,或者计算速度太慢,或者所处理的模型局限在几千个面片之内,难以用较强的真实感进行动画模拟.针对复杂树在风中的自然摇曳,该文提出一种新的方法.一方面,它基于... 详细信息

快速真实地模拟树在风中的摇曳一直是图形学中的一个挑战性问题.已有的方法,或者计算速度太慢,或者所处理的模型局限在几千个面片之内,难以用较强的真实感进行动画模拟.针对复杂树在风中的自然摇曳,该文提出一种新的方法.一方面,它基于统计数据采用高斯分布来近似逼近实际风力,既可以基于物理性态很好地反映风力的影响,又可以方便树的变形计算;另一方面,根据树的层次结构特点,新方法对树的各个部分分别进行独立的变形计算,然后再根据它们的连接关系进行组合,完整地获得树的变形.新方法对于小振幅的非末梢枝条,是利用静力分析来计算它们的变形,而对于振幅大的末梢枝条则采用Newmark逐步积分法求解其振动方程,这样就可以以较少的计算开销获得变形真实感很强的结果.在对树的各种姿态进行成像时,新方法运用了基于硬件的shadowmapping技术和LOD(LevelOfDetails)技术,以快速生成高度真实感的树.实验表明,对于有近4万个控制节点、近90万个拟合外观模型的三角形的柳树模型,新方法可以对其自然摇曳进行每秒0.6帧的高度真实感的模拟.

关键词：基于物理的动画真实感树风力模型交互

来源：评论

学校读者我要写书评

暂无评论

超量外存地表模型的实时绘制技术

引用

计算机辅助设计与图形学学报 2005年第10期17卷 2196-2202页

作者：吴金钟刘学慧吴恩华中国科学院软件研究所计算机科学重点实验室

提出一种分块策略对规则网格进行区域分割,采用空间填充曲线对分块内网格点进行多分辨率排列,并基于分块多分辨率对地形网格实时调度和页面预取.文中算法利用块模型进行分块视域剔除和分块LOD场景渲染.在多线程分块多分辨率调度和渲染... 详细信息

提出一种分块策略对规则网格进行区域分割,采用空间填充曲线对分块内网格点进行多分辨率排列,并基于分块多分辨率对地形网格实时调度和页面预取.文中算法利用块模型进行分块视域剔除和分块LOD场景渲染.在多线程分块多分辨率调度和渲染策略下,大大减少了模型的I/O负载,可以在有限环境下满足实时场景绘制要求.

关键词：地形绘制细节层次超量模型多分辨率三角带

来源：评论

学校读者我要写书评

暂无评论

基于边界图的纹理合成方法

引用

计算机研究与发展 2005年第12期42卷 2118-2125页

作者：杨刚王文成吴恩华中国科学院软件研究所计算机科学重点实验室

已有的纹理合成方法往往难以很好地保持纹理中的边界结构特征·为此,提出一种利用纹元边界辅助合成的方法·新方法首先从样本纹理中抽取出“纹元边界图”,然后在此图的指导下,基于块纹理合成方法的流程对“纹元式纹理”的两种... 详细信息

已有的纹理合成方法往往难以很好地保持纹理中的边界结构特征·为此,提出一种利用纹元边界辅助合成的方法·新方法首先从样本纹理中抽取出“纹元边界图”,然后在此图的指导下,基于块纹理合成方法的流程对“纹元式纹理”的两种情况“覆盖式”和“非覆盖式”纹理分别采用“边界覆盖法”和“边界匹配法”进行纹理合成·与已有的合成方法相比,新方法能更好地保持纹理的边界结构特征,对很多“纹元式纹理”都达到了满意的效果并且合成速度很快·

关键词：纹理合成边界结构纹元式纹理

来源：评论

学校读者我要写书评

暂无评论

基于参数空间的混合多分辨率绘制

引用

软件学报 2004年第10期15卷 1515-1521页

作者：冀俊峰李胜刘学慧吴恩华中国科学院软件研究所计算机科学重点实验室

根据点和多边形在表示和绘制物体上各自不同的特点,提出了一种有效绘制细节高度复杂物体的多分辨率方法.3D表面被映射到参数平面,经规则采样成为几何图像,P-Quadtrees是基于几何图像建立的四叉树多分辨率层次结构.通过对四叉树的遍历,... 详细信息

根据点和多边形在表示和绘制物体上各自不同的特点,提出了一种有效绘制细节高度复杂物体的多分辨率方法.3D表面被映射到参数平面,经规则采样成为几何图像,P-Quadtrees是基于几何图像建立的四叉树多分辨率层次结构.通过对四叉树的遍历,面向视点的表面用较大多边形面片绘制,光照细节通过法向映射完成;轮廓部分通过视点相关的LOD(level of detail)控制进行细化,使用点来绘制物体复杂精细的轮廓.通过此方法,细节复杂模型的绘制不仅可以被硬件加速,而且无论在表面还是在轮廓部分都能获得很好的视觉效果.

关键词：混合绘制 LOD(level of detail) 轮廓保持法向映射基于像素光照计算

来源：评论

学校读者我要写书评

暂无评论

基于图形处理器(GPU)的通用计算

引用

计算机辅助设计与图形学学报 2004年第5期16卷 601-612页

作者：吴恩华柳有权中国科学院软件研究所计算机科学重点实验室

伴随着PC级微机的崛起和普及 ,多年来计算机图形的大部分应用发生了从工作站向微机的大转移 ,这种转移甚至发生在像虚拟现实、计算机仿真这样的实时 (中、小规模 )应用中这一切的发生从很大程度上源自于图形处理硬件的发展和革新近年... 详细信息

伴随着PC级微机的崛起和普及 ,多年来计算机图形的大部分应用发生了从工作站向微机的大转移 ,这种转移甚至发生在像虚拟现实、计算机仿真这样的实时 (中、小规模 )应用中这一切的发生从很大程度上源自于图形处理硬件的发展和革新近年来 ,随着图形处理器 (GPU)性能的大幅度提高以及可编程特性的发展 ,人们首先开始将图形流水线的某些处理阶段以及某些图形算法从CPU向GPU转移除了计算机图形学本身的应用 ,涉及到其他领域的计算 ,以至于通用计算近 2～ 3年来成为GPU的应用之一 ,并成为研究热点文中从若干图形硬件发展的历史开始 ,介绍和分析最新GPU在通用计算方面的应用及其技术原理和发展状况。

关键词：图形处理器通用计算 GPU 图形硬件可编程性代数运算性能分析

来源：评论

学校读者我要写书评

暂无评论

基于物理的流体模拟动画综述

引用

计算机辅助设计与图形学学报 2005年第12期17卷 2581-2589页

作者：柳有权刘学慧朱红斌吴恩华中国科学院软件研究所计算机科学重点实验室

基于物理的流体模拟近年来成为计算机动画领域的一个研究热点.回顾了该领域中基于物理的流体模拟的发展情况,总结了该研究方向所采用的各类方法,并结合各种现象的特点分门别类地详细展开.其方法总体上可以分为欧拉法和拉格朗日法,涉及... 详细信息

基于物理的流体模拟近年来成为计算机动画领域的一个研究热点.回顾了该领域中基于物理的流体模拟的发展情况,总结了该研究方向所采用的各类方法,并结合各种现象的特点分门别类地详细展开.其方法总体上可以分为欧拉法和拉格朗日法,涉及的现象包括烟雾、火焰、爆炸、波浪、气泡以及自由运动界面等.最后展望了未来发展的3个重点:细节策略、加速策略和控制策略,以使整个模拟能够更好地满足人们对真实感、实时性以及灵活性的需求.

关键词：计算机动画纳维-斯托克斯方程流体模拟

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：