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

中国科学技术大学学报 2013年第4期43卷 271-277页

作者：林传文顾乃杰蔡嵩松中国科学技术大学计算机科学技术学院安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027 中国科学技术大学中科院沈阳计算所网络与通信联合实验室安徽合肥230027 中国科学院计算技术研究所北京100190

Java虚拟机在运行过程中使用即时编译器编译Java程序的热点方法,然后直接执行热点方法的本地代码.锁cache机制允许Java虚拟机将编译方法的本地代码锁在cache中,以提高编译执行时的指令cache命中率.通过分析Java虚拟机中编译方法的调用规... 详细信息

Java虚拟机在运行过程中使用即时编译器编译Java程序的热点方法,然后直接执行热点方法的本地代码.锁cache机制允许Java虚拟机将编译方法的本地代码锁在cache中,以提高编译执行时的指令cache命中率.通过分析Java虚拟机中编译方法的调用规律,得到编译方法的活跃时间段、平均大小和内存分布情况.基于编译方法的调用规律,给出Java虚拟机中的动态锁cache优化方法.在Java热点方法的活跃期将其本地代码段锁在cache中,以减少cache失效.最后,在龙芯3A的HotSpot虚拟机上实现了动态锁cache优化方法.实验结果表明,Java虚拟机中的动态锁cache优化方法能够使SPECjvm2008运行时的cache失效次数平均降低8.5%,性能平均提升4%.

关键词： Java虚拟机 cache 锁cache机制即时编译

来源：评论

学校读者我要写书评

暂无评论

噪声消除与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算法多层支持向量机

来源：评论

学校读者我要写书评

暂无评论

针对C语言的自动微分系统及其应用

引用

计算机应用研究 2009年第1期26卷 155-158,171页

作者：张春晖程强曹建文中国科学院软件研究所并行计算实验室北京100190 中国科学院研究生院北京100190 中国科学院计算机网络信息中心北京100190

采用切线性模式和代码转换策略,开发了C语言自动微分转换系统(DTC),用于牛顿法求解非线性方程中Jacobi矩阵—向量乘积计算。介绍系统计算模型、功能、特色,并讨论系统的设计与实现技术,包括编译技术、微分代码转换及输入/输出(I/O)相关... 详细信息

采用切线性模式和代码转换策略,开发了C语言自动微分转换系统(DTC),用于牛顿法求解非线性方程中Jacobi矩阵—向量乘积计算。介绍系统计算模型、功能、特色,并讨论系统的设计与实现技术,包括编译技术、微分代码转换及输入/输出(I/O)相关分析。最后给出了几个具有说服力的测试与应用。

关键词：自动微分切线性模式 Jacobi矩阵

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种并行的网页解析算法

引用

小型微型计算机系统 2014年第2期35卷 193-198页

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

如今,Web应用已经可以提供接近传统桌面应用的用户体验,其网页也相应地变得更加复杂,从而对Web浏览器的性能提出了巨大挑战.传统的Web浏览器通常使用单一线程处理网页,无法充分利用多处理器设备的运算能力,针对于此提出了一种并行的网... 详细信息

如今,Web应用已经可以提供接近传统桌面应用的用户体验,其网页也相应地变得更加复杂,从而对Web浏览器的性能提出了巨大挑战.传统的Web浏览器通常使用单一线程处理网页,无法充分利用多处理器设备的运算能力,针对于此提出了一种并行的网页解析算法.与现有针对网页处理的并行算法不同,本算法基于数据并行的方案,通过将输入数据划分成多个部分,对其进行并行处理,再合并各个部分的结果以得到最终结果.本算法可以充分利用现有的高度优化的串行网页处理算法,并且兼容现有的Web标准和技术.在Webkit浏览器引擎上进行的实验指出,本并行算法可以有效利用多核处理器的运算能力,显著提高了网页解析过程的速度.

关键词：多核处理器并行算法超文本标记语言万维网解析

来源：评论

学校读者我要写书评

暂无评论

综合递归分块技术及其在数值计算中的应用

综合递归分块技术及其在数值计算中的应用

引用

2006年全国高性能计算学术会议(HPC 2006)

作者：蒋孟奇张云泉宋刚李玉成中国科学院软件研究所并行计算实验室北京市100080 中国科学院研究生院北京市100080 中科院计算机科学国家重点实验室北京市100080 中国科学院软件研究所并行计算实验室北京市100080 中科院计算机科学国家重点实验室北京市100080 中国科学院软件研究所并行计算实验室北京市100080

矩阵计算在科学计算和其它很多的领域中有着广泛的应用.而随着计算机体系结构的不断发展,尤其是分层存储的出现,现有的经典矩阵计算算法和传统数据结构已经不太适应新硬件发展的需要了.本文主要通过分析存储层次对矩阵计算的影响,结合... 详细信息

矩阵计算在科学计算和其它很多的领域中有着广泛的应用.而随着计算机体系结构的不断发展,尤其是分层存储的出现,现有的经典矩阵计算算法和传统数据结构已经不太适应新硬件发展的需要了.本文主要通过分析存储层次对矩阵计算的影响,结合近年来国内外的一些研究成果,提出了一种矩阵计算理念--计算重排序理论,并在此基础上提出了一种面向存储层次解决矩阵计算问题的方法--综合递归分块方法.对比实验表明,采用该方法既可以提高执行效率,又可以节省存储空间.

关键词：矩阵计算分层存储计算重排序非线性数据结构综合递归分块技术

来源：评论

学校读者我要写书评

暂无评论

基于STGA的并发程序测试

基于STGA的并发程序测试

引用

2004年全国理论计算机科学学术年会

作者：唐江峻中科院软件所计算机重点实验室北京100080

带赋值符号迁移图(SymbolicTransitionGraphwithAssignment,简称STGA)用符号化方法解决了传值问题,STGA图中的状态和迁移都可以带有参数.本文将阐述如何从STGA图中生成同步序列,并且提出若干覆盖率标准来指导同步序列的选择,最后通过一... 详细信息

带赋值符号迁移图(SymbolicTransitionGraphwithAssignment,简称STGA)用符号化方法解决了传值问题,STGA图中的状态和迁移都可以带有参数.本文将阐述如何从STGA图中生成同步序列,并且提出若干覆盖率标准来指导同步序列的选择,最后通过一个实例来研究这种方法的测试效率,并且与基于LTS的同步序列生成方法进行比较.

关键词：带赋值符号迁移图并发程序测试同步序列

来源：评论

学校读者我要写书评

暂无评论

基于颜色量化的人体检测

基于颜色量化的人体检测

引用

全国第十五届计算机科学与技术应用学术会议

作者：孙庆杰中科院软件所计算机科学重点实验室

本文提出一种静态图像中的人体检测方法．将人体看作由9个矩形按照一定的几何和拓扑约束构成的模型．首先利用颜色量化算法将图像分割为不同区域,然后拟合与识别图像中的矩形区域,最后搜索满足该几何和拓扑约束的9个矩形的组合,从而检... 详细信息

本文提出一种静态图像中的人体检测方法．将人体看作由9个矩形按照一定的几何和拓扑约束构成的模型．首先利用颜色量化算法将图像分割为不同区域,然后拟合与识别图像中的矩形区域,最后搜索满足该几何和拓扑约束的9个矩形的组合,从而检测图像中的人体．

关键词：人体检测矩形分解拟合

来源：评论

学校读者我要写书评

暂无评论

城市规划中基于IS的多通道分层整合方法

引用

计算机工程 2009年第14期35卷 273-276页

作者：贺毅岳王亮华庆一张凤军高妮西北大学信息科学与技术学院西安710127 中科院计算机科学国家重点实验室北京100190 中国科学技术大学计算机科学与技术系合肥230027 中科院软件研究所人机交互技术与智能信息处理实验室北京100190

提出一种基于交互语义的多通道分层整合方法,该方法结合概率以及时间约束等内容,从多通道的输入信息中捕获用户交互意图,形成交互任务。将其应用于虚拟环境中,根据实际需求设计并实现多种多通道交互技术,同时举例分析其整合过程。仿真... 详细信息

提出一种基于交互语义的多通道分层整合方法,该方法结合概率以及时间约束等内容,从多通道的输入信息中捕获用户交互意图,形成交互任务。将其应用于虚拟环境中,根据实际需求设计并实现多种多通道交互技术,同时举例分析其整合过程。仿真实验结果表明,该方法是有效可行的。

关键词：交互语义分层整合多通道交互上下文虚拟城市规划

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：