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

计算机科学 2005年第1期32卷 132-137页

作者：李韶华张健中科院软件所计算机科学实验室北京100080

Survey ProPagation是一种新生的SAT(CSP)算法。它基于统计物理的sPin glass 模型,针对具体问题进行纵览(survey),从而极大地降低求解的复杂度。但sp算法在某些时候不收敛,或引导向错误的解。对此,***提出一种复杂回溯(backtrack)算法,... 详细信息

Survey ProPagation是一种新生的SAT(CSP)算法。它基于统计物理的sPin glass 模型,针对具体问题进行纵览(survey),从而极大地降低求解的复杂度。但sp算法在某些时候不收敛,或引导向错误的解。对此,***提出一种复杂回溯(backtrack)算法,而作者在sp中加入简单回溯,也使一部分此类问题得到解决。

关键词： “Survey Propagation” SAT算法可满足性问题求解算法不完备搜索方法人工智能命题逻辑公式

来源：评论

学校读者我要写书评

暂无评论

服务网格的用户3A使用模式

引用

电子学报 2007年第2期35卷 292-298页

作者：吕毅王源李晓林中科院软件研究所计算机科学重点实验室北京100080 中科院计算技术研究所北京100080

用户如何方便有效地使用网格是网格界面和使用模式研究的一个关键问题,用户3A使用网格,即Anytime,Any place,and on Any device,体现了用户对网格使用的基本需求.本文给出了用户3A使用模式的形式定义,并利用ASM(Abstract State Machine... 详细信息

用户如何方便有效地使用网格是网格界面和使用模式研究的一个关键问题,用户3A使用网格,即Anytime,Any place,and on Any device,体现了用户对网格使用的基本需求.本文给出了用户3A使用模式的形式定义,并利用ASM(Abstract State Machine)对用户和服务网格(USG)进行了形式化建模,最后证明了用户和服务网格系统在满足用户合法性s、ession连通性和服务连续性的情况下,用户可以3A使用服务网格.

关键词：服务网格 3A使用模式抽象状态机网格模型

来源：评论

学校读者我要写书评

暂无评论

中国图形工程:1996

引用

中国图象图形学报（A辑） 1997年第12期2卷 925-934页

作者：潘志庚吴恩华浙江大学CAD&CG国家重点实验室中科院计算机软件所计算机科学实验室

本文是关于中国图形工程的年度文献综述系列之二．考虑到国内关于图形学的研究以及应用的论文分布于多种学术期刊上，为了让图形学领域内的理论研究和开发人员对图形学研究进展有一个全面的了解，以及为读者查阅相关文献提供方便，我们... 详细信息

本文是关于中国图形工程的年度文献综述系列之二．考虑到国内关于图形学的研究以及应用的论文分布于多种学术期刊上，为了让图形学领域内的理论研究和开发人员对图形学研究进展有一个全面的了解，以及为读者查阅相关文献提供方便，我们对１９９６年发表的有关图形工程的论文根据内容进行了分类和统计分析，这些学术研究和技术应用论文是从发表比较集中的１１种期刊上选取出来的。

关键词：计算机图形学图形工程图形处理

来源：评论

学校读者我要写书评

暂无评论

基于嵌入式Linux的网络电视终端的实时性开发及HTML控制方法

引用

计算机工程与应用 2002年第13期38卷 210-213页

作者：廖渊李明树中科院软件所计算机科学开放实验室北京100080

Linux诸多优点,和国际自由软件组织的努力,使基于Linux的开发的嵌入式产品越来越多。由于Web技术的普及,怎样在嵌入式产品上实现性能优异的Web功能成为了当前的一个研究热点。该文深入探讨在进行嵌入式应用开发过程中遇到的问题并给出... 详细信息

Linux诸多优点,和国际自由软件组织的努力,使基于Linux的开发的嵌入式产品越来越多。由于Web技术的普及,怎样在嵌入式产品上实现性能优异的Web功能成为了当前的一个研究热点。该文深入探讨在进行嵌入式应用开发过程中遇到的问题并给出了相应的解决方法。并以网络电视终端为例,详细论述具体嵌入式产品中各部分的设计和实现。

关键词：嵌入式Linux 网络电视终端实时性 HMTL控制

来源：评论

学校读者我要写书评

暂无评论

并发程序执行的一种粒度分析方法

引用

计算机工程与应用 2000年第5期36卷 54-56,65页

作者：张广泉中科院软件所计算机科学开放研究实验室北京100080

文章讨论基于交替计算模式的并发程序执行行为的可信性问题。通过比较共享变量程序的交替计算与实际重叠执行，对并发程序的执行过程进行粒度分析──首先提出一种粒度细化、求精方法，限制单个原子转换包含的临界事件数目；继而引入一... 详细信息

文章讨论基于交替计算模式的并发程序执行行为的可信性问题。通过比较共享变量程序的交替计算与实际重叠执行，对并发程序的执行过程进行粒度分析──首先提出一种粒度细化、求精方法，限制单个原子转换包含的临界事件数目；继而引入一种限制临界引用（ＬＣＲ）条件，进一步限制每一与语句相关的转换至多执行一次临界引用；对任一程序，通过转换算法将其转化为与之等价的ＬＣＲ程序，且ＬＲ程序的交替计算结果与实际的重叠执行结果是一致的。

关键词：并发程序粒度求精粒度分析方法程序设计语言

来源：评论

学校读者我要写书评

暂无评论

基于时态逻辑的软件体系结构描述语言及其可视化环境

引用

计算机工程与应用 2001年第5期37卷 14-16页

作者：张广泉郑建丹骆华俊中科院软件所计算机科学开放研究实验室北京100080

在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方... 详细信息

在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。

关键词：时态逻辑 XYZ/E 软件体系结构体系结构描述语言可视化

来源：评论

学校读者我要写书评

暂无评论

三维可视化对于认知的作用

引用

计算机工程与科学 1998年第3期20卷 36-41页

作者：华庆一房鼎益西北大学计算机科学系中科院软件所计算机科学开放研究实验室

本文通过描述面向对象系统结构的可视化问题来讨论三维可视化对于人类认知的作用。在节省屏幕空间及表示多维关系方面，三维表示范型可以减少两维表示范型的种种限制。因而三维图形表示在反映信息及其之间的关系方面具有更高的能力。本... 详细信息

本文通过描述面向对象系统结构的可视化问题来讨论三维可视化对于人类认知的作用。在节省屏幕空间及表示多维关系方面，三维表示范型可以减少两维表示范型的种种限制。因而三维图形表示在反映信息及其之间的关系方面具有更高的能力。本文试图说明这种能力使得三维可视化可有效地减轻人类的认知负担。

关键词：三维可视化认知面向对象计算机图形学

来源：评论

学校读者我要写书评

暂无评论

基于流体动力学的实时角色动画运动特效

引用

系统仿真学报 2012年第1期24卷 236-241页

作者：徐添辰吴恩华澳门大学科技学院澳门999078 中科院软件所计算机科学国家重点实验室北京100190

在快速的角色动画中,运动模糊技术经常用于产生梦幻般的人物运动效果,从而渲染设计者想要表达的气氛。长期以来,人们常用硬件或软件方法,仅通过简单的图像融合手段实现运动模糊。为了提供高标准的运动特效,基于全局光照的几何方法变得... 详细信息

在快速的角色动画中,运动模糊技术经常用于产生梦幻般的人物运动效果,从而渲染设计者想要表达的气氛。长期以来,人们常用硬件或软件方法,仅通过简单的图像融合手段实现运动模糊。为了提供高标准的运动特效,基于全局光照的几何方法变得日渐亟需。但是,这样的计算开销对于实时渲染来说往往难以承受。在此,笔者提出了一种新的用于实时运动特效的几何技术。该方法还能结合流体动力学技术,构建一些沿着运动轨迹体而生成的特殊效果。为了避免每帧重复计算,以及为了突破轨迹生成的数据量限制,首先分解运动轨迹,然后引入多步几何渲染技术,实现几何模型的实例化,从而达到重复利用几何资源的目的。在渲染流程中,为了使该方法可以灵活地运用于各种流体效果之中,轨迹追踪的步骤和流体解析的过程是设计成独立的。由于该算法是建立在GPU几何着色的并行环境下,当达到影片质量级别的渲染效果时,它依然能够保证极高的计算效率,最终实现包括运动模糊等特效在内的场景实时渲染。

关键词：运动模糊角色动画流体动力学 GPU几何着色器

来源：评论

学校读者我要写书评

暂无评论

嵌入式Linux集成开发环境研究与实现

引用

计算机系统应用 2004年第5期13卷 19-21页

作者：孟宪栋孙富春周纬杰清华大学计算机科学与技术系 100084 中科院软件所通用软件实验室 100080

嵌入式软件的开发是当今计算机软件发展的一个热点。本文首先分析了使用GNU工具链的传统嵌入式软件开发方法,分析指出其优缺点。在此基础上介绍设计和实现能支持多种目标平台开发的嵌入式Linux集成开发环境的方法,并且对核心模块和关键... 详细信息

嵌入式软件的开发是当今计算机软件发展的一个热点。本文首先分析了使用GNU工具链的传统嵌入式软件开发方法,分析指出其优缺点。在此基础上介绍设计和实现能支持多种目标平台开发的嵌入式Linux集成开发环境的方法,并且对核心模块和关键技术进行了介绍和分析。

关键词：嵌入式Linux开发工具链集成开发环境 GNU工具链嵌入式系统

来源：评论

学校读者我要写书评

暂无评论

HPCC在IBM刀片机群上的诊断测试与结果分析

引用

计算机工程 2009年第7期35卷 242-244页

作者：王宣强王向前张云泉中科院软件研究所并行计算实验室北京100080 中国科学院计算机科学国家重点实验室北京100080

在IBMJS21 Blade Center上进行2次HPCC测试,介绍HPCC的结果分析方法,并采用分层模型AHPCC对HPCC的测试结果进行分析。其目的是通过在高性能机群上执行HPCC测试说明HPCC测试对机群系统的评价和诊断能力。实验发现,在之前的HPL测试结果一... 详细信息

在IBMJS21 Blade Center上进行2次HPCC测试,介绍HPCC的结果分析方法,并采用分层模型AHPCC对HPCC的测试结果进行分析。其目的是通过在高性能机群上执行HPCC测试说明HPCC测试对机群系统的评价和诊断能力。实验发现,在之前的HPL测试结果一直不理想并且无法更进一步发现和解决问题的情况下,采用HPCC测试能够较好地评价系统和诊断系统问题。通过分层模型的评价,能够得到更多关于目标系统的性能参数和发现可能的性能瓶颈,为系统设计及构建积累有价值的经验。

关键词： HPCC测试分层模型系统评价

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：