几类典型隐写术分析算法的分析与评价

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

隐写术分析是检测、提取、破坏隐蔽载体中秘密信息的技术。检测方法可以分为对比检测和盲检测两类,由于通常得不到用于秘密通信的原始载体,因此一般使用盲检测方法。为使人们对基于图像的隐写术分析的研究现状和现有各种算法的优缺点有个概括了解,首先简要介绍了现有的多种图像隐写术分析方法,然后集… …   相似文献

郎荣玲  夏煜  郅艳  戴冠中 《中国图象图形学报》2004,9(2):249-256

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

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

  

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

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

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

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

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

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

融合Kernel PCA形状先验信息的变分图像分割模型

下载全文  

目的 基于能量最小化的变分图像分割方法已经受到研究人员的广泛重视,取得了丰硕成果。但是,针对图像中存在的噪音污染、目标被遮挡等情况,则难以正确分割。引入先验形状信息是解决该问题的一个重要方向,但是随之而带来的姿态变化问题是一个难点。传统的做法是在每步迭代过程中单独计算姿态变换参数,导致计算量大。方法 在基于Kernel PCA(KPCA)的形状先验模型基础上,提出一种具有内在的姿态不变性的KPCA形状先验模型,并将之融合到C-V变分图像分割模型中。结果 提出模型无须在每步迭代中显式地单独计算姿态变换参数,相对于C-V模型分割正确率能够提高7.47%。同时,针对KPCA模型中计算高斯核函数的参数σ取值问题,也给出一种自适应的计算方法。结论 理论分析及实验表明该模型能较好地解决先验形状与目标间存在的仿射变化问题,以及噪音、目标被遮挡等问题。… …   相似文献

杨建功  汪西莉  李虎 《中国图象图形学报》2015,20(8):1035-1041

“中国国像工程:2012”统计文献分类一览

下载全文  

  相似文献

章毓晋 《中国图象图形学报》2013,18(5):1-18

锚文本检索有效性分析

下载全文  

锚文本对网络信息检索性能的提升作用已经得到验证,并被广泛地应用于商用网络搜索引擎.然而,锚文本制作的不可控性导致其中蕴含大量与目标网页不相关或具有作弊倾向的无用信息.另外,对于需要衡量检索结果服务质量的事务类查询,原始锚文本推荐的目标网页也往往与真实的用户体验不一致.为了解决上述… …   相似文献

周博  刘奕群  张敏  金奕江  马少平 《软件学报》2011,22(8):1714-1724

复杂电子信息系统效能评估方法综述

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

本文首先给出了效能以及效能评估的概念,并指出了效能评估与费效比、性能等的区别,同时也明确了对复杂电子信息系统进行效能评估的重要性与必要性。接着介绍美国工业界武器系统效能咨询委员会方法、层次分析法、模糊评价法、神经网络方法、专家调查法、多属性决策方法6种用于复杂电子系统效能评估的方… …   相似文献

王俊峰 《计算机应用研究》2009,26(3):819-822

恶意软件网络协议的语法和行为语义分析方法

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

网络协议逆向分析是恶意软件分析的一项重要内容.现有的网络协议逆向分析方法主要考虑获取消息格式和协议语法,缺少数据的行为语义,导致分析者难以在网络数据和恶意软件行为之间建立起对应关系.提出一种网络协议的语法规范和字段行为语义分析方法,该方法利用基于虚拟执行环境的动态程序分析技术,通… …   相似文献

应凌云  杨轶  冯登国  苏璞睿 《软件学报》2011,22(7):1676-1689

移动代理人编程技术与移动用戶管理系统探讨

下载全文  

有自我控制与辨别身份能力的移动代理人编程技术,不但能够在网路上移动,也能够与其他代理人编程沟通及执行任务.由于移动代理人常常运作于异质的网路或作业系统(operating system)环境下,因此,一个具有整体逻辑性操作界面来存取实体结构的管理系统就显得越发重要.提出了一个能够… …   相似文献

施国琛  邓有光  黄德胜  马建华  黄润和 《软件学报》2002,13(5):887-899

一个应用于移动Ad Hoc网络管理的簇生成算法

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

移动Ad hoc网络(mobile Ad hoc network,简称MANET)作为一种新型移动无线通信网,与其他通信网络相比独有的特性增加了网络管理的难度.目前对MANET网络管理的研究处于起步阶段,一些标准尚未制定,而且像存在单向链路和节点的相对移动性这类问题也在研究中被忽… …   相似文献

冯永新  王光兴  刘治国  姜月秋 《软件学报》2003,14(1):132-138

一种夜晚道路环境下的后方车辆检测方法

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

目前,基于视觉传感器的车辆检测已经成为车辆驾驶辅助领域的研究热点。但是迄今为止,大多数研究集中在白天好的光照条件,对夜晚条件下的车辆检测研究较少。本文提出了一种基于车灯的夜晚道路环境下的车辆检测算法,利用摄像机采集实时图像来检测自车后方的车辆。首先,基于亮度信息提取夜晚环境图像中… …   相似文献

刘威  文学志  苏上海  袁淮  赵宏 《中国图象图形学报》2009,14(8):1621-1626

Zodiac算法的不可能差分和积分攻击

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

重新评估了Zodiac算法抗不可能差分攻击和积分攻击的能力.已有结果显示,Zodiac算法存在15轮不可能差分和8轮积分区分器.首先得到了算法概率为1的8轮截断差分,以此构造了Zodiac算法完整16轮不可能差分和9轮积分区分器、利用9轮积分区分器,对不同轮数Zodiac算法实施… …   相似文献

孙兵  张鹏  李超 《软件学报》2011,22(8):1911-1917