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

第七届全国并行计算学术交流会

作者：唐渊张云泉李玉成中国科学院软件研究所并行中心北京100080 中科院计算机科学重点实验室北京 100080 中国科学院软件研究所并行中心北京100080

本文在对许多由不同硬件配置的系统的测试过程中,初步比较并分析了这些不同的硬件因素对LogP,LogGP通讯模型各个参数所造成的影响.希望能够对配置机群系统时需要考虑的硬件因素提供有用的参考.软件因素的影响分析是我们将来的工作.

关键词：机群系统硬件因素通讯性能 MPI LogP模型并行计算

来源：评论

学校读者我要写书评

暂无评论

面向传值进程的谓词μ-演算与FO(HML)的完备推演系统

引用

计算机学报 2002年第6期25卷 561-569页

作者：薛锐林惠民中国科学院软件研究所计算机科学实验室北京100083

作者提出一个谓词μ-演算系统 ,目的在于描述传值进程的性质 .该系统的公式和谓词相互递归定义 ,谓词中含有抽象式、谓词变元以及最大和最小不动点 .其语义模型是带赋值的符号迁移图所诱导的迁移系统 .并且该系统包含 Hennessy- Milner... 详细信息

作者提出一个谓词μ-演算系统 ,目的在于描述传值进程的性质 .该系统的公式和谓词相互递归定义 ,谓词中含有抽象式、谓词变元以及最大和最小不动点 .其语义模型是带赋值的符号迁移图所诱导的迁移系统 .并且该系统包含 Hennessy- Milner逻辑的一阶扩充 FO(HML )作为子系统 .作者用例子说明了本演算系统在表达传值进程性质方面的优越性 .该文后半部分主要给出了 FO(HML )的一个推演系统 ,并运用判定树 (Tableau)的方法。

关键词：传值进程谓词μ-演算 FO 完备推演系统计算机

来源：评论

学校读者我要写书评

暂无评论

延迟1步弱可逆半输入存储有限自动机的结构

延迟1步弱可逆半输入存储有限自动机的结构

引用

第七届中国密码学学术会议

作者：陶仁骥陈世华中国科学院软件研究所计算机科学实验室(北京)

半输入存储有限自动机是在研究误差传播问题时由本文头一位作者提出的一类有限自动机,它作为输入存储有限自动机的推广,增加了一个自治有限自动机作为其组成部分.本文对于自治有限自动机M的状态图构成一个圈的情形,刻划了延迟1步弱可逆... 详细信息

半输入存储有限自动机是在研究误差传播问题时由本文头一位作者提出的一类有限自动机,它作为输入存储有限自动机的推广,增加了一个自治有限自动机作为其组成部分.本文对于自治有限自动机M<,a>的状态图构成一个圈的情形,刻划了延迟1步弱可逆半输入存储有限自动机C(M<,a>,f)的结构,即给出了f的显表达式.基于作者最近在互逆性方面的一个结果,上述刻划也导致延迟1步前馈逆有限自动机的一种刻划.

关键词：有限自动机半输入存储延迟1步可逆性

来源：评论

学校读者我要写书评

暂无评论

硬件因素对LogP模型参数影响的研究

硬件因素对LogP模型参数影响的研究

引用

中国科学院计算技术研究所第七届计算机科学与技术研究生学术讨论会

作者：唐渊张云泉中国科学院软件研究所并行中心北京100080 中科院计算机科学重点实验室北京100080 中国科学院软件研究所并行中心北京100080

有关并行计算的通讯模型已经有很多了,其中比较著名的,并且又适合于机群系统(PC-Cluster)这种目前比较流行的并行计算环境的主要有:LogP,LogGP.在[参考文献4]所做的工作中详细地比较并分析了LogP模型各个参数对实际应用程序的影响.但是... 详细信息

有关并行计算的通讯模型已经有很多了,其中比较著名的,并且又适合于机群系统(PC-Cluster)这种目前比较流行的并行计算环境的主要有:LogP,LogGP.在[参考文献4]所做的工作中详细地比较并分析了LogP模型各个参数对实际应用程序的影响.但是,大多数的实验者与研究者限于条件,往往只是对一个给定的系统环境做各种各样的测试,无法考虑不同的硬件组合对LogP模型或者LogGP模型的参数产生的影响.而本文在对许多由不同硬件配置的系统的测试过程中,初步比较并分析了这些不同的硬件因素对LogP,LogGP通讯模型各个参数所造成的影响.希望能够对配置机群系统时需要考虑的硬件因素提供有用的参考.软件因素的影响分析是我们将来的工作.

关键词：机群系统硬件因素通讯性能 MPI LogP模型

来源：评论

学校读者我要写书评

暂无评论

铸造工艺CAD组件集成环境的研究

引用

工程图学学报 2002年第3期23卷 29-33页

作者：冀俊峰吴恩华冀俊峰刘瑞玲吴恩华中国科学院软件研究所计算机科学实验室北京100080 河北科技大学石家庄050054 澳门大学

以铸造工艺CAD为例介绍了组件集成环境的结构和设计方法。在一套基于通用的组件结构的铸造工艺设计组件库的基础上,通过组件的注册、对象的管理和对象属性的存取等方面,设计出一个易于扩充新设计方法的铸造工艺设计计算的组件集成环境... 详细信息

以铸造工艺CAD为例介绍了组件集成环境的结构和设计方法。在一套基于通用的组件结构的铸造工艺设计组件库的基础上,通过组件的注册、对象的管理和对象属性的存取等方面,设计出一个易于扩充新设计方法的铸造工艺设计计算的组件集成环境。该方法不仅可用于铸件重量和模数计算及铸造工艺计算,还可用于进一步开发完善的各类专业工艺CAD或计算机图形软件。

关键词：铸造工艺设计计算权辅助设计组件集成环境

来源：评论

学校读者我要写书评

暂无评论

基于有效裁剪被遮挡单元的非规则数据场体绘制算法

引用

计算机学报 2001年第3期24卷 292-295页

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

提出了一种被遮挡单元的裁剪算法 ,以加速非规则数据场的体绘制过程 .在基于一组平行切割平面的体绘制方法上 [7] ,新算法通过对图像不透明度缓冲区中的值进行求平均操作 ,并将所计算的结果存储在一个与不透明度缓冲区同样大小的平均不... 详细信息

提出了一种被遮挡单元的裁剪算法 ,以加速非规则数据场的体绘制过程 .在基于一组平行切割平面的体绘制方法上 [7] ,新算法通过对图像不透明度缓冲区中的值进行求平均操作 ,并将所计算的结果存储在一个与不透明度缓冲区同样大小的平均不透明度缓冲区中 ,使得只需根据每一数据单元重心投影点在平均不透明度缓冲区中的值 ,就可得到此数据单元的可见性 ,从而有效裁剪掉被遮挡单元 ,降低需处理的数据量 ,加速体绘制过程 .

关键词：非规则数据场体绘制裁剪算法图像处理计算机

来源：评论

学校读者我要写书评

暂无评论

基于EFSM的测试数据自动生成及静态分析工具

基于EFSM的测试数据自动生成及静态分析工具

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：