Salsa20的差分故障分析

Salsa20是eSTREAM计划最终获胜算法之一,其主要特征是利用模加、异或和循环移位三种运算的混合提供算法所需扩散性和混淆性。目前对该算法的分析主要集中在统计分析和差分分析两方面。本文研究Salsa20/256的差分故障分析,在基于随机字的故障诱导模型下,通过诱导96个错误,将以近似1的概率获得186比特的密钥信息,从而将恢复Salsa20/256全部密钥比特的时间复杂度降为270,这表明Salsa20/256对基于随机字的差分故障分析是脆弱的。

嫦娥三号软着陆轨道的建模分析

嫦娥三号软着陆轨道的设计是月球探测中的一项关键技术。本文首先根据万有引力定律求出嫦娥三号远、近月点的速度;其次,利用离散化的思想,对嫦娥三号的软着陆过程进行建模分析,将连续轨道离散化,根据每个阶段两个端点的状态去确定阶段中各个离散点的状态,进而实现对飞行器软着陆的控制。最后,对模型进行仿真验证和误差分析,发现本模型能较准确地模拟出嫦娥三号的软着陆轨道,具有一定的指导意义。

一种基于全变差正则化与小波包变换的图像去噪算法

提出一种基于全变差(TV)模型和小波包变换的图像去噪算法,并给出了针对该模型的一种改进正则化参数选取方法,改善了全变差模型去噪中出现的块效应问题,同时保留了图像中的边缘信息.数值实验表明,用所给算法去噪可得到较高的峰值信噪比和较好的视觉效果.

三次B样条有限体积元法

基于三次B样条构造了求解二阶常微分方程的有限体积元法。数值实验给出结论:三次B样条有限体积元法达到最优阶收敛。在L2范数下,三次B样条有限体积元法具有4阶收敛精度;在H1半范数下,三次B样条有限体积元法是3阶收敛的。

A5/1的故障分析

结合故障攻击与Guess-determine攻击的思想,提出A5/1在另一种模型下的故障分析.结果表明:通过引入故障,可成功过滤占总猜测数99.9%的错误猜测,最终可完全恢复A5/1的内部状态,攻击的复杂度约为240,成功的概率大于99%.

离焦模糊虹膜图像的功率谱检焦方法

通过研究离焦模糊虹膜图像功率谱与离焦量间的关系,建立了每幅虹膜图像的检焦评价函数值PS与图像模糊半径的关系曲线.实验结果表明:功率谱评价函数能够检测系统是否合焦,并通过最清晰图像找到系统调焦镜的位置;对评价函数曲线进行Gauss拟合的曲线相关系数为0.994 7(接近1),验证了功率谱检焦评价函数检焦的准确率.