求解非结构四边形二次拉格朗日有限元方程的代数多重网格法

针对一类带间断系数的椭圆边值问题,在非结构四边形部分下,讨论了两种二次拉格朗日有限元方程的代数多重网格法,通过利用双线性元和二次元基函数之间的表示关系,给出了一种新的网格粗化算法和构造提升算子的代数途径.数值实验表明:新的AMC法具有更好的“鲁棒”性和效率.     

针对Trivium型密码算法的代数攻击

为了更好地研究Trivium算法的设计思想,选取了2个比较典型的修改Trivium算法,连同Trivium算法一起作为研究对象,把恢复算法的内部状态问题转化为可满足性问题,分析修改Trivium算法抵抗代数攻击的能力.比较了6种猜测策略,并且使用MiniSat2.0求解器求解.根据分析结果给出了Trivium型密码算法抵抗代数攻击的安全设计建议.     

三次Hamilton函数定义的代数曲线的精确参数表示（英文）

In this paper,we show that for any given planar cubic algebraic curves defined by a quadratic Hamiltonian vector field,we can always have their exact explicit parametric representations. We use a model of micro-structured solid to show an application of our conclusions.     

一类Lagrange插值多项式的两个结论

讨论以xk=coskπ/n(k=0,1,...,n)为节点的Lagrange插值多项式逼近[-1,1]上的光滑函数f(x)时的逼近度.若f(x)是高阶多项式时,误差公式中出现一类三角函数的和数,本文给出此类和数的代数表达式.     

关于代数L-domain的一个刻画定理

引入了强core紧拓扑空间的概念,给出了代数L-domain的刻画定理,其主要结果是:偏序集D是代数L-domain当且仅当对每个强core紧拓扑空间X,函数空间[X→D]是代数L-domain.     

MBBM方程和Vakhnenko方程的新精确解

应用新的修改的代数方法，求出MBBM方程和Vakhnenko方程的新精确解．这些解中包含有三角函数解、Jacobi椭圆函数解等．     

针对LBlock的代数攻击的研究

本文主要介绍了运用代数分析方法分析LBlock。采用MiniSAT作为攻击过程中的求解工具，对LBlock加密进行实际攻击，可以在90 min内恢复7轮加密的所有密钥。     

整数矩阵的方幂和表示

本文解决了在代数整数环上的矩阵的乘方和表示问题。对整数环上矩阵的乘方和表示问题作了进一步探讨。对高斯整数环上矩阵的平方和表示的可能性得出了肯定的结果。     

解代数特征值反问题的连续方法

提出了一个解代数特征值反问题的连续方法．理论证明，沿着所给出的微分方程解曲线能获得反问题的解．与常用的牛顿法相比，这一方法的特点是克服了奇异性的要求，保证了方法的全局收敛，并且每步计算中不包含求逆过程，从而使计算变得简单．最后，讨论了这个方法的数值收敛性．