对经典ITAE传递函数标准型的研究

对经典ＩＴＡＥ传递函数标准型的研究张志涌刘瑞桢（福州大学自动化研究所，福州，３５０００２）ＩＴＡＥ传递函数标准型自文献１提出后，迄今仍被当作经典加以引用〔２～５〕，１）．针对ＩＴＡＥ优化问题高度非线性的特点，作者借助ＭＡＴＬＡＢ软件，采用遗传进化算法...     

一个野范畴中的一些典范型

矩阵的典范型是矩阵若当标准型的推广形式，Ｂｅｌｉｔｓｋｉｉ算法是约化矩阵为典范型有效方法，运用这一约化算法，得到了一个野范畴中一些较小维数矩阵的典范型。     

计算机辅助计量标准型抽样检查

本文以不合格品率计量标准型一次抽样检查为例，研究了计算机辅助计量抽样检查中的若干问题，重点论述了笔者研制的用于ＧＢ８０５３－８７的计算机软件系统ＣＡＳＩＢ及主要算法。     

域上矩阵的相似标准型

讨论相似矩阵的一些标准型，给出一般域F上矩阵的一种有理标准形式，提供它变到若尔当标准型的相似变换．     

多项式系统矩阵Smith—McMillan标准型确定方法分析

分析并比较了Smith-McMillan标准型各种确定方法，得出了Smith-McMillan标准型的有效确定方法。     

求复数域上矩阵若当标准型的一种新方法

从矩阵的特征值这一角度来讨论复数域上矩阵的若当标准型，给出一种求若当标准型的新方法。     

纯0—1问题的一个程序化算法

在整数规划分支定界解法的基础上,考虑到纯０－１问题变量的特点建立了其标准型,改进了分支和定界的方法和过程,得到了一个快速终止程序化算法。     

域上线性变换标准型的构造

所研究的域上线性变换的标准型具有直接反映初等因子和不变因子等不变量这一特点。给出了域上线性变换某一类标准型能被构造出来的充要条件,并具体构造出了这一类中的三种新标准型,使得其中一种是第一有理标准型和第二有理标准型以及Jordan标准型的统一形式。     

两种块控标准型的化简方法

本文介绍两种将一般线性时变系统化为块控标准型的方法:一种为线性化方法;一种为旋转坐标法。线性化方法包括 r—1步,通过对原系统进行线性变换逐步得到块控标准型。这种方法的特点是简单明了。而旋转坐标法是一种标准的计算机迭代算法,其优点是计算时不用判断控制矩阵的秩,不用计算状态变换矩阵的逆和导数,大大减少了计算量,适用于工程实际应用。     

基于分解构造的最优模糊等价矩阵的计算

本文在模糊等价矩阵的分解构造基础上给出了等价标准型的形式,之后给出了求最优模糊等价矩阵的算法,并提出了两种简化计算的方法,为模糊聚类计算提供了新的计算方法.     

Symmetry Classification of Partial Differential Equations Based on Wu's Method

Lie algorithm combined with differential form Wu's method is used to complete the symmetry classification of partial differential equations(PDEs) containing arbitrary parameter. This process can be reduced to solve a large system of determining equations, which seems rather difficult to solve, then the differential form Wu's method is used to decompose the determining equations into a series of equations, which are easy to solve. To illustrate the usefulness of this method, we apply it to some test problems, and the results show the performance of the present work.     

求解拟五对角线性方程组的四参数法

 基于五对角线性方程组的追赶法,给出了拟五对角线性方程组的四参数求解方法。算法的基本思想是,将方程组的前2个未知量x1,x2和最后2个未知量xn－1,xn看作参数,这4个未知量正好对应于拟五对角方程组边角位置上的非零元素。然后通过特殊的矩阵分解将方程组解向量中的其他n－4个未知量用x1,x2,xn－1和xn 4个参数表示,从而形成标准的五对角线性方程组,可以方便地利用求解标准五对角线性方程组的追赶法进行求解。被看作参数的4个未知量可以利用原方程组中的前后两个方程及中间变量求出。最后,将已经求出的4个参数再代入分解矩阵形成的方程组中求得其余分量。鉴此,本文给出了两种不同的实现方法,其主要区别在于求解4个参数的过程不同。一种方法是将解向量的全部分量用参数线性表出,然后取出前后各2个式子组成参数方程,求出4个参数。另一种方法是将4个参数作为已知量先代入第3～n－2个方程中,整理后得到一个n－4阶的方程组,解出第3～n－2个解分量的参数表达式,再将x3,x4,xn－3,xn－2回代到前2个方程和最后2个方程中组成参数方程,求出4个参数。对于规模较大的拟五对角线性方程组而言,这两种算法的计算量几乎一样。该算法的数值稳定性分析结果表明,系数矩阵在满足严格对角占优的条件下,该算法是稳定的。数值实验结果表明,两种算法的实际计算时间与算法的理论分析相符合。     

传输线方程的一种数值解法

近年来随着高速数字电子设备运行速度的不断增加,有损传输线的暂态分析受到了广泛关注.传输线方程是一阶双曲型偏微分方程组,借助于偏微分方程数值解的理论知识将传输线方程变换为一阶拟线性方程组,从而将一阶拟线性方程组的差分格式用于计算传输线方程的数值解;利用电压、电流在始端、终端上的约束关系,运用传输线的电路集中参数等效模型理论确定边界条件;最后用这种差分格式计算两种典型边界条件下的传输线暂态响应.计算结果表明该方法是一种计算传输线暂态响应的行之有效的数值计算方法.计算时间少,直接可以得出时域响应.与常用的频域分析方法相比较,该方法在计算效率上优于传统的FFT算法.     

一些特殊类型的一阶微分方程的解法探讨

运用变量变换的方法将一些特殊类型的一阶微分方程化为了可分离变量的齐次方程、伯努利（Bernoulli）方程或标准的一阶线性微分方程,从而可用初等解法来解这类一阶微分方程.     

矩阵多项式的综合除法及其应用

给出矩阵多项式的综合除法,利用微分代数的观点,将其应用于一类常系数偏微分方程化为无穷维Hamilton系统的问题中.再结合标准型算法,将其应用于构造一类偏微分方程组通解的问题中.     

多体系统动力学方程在流形上的辛分离法

多体系统动力学的微分/代数方程求解一般是所谓的指标-3问题，是十分困难的，可以说，目前还没有获得使人非常满意的关于它的数值积分方法。多体系统动力学的微分/代数方程的辛算法，是近几年出现的新的数值方法，一般它具有数值稳定性等优点。笔者将微分/代数形式的多体系统动力学方程化为带约束的正则方程形式，笔者在重点阐述流形上辛分离Runge-kutta法这一新的理论的基础上，然后利用辛分离Runge-Kutta法对多体系统的约束哈密顿形式的方程进行仿真研究，取得了较好的结果。     

沿着积分曲线求解非线性方程组

由本文给出的常微分方程初值问题，可以确定一条光滑的积分曲线，用给定的算法可从任何初始点出发，沿该，曲线达到它的终点，就是非线性方程的解，算法证明具有整体收敛性，并给出一些数值例子。     

一类基于MATLAB的微分方程边值问题数值解的算法研究

本文对线性与非线性微分方程边值问题的打靶算法进行了理论分析,进而建立了解决一般微分方程边值问题的数学模型,并通过MATLAB来实现微分方程中的一类边值问题的计算机求解,使其具备更好的可操作性与变量的可扩展性。同时利用MATLAB强大的图形绘制功能提供良好的可视化环境;最后以实例形式对MATLAB算法进行实变量运行与观测。     

曲面的Gauss方程与Codazzi方程的等价定理

利用外微分和外积的知识,给出并证明了曲面的Gauss方程在正交标架{r（u,v）;e1（u,v）,e2（u,v）,e3（u,v）}及自然标架{r（u,v）;ru,rv,n}下的二次微分形式的等式与函数的等式的等价定理,以及曲面的Codazzi方程在正交标架及自然标架下的二次微分形式的等式与函数的等式的等价定理.