Construction of General (k, n) Probabilistic Visual Cryptography Scheme

Visual cryptography scheme (VCS) is a secure method that encrypts a secret image by subdividing it into shadow images. Due to the nature of encryption VCS is categorized into two types: the deterministic VCS (DVCS) and the probabilistic VCS (PVCS). For the DVCS, we use m (known as the pixel expansion) subpixels to represent a secret pixel. The PVCS uses only one subpixel to represent a secret pixel, while the quality of reconstructed image is degraded. A well-known construction of (k, n)-PVCS is obtained from the (k, n)-DVCS. In this paper, we show another construction of (k, n)-PVCS by extending the (k, k)-PVCS.     

JPEG2000中的自适应量化研究

根据人类视觉特性和小波子带图像分布特性及子带系数对保存边缘、纹理信息的重要性程度,提出一种基于图像纹理分类的自适应量化编码算法,在同一子带内根据小波系数对保存边缘、纹理信息的重要性程度,将小波高频子带内划出平坦块、纹理块和边缘块,对其采用不同的量化间隔,并以JPEG2000为平台进行了实验.结果证明,采用该算法,可以在低码率下较好地保存图像的边缘和纹理特性的信息,重构图像的主观质量有一定的提高.     

抗统计分析的BPCS隐写算法

位平面复杂度分割（BPCS）隐写在复杂度较高的位面小块嵌入秘密信息,有较好的隐蔽性,但会引起图像位面小块复杂度的统计特性的变化。通过深入分析图像位平面上相邻像素之间的相关性,本文提出了一种改进的BPCS隐写法。它更好地利用人的视觉特性,结合图像的局部特征来嵌入秘密信息。实验结果表明,改进后的算法能够抵御针对原BPCS隐写的分析方法,有较大的嵌入量,并对原图像所作的改变具有更好的不可见性。     

动态存储管理安全验证的Coq实现

随着软件规模和复杂度的日益提升,软件安全的问题变得越来越严峻,同时有越来越多的研究工作集中在高可信软件的开发上 .由于类型系统表达能力的不足,现有的研究不触及底层软件的验证 .由于Hoare逻辑更好的表达能力,采用Hoare逻辑风格的推理,在汇编语言级别,使用Coq形式化与定理证明工具可以实现一个经过安全验证的动态存储管理函数库,这是程序验证技术一次有意义的实践 .实践表明,程序验证技术可以应用到高可信软件的开发上 .     

CRT与LCD技术的视觉刺激显示性能评价

为了定量评价两种技术在视觉研究实验中的适用性,本文根据文献分析和视觉研究需求设计了显示器性能测试系统与测试流程,对一台阴极射线管(CRT)显示器和两台通用液晶显示器作为视觉刺激显示设备的关键性能进行测试。结合心理物理学理论,特别是韦伯定律,详细地分析和比较了各项测试结果。实验结果显示所有的显示器有不同的Gamma特性,需要进行相应的Gamma校正之后才能线性呈现图像的灰度级;CRT显示器在响应时间上具有绝对优势,但屏幕空间均匀性和独立性较差;相比于CRT显示器,LCD显示器具有较高的亮度和较好的空间均匀性和独立性,但是响应时间偏慢,而且相邻两帧图像之间独立性较差。这些测试结果表明,CRT显示器仍然是高动态特性视觉刺激显示的首选,而LCD显示器可以用于呈现对空间亮度一致性和空间的独立性要求高,但对响应速度要求不高的视觉刺激。     

计算机多尺度辅助定位车牌算法

违法占道拍摄出的单帧车辆图像具有数据量大、时效性强,检测环境复杂等特点.对其检测需要花费大量的人力与物力.并且人们在定位过程中,无法避免因经验、疲劳等方面的干扰,导致遗漏和错误定位.为此本文从视觉感知角度提出计算机多尺度辅助定位车牌算法.模拟视觉感知原理,从车辆特征、纹理特征、颜色特征尺度,逐次聚焦至车牌所在区域.提出了完整的单帧图像车牌定位流程.并且提出基于边界对的车牌区域准确定位算法.通过对实拍的交通图像实验,表明本算法对于正对的车辆有较高的准确率,符合人类视觉感知的过程可实时的对图像进行车牌检测,可同时检测单幅图片的多个车牌.但对于光线过暗、过强或者颜色失真的情况,仍需要进一步的研究.     

并发程序切片方法综述

随着实际应用对并发软件需求的不断增加,并发程序的应用越来越广,程序切片的研究不再仅仅局限于顺序程序,并发程序切片的研究也越来越多。但是由于并发程序执行的不确定性,并发程序切片的研究还有许多问题有待解决。文中介绍了当前主要的几种并发程序切片方法及其主要特性,并对这些切片方法进行了比较分析,结果表明并发程序切片的效率和精度都达到理想的目标是不可能的,只能是在两者之间的均衡,最后简要介绍了并发程序切片的应用。     

果实表面颜色计算机视觉分级技术研究

本文借助计算机中的视觉自动检测技术来测量在果实表面的着色度,并对该颜色进行了分级,进一步的对颜色进行分析与研究,进而来获得出最终的水果果实的彩色图像,进一步的分析出对应的结果。因此,在本文中,对果实表面颜色进行了全面综合的分析与研究,进而来得出对应的果实颜色分级标准和原则。     

基于S3C44B0X的嵌入式以太网接口设计

基于ARM7TIMD内核的处理器S3C44BOX和以太网控制器RTL8019AS,设计了一种以太网接口,介绍了以太网的帧结构、SC44BOX的性能及RTL8019AS的逻辑结构和工作原理,着重基于硬件层设计了以太网硬件接口和驱动程序,实现嵌入式以太网的数据传输。它适用于中小型嵌入式系统的网络化,可满足数据采集和自动化控制等方面的需要。     

NSST域模糊逻辑的红外与可见光图像融合

为了在红外与可见光图像融合时保留各自更多的细节信息,同时降低算法复杂度,采用了非下采样剪切波变换（NSST）和改进模糊逻辑的红外与可见光图像融合方法,利用NSST算法对红外图像和可见光图像分别进行多尺度、多方向稀疏分解,分别得到低频子带系数和高频子带系数。然后对低频子带系数采用基于改进的模糊柯西隶属函数的权值平均融合规则;对高频子带系数采用能量匹配度和视觉敏感度系数相结合的融合规则。最后对低频子带融合系数和高频子带融合系数执行NSST逆变换得到最终的融合图像,并进行了理论分析和实验验证。结果表明,此融合方法不仅可以保证融合清晰度,对缩短算法的运行时间也是有帮助的。