一种基于反馈可信度的分布式P2P信任模型

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

开放、共享与匿名的Peer-to-Peer(简称P2P)网络已经取得了越来越多的应用,无中心对等的特性也吸引了越来越多的用户.但由于其网络中的节点不受约束,资源的共享是用户自愿的行为,因此节点间的信任很难通过传统的信任机制建立.一种可行的解决方案是借鉴人际网络中的信任关系,建立一… …   相似文献

胡建理  吴泉源  周斌  刘家红 《软件学报》2009,20(10):2885-2898

有界模型检测的优化

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

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证这些模态算子时FSM(finite state machine)的状态转移和线性时序逻辑(linear-time temporal logic,简称LTL)的语义特征.在现有的编码公式的基础上,给出了简洁、高效的递推公式,该公式有利于高效编码成SAT(satisfiability)实例;证明了递推公式和原转换公式的逻辑关系.通过实验比较分析,在生成SAT实例规模和易求解方面都优于BMC中求解这些模态算子的现有的两种重要方法AA_BMC和Timo_BMC.所给出的方法和思想对于BMC中验证其他模态算子时的编码优化也有参考价值.… …   相似文献

杨晋吉  苏开乐  骆翔宇  林瀚  肖茵茵 《软件学报》2009,20(8):2005-2014

基于构件技术的应用框架元模型的研究

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

从应用框架构造和组成的角度,使用UML(unified modeling language,统一建模语言)符号体系,提出了框架元模型,给出了框架内部组成元素的语义,特别是对扩展点的表示和实现机制进行了详细的讨论.最后以电信综合营业系统框架为例,给出了框架元模型的一个实例,并给出了… …   相似文献

胡文蕙  赵文  张世琨  王立福 《软件学报》2004,15(1):1-8

纹理研究综述

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

纹理精确定义困难,但存在被广泛认同的性质。结构法、统计法、频谱法和模型法是常用的纹理研究方法。结构法从纹理的基元形态及其排布规则角度分析,适用于研究规则纹理;统计法从宏观角度对纹理进行统计分析,适用于随机纹理;频谱法利用频域信号处理方法分析纹理的数字特征;模型法将纹理看做某种数学… …   相似文献

刘晓民 《计算机应用研究》2008,25(8):2284-2288

一种保证服务品质的存储网络实时存储调度机制*

下载全文  

提出了一种保证服务品质的存储网络实时存储调度机制,它可以在多变的应用环境中保证存储应用获得预先说明的服务品质,该品质不会由于其他存储应用的负载变化而受到影响。这个机制还较好地解决了控制力和系统总体性能之间的矛盾,并且具有自动适应运行环境变化的能力。  相似文献

冯泳  张延园 《计算机应用研究》2005,22(1):204-206

可扩展的多周期检查点设置

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

提出了一种多周期检查点设置方法.它允许各个进程采用不同周期进行检查点设置.为了保证一致全局检查点的向前推进,检查点周期可以根据一个P模式进行调整.在所提出的方法中,进程可以进行组划分处理,从而用于检查点周期调整的依赖跟踪可被限定在组内,同时也将使基于时间的多周期检查点设置具有较好的可扩展性.… …   相似文献

慈轶为  张展  左德承  吴智博  杨孝宗 《软件学报》2010,21(2):218-230

Arnold反变换的一种新算法

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

Arnold变换因其具有周期性,在图像加密方面得到了广泛的应用.但在解密过程中,若要利用其周期性,则显得很费时,因此提出了一种新的Arnold反变换算法.该算法通过求解方程组来求得反变换.在此基础上,把二维Arnold变换用在正方形图像的情形推广到一般的矩形图像,即图像矩阵不是方… …   相似文献

孔涛  张亶　 KONG Tao+;ZHANG Dan 《软件学报》2004,15(10):1558-1564

多目标跟踪综述

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

多目标跟踪问题在军事和民用方面都有着十分广泛的应用。基于视频多目标跟踪的难点在于数据关联与遮挡。本文基于多特征融合与自适应模板、运动信息、3D空间、数据关联和多算法混合,对国内外多目标跟踪技术进行了归纳和比较,并总结了未来技术的发展方向。  相似文献

蒋恋华  甘朝晖  蒋旻 《计算机系统应用》2010,19(12):271-275

基于通用PC架构的高精度网络时延测量方法

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

时延是准确测量时延抖动、带宽等网络性能指标的基础.目前的时延测量方法由于存在时钟误差和位置误差因而精度较差.提出一种改进的时延测量方法,以TSC(time stamp counter)寄存器取代系统时钟计时来消除测量的时钟误差,将时间戳记录位置由应用程序转移到网卡驱动来消除位置误… …   相似文献

黎文伟  张大方  谢高岗  杨金民 《软件学报》2006,17(2):275-284

基于遗传神经网络分析的内网用户行为审计系统

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

安全审计技术是继防火墙、入侵检测技术之后出现的能有效保障大规模网络安全的一种重要手段。目前,安全审计系统多是基于广域网网络数据的审计,对于内网用户行为审计甚少,而且还处于研究初级阶段。针对这一点,本文首先分析了用户行为审计要点,提出了一种基于用户行为的内网分布式安全审计系统,并将… …   相似文献

蔡家楣  蔡其星  江颉 《计算机系统应用》2009,18(2):5-8