摘要：设计了一类使图像前景缩小的CNN模板,并对模板的鲁棒性进行了研究,结果表明:只要模板参数满足定理中的不等式,CNN就能完成使图像前景缩小的功能;通过实验模拟确认了理论结果在计算机图像处理应用中的有效性.

摘要：基于修正版Marotto定理构造了一个四维离散混沌映射,并利用该四维离散混沌映射序列设计了一种图像加密方案。该方案利用图像的256位哈希值来生成混沌序列的初始值,由此混沌序列产生的密钥与明文相关,进一步增强了加密系统的安全性。理论分析和仿真试验表明:该加密方案至少具有3.4×10^(100)的密钥空间;加密后图像直方图接近均匀分布;像素的相关性被消除;信息熵接近8bit,没有明显的统计信息。该加密方案对混沌系统的初始条件扰动极为敏感,任何大于10^(-15)的扰动都将使解密失效;加密图像对明文图像极为敏感,能够抵抗差分攻击。

摘要：针对聚类划分问题,提出一种基于改进人工蜂群和最近邻原则的无监督聚类方法。该方法将每个蜜源作为聚类问题的一个可行解,设计了蜜蜂的多维编码结构。为了有效执行聚类,依据采蜜蜂和跟随蜂局部搜索阶段选择的较优聚类中心,利用k均值算法中的最近邻原则划分聚类空间的所有模式。为了使蜜蜂有较强的局部和全局搜索能力,根据聚类问题特点,提出了新的局部和全局搜索方法。仿真实验结果表明了新方法的可行性和高效性。

摘要：串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.