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

2010年第16届全国信息存储技术大会（IST2010）

作者：贾志凯王树鹏陈光达彭成中国科学院计算技术研究所电子装备结构设计教育部重点实验室(西安电子科技大学) 中国科学院成都计算机应用研究所自动推理实验室

重复数据删除技术对缩减数据占用空间、提高存储设备利用率、消减存储成本具有重要的意义,该技术逐渐发展为存储领域的一项关键技术.分析比较了几项主流的重复数据删除技术的优缺点,并提出一种并行层次化的重复数据删除算法PHD(parallel... 详细信息

重复数据删除技术对缩减数据占用空间、提高存储设备利用率、消减存储成本具有重要的意义,该技术逐渐发展为存储领域的一项关键技术.分析比较了几项主流的重复数据删除技术的优缺点,并提出一种并行层次化的重复数据删除算法PHD(parallel-hierarchical deduplication),通过由粗粒度到细粒度的层次化数据消冗来提高数据去重率,并在此基础上引入并行处理以充分利用多核计算机资源解决重复数据删除速率低的问题.实验结果表明,该策略在保证重复数据删除率的同时,有效地提高了重复数据删除速率.

关键词：重复数据删除层次化并行

来源：评论

学校读者我要写书评

暂无评论

基于纠删码的数据消冗存储系统可靠性增强研究

基于纠删码的数据消冗存储系统可靠性增强研究

引用

2010年第16届全国信息存储技术大会（IST2010）

作者：彭成王树鹏贾志凯中国科学院成都计算机应用研究所自动推理实验室中国科学院计算技术研究所信息安全研究中心电子装备结构设计教育部重点实验室(西安电子科技大学)

针对如何使用纠删码技术增强数据消冗存储系统可靠性的问题进行了研究,首先研究了纠删编码中关键参数对存储可靠性的影响,通过数学推导证明了使用纠删码技术并不总是会比冗余复制技术更有效的增强存储可靠性,同时分析了使用纠删码技术... 详细信息

针对如何使用纠删码技术增强数据消冗存储系统可靠性的问题进行了研究,首先研究了纠删编码中关键参数对存储可靠性的影响,通过数学推导证明了使用纠删码技术并不总是会比冗余复制技术更有效的增强存储可靠性,同时分析了使用纠删码技术增强存储可靠性的条件,并结合数据消冗存储系统的特点给出一种纠删编码关键参数的选取算法,经过实验证明,该算法能够利用更少的存储空间获得比冗余复制技术更高的存储可靠性.

关键词：数据消冗存储系统重复数据删除纠删码

来源：评论

学校读者我要写书评

暂无评论

一种网格-Web转换器的研究与设计

引用

计算机工程与应用 2010年第6期46卷 75-77页

作者：靳泰戈李骏中国科学院成都分院计算机应用研究所成都610041

网格与Web的融合是未来的趋势,也是网络领域的研究重点和热点,在复杂、异构的网格环境下,传统的融合思想显示出了其局限性,主要研究设计了一种网格-Web转换器GWS,实现了网格和Web的无缝连接,为网格和Web的融合提供了一种新的技术和一个... 详细信息

网格与Web的融合是未来的趋势,也是网络领域的研究重点和热点,在复杂、异构的网格环境下,传统的融合思想显示出了其局限性,主要研究设计了一种网格-Web转换器GWS,实现了网格和Web的无缝连接,为网格和Web的融合提供了一种新的技术和一个新的方向。

关键词： Web服务 Web 网格转换器云计算

来源：评论

学校读者我要写书评

暂无评论

采用近似方法的实代数数准确表示及其应用

引用

四川大学学报（工程科学版） 2010年第2期42卷 126-131页

作者：秦小林冯勇陈经纬李骏电子科技大学计算机推理与可信计算实验室四川成都610054 中国科学院成都计算机应用研究所四川成都610041 中国科学院研究生院北京100049

针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式... 详细信息

针对如何保证实代数数的二进制展开不形成伪随机序列的问题,提出了通过实代数数的近似值重构它的准确极小多项式的算法,以此为基础提供了一种新的计算机实代数数表示方法。采用1个三元组序列:适当误差控制的实代数数近似值,极小多项式的次数和高度的上界。与目前的3种实代数数的计算机表示方法相比,在稀疏极小多项式情况下,新表示方法占有的二进制比特位与区间方法一致,低于符号方法,而略高于序方法;在稠密极小多项式情况下,比目前的3种表示方法都低。同时利用近似值重构极小多项式的方法,可获得多项式的准确因式分解。通过理论的分析和试验的验证,显示新的实代数数准确表示方法和应用是高效合理的。

关键词：实代数数近似计算符号计算符号与数值混合计算

来源：评论

学校读者我要写书评

暂无评论

基于矩形区域剖分的不等式机器证明方法—以Zirakzadeh的一个几何不等式为例

引用

系统科学与数学 2010年第11期30卷 1430-1458页

作者：曾振柄张景中华东师范大学上海高可信计算重点实验室上海200062 中国科学院成都计算机应用研究所自动推理实验室成都610041

1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方法是把不等式涉及的变量所在之区域剖分为一系列充分小的矩形,在每个小矩形上用数值方法验证若干三角函... 详细信息

1988年,张景中,陶懋颀用细致的人工估计,用BASIC语言程序在PB700微型计算机上证明了Zirakzadeh于1964年证明的一个几何不等式,其方法是把不等式涉及的变量所在之区域剖分为一系列充分小的矩形,在每个小矩形上用数值方法验证若干三角函数不等式的正确性.这个工作后来没有发表,将Zirskzadeh不等式转化为一个有3个变元的根式不等式,形如m_1^(/2)+m_2^(/2)+m_3^(/2)≥3m_4^(/2),其变量所在区域为一由6个线性不等式限制形成的多面体P(有14个顶点,21个棱和9个面),先用幂级数展开方法证明讨论的根式不等式在小长方体邻域[-0.1,0.1]~3C P成立,次将这个邻域以外的集合分割成有限多个边长不小于1/1280的小长方体或多面体,在每个小凸体上通过计算函数在顶点的取值和函数偏导数范围证明根式不等式的正确性.文章给出的验证数引理,可根据连续可微函数在长方体或一般凸多面体V的顶点的值,及函数偏导数的绝对值在集合V的上界,证明函数在V上的正定性.文章给出计算多项式在三维空间凸多面体上的最大值和最小值,以及估计根式函数的验证数的机械化方法.

关键词：数学机械化机器证明 Zirakzadeh不等式矩形剖分误差分析

来源：评论

学校读者我要写书评

暂无评论

多变元Sylvester结式与多余因子

引用

中国科学：数学 2010年第7期40卷 649-660页

作者：赵世忠符红光华东师范大学上海市高可信计算重点实验室上海200062 电子科技大学计算机科学与工程学院成都610054 中国科学院成都计算机应用研究所成都610041

经典的Sylvester结式方法是代数几何的一种基本消元方法,但它一次只能处理1个变元2个方程的多项式系统.本文将Sylvester结式扩展到n个变元n+1个方程的多项式系统,并且证明了新的多变元的Sylvester结式包含在原多项式系统的理想中.同时,... 详细信息

经典的Sylvester结式方法是代数几何的一种基本消元方法,但它一次只能处理1个变元2个方程的多项式系统.本文将Sylvester结式扩展到n个变元n+1个方程的多项式系统,并且证明了新的多变元的Sylvester结式包含在原多项式系统的理想中.同时,给出了一种去掉其部分多余因子的方法.

关键词：多变元Sylvester矩阵多变元Sylvester结式多余因子

来源：评论

学校读者我要写书评

暂无评论

基于分等级公平竞争模型的可持续模拟退火算法的应用

引用

计算机应用 2010年第1期30卷 171-174页

作者：张海徐立章杨观赐徐洪峰贵州省交通科学研究院贵阳550008 贵州大学教育部现代制造技术重点实验室贵阳550003 中国科学院成都计算机应用研究所成都610041 贵州师范大学经济与管理学院贵阳550001

通过改进可持续模拟退火算法(HFCSA)算法的个体定义与编码方式、种群的生成方式以及设计新的算子,成功解决了医学实验安排这种带约束的优化问题。设计的最优实验方案所需时间是某医学院所使用方案的77%,拓宽了算法的应用领域,为带约束... 详细信息

通过改进可持续模拟退火算法(HFCSA)算法的个体定义与编码方式、种群的生成方式以及设计新的算子,成功解决了医学实验安排这种带约束的优化问题。设计的最优实验方案所需时间是某医学院所使用方案的77%,拓宽了算法的应用领域,为带约束优化问题的求解找到了新的途径。

关键词：分等级公平竞争医学实验安排启发式随机搜索算法带约束优化

来源：评论

学校读者我要写书评

暂无评论

K-means算法复杂度的能量分析方法

引用

成都信息工程学院学报 2010年第6期25卷 573-576页

作者：江炳坤任超秦永波中国科学院成都计算机应用研究所四川成都610041 成都信息工程学院并行计算实验室四川成都610225

传统的算法复杂度分析方法重点对算法的内在流程进行分析,而且对于数据挖掘时具有很大不确定性,执行时间不能准确确定。用物理学原理从能量的角度对数据挖掘中的经典聚类算法K-means进行分析,并从算法的本质上推导出其复杂度下限,推导... 详细信息

传统的算法复杂度分析方法重点对算法的内在流程进行分析,而且对于数据挖掘时具有很大不确定性,执行时间不能准确确定。用物理学原理从能量的角度对数据挖掘中的经典聚类算法K-means进行分析,并从算法的本质上推导出其复杂度下限,推导出该算法能优化到的极限值。

关键词：计算机软件与理论数据挖掘 K-means 计算复杂度能量分析信息熵

来源：评论

学校读者我要写书评

暂无评论

一种新的外网访问内网的混合方法

一种新的外网访问内网的混合方法

引用

作者：蒙艳琳聂俊符红光电子科技大学计算机科学与工程学院中国科学院成都计算机应用研究所自动推理实验室

比较和分析了现有三种外网访问内网的主要方式。提出一种新的基于DDNS(动态域名解析)、UPnP(通用即插即用)和Squid的外网访问内网的方法,详细论述了该方法的实现原理。当系统中路由器开通UPnP功能时,路由器将内网服务器映射到公网,外网... 详细信息

比较和分析了现有三种外网访问内网的主要方式。提出一种新的基于DDNS(动态域名解析)、UPnP(通用即插即用)和Squid的外网访问内网的方法,详细论述了该方法的实现原理。当系统中路由器开通UPnP功能时,路由器将内网服务器映射到公网,外网可直接访问内网服务器;当系统中UPnP功能没有开启时,外网对内网的访问请求将转发到中转服务器,然后从中转服务器获取访问结果。给出了利用此种方法实现外网对内网的WEB访问的关键技术。最后,分析和总结了该方法的优点。

关键词： DDNS UPnP Squid 端口映射

来源：评论

学校读者我要写书评

暂无评论

一种新的外网访问内网的混合方法

一种新的外网访问内网的混合方法

引用

中国电子学会信息论分会2009年研究生学术交流会

作者： Meng Yanlin 蒙艳琳 Nie Jun 聂俊 Fu Hongguang 符红光 School of Computer Science and Engineering UESTCChengdu 电子科技大学计算机科学与工程学院成都611731 Chengdu Institute of Computer Applications CAS Chengdu 中国科学院成都计算机应用研究所自动推理实验室成都610041

比较和分析了现有三种外网访问内网的主要方式。提出一种新的基于DDNS(动态域名解析)、UPnP(通用即插即用)和Squid的外网访问内网的方法，详细论述了该方法的实现原理。当系统中路由器开通UPnP功能时，路由器将内网服务器映射到公网，... 详细信息

比较和分析了现有三种外网访问内网的主要方式。提出一种新的基于DDNS(动态域名解析)、UPnP(通用即插即用)和Squid的外网访问内网的方法，详细论述了该方法的实现原理。当系统中路由器开通UPnP功能时，路由器将内网服务器映射到公网，外网可直接访问内网服务器;当系统中UPnP功能没有开启时，外网对内网的访问请求将转发到中转服务器，然后从中转服务器获取访问结果。给出了利用此种方法实现外网对内网的WEB访问的关键技术。最后，分析和总结了该方法的优点。

关键词：网络互联远程访问混合控制动态域名解析通用即插即用技术

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：