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

国际并行算法与计算环境专题讨论会

作者：张云泉中科院软件所并行计算实验室(北京) 中科院计算机科学重点实验室(北京)

本文提出了一个基于非一致存储访问开销存储层次的新计算模型RAM(h),并给出了在PIII 1GHz,PIV 1.5Ghz两种计算平台上对在该模型下六种形式分块矩阵乘的分析结果进行的实验验证.实验表明:我们的新模型对六种形式分块矩阵乘的分析结果与在... 详细信息

本文提出了一个基于非一致存储访问开销存储层次的新计算模型RAM(h),并给出了在PIII 1GHz,PIV 1.5Ghz两种计算平台上对在该模型下六种形式分块矩阵乘的分析结果进行的实验验证.实验表明:我们的新模型对六种形式分块矩阵乘的分析结果与在2个实验平台上的实验结果几乎完全吻合;通过SimpleScalar 3.0/Alpha模拟器的模拟我们还发现,数据TLB不命中率和L1数据高速缓存不命中率几乎一样,在很多情况下甚至更严重并且会影响模型分析的精度,这说明在模型中加入对数据TLB存储访问行为的分析是很必要的,但必须考虑到这样做带来的模型分析复杂性的增加.对有指令级并行时计算模型下分析方法的研究和实验验证是我们将来的工作.

关键词：存储复杂性分块矩阵乘计算模型软件开发

来源：评论

学校读者我要写书评

暂无评论

计算模型RAM(h)下的分块矩阵乘:分析与验证

计算模型RAM(h)下的分块矩阵乘:分析与验证

引用

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

作者：张云泉中科院软件所并行计算实验室北京8718信箱100080 中科院计算机科学重点实验室北京8718信箱100080

本文提出了一个基于非一致存储访问开销存储层次的新计算模型RAM(h),并给出了在PIII1GHz,PIV1.5Ghz两种计算平台上对在该模型下六种形式分块矩阵乘的分析结果进行的实验验证.

关键词：分块矩阵乘 SimpleScalar 计算模型访问开销存储层次

来源：评论

学校读者我要写书评

暂无评论

基于遗传算法和模拟退火算法的布局问题研究

引用

计算机工程与应用 2003年第36期39卷 70-72页

作者：肖美华王命延王洪发彭正文肖飞何凌云南昌大学计算中心中科院软件所计算机科学重点实验室北京100080 江西教育学院数计系

文章在介绍遗传算法和模拟退火算法的基本理论及主要特点的基础上,提出了一个基于遗传算法和模拟退火算法的求解布局问题(矩形件排样优化)算法,并通过算例验证了该算法的有效性。

关键词：遗传算法模拟退火算法布局问题选择策略

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于颜色量化的人体检测

基于颜色量化的人体检测

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

国际并行算法与计算环境专题讨论会

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

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

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

关键词：机群系统并行计算通讯模型计算机硬件

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于面向对象技术的无穷精度数系统的研制与开发

基于面向对象技术的无穷精度数系统的研制与开发

引用

2003中国计算机大会

作者：杨宏林东岱刘卓军北京市计算中心(北京) 中科院软件所信息安全国家重点实验室(北京) 中科院数学与系统科学研究院(北京)

无穷精度数系统是任何计算机代数系统的重要的支撑模块,用于实现无穷精度数的表示和运算,其运行效率决定着整个计算机代数系统的性能.本文将介绍一个基于面向对象技术的无穷精度数系统的研制与开发,着重讨论对系统的面向对象的分析与设... 详细信息

无穷精度数系统是任何计算机代数系统的重要的支撑模块,用于实现无穷精度数的表示和运算,其运行效率决定着整个计算机代数系统的性能.本文将介绍一个基于面向对象技术的无穷精度数系统的研制与开发,着重讨论对系统的面向对象的分析与设计以及系统实现中的一些技术细节,包括我们对于无穷精度数的表示方法和相关的无穷精度算法所进行的一些有益的尝试和改进.在无穷精度整数的表示方面,我们采用了有别于其它符号计算软件的块结构的实现方案,实验数据表明,该方案兼具了传统的定长数组表示和指针链接表示的优点,在运算速度和内存开销之间达到平衡.对于相关无穷精度算法的改进,本文重点以整数的乘法运算为例,给出了一种改进的基于快速富立叶变换的乘法算法,在计算中适当运用了浮点近似计算的技巧,大大降低了算法平衡点的值,使算法对于比较小的数据就已快于经典的乘法算法,从而有效地提高了该算法的实用性.

关键词：面向对象无穷精度数系统符号计算计算机代数

来源：评论

学校读者我要写书评

暂无评论

基于理想的协议安全性分析

基于理想的协议安全性分析

引用

2003中国计算机大会

作者：孙海波林东岱李莉中科院软件所信息安全国家重点实验室(北京) 武汉大学计算机学院(武汉大学)

1998年Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.文献[1]中第一次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系.本文中我们将... 详细信息

1998年Guttman等人提出了串空间理论作为一种新的密码协议形式化分析的工具.文献[1]中第一次引入了关于消息代数上的理想以及诚实的概念来分析协议的保密性.由于理想结构的特殊性使得它可以刻画协议运行中消息之间的关系.本文中我们将利用理想的结构来分析协议的一些安全性质,例如保密性,认证性,零知识性,以及如何抵抗猜测攻击.

关键词：串空间密码协议理想协议认证性

来源：评论

学校读者我要写书评

暂无评论

交叉协议安全性分析

交叉协议安全性分析

引用

2003中国计算机大会

作者：孙海波林东岱李莉中科院软件所信息安全国家重点实验室(北京) 武汉大学计算机学院(武汉大学)

串空间理论是一种新兴的用于密码协议形式化分析的方法.本文中我们将利用串空间理论对于交叉协议的安全性进行分析,并利用图论中关于有向图的路径长度来说明在何种条件下多个协议交叉运行可以保持协议本身的安全性.

关键词：串空间密码协议交叉协议信息安全

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：