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

软件学报 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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于纹理合成的向量场可视化

引用

计算机辅助设计与图形学学报 2006年第11期18卷 1677-1682页

作者：林亮亮杨刚黄浩达刘学慧吴恩华中国科学院软件研究所计算机科学重点实验室

在纹理合成过程中利用向量场作为指导,生成反映向量场大小和方向变化的合成结果·采用块纹理合成的流程,在对向量场合成块均匀划分的基础上,通过进一步的自适应分割,将向量场划分成为不同大小和不同形状的最终合成块,使之与向量场... 详细信息

在纹理合成过程中利用向量场作为指导,生成反映向量场大小和方向变化的合成结果·采用块纹理合成的流程,在对向量场合成块均匀划分的基础上,通过进一步的自适应分割,将向量场划分成为不同大小和不同形状的最终合成块,使之与向量场的变化趋势相吻合·对向量变化过于剧烈的区域,则采用点合成的方式进行纹理合成,以保证合成效果的平滑·实验表明,文中的方法可以实现快速而高质量的向量场可视化·

关键词：纹理合成科学计算可视化向量场可视化自适应分割

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

图形处理器用于通用计算的技术、现状及其挑战

引用

软件学报 2004年第10期15卷 1493-1504页

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

多年来计算机图形处理器(GPU)以大大超过摩尔定律的速度高速发展.图形处理器的发展极大地提高了计算机图形处理的速度和图形质量,并促进了与计算机图形相关应用领域的快速发展.与此同时,图形处理器绘制流水线的高速度和并行性以及近年... 详细信息

多年来计算机图形处理器(GPU)以大大超过摩尔定律的速度高速发展.图形处理器的发展极大地提高了计算机图形处理的速度和图形质量,并促进了与计算机图形相关应用领域的快速发展.与此同时,图形处理器绘制流水线的高速度和并行性以及近年来发展起来的可编程功能为图形处理以外的通用计算提供了良好的运行平台,这使得基于GPU的通用计算成为近两三年来人们关注的一个研究热点.从介绍GPU的发展历史及其现代GPU的基本结构开始,阐述GPU用于通用计算的技术原理,以及其用于通用计算的主要领域和最新发展情况,并详细地介绍了GPU在流体模拟和代数计算、数据库应用、频谱分析等领域的应用和技术,包括在流体模拟方面的研究工作.还对GPU应用的软件工具及其最新发展作了较详细的介绍.最后,展望了GPU应用于通用计算的发展前景,并从硬件和软件两方面分析了这一领域未来所面临的挑战.

关键词：图形处理器(graphics processing unit 简称GPU) 通用计算可编程性实时计算流处理机

来源：评论

学校读者我要写书评

暂无评论

细节高度复杂表面模型的视点相关渐进传输

引用

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

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

针对细节高度复杂模型的特点,提出一种视点相关的渐进传输方法.根据人的视觉特征,算法将模型表示为多分辨率的四边形参数面片和表面法向细节纹理.该算法利用法向映射提高传输和绘制的效率,然后随着视点的变化动态细化和传输当前视点下... 详细信息

针对细节高度复杂模型的特点,提出一种视点相关的渐进传输方法.根据人的视觉特征,算法将模型表示为多分辨率的四边形参数面片和表面法向细节纹理.该算法利用法向映射提高传输和绘制的效率,然后随着视点的变化动态细化和传输当前视点下轮廓部分的参数面片信息,从而最大限度地减少了模型传输时面片的数量.参数面片的结构规则,面片之间关联性低,因此能够按任意顺序高效地传输,从而实现真正的视点相关传输,并可以采用有效的编码方法对其结构和几何信息进行压缩.实验结果表明了该算法的有效性,特别适合于表面细节复杂的表面模型的交互传输和绘制.

关键词：渐进传输视点相关网络四叉树法向映射

来源：评论

学校读者我要写书评

暂无评论

单目视频中人体三维运动的迭代优化估计

引用

计算机辅助设计与图形学学报 2005年第7期17卷 1523-1528页

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

提出并实现了一种从单目视频流中重建人体三维运动的方法·该方法通过交互定制得到个性化的人体骨架模型和视频序列每一帧中人体各关节点的二维坐标后,分别针对单帧和连续多帧进行优化并迭代求解,得到每一帧的比例因子的最优解;最... 详细信息

提出并实现了一种从单目视频流中重建人体三维运动的方法·该方法通过交互定制得到个性化的人体骨架模型和视频序列每一帧中人体各关节点的二维坐标后,分别针对单帧和连续多帧进行优化并迭代求解,得到每一帧的比例因子的最优解;最后反求各关节点的三维坐标,重建人体三维运动序列·对包含复杂和快速多变的人体运动的视频进行的实验表明,该方法简单有效,适用于包括体育、影视等在内的实际视频源·

关键词：人体运动比例正交投影最优化方法三维重建

来源：评论

学校读者我要写书评

暂无评论

基于最小序句子的上下文无关语言句子枚举

引用

计算机研究与发展 2004年第1期41卷 9-14页

作者：黄文集中国科学院软件研究所计算机科学重点实验室

形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子 ,现有的枚举方法较少且效率较低以上下文无关语言L(G)的最小序句子和最大序句子为基础 ,从最小序句子开始按照一定的顺序扫描字符串 ,直至扫描到最大序句... 详细信息

形式规约获取系统SAQ和一些形式化验证系统中常常需要枚举上下文无关语言的句子 ,现有的枚举方法较少且效率较低以上下文无关语言L(G)的最小序句子和最大序句子为基础 ,从最小序句子开始按照一定的顺序扫描字符串 ,直至扫描到最大序句子为止 ,对被扫描的字符串进行判断取舍在扫描的过程中采用削减和前瞻策略 ,很大程度上减少了被扫描的字符串个数 ,可以取得较好的时空性能实验数据表明。

关键词：上下文无关语言句子枚举最小序句子

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：