中立型大系统的渐近稳定性

文[1]—[3]研究了中立型大系统的稳定性,获得了一些较好的结果。对相对中立型系统来讲,滞后线性系统的稳定性理论已比较完善。本文所提供的方法能较有效地克服判断中立型大系统稳定性的困难,所获得的结果不同于所有已知结果,并补充了这方面的研究。 1.线性系统我们考虑线性中立型大系统     

一种新型彩色三维光学成像系统

提出一种新型三维彩色光学数字成像系统。此系统利用投影结构光对现实世界中的物体进行数字化，同时得到对应的彩色纹理。详细介绍了系统的硬件设计和软件体系结构设计，得到物体彩色纹理的两种不同方法；直接获取和从编码条纹中提取，给出了用该系统得到的实验结果并简单评价了系统的性能。此系统在反求工程、影视制作、三维游戏制作、医学应用等方面有远大的应用前景。     

函数的图象与性质

本讲主要讨论函数图象的三种变换：平移、对称、翻折，并介绍如何利用函数的图象解题。     

自由模的自同态环之间的同构

本文主要结果如下:(1)证明了两个自由模及是半线性同构当且仅当End_F与End_G是严格的环同构(见定义1)。(2)用不同方法证明并推广了1985年Bolla用范畴方法来描述End_F与End_G之间的环同构。(3)1962年Wolfson定理是我们的推论。     

有限时滞微分系统依照双测度的实际稳定性

本文对具有有限时滞的泛函微分方程建立了关于依照两种测度的实际稳定性的Razumikhin型判定定理，其中未采用通常的辅助函数，且可运用多个含有状态变量x的部分变元的Lyapunov函数，得出部分变远实际稳定性的判定定理，从而改进了已有的结果。     

Banach空间上有界可逆线性变换逆变换的结构

Fillmore在[1]中得到一个定理:设A,T是Banach空间X上的线性变换,A有界,若Lat(A) Lat(T)且AT=TA,则T是A的多项式.在本文里,以此作为引理,讨论了Banach空间上可逆线性变换A在什么情况下,A-1可表示为A的多项式.本文最主要的结论是定理3.4:设X是Banach空间,A是X上的有界线性变换,且可逆,则A-1是A的多项式当且仅当A-1是A的局部多项式.     

基于BDF的无约束优化方法的收敛性分析

1.介 绍 在上个世纪的七十年代末、八十年代初,基于常微分方程的优化方法或者说同伦方法是一类与拟牛顿法和共轭梯度法等我们所熟知的优化方法相竞争的重要方法[1-6,8,13,14,16].由于这类方法只是简单地利用现成的数值求解常微分方程的软件包,如CVODE[7]、LSODE[12],对同伦方程(一般是一个常微分方程的初值问题)进行计算,除了一些特殊的病态问题     

非线性Schrdinger方程的高精度守恒差分格式

本文首先分析线性Schrodinger方程一种高阶差分格式的构造方法,得到方程的耗散项.在此基础上对三次非线性Schrodinger方程,提出了一种精度为O(r2 h2)的差分格式,证明了该格式保持了连续方程的两个守恒量,且是收敛的与稳定的.并通过数值例子与已有隐格式进行了比较,结果表明,本文格式在计算量类似的情况下,提高了数值精度.     

一类含有P-Laplacian算子的奇异边值问题解的确切个数

讨论了一类p-L ap lac ian算子型的奇异边值问题正解的确切个数以及解的性质.