状态方程的约当化方法与分析

在自动控制及计算机应用研究中往往遇到提出的不用特征向量,直接根据方阵A的特征值的代数重数、退化度和其特征值指数构造其相似约当阵,再根据线性变换关系求出变换阵P,进而对状态方程进行约当化的方法,经理论和实践证明,该方法简单有效。     

对圆规作图理论的探讨

为了使人们对圆规这一作图工具有更深刻的认识,集中研究了平面几何中的尺规作图公法。本文的结果指出了高斯关于等分圆周的定理中的直尺这一工具是多余的,只用园规就可以了;同时指出欧氏尺规作图公法中有几点并不真正独立。     

mBBM方程的钟状代数孤立波解

本文以连结尖点的同宿轨对应的钟状代数孤波解为研究对象,以修正的Benjamin-Bona-Mahoney（简称mBBM）方程为例,利用平面动力系统知识,分析了其代数孤波解出现的条件,提出了求解的新方法,称之为代数孤波解解法,获得了方程的代数孤波解.以往对这种解的关注很少,因而对这种解及其解法的研究具有一定的创新性。     

Some algebraic properties of generalized inverse matrix-valued Padé approximation

The matrix Padé approximant based on generalized inverse is characterized by keeping approximation order and without multiplication of matrices in the construction process. The aim of this paper is to give and prove some algebraic properties of generalized inverse matrix-valued Pade approximation by means of its definition. Computational examples are given to illustrate the applications of the properties, which greatly simplify the computation process. Supported by the National Natural Science Foundation of China (19871054)     

代数元的多项式的共轭因子

本文给出了求域F上代数元的多项式的共轭因子的三种方法,作为一个简单应用,它从理论和方法上彻底解决了初等数学中分母有理化等一类问题．     

一种平面二维散度方程的代数解的求解方法

流体力学和电动力学中散度、流量、通量等力学量通常用散度方程加以描述,目前散度方程一般用数值方法求解．其代数解则较少见。该文借助微分方程的分解变形、求导变换和积分运算,求解了一种平面二维散度方程的代数解。     

程序控制结构的偏加语义

介绍程序控制结构的偏加语义．首先对程序语言的结构（包括顺序、条件、循环等）进行函数化，然后引出程序语义的描述工具——偏加范畴，最后用偏加范畴理论刻划程序的断言语义     

Matrix solution bounds of the continuous Lyapunov equation by using a bilinear transformation

By using a bilinear transformation and some linear algebraic techniques, new matrix bounds of the solution of the continuous algebraic Lyapunov equation (CALE) are derived in this paper. Comparing to existing works, these obtained matrix bounds are less restrictive and are easy to be calculated. A numerical example is also given to demonstrate the merits of the present results.     

用配方法证明一个推广的二次不等式

利用配方法和三次代数方程的求根公式,得到了一个推广的二次代数不等式。很多类型的不等式都是这个推广的二次代数不等式的特例。     

改进的求和生成器的密码分析

利用分别征服攻击、Chepyzhov提出的快速相关攻击以及代数攻击等3种算法对改进的求和生成器进行了密码分析,并分别给出了攻击算法的计算复杂度和所需要的密钥流的长度