P2P网络服务器部署方案及其启发式优化算法

下载全文  

为了更好地利用服务器提升P2P 网络的性能,提出了一种P2P 网络服务器最优化部署方案.该方案将如何部署有限的服务器资源来满足尽量多节点的问题,转化为一个带有约束条件的最优化问题.考虑到极坐标空间适合于表达长度相关的约束条件,例如部署方案中的约束条件,提出一种基于极坐标映射的启发… …   相似文献

曾明霏  余顺争 《软件学报》2013,24(9):2226-2237

一种新型多维数据空间放置算法

下载全文  

介绍了一种新型的多维数据空间放置算法——SMDPA.该算法使用数据超方体的先验被访问概率以及访问之间的相似度放置超方体.即使在数据超方体的被访问频率不满足均匀分布的情况下,该算法可以有效地放置超方体.模拟结果证明,该算法较传统算法有更良好的性能.  相似文献

谭郁松  杨利  周兴铭 《软件学报》2001,12(4):485-492

一种基于满足性判定的并发软件验证策略

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

对线性时态逻辑SE-LTL提出了一种基于SAT的有界模型检测过程,该过程避免了基于BDD方法中状态空间快速增长的问题.在SE-LTL的子集SE-LTL?X的有界模型检测过程中,集成了stuttering等价技术,该集成有效地加速了验证过程.进一步提出了一种组合了基于SAT的有界模型检测、基于反例的抽象求精、组合推理3种状态空间约简技术的并发软件验证策略.该策略中,抽象和求精在每一个构件上独立进行.同时,模型检测的过程是符号化的.实例表明,该策略降低了验证时间和对内存空间的需求.… …   相似文献

周从华 《软件学报》2009,20(6):1414-1424

EMD与小波分析结合的特征保持图像去噪方法

  

图像在获取和传输等过程中伴有各种噪声,而细节与边缘是表征图像信息的重要特征,提出一种经验模式分解(EMD)与小波阈值结合的图像特征保持去噪方法.该方法首先将图像进行EMD分解,分解出内蕴模式分量与剩余分量;然后将内蕴模式分量进行小波分解,采用小波阈值去噪进行滤波、去噪和细节特征保… …   相似文献

王卫红  程时伟  张素琼  秦绪佳 《计算机科学》2013,40(10):265-268

协议形式化开发环境的规范语言

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

LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言,面向协议验证,但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS）,它在LOTOS的基础上引入了… …   相似文献

罗铁庚  陈火旺  齐治昌  龚正虎 《软件学报》1997,8(11):817-823

一种基于路径优化的推测多线程划分算法

下载全文  

推测多线程(speculative multithreading,简称SpMT)技术是一种实现非规则程序自动并行化的有效途径.然而,基于控制流图和分支预测技术的线程划分方法,不可避免地会受到划分路径上所存在的控制依赖和数据依赖的制约.目前,在传统的线程划分算法中存在的一个重要问题… …   相似文献

李远成  赵银亮  李美蓉  杜延宁 《软件学报》2012,23(8):1950-1964

基于邻域原理计算海量数据支持向量的研究

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

使用支持向量机理论计算海量数据的支持向量是相当困难的.为了解决这个问题,提出了基于邻域原理计算支持向量的方法.在对支持向量机原理与邻域原理比较分析的基础上讨论了以下问题:(1)构建了从样本空间经过特征空间到扩维空间的复合内积函数,给出计算支持向量的邻域思想;(2)将支持向量机的理… …   相似文献

张文生  丁辉  王珏 《软件学报》2001,12(5):711-720

基于分层的网络安全协议验证方法

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

提出了一种新的基于分层的网络安全协议验证方法。首先对要验证的安全属性进行划分,将其分成若干安全子属性;其次对要进行验证的安全协议在安全性等价的条件下进行转换;然后逐步剖分成一个自底向上的多层协议,如果每一层子协议满足所要验证的安全属性的一个子属性,那么这个协议即可被证明是安全的。… …   相似文献

张磊  侯俊峰  黄连生 《计算机应用研究》2005,22(7):143-145

基于用户访问模式的WWW浏览路径优化

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

分析了WWW用户的浏览活动规律,提出了有关WWW浏览路径优化的一些基本概念,设计了一个基于用户访问模式的浏览路径优化算法,并与相关的工作进行了比较.  相似文献

阳小华  周龙镶 《软件学报》2001,12(6):846-850

一种基于椭圆曲线的轻量级身份认证及密钥协商方案

  

无证书公钥密码体制不存在用户密钥托管问题,也不需要使用证书,可以解决传统公钥密码体制在应用过程中耗时耗资源都比较多的问题.基于素域上的椭圆曲线加法群,提出了一个无证书的身份认证及密钥协商方案,其主要包括认证协议与核心算法.该方案消除了双线性对运算,完成双向认证只需要两次通信,提高… …   相似文献

郭松辉  牛小鹏  王玉龙 《计算机科学》2015,42(1):137-141