W-SVD模型下水印的嵌入及检测

G(p)和G(p→F(q))是有界模型检测(bounded model checking,简称BMC)中的两个重要的常用模态算子.对验证G(p)和G(p→F(q))编码转换公式进行优化.通过分析当验证

SVD算法：利用SVD分解的平移、旋转矩阵算法C源码

DWT的分块水印算法，对一幅灰度图像多分块处理，然后再做小波变换，嵌入水印信息。

可逆水印的嵌入和提取DE

DM算法实现水印的嵌入和提取，计算合成信号的峰值信噪比和相关性

基于离散余弦变换的数字水印潜入算法，可以直接运行的源代码

基于matlab平台完成，基于傅立叶变换的数字水印嵌入技术源码。可供参考。

可在图片中嵌入可见水印，水印可以是图像，也可以是文字。

在音频里嵌入图像水印，得到保护音乐知识产权的作用。

能够实现对遥感图像嵌入二值水印，经过旋转、剪切等攻击后仍能提取出水印。该方案能够针对不同的图像自适应的嵌入水印，并能实现盲提取，具有良好的不可见性和鲁棒性。