针对固定窗口算法的椭圆曲线密码故障分析

针对固定窗口算法实现点乘运算的椭圆曲线密码,基于符号变换故障攻击原理,通过分析不同故障模型下的密钥恢复过程,给出一种能够解决“零块失效”问题的改进故障分析方法,并进行仿真实验。实验结果表明：采用固定窗口算法的椭圆曲线密码易遭受故障攻击,10min内即可恢复NIST-192完整密钥。该故障分析方法也适用于其他采用点乘运算的密码算法。     

度量空间的非标准特征(I)

本文首先引进度量空间非标准包的定义,然后将讨论非标准包的许多性质。在此基础上,用非标准方法来刻划度量空间中的各种紧性。最后应用这些结果,将证明ＡｒｚｅｌａＡｓｃｏｌｉ定理,并在较弱的条件下,得到Ｂａｎａｃｈ不动点定理。     

基于相似原理的点特征松弛匹配算法

利用感兴趣点检测算子提取点特征,构建三角形并利用其相似度来定义点特征的匹配度,提出了一种新的具有比例与旋转不变特性的点特征松弛匹配算法.实验表明,所提出的匹配算法有很快的运算速度和很高的匹配正确率.     

一体化联合登陆作战中船坞登陆舰编队展开点确定研究

在一体化联合登陆作战中,大型两栖战舰及其编队通常是敌首选的打击目标.为了确保船坞登陆舰编队的安全,在突击上陆过程中正确确定其展开点是其中一个重要的问题,它关系到登陆兵能否快速上陆和作战能否按计划顺利进行.该文从定量分析的角度对船坞登陆舰编队展开点确定问题进行了探讨,建立了其数学模型,并用一个实例予以说明.     

风作用下缆船拖带非线性系统运动数值模拟

基于船舶操纵性运动方程和拖缆的三维动力学运动方程,提出了被拖点位置匹配的方法,建立了拖船—拖缆—被拖船系统的非线性整体拖带动力学模型.为了考察被拖船航向稳定性与横向稳性的关系以及风载荷作用的影响,被拖船采用水平面四自由度运动方程,并引入了风的作用力和力矩.拖船采用PD控制方法较真实地模拟了拖船航向改变的运动过程.对一个拖船—拖缆—被拖船系统(5 000 t的拖船和3 000 t的被拖船)在时域内进行了风作用下拖带运动的模拟.计算结果表明,风力增大拖带航向稳定性降低,拖带航向稳定是横向稳的必要条件.数值计算结果归纳出判别被拖带船航向稳定性的极坐标图,该极坐标图表明顶风航行较顺风具有较强拖带航向稳定能力,但是拖带航向稳定性区域很小,而顺风和顺斜风拖带比顶斜风具有更大的拖带航向稳定性区域.     

一类二阶椭圆型边值问题正解的唯一性

文中讨论了一类二阶椭圆型边值问题正解的唯一性。削弱了文献[1]中主要定理的条件,并将其推广到一般光滑区域,所用方法主要是对格林函数的精细估计。     

逃逸飞行器喷流干扰流场的分区数值模拟

基于拼接网格系统 ,应用三维区域边界格式 ;通过区域边界格式对区域边界上的通量进行守恒性处理 ,发展了一个超音速复杂流场分区算法 ;对不同攻角下的逃逸飞行器喷流干扰流场进行了分区数值模拟 ,取得了较好的结果     

高速精密主轴径向误差的测试

对高速精密主轴的径向误差进行测试 ,主轴的高速可能会使误差分离的方法不再成立 ,通过模态分析 ,验证了该系统的误差分离的可能性。在测试中常用精密主轴来直接代替精密钢球进行测试 ,这样会带来测量误差 ,本文对这个问题进行了分析。另外还对传感器探头安装误差进行了分析。     

再入飞行器落点准确度的统计分析

本文研究再入飞行器的落点准确度(系统性偏差)的检验和估计方法。首先,文中引入了准确度的容许限的概念,在此基础上给出了Bayes验后加权概率比检验方法。关于落点系统偏差的估计,讨论了Bayes估计方法及带有约束的Bayes估计方法。文中注意了充分运用试验前的信息,以便使落点系统偏差的评估能在小子样场合下进行。     

双调和方程边界加权残值法及其应用

本文证明了可用复变函数的广义多项式逼近解析函数,并给出了用加权残值法解双调和方程的若干可供选择的试函数模式。文章还导出了广义调和函数系,并证明了它在平面边界上是一个完备系,可作为权函数系。将这种方法用于解各类边界板的弯曲问题和弹性平面问题,具有计算量较小、精度较高的特点。