粘性／非粘性方程有限元和谱方法混合逼近

讨论有粘性和无粘性Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程有限元和谱方法混合逼近问题，弱交面匹配关系被应用。收敛估计显示有限元精度和谱精度可在各自的子区域中得到。     

关于正线性算子的Woronovskaja－型定理

本文对可用正线性算子｛Ｌ＿ｎ｝逼近的满足一定的可微性条件的函数类给出Ｗｏｒｏｎｏｖｓｋａｊａ——型定理，并将所得结果应用到几个特殊的正线性算子上，从而基本上解决了这些正线性算子的Ｗｏｒｏｎｏｖｓｋａｊａ——型问题。     

现代控制论中能控性定理证明方法之比较

就目前在现代控制论科教书中关于战性定常系统的状态能控性的几种常用证明方法提出异议，阐述看法并进行比较。     

“解方程器”软件包(EQNS-SOLVER)

作者提出了对于任意多项式方程组的一种带有普遍性的求解方法。多项式方程组可能没有解,或者有无穷多个解,或者有有限个解,解是实数也可以是复数。在有限个解的情况下,所创建的方法能够求出所有的解。作者完成了一个软料包,称为《解方程器》,曾在微型计算机上用FORTRAN语言完成计算过程。本文是《解方程器》软料包的说明,内容包括基本原理、方法、程序结构、应用举例以及使用的步骤。     

用于分布式识别的语音参数的提取和性能分析

主要研究用于分布式语音识别(DSR)的语音参数的提取方法以及参数性能分析。以前所用到的语音参数大部分是LPC倒谱参数,但其抗噪声性能较差。文中主要讨论了MEL倒谱参数,并在移动通信环境下,比较了两者的性能。     

非线性抛物型方程的耗散性和渐近性

利用能量积分、Ｐｏｉｎｃａｒｅ不等式和Ｓｏｂｏｌｅｖ空间的迹定理，证明了两类非线性抛物型方程在非线性Ｎｅｕｍａｎｎ边界条件下的吸收集的存在性，并给出了一类拟线性抛物型方程在齐次Ｎｅｕｍａｎｎ边界条件下的渐近估计     

线性系统和迭加原理

以系统的观点给出电路分析中的一个重要定理——迭加定理，并对迭加定理的证明。迭加定理与线性系统的关系．迭加定理的齐次性和可加性，作了较详细的论证。     

关于大数混合基表示的算法与问题

本文基于求解ｎ个简单同余方程组的思想给出了一个求解同余方程组的算法，算法将花费３ｎ次模运算及ｎ次求逆元运算，优于牛顿迭代法。对大数的混合基表示提出了扩张问题与压缩问题，并证明了扩张问题与其求解问题是线性等价的，而压缩问题的难度小于扩张问题。     

一类孤立子系统的无穷守恒律及其精确解

通过一个谱问题得到了一类孤子族方程:包括广义TD(k=1),TD(k=1,α=0),广义C-KdV(k=0)与C-KdV(k=0,α=0)等,进而利用Riccati方程及相容条件得到了此类孤子方程的无穷多个守恒量及其连带流。并且针对特定的非线性发展方程,给出了其精确的孤子解及椭圆函数解。