A5/1的故障分析

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

椭圆算子的微分包含问题

讨论了一类椭圆算子的微分包含:Lu∈F(x,u),当集值函数F(x,u)满足一定条件下,运用Schauder不动点定理,证明了在右端项F(x,u)是非凸值情况下解的存在性定理.     

随机微分方程正解的存在唯一性

本文给出了捕食与被捕食系统微分方程具有随机扰动时正解的存在唯一性．     

安全的并行椭圆曲线Montgomery阶梯算法

提出一种安全高效、 并行的Montgomery阶梯算法计算椭圆曲线标量乘法, 该算法继承了经典Montgomery阶梯算法能对抗简单边信道攻击的特性,  采用并行和y坐标恢复技术, 进一步提高了算法的实现效率, 算法的运算时间为［(4M+2S)+(3M+2S)］×t+12M+S.     

三次B样条有限元法

由于B样条具有紧凑性及良好的光滑性、明确的表达式等优点,所以用B样条求解微分方程时容易进行系数矩阵的计算,从而提高计算效率。本文利用以上优点构造了三次B样条基函数,并用有限元的思想,求解两点边值问题,通过数值实验计算出:在半H1范数下,三次B样条有限元法具有3阶收敛精度;在L2范数下,三次B样条有限元法具有4阶收敛精度,说明三次B样条有限元法具有最佳L2收敛阶。     

任意两点间距离均为偶数的点集及构造方法

给出了任意两点间的距离均为偶数的点集的若干例子,以及构造方法;解决了在1维、2维、3维、n维空间中构造满足任意两点间的距离均为偶数的有任意多的有限个点的点集的问题。     

Banach空间中发展包含的反周期问题

考虑一类发展包含在Banach空间中的反周期问题, 集值函数G(t,x)取有界紧凸值的, 关于变量t是可测的, 关于变量x是闭图像, 运用Kakutani-Fan不动点定理, 对方程做了先验估计, 给出了解存在的充分条件, 并证明了解集是弱紧的.     

关于距离出现的次数问题研究

本文研究了对于给定平面上的点,考察任意两点间距离至少存在多少种不等距离,以及至多出现多少次最短距离、最长距离问题,同时解决了任意距离至多出现多少次的问题。     

可限制李三系

给出了可限制李三系的定义,讨论了限制李三系和可限制李三系的等价关系,并通过可限制李三系,讨论了限制李三系的存在性问题.     

偏微分包含的端点问题

考虑一类偏微分包含边值问题： -Δ u∈ext G(x,u). 当集值函数G(x,u)为有界紧凸值的、 关于变量x是可测的、 关于变量u是连续的时, 利用Tolstonogov端点连续选择定理, 证明了其端点解的存在性.