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

计算机工程与设计 2010年第4期31卷 691-695页

作者：魏欣曹建文中国科学院软件研究所并行计算实验室北京100190 中国科学院计算机科学重点实验室北京100190 中国科学院研究生院北京100049

为了提高现有OpenModelica软件对DAE系统的预处理模块中求强连通分量与拓扑排序部分的性能,提出了基于Ko-saraju算法实现的策略。阐述了Modelica软件的实现原理,叙述了拓扑排序相关算法在其中的重要性,分析了现有Modelica软件中使用的... 详细信息

为了提高现有OpenModelica软件对DAE系统的预处理模块中求强连通分量与拓扑排序部分的性能,提出了基于Ko-saraju算法实现的策略。阐述了Modelica软件的实现原理,叙述了拓扑排序相关算法在其中的重要性,分析了现有Modelica软件中使用的求强连通分量与拓扑排序部分的算法,比较了Tarjan算法的实现方案与Kosaraju算法实现方案。对两种方案进行了比较和分析结果,表明了Kosaraju算法方案的可行性和有效性。

关键词： Modelica DAE求解强连通分量拓扑排序

来源：评论

学校读者我要写书评

暂无评论

RAM(h)模型下SpMV存储访问复杂度的分析

引用

计算机工程与设计 2009年第3期30卷 613-618页

作者：袁娥张云泉孙相征中国科学院软件研究所并行计算实验室北京100190 中国科学院研究生院北京100190 中国科学院计算机科学国家重点实验室北京100190

稀疏矩阵向量乘(SpMV)采取压缩行存储格式的算法性能非常差,而寄存器分块算法可以使得数据尽量在靠近处理器的存储层次中访问而提高性能。利用RAM(h)模型进行分析和比较不同算法形式的存储访问复杂度,可以比较两种算法的优劣。通过RAM(h... 详细信息

稀疏矩阵向量乘(SpMV)采取压缩行存储格式的算法性能非常差,而寄存器分块算法可以使得数据尽量在靠近处理器的存储层次中访问而提高性能。利用RAM(h)模型进行分析和比较不同算法形式的存储访问复杂度,可以比较两种算法的优劣。通过RAM(h)分析SpMV两种实现形式的存储访问复杂度,同时在奔腾四平台上,测试了7个稀疏矩阵的SpMV性能,并统计了这两种算法中L1,L2,和TLB的缺失率,实验结果与模型分析的数据一致。

关键词： SpMV 稀疏矩阵向量乘 RAM(h)模型存储访问复杂度

来源：评论

学校读者我要写书评

暂无评论

一种按字长匹配的Wu-Manber多模式匹配算法

引用

小型微型计算机系统 2013年第7期34卷 1650-1653页

作者：汪永进顾乃杰任开新中国科学技术大学计算机学院合肥230027 安徽省计算与通信软件重点实验室合肥230027 中国科学技术大学中科院沈阳计算所网络与通信联合实验室合肥230027

多模式匹配是串处理系统中最重要的操作之一,而Wu-Manber算法是多模式串匹配算法中平均性能表现最好的算法.针对Wu-Manber多模式匹配算法在规则集中存在短模式串时性能下降的问题,提出一种按字长匹配的多模式匹配算法.改进的算法是在32... 详细信息

多模式匹配是串处理系统中最重要的操作之一,而Wu-Manber算法是多模式串匹配算法中平均性能表现最好的算法.针对Wu-Manber多模式匹配算法在规则集中存在短模式串时性能下降的问题,提出一种按字长匹配的多模式匹配算法.改进的算法是在32位机器上实现,哈希的字符块长度取2,每次匹配的单位由原来的一个字符变为一个机器字,缩小了访存时间,同时利用机器字长存储的特点合理设计哈希函数,加快了字符块哈希值的计算,极大的提高了有短模式串存在时模式集的匹配性能.与原Wu-Manber算法对比,当最短模式串长度小于6时,改进后的算法搜索时间平均缩短了40%.当最短模式串长度为2和3时,搜索时间缩短了60%以上.

关键词：多模式串匹配机器字短模式串规则集

来源：评论

学校读者我要写书评

暂无评论

噪声消除与SMO算法收敛性

引用

计算机工程与应用 2006年第24期42卷 160-163页

作者：何建兵何清史忠植中国科学院研究生院软件学院北京100049 中科院计算技术研究所智能信息处理重点实验室北京100080

近年来,随着序列最小优化分类算法SMO等一系列快速算法的推出,支持向量机在自动文本分类研究领域取得了很大的成功。大多数文本分类问题是线性可分的,使用线性核函数的SMO算法能够取得非常好的分类效果。但是文本向量是一种非常稀疏的向... 详细信息

近年来,随着序列最小优化分类算法SMO等一系列快速算法的推出,支持向量机在自动文本分类研究领域取得了很大的成功。大多数文本分类问题是线性可分的,使用线性核函数的SMO算法能够取得非常好的分类效果。但是文本向量是一种非常稀疏的向量,采用线性核函数的SMO算法对噪声样本非常敏感,容易产生发散的问题。文章分析证明了噪声如何影响SMO算法收敛性。为了解决训练样本中噪声样本影响SMO算法收敛的问题,设计了一个消除噪声样本的算法,取得了非常好的效果。

关键词：文本分类支持向量机 SMO算法噪声样本

来源：评论

学校读者我要写书评

暂无评论

基于SMO的多层次文本分类法研究

引用

计算机工程与应用 2006年第13期42卷 152-154,167页

作者：何建兵何清史忠植中国科学院研究生院软件学院北京100049 中科院计算技术研究所智能信息处理重点实验室北京100080

在以往的自动文本分类研究中,大多比较流行的分类技术都是在一个层次上将文本分成几个类别。但随着信息检索的量越来越大,文本的种类将越来越多,仅仅通过一层对海量信息进行组织分类越来越不适合海量信息的检索工作,这种平坦式的分类组... 详细信息

在以往的自动文本分类研究中,大多比较流行的分类技术都是在一个层次上将文本分成几个类别。但随着信息检索的量越来越大,文本的种类将越来越多,仅仅通过一层对海量信息进行组织分类越来越不适合海量信息的检索工作,这种平坦式的分类组织难以进一步提高信息检索的速度。论文将SMO分类算法结合到文本分类研究中,通过构建多层支持向量机文本分类树,实现了基于SMO的多层次文本分类系统。

关键词：文本分类多层次文本分类支持向量机 SMO算法多层支持向量机

来源：评论

学校读者我要写书评

暂无评论

GridMol,一个基于网格的分子可视化系统

GridMol,一个基于网格的分子可视化系统

引用

2005高性能计算应用大会

作者：姚继锋卢玥单桂华上海超级计算中心上海201203 中科院软件所并行计算实验室北京100080 中科院计算机网络信息中心超级计算中心 100080

本文介绍了一个基于网格环境、支持大分子显示的远程可视化系统GridMol.系统采用Browser-Server结构,客户端采用Java3D实现,服务器端使用面向对象方法实现了支持多种文件格式的数据处理,同时采用了特定的数据格式以减小网络数据传输.整... 详细信息

本文介绍了一个基于网格环境、支持大分子显示的远程可视化系统GridMol.系统采用Browser-Server结构,客户端采用Java3D实现,服务器端使用面向对象方法实现了支持多种文件格式的数据处理,同时采用了特定的数据格式以减小网络数据传输.整个系统置于网格环境下,用户通过ChinaGrid的VisPortal进行访问.

关键词：网格技术科学计算可视化网络服务器数据格式

来源：评论

学校读者我要写书评

暂无评论

指标约简中Gear算法的实现

引用

计算机工程与设计 2010年第20期31卷 4339-4342,4381页

作者：饶锴曹建文中国科学院软件研究所并行计算实验室北京100190 中国科学院计算机科学重点实验室北京100190 中国科学院研究生院北京100049

基于组件的建模有时会产生高指标的微分代数方程(DAE),不能直接求解,需要进行指标约简。Gear方法是一个经典的指标约简方法,对Gear方法从理论上进行了说明和分析。对于一类具有特殊结构的DAE,提出了Gear方法实现中的优化策略,以降低指... 详细信息

基于组件的建模有时会产生高指标的微分代数方程(DAE),不能直接求解,需要进行指标约简。Gear方法是一个经典的指标约简方法,对Gear方法从理论上进行了说明和分析。对于一类具有特殊结构的DAE,提出了Gear方法实现中的优化策略,以降低指标约简后得到的方程规模。把优化后的实现与未优化的实现进行了比对,实验结果表明,优化过的实现方法针对这类特殊的问题确实达到了更好的约简效果。

关键词：基于组件建模高指标微分代数方程组微分指标指标约简基尔方法

来源：评论

学校读者我要写书评

暂无评论

密码协议的一种基于组合推理的模型验证

引用

通信学报 2003年第9期24卷 122-127页

作者：刘怡文李伟琴冯登国北京航空航天大学计算机科学与工程系北京100083 中科院软件所信息安全国家重点实验室北京100080

将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型... 详细信息

将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型验证,并重点解决了系统分解问题、假设函数的设定问题等难题。以kerberos v5密码协议系统为例,利用该组合推理技术对密码协议系统进行了安全验证。

关键词：密码协议形式化模型组合推理模型检查

来源：评论

学校读者我要写书评

暂无评论

一种用计算域分解的等几何分析并行化方法

引用

小型微型计算机系统 2013年第6期34卷 1396-1399页

作者：郭利财黄章进顾乃杰中国科学技术大学计算机学院合肥230027 安徽省计算与通信软件重点实验室合肥230027 中国科学技术大学中科院沈阳计算所网络与通信联合实验室合肥230027

提出一种按照计算域分解的并行化方法来构建等几何分析的刚度矩阵和右侧向量.将计算域分解成为若干个不相交的子区域,然后为每个区域分配一个处理器,所有处理器并行进行子区域上面的计算,所有处理器完成子区域的计算以后,使用一个快速... 详细信息

提出一种按照计算域分解的并行化方法来构建等几何分析的刚度矩阵和右侧向量.将计算域分解成为若干个不相交的子区域,然后为每个区域分配一个处理器,所有处理器并行进行子区域上面的计算,所有处理器完成子区域的计算以后,使用一个快速的归并算法完成线性系统的装配.实验表明,本文提出的方法在8核的机器上可以达到6.46的加速比,能够在4秒左右的时间计算680万个矩阵元素个数.使用Intel MKL稀疏求解器来求解线性系统,本文的等几何分析求解器能够在大约10秒的时间内求解52万的自由度,本文的方法比ISOGAT速度要快上万倍.

关键词：等几何分析并行计算计算域分解

来源：评论

学校读者我要写书评

暂无评论

一种面向数据密集型应用的并行程序执行模型

引用

小型微型计算机系统 2013年第7期34卷 1457-1461页

作者：何颂颂顾乃杰任开新中国科学技术大学计算机学院合肥230027 安徽省计算与通信软件重点实验室合肥230027 中国科学技术大学中科院沈阳计算所网络与通信联合实验室合肥230027

随着各领域需要处理的数据量越来越大,数据密集型应用也变得越来越被重视.该文提出一种包含数据访存层次和访存冲突等信息的新并行程序执行模型PSRAM(h).针对数据密集型应用以访存为主的特点,PSRAM(h)模型将程序执行时间简化为访存时间... 详细信息

随着各领域需要处理的数据量越来越大,数据密集型应用也变得越来越被重视.该文提出一种包含数据访存层次和访存冲突等信息的新并行程序执行模型PSRAM(h).针对数据密集型应用以访存为主的特点,PSRAM(h)模型将程序执行时间简化为访存时间,通过分析各程序子段的访存层次和数量来预测串行程序的执行时间,进而通过使用各线程执行时间的最大值来预测并行程序的执行时间.使用PSRAM(h)模型下对最典型的数据密集型应用矩阵向量乘进行分析,在龙芯3A处理器和Intel Xeon E5520处理器两个平台上的测试结果表明,PSRAM(h)模型分析结果与实测结果大部分情况下误差小于20%.由此可见,针对数据密集型应用,PSRAM(h)不但可以给出程序执行时间的下限,还可以有效的预测程序的执行时间.

关键词：数据密集型共享内存 PSRAM(h) 程序执行模型

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：