摘要:提出了一项新的正向推理技术:对称扩展的一元子句推导(Symmetric Extended Unit Propagation).与传统的一元子句推导技术相比,文中的方法通过在一元子句推导过程中添加对称的蕴涵关系从而能够推导出更多的一元子句.基于这项新技术实现了一个可满足性问题(SAT)预处理器Snowball.实验结果验证了该项技术的有效性,表明该预处理器Snowball能够有效地化筒SAT问题的规模并减少解决SAT问题的时间.
摘要:提出一种基于DCT域中低频系数能量区域的鲁棒性水印算法(Watermarking based on Energy Region and Texture Feature,WET),主要通过调制中低频DCT系数能量关系来嵌入水印.在能量调制过程中,系数的修改幅度由图像纹理特征和能量调制模型来控制.该算法水印容量大,复杂度低,可实现在一幅512×512图像中嵌入8192bit水印信息.实验表明,算法具有良好的视觉不可见性,对一些常见的攻击(如高斯噪声、低通滤波、JPEG压缩等)和部分几何攻击(剪切)具有较好的鲁棒性.