用于版权保护的数字水印技术

随着全球信息化时代的到来,由于数字媒体所具有的易传播、易复制等特征,使得知识产权得不到有效的保护,这将严重影响该领域的健康发展。因此,版权保护是一个迫切需要解决的问题,数字水印技术在作为版权保护的重要手段得到了广泛的应用,日益成为国际上研究的热点。文章针对这一特点,主要讨论了数字作品版权保护中对数字水印技术的要求,数字水印技术的分类、应用、基本原理以及介绍图像的交易追踪。     

机载分区操作系统形式化建模及验证研究

分析和总结了国内外在机载分区操作系统建模及验证方面的研究成果,指出了存在着验证工作不充分性、建模与验证方法单一性等问题;提出了从"设计后验证"到"Correct-by-Construct"、从规约模型到契约模型、组合运用多种形式化建模三种分区操作系统建模及验证的新思路,以期对未来研究者有所借鉴。