轻量级分组密码KeeLoq的故障攻击

基于面向字节的随机故障模型, 通过分析 KeeLoq 算法中非线性函数(NLF)的差分性质, 提出了对 KeeLoq 算法的差分故障攻击。理论分析和实验结果表明, 恢复 1 比特密钥信息平均只需要0.707617个错误。     

钢筋混凝土延性桥墩震后快速修复技术研究

采用3种不同修复方案对3个发生严重破坏的钢筋混凝土延性桥墩进行震后快速修复技术研究.试件首先在固定的轴力和侧向反复荷载下进行拟静力试验使之发生弯曲延性破坏,然后分别利用植筋、浇筑套箍、缠绕CFRP等方法对其进行快速修复并重新进行加载试验.试验结果表明,采用不同方案修复的桥墩承载力和延性指标均能得到较好恢复甚至提高,由于内部损伤的存在,修复后桥墩的初始刚度较低;缠绕CFRP修复的试件,由于施工简单,修复效果较好且造价较低,可在工程实际中推广.     

修理设备可修且修理有延误的可修排队系统的等待时间

考虑服务台修理有延迟的修理设备可以更换的M/G/1可修排队系统.在假定服务台寿命服从指数分布、服务台失效后的修理延迟时间和修理时间以及修理设备失效后的更换时间均服从一般分布、修理设备的寿命服从负指数分布的条件下,通过引入＂广义修理时间＂和＂广义服务时间＂的概念,研究了该系统顾客的等待时间和逗留时间分布,得到了一系列重要的推论.     

基于自适应分块MRF模型的SAR图像变化检测研究

现有的SAR图像变化检测算法仅仅考虑图像的单一像素信息,未考虑图像像素间的空间依赖关系,检测结果易受图像噪声的影响,检测精度较低。将马尔可夫随机场模型引入到SAR图像变化检测算法中,极大地提高了检测精度,但是算法计算量很大,效率极低。基于分块马尔可夫随机场模型的SAR图像变化检测算法极大地提高了检测效率,但是检测过程中采用固定尺寸的图像分块方法,未考虑图像的局部细节特征,检测效果不是很理想。论文首先根据图像局部细节特征将图像划分成尺寸变化的子图像块,然后利用基于马尔可夫随机场模型的SAR图像变化检测算法实现变化检测。实验结果表明,论文提出的算法既保持了很高的检测精度,又极大地提高了检测效率。     

Legendre小波求解非线性分数阶Fredholm积分微分方程

为了求解非线性分数阶Fredholm积分微分方程的数值解,通过Legendre多项式,得出了Legendre小波,并由block pulse函数给出了Legendre小波的分数阶积分算子矩阵,利用block pulse函数与Legendre小波的积分算子矩阵的性质将非线性分数阶Fredholm积分微分方程转化为非线性代数方程组,进而可以求得原积分微分方程的数值解.结果表明:随着点数的增多,数值解的精度也越来越高.文中给出的算例表明了该方法的可行性和有效性.     

崩落法放矿计算机模拟

概述了计算机模拟放矿理论研究与应用现状及存在问题,分析了计算机模拟放矿的相似条件,提出移动场相似的模拟准则;以崩落矿岩移动概率分布方程为基础,建立了数值模拟与随机模拟理论体系,解决了数年来困扰计算机模拟放矿的两大难题——数值模拟系统误差估计与随机模拟模块移动概率值的确定方法。     

定点DSP块浮点算法及其实现技术

介绍了块浮点算法的基本原理及软件实现方法,给出了TITMS320C5402定点DSP块浮点算法的汇编源程序代码,并以全波傅氏算法周期函数的模值计算为例说明块浮点算法所取得的效果.     

血管内皮生长因子研究进展

血管内皮生长因子是一种有效的血管形成和血管通透性诱导因子,特异性地作用于血管内皮细胞,具有维持血管正常状态和完整性、增加血管通透性、促进血管生成的作用。在正常成人和动物组织中表达水平较低,一些代谢旺盛、血供丰富的组织中VEGF表达水平略高,一些病理情况下可以过度表达。     

环型喷嘴的实验分析

针对传统离心喷嘴存在的问题,开发了环型喷嘴;系统地介绍了其工作原理、结构特点和喷水量实验方案;实验表明,该喷嘴具有喷水量大、防堵、高效、节能等特点。     

砼小型空心砌块配筋砌体的滞回特性

对30个同类型配筋砌块砌体的试验,对其单调横向荷载位移关系曲线进行修正,从而提出了用于代表配筋砌块墙体动力特性的滞回骨架曲线·同时表明,竖向荷载的大小对荷载位移曲线及滞回骨架曲线有一定影响·试验结果表明,该骨架曲线正确合理,可用于配筋砌块砌体的动力分析中·并经低周循环和模拟地震反应的荷载试验验证,符合程度较好·