存储系统重复数据删除技术研究综述

  总被引：2，自引：1，他引：2

目前企业对数据量不断增长的需求使得数据中心面临严峻的挑战。研究发现,存储系统中高达60%的数据是冗余的,如何缩减存储系统中的冗余数据受到越来越多科研人员的关注。重复数据删除技术利用CPU计算资源,通过数据块指纹对比能够有效地减少数据存储空间,已成为工业界和学术界研究的热点。在分析… …   相似文献

谢平 《计算机科学》2014,41(1):22-30,42

弹性数据相关与软件流水

下载全文  总被引：1，自引：0，他引：1

最差路径是有分支循环软件流水的一大障碍.对于有分支循环,某些数据相关(称为弹性相关)在循环的动态执行中可能产生、也可能不产生实例.据此,可将严重限制并行性的弹性相关用限制较松的虚构相关代替,再进行软件流水.若调度没有遵守原来的弹性相关,则使用下推变换修正.从而缓解或者完全解除了最… …   相似文献

容红波  汤志忠 《软件学报》2001,12(6):894-906

机器定理证明的反向归约方法

下载全文  

基于代数和递归函数理论,本文定义了代数递归谓词．代数递归谓词是一类广泛的谓词．基于数学归纳法,作者给出了证明代数递归谓词永真性的反向归约方法及相应的算法Ｒｅｄｕｃｔｉｏｎ．由于采用反向归约方式来完成定理证明,从根本上消除了正向组合式定理证明所产生的组合爆炸,因而极大地提高了定理证… …   相似文献

李爱中  黄厚宽  乔佩利 《软件学报》1996,7(6):354-359

约束方程能量最小化提取3维血管图像中轴线

下载全文  

3维血管中轴线提取是血管量化的第一步,同时也是最重要的一步。为此,提出一种动态提取3维血管图像中轴线的方法。首先构造具有3维血管特征的能量约束方程,通过细化方法或人工构造方式得到血管图像初始骨架线,在能量约束方程的作用下,沿着血管图像距离场梯度的方向不断向血管中轴线位置逼近。当方… …   相似文献

汪永生  李均利  陈爽 《中国图象图形学报》2011,16(11):2047-2053

用于避障研究的微型仿生机器鱼3维仿真系统

下载全文  

基于VC++6.0开发环境和OpenGL（open graphics library）国际图形标准,在Windows系统下开发了微型仿生机器鱼3维仿真系统。该系统可以降低用实体机器鱼进行机器鱼避障能力研究的成本和减少在研究过程中对实体机器鱼造成的损害。采用多边形建模的方法构建了虚… …   相似文献

叶秀芬  关红玲  张哲会  杨博文 《中国图象图形学报》2011,16(3):462-468

基于索引的分布式RDF查询优化算法

  

  相似文献

汪璟玢  方知立 《计算机科学》2014,41(11):233-238

基于小波包变换的遥感图象融合

下载全文  总被引：20，自引：2，他引：20

为了能够更好地把来自多传感器的图象信息综合起来,以提高对图象信息的分析和提取能力,在研究了小波包图象分析法之后,提出了一种基于小波包变换的图象融合方法,由于小波包变换能对图象进行多层次分解,包括对小波变换没有细分的高频部分也能进行进一步的分解,因此小波包分析能够为图象提供一种比小… …   相似文献

王海晖  彭嘉雄  吴伟 《中国图象图形学报》2002,7(9):932-937

RANSAC算法的自适应Tc,d预检验

  总被引：2，自引：0，他引：2

随机抽样一致性算法是计算机视觉领域应用最广泛的鲁棒性算法。为了进一步提高RANSAC算法的运算速度,首先在介绍RANSAC算法的Tc,d预检验加速模型的基础上,提出了一种两步法用来实现优化的预检验参数选择;然后基于这种优化选择方法提出了自适应Tc,d预检验的新算法,从而实现了不依… …   相似文献

田文  王宏远  徐帆  方磊 《中国图象图形学报》2009,14(5):973-977

基于Petri网结构的多处理机实时操作系统

下载全文  

多处理机环境下的实时系统具有并发事件驱动性质,其软件结构展现了多重同步点以及生产者与消费者之间的关系,这导致了复杂的控制结构.对于此类系统软件的开发缺少标准的方法和工具,造成了软件低效、程序结构不清晰、开发成本高、维护困难的现象的出现.根据Petri网易于描述并行/并发现象的特点… …   相似文献

任爱华  杜悦冬 《软件学报》2001,12(7):1064-1073

XML流数据查询结果的缓存管理

下载全文  总被引：2，自引：0，他引：2

提出一种系统地处理XML数据流的返回结果集的方法.在该方法中,用户对数据的兴趣用XQuery表示,能够处理递归文档以及同时处理多个查询;通过运行时栈驱动的基于二进制的前缀编码,在运行时确定结果集中节点之间的关系,避免了大量结果集之间的连接操作,能够有效减少内存耗费,提高处理性能.… …   相似文献

杨卫东  王清明  施伯乐 《软件学报》2008,19(8):2080-2088

基于量化权限的门限访问控制方案

下载全文  总被引：9，自引：0，他引：9

研究了在引入量化权限观点后从访问控制角度实现秘密保护的问题.元权限是从哲学上\"质\"和\"量\"的角度认识传统意义上的权限所探究出的新概念,较以往访问控制中认识和使用权限而言,它全面而深入地反映了权限这一概念的本质.进一步结合门限思想和基于角色的访问控制机制所提出的基于量化权限… …   相似文献

雷浩  冯登国  周永彬  黄建 《软件学报》2004,15(11):1680-1688

高维数据的频繁封闭模式挖掘算法研究综述

下载全文  

挖掘频繁模式是数据挖掘领域一个重要且基础的问题.频繁封闭项集挖掘可以提供完全的无冗余的频繁模式.随着生物信息学的兴起,产生了一类具有较多列数的特殊数据集,这种高维数据集对以前的频繁封闭模式挖掘算法提出了新的挑战.对高维数据的频繁封闭模式挖掘算法进行了综述,按照算法的特性对这些算法… …   相似文献

徐莹莹  冯全  王书志 《计算机系统应用》2011,20(11):44-49

一个多目标优化演化算法的收敛性分析框架*

下载全文  总被引：4，自引：2，他引：2

由于演化算法求解多目标优化问题所得结果是一个优化解集——Pareto最优集,而现有的演化算法收敛性分析只适合针对单目标优化问题的单个。用有限马尔科夫链给出了演化算法求解多目标优化问题的收敛性分析框架,并给出了一个分析实例。  相似文献

覃俊  康立山 《计算机应用研究》2005,22(2):68-70

分数阶微积分定义的一致性在HOL4中的验证

  

分数阶微积分有3种常用的定义:Grunwald-Letnikov定义、Riemann-Liouville定义以及Caputo定义,3种定义之间存在着一定的联系,在一定条件下,它们可以相互转换。首先在高阶逻辑定理证明器HOL4中使用实数、积分、极限、超越函数等定理建立了基于Capu… …   相似文献

李姗姗  赵春娜  关永  施智平  王瑞  李晓娟  叶世伟 《计算机科学》2016,43(3):23-26

基于SWAP和流技术的QoS

下载全文  总被引：2，自引：0，他引：2

SWAP是HomeRF家庭网络中的传输协议。由于家庭中的设备种类不同,不同的设备就要求不同的QoS保证。针对这一情况,介绍一种新机制,将流技术与SWAP协议相结合,实现不同设备在不同的条件下要求不同的QoS。  相似文献

刘国良  乐琦 《计算机应用研究》2005,22(7):246-247

一种从MPEG压缩视频流中提取关键帧的方法

下载全文  总被引：15，自引：0，他引：15

在基于视频内容检索的多媒体系统中,由于需要进行镜头分割和提取关键帧,还需要用静态图象来表示视频内容以及该图象的特性进行分析,因此根据视频序列中相邻画面一般具有相似性和连续性这一镜头分割和关键帧提取的共同理论依据,构造了关键帧提取系统,它能直接提取关键帧,而不用先进行镜头分割,且只… …   相似文献

杨胜  钟玉琢 《中国图象图形学报》2001,6(3):254-258

Internet路由仿真系统研究与实现

下载全文  总被引：8，自引：0，他引：8

随着Internet不断的发展扩大,如何测量路由协议实现在实际网络环境中的运行特性成为一个重要难题.针对这个问题,设计实现了Internet路由仿真系统IRES(Internet routing emulation system),为这种特性的测试和评价提供了试验床.首先提出了一种将Internet拓扑生成和路由协议实现相结合的思想,并基于此给出了IRES的总体结构.接着研究了将GT-ITM网络拓扑模型转换到面向BGP-OSPF的Internet拓扑结构的方法.最后给出了IRES的应用实例,通过与CISCO2600路由器的路由交互,分析得到了被测系统OSPF协议实现的复杂度为O((lgN)⁴),并给出了其所支持的网络规模上限.实验证明,IRES系统作为试验床,具有其他测试系统不可取代的重要作用.… …   相似文献

崔勇  徐恪  吴建平 《软件学报》2003,14(3):524-530

基于众核处理器和GPU的视频快速检测方案

  

目前基于普通架构的视频检测速度较慢,难以满足网络视频实时监测的要求,为此提出一个基于众核处理器和图形处理单元(GPU)的视频检测方案。该方案基于众核处理器实现视频解码,基于GPU实现SURF(Speed Up Robust Features)和SVM(Support Vector… …   相似文献

杨娟  曾苗祥  徐晶  许炜 《计算机科学》2015,42(3):266-270, 295

基于多尺度曲率乘积的鲁棒图像角点检测

下载全文  总被引：2，自引：2，他引：2

为了更好地进行图像角点检测,在曲率尺度空间(CSS)框架下,提出了一种基于多尺度乘积的角点检测技术,其中曲率尺度积函数被定义为各个尺度下轮廓曲率的乘积,而角点则被定义为曲率乘积的局部极值点。这种尺度积不仅能显著地增强角点曲率极值点的峰值,同时能抑制噪声影响,而且不改变角点的位置,… …   相似文献

张小洪  雷明  杨丹 《中国图象图形学报》2007,12(7):1270-1275

基于多线索动态融合的交互式图像分割

下载全文  

为了使图像分割效果稳定和提高分割算法的普适性,提出了一种利用多线索动态融合进行图像分割的方法,该方法首先将图像中的颜色信息、纹理信息、空间信息、边界信息融合到一个条件随机场模型中,用于图像分割;然后在对特定图像进行分割时,由于该模型能够利用用户在分割前标定的前景和背景信息来建立一… …   相似文献

耿晓伟  赵杰煜 《中国图象图形学报》2010,15(1):75-84