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

第六届中国人工智能职合学术会议

作者：王晓旭徐辰张健中国科学院软件研究所计算机科学实验室(北京)

目前,很多静态分析和测试工具还需要人工挑选输入数据,处理的变量也仅限于整型和实型.本文介绍了一个能够生成测试数据的自动工具EFAT,它能够处理整型、实型变量和一维数组.EFAT先将程序转换为扩展的有限自动机(EFSM),然后搜索EFSM的可... 详细信息

目前,很多静态分析和测试工具还需要人工挑选输入数据,处理的变量也仅限于整型和实型.本文介绍了一个能够生成测试数据的自动工具EFAT,它能够处理整型、实型变量和一维数组.EFAT先将程序转换为扩展的有限自动机(EFSM),然后搜索EFSM的可执行路径.对每条路径,求出其前置条件,再通过求解约束满足问题,可以得到一组测试数据.

关键词：有限状态自动机静态分析符号执行测试数据约束求解

来源：评论

学校读者我要写书评

暂无评论

一种基于单幅图像的树木深度估计与造型方法

引用

计算机学报 2000年第4期23卷 386-392页

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

提出了一种基于单幅图像、利用光照引起的明暗效果（ｓｈａｄｉｎｇ）恢复树木枝干三维形态的方法，与传统ｓｈａｐｅｆｒｏｍｓｈａｄｉｎｇ技术相比，该方法根据树木的特殊结构，利用更稳定的明暗特征，取消了对表面、光源及拍摄条... 详细信息

提出了一种基于单幅图像、利用光照引起的明暗效果（ｓｈａｄｉｎｇ）恢复树木枝干三维形态的方法，与传统ｓｈａｐｅｆｒｏｍｓｈａｄｉｎｇ技术相比，该方法根据树木的特殊结构，利用更稳定的明暗特征，取消了对表面、光源及拍摄条件的限制，从而将算法的鲁棒性提高到足以处理自然的树木照片．基于上述工作，提出了一种基于单幅照片的交互式树木造型方法，该方法避免用数学模型控制树木形态，独立于树木的具体种类，具有较高的普适性．由于取材于真实的自然树木，因而极大地提高了造型的真实感和自由度。

关键词：形状恢复树木造型自然景物模拟计算机图形学

来源：评论

学校读者我要写书评

暂无评论

带赋值符号迁移图的局部优化算法

引用

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

作者：方海许文林惠民中国科学院软件研究所计算机科学实验室北京100080

带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型，在ＳＴＧＡ上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价．由于ＳＴＧＡ的一个结点对应于具体迁移图的许多结点，在ＳＴＧＡ上所作... 详细信息

带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型，在ＳＴＧＡ上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价．由于ＳＴＧＡ的一个结点对应于具体迁移图的许多结点，在ＳＴＧＡ上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响．文中介绍了ＳＴＧＡ上的一组局部优化算法，证明其正确性，并通过应用实例说明对提高效率的作用．

关键词：传值进程符号迁移图赋值局部优化算法

来源：评论

学校读者我要写书评

暂无评论

一类特殊无限方阵的逆

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

ω-范畴完全理论的特征

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

三元四方向四面体剖分上的B样条

引用

中国科学（A辑） 2000年第9期30卷 791-798页

作者：施锡泉孙家昶大连理工大学应用数学系大连116024 中国科学院软件研究所计算机科学实验室北京100080

研究了三维样条构造的一些本质困难 ,把有关二元三方向上样条的结果推广到三维空间 ,得到了三元四方向四面体剖分和相应的B样条及其支集和积分、微分差分公式 .结果可直接推广到更高维空间中去。

关键词：四面体剖分三元四方向剖分小波 B样条函数

来源：评论

学校读者我要写书评

暂无评论

求解单位等边三角形Packing问题的占角算法

引用

鄂州大学学报 2000年第2期7卷 1-3页

作者：黄文奇王瑞民中国科学院软件所计算机科学实验室北京100080 华中理工大学计算机学院武汉430074

本文沿着拟人的途径，得出了关于ＮＰ难度的单位等边三角形Ｐａｃｋｉｎｇ问题的实用求解算法，此算法的思想，经过发展和具体化后，可以用来求解许多ＮＰ难度问题。

关键词： NP难度拟物法拟人法角区占角动作

来源：评论

学校读者我要写书评

暂无评论

形式化验证认证协议的研究

引用

计算机工程 1999年第S1期25卷 139-141页

作者：肖德琴中国科学院软件所计算机科学实验室

认证协议设计和实现的安全性分析是网络安全的重要课题，越来越多的人关注这个方向的发展。在此系统地讨论了认证协议形式验证研究的前沿课题和发展趋势，并介绍了基于时序逻辑的认证协议研究成果和基于时序逻辑的ModelChecking的构想。

关键词：认证协议形式化方法协议分析

来源：评论

学校读者我要写书评

暂无评论

飞行模拟系统中导弹尾焰的实时生成

引用

计算机辅助设计与图形学学报 1999年第1期11卷 74-76页

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

虚拟现实（ＶＲ）系统对火焰的模拟，通常采用纹理映射（ＴｅｘｔｕｒｅＭａｐｐｉｎｇ）技术，即采用二维火焰图象作为纹理，将其映射到画面对应位置．由于纹理是二维的，所以无法从各个角度对火焰进行观察，从而大大影响了场景的真实... 详细信息

虚拟现实（ＶＲ）系统对火焰的模拟，通常采用纹理映射（ＴｅｘｔｕｒｅＭａｐｐｉｎｇ）技术，即采用二维火焰图象作为纹理，将其映射到画面对应位置．由于纹理是二维的，所以无法从各个角度对火焰进行观察，从而大大影响了场景的真实感及用户的沉浸感．本文提出了一种在ＶＲ飞行模拟系统中生成导弹尾部火焰的算法，用该算法产生的三维尾焰，在形状、色彩、动画效果上均十分逼真，且计算开销较小．对于有图形硬件支持的ＶＲ系统来说，完全可以实现尾焰的实时生成．

关键词：飞行模拟系统导弹尾焰尾焰虚拟现实

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：