两个模糊子半群集合之间的同态

设S,T是半群,F(S)和F_s(S)分别表示S的所有模糊子集的集合和所有模糊子半群的集合。文中,讨论了F(S)(F_s(S))和F(T)(F_s(T))之间的模糊同态,建立了模糊商子半群的概念,把分明半群的基本同态定理推广到模糊子半群。     

一类二阶椭圆型微分方程振动性的判定

利用积分平均和完全平方技巧，给出了一类二阶椭圆型微分方程所有解在R^n的一个外区域Ω上均振动的新的充分条件。     

S3上阿诺德弦猜想中的变分方法

本文使用变分方法证明了三维标准切触球的标准勒让德扭结，至少存在一个弦连结适应于标准切触结构的任何选定切触形式，这部分证明了著名的阿诺德弦猜想。     

关于Banach空间中凸泛函的广义次梯度不等式

本文在前人^[1,2]的基础之上，以凸泛函的次梯度不等式为工具，将Jensen不等式推广到Banach空间中的凸泛函，导出了Banach空间中的Bochner积分型的广义Jensen不等式，给出其在Banach空间概率论中某些应用，从而推广了文献[3—6]的工作．     

迷宫密封不平衡转子动力系统的稳定性与分岔

研究迷宫密封对不平衡转子系统动力稳定性的影响.存在不平衡量的转子在旋转过程中受到周期激励,低转速时,转子作与激励同频率的周期运动,随着转速的提高,达到一定阈值时周期运动开始失稳.对迷宫密封的气动力采用Muszynska非线性力学模型,用打靶法求解转子运动周期解,并根据Floquet理论分析了周期解的稳定性及失稳后的动力学特性.     

树的稳定子集和稳定指标

一个实矩阵的符号稳定性问题在经济学、生态学等诸多领域中都有应用背景．本文利用[1]中给出的不可约矩阵的符号稳定性的有关结论，将一个实矩阵的符号稳定性判定问题转化为一个等价的图论问题，即判定无向树中一个点子集的稳定性问题．本文引入了树的稳定子集的概念并给出了稳定子集的递归判别方法．本文还提出井研究了树的稳定指标，即树中所有稳定子集的最小基数，证明了关于稳定指标的一个min—max型定理，井给出了n阶树的稳定指标的最好上界及达到上界的极树的完全刻划。     

子图识别的层分解方法

子图识别问题(SRP)就是在一个图G中确定并寻找是否存在和另一个图H相同构的子图．本文将引入图的层分解概念，并以此为基础建立识别图的同构子图的算法．该算法的复杂性为O(n(△-1)^k-1)，其中△是图G的度，即G中点的最大度，n，k分别是图G，H的阶．     

极限环的表达式和计算

本文提出一种解析法和数值法相结合的方法，用来计算多项式微分系统的极限环，极限环表示为x=∑k≥0(ak cos kφ bk sin kφ),y=∑k≥0(ck cos kφ dk sin kφ)，先用解析法求出小参数时极限环的初始表达式，然后用增量法和迭代法求出任意参数时极限环满足给定精度的表达式，半稳定极限环和分叉值也可以计算。     

关于Logistic模型的倍周期收敛现象

运用实验和归纳的方法 ,讨论了如何利用 Mathematic数学软件观察 Logistic模型的倍周期收敛现象以及对初值的依赖性 ,并从理论上解释了倍周期收敛现象     

PrO-C*-代数的顺从性和核性

研究了Pro—C^*-代数的顺从性和核性．主要证明了(1)顺从Pro—C^*代数的闭理想是顺从的；(2)核Pro—C^*代数类对归纳极限封闭；(3)交换σ-C^*-代数和核C^*-代数都是核，σ-C^*-代数并且核σ-C^*-代数类对于商运算、张量积运算和可数逆向极限封闭．进一步得到核，σ-C^*-代数的扩张保持核性的条件。