基于混沌映射的鲁棒性公开水印

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

提出了一种新的DCT(discrete cosine transform)域鲁棒性公开水印算法.该算法利用混沌随机性好和容易再生的特性,首先用散列处理后的混沌序列置乱水印,而后基于混沌序列在宿主图像DCT域的中频带随机选择少量参考点,并在其邻域内用奇偶量化法批量嵌入乱序水印比特.… …   相似文献

王宏霞  何晨  丁科 《软件学报》2004,15(8):1245-1251

一种无线传感器网络分布式安全成簇协议

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

分簇的层次型拓扑控制方式在无线传感器网络中得到广泛研究和应用.然而,由于传感器网络本身所具有的开放性和资源有限的特点,攻击者可以很容易对成簇协议实施有效的误用和破坏.因此,保证成簇协议安全性是其实际广泛应用的基本前提.针对成簇协议所面临的各种安全威胁,提出了一种分布式安全成簇协议… …   相似文献

余磊  李建中  骆吉洲 《软件学报》2009,20(10):2705-2720

轻型评论的情感分析研究

下载全文  

以在智能移动设备上发表的用户评论作为研究对象,并将该类评论称为轻型评论。指出了轻型评论与早期互联网评论及短文本研究的异同点,并通过实验总结轻型评论的独有特性：字数少、跨度大,短小评论数量众多,评论长度与数量满足幂率分布。同时,针对轻型评论的情感分类研究展开了一系列的实验研究,发现… …   相似文献

张林  钱冠群  樊卫国  华琨  张莉 《软件学报》2014,25(12):2790-2807

一种基于图转换的模型重构描述语言

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

提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构的具体步骤和策略,并提供了较为完整的模型重构CASE支撑工具.通过实例讨论了该模… …   相似文献

刘辉  麻志毅  邵维忠 《软件学报》2009,20(8):2087-2101

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

  

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

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

纹理研究综述

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

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

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

基于贝叶斯疑似度的启发式故障定位算法

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

故障定位问题理论上已经证明为NP-Hard问题.为了降低计算复杂度,以概率加权的二分图作为故障传播模型,提出了一种基于贝叶斯疑似度的启发式故障定位算法(Bayesian suspected degree fault localization algorithm,简称BSD).引入贝叶斯疑似度,对所有故障仅计算一遍;同时采用增量覆盖方式,使算法具有较低的计算复杂度O(|F|×|S|).仿真实验结果表明,BSD算法具有较高的故障检测率和较低的故障误检率,即使在部分告警无法观察、告警丢失和虚假等情况下,算法依然具有较高的故障检测率.BSD算法具有多项式计算复杂度,可以满足大规模通信网故障定位的要求.… …   相似文献

张成  廖建新  朱晓民 《软件学报》2010,21(10):2610-2621

基于主成分分析进行特征融合的JPEG 隐写分析

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

为了解决现有JPEG隐写分析方法特征冗余度高和未能充分利用特征间互补关系的问题,提出了一种基于主成分分析(principal component analysis,简称PCA)进行特征融合的JPEG隐写分析方法,并分析所选特征之间的互补性.通过融合将互补特征结合在一起,更全面地反… …   相似文献

黄炜  赵险峰  冯登国  盛任农 《软件学报》2012,23(7):1869-1879

基于工作流引擎的构件组装体系结构

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

近年来,软件体系结构(SA)、基于构件的软件开发技术(CBSD)等开始在软件开发中发挥出重要的作用.CBSD应用的成功主要体现在自底向上构造系统的方法上.目前,对SA的研究还缺乏一种自顶向下的构件动态组装方法,尤其是过程构件的组装.以工作流技术为基础,以基于Web应用为背景,研究… …   相似文献

李海波  战德臣  徐晓飞 《软件学报》2006,17(6):1401-1410

有界模型检测的优化

下载全文  总被引：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