Trivium-like算法中可滑动Cube的研究

对于Trivium-like算法,cube攻击是最有效的攻击手段之一.在传统cube攻击中,攻击者主要利用线性检测等方法来寻找具有低次超多项式的cube.实验结果表明存在IV变元子集I1=(vi1,vi2,…,vid)和I2=(vi1-1,vi2-1,…,vid-1)满足pI2(k0,k1,…,kn-2)=σ(pI1(k1,k2,…,kn-1)),其中ki表示密钥变元,pI1是Cube CI1对于t时刻输出比特zt的超多项式,pI2是Cube CI2对于t+1时刻的输出比特zt+1的超多项式,并且变换\sigma将ki映射到ki-1.在本文中,称这种性质为cube的可滑动性.我们研究了Trivium-like算法的攻击中cube的可滑动性.特别地,我们给出了cube具有可滑动性的一个充分条件.此外,我们将充分条件的判断,转化到求解混合整数线性规划(MILP)模型,在实际中能够快速判断出具有滑动性的cube.最后,我们将充分条件应用到实验cube攻击、基于分离性质的cube攻击和相关cube攻击的已有结果,验证了方法的正确性并在实验cube攻击中得到了一个803-轮Trivium的新结果.     

激光点云实现探地雷达图像地形校正的研究

探地雷达在地形起伏条件下采集数据时,必须考虑因地形变化产生的图像畸变和精确定位问题。本文采用车载激光扫描系统可快速获取研究区高精度的地形数据,通过探地雷达测量线上均匀分布的离散点,实现测量区地形数据与探地雷达图像之间的同步。根据时间移位原理和线性差值方法,选择某一标准的水平基准面作为参考平面,将探地雷达各道数据的双程传播时间进行校正,从而实现探地雷达图像的地形校正。校正后图像跟校正前相比,不仅显示出复杂地形下介质真实分布形态,而且有助于探地图像的解译和地下目标物及介质层的精确定位。     

APS46-1排刀式数控车床静动态特性分析及拓扑结构优化

排刀式数控车床主要用于加工轴类小件，可实现一次装夹、全序加工，自动化程度与生产效率高。随着数控机床向高精、高速方向发展，对机床的加工精度、表面质量和生产效率提出了更高的要求。基于上述原因，采用有限元分析方法对现有产品APS46-1排刀式数控车床进行静/动态特性分析；对该机床的大件进行了拓扑结构优化；对比分析仿真优化前后的整机性能，优化后整机质量下降了7.1%，最大变形下降了49.1%，最大应力下降了78.2%，整机前6阶固有频率均有一定的提高。对比结果说明：通过机床大件的拓扑结构优化，对整机结构刚度提高的效果明显，可为APS46-1排刀式数控车床结构改进设计提供参考。