黎曼——斯蒂阶积分存在的一个充要条件

实函中证明了[a b]上的有界函数f(x)黎曼可积的充要条件是f(x)不连续点所成之集的勒贝格测度为零。关于黎曼——斯蒂阶积分也有类似定理:f(x)在[a,b]上有界,α(x)为[a,b]上的有界变差函数,则f(x)在[a,b]上关于a(x)黎曼——斯蒂阶可积的充要条件是α(x)在f(x)不连续点所成之集上的全变差为零。本文就是给出这个定理的一个证明。     

压缩型集值映象的不动点定理及其应用

本文的目的有二:一是讨论完备度量空间中一类压缩型集值映象的不动点的存在性和唯一性问题;二是将所得的结果应用于 Menger 空间,得出了 Menger空间中一类集值映象的不动点的存在性和唯一性条件。本文定理2在某种意义下,改进了张石生教授在1987[2]和1985[4]给出的某些重要结果。     

Fourier级数的Euler平均对有界变差函数的点态逼近

本文估计Ｆｏｕｒｉｅｒ级数的Ｅｕｌｅｒ平均对有界变差函数的点态逼近度。     

有界灰数和灰行列式

本文从代数的角度讨论有界灰数的代数结构。并初步讨论了灰行列式的某些性质。     

关于无穷维算子的有限维最佳逼近

设H和K为实或复的无穷维Hilbert空间，(有界线性)算子A：H→K称为是无穷维算子如果A的值域是无限维的．而值域为有限维的线性算子称为有限维算子．在分布参数与时滞系统的研究中，会遇到无穷维的控制或识别问题，这往往给解析研究和计     

自适应鲁棒控制系统研究

本文提出了一种自适应鲁棒控制方法,该方法在一般鲁棒控制系统结构的基础上,将鲁棒控制器中的部分增益矩阵改为在线调整的自适应增益,使得自适应机构在系统出现大误差时作用、小误差时切除,并在保留了常规鲁棒控制系统的优良品质之前提下,进一步改善了这类系统的动态品质、提高了鲁棒性.文中给出了相应的定理,分析了各变量的有界性,并进行了实时仿真.     

Fuzzy度量空间中的紧性

本文在Fuzzy度量空间中引入■覆盖、Cauchy列及ε稠密等概念,从而进一步定义了紧性,完备性,全有界性及序列紧性,证明了有关的等价性定理。最后给出了Lebesgue数的定义,并把相应的Lebesgue定理推广到Fuzzy度量空间。     

直线链码和形式语言

本文给出并比较了有关直线链码性质的几种表述,证明了直线链码的一个性质:若将全体直线链码所组成的集CL看作是{0,1,2,3,4,5,6,7}上的语言,则CL是上下文有关的.由于CL不是上下文无关语言,直线链码集CL在语言类中的归属就被完全确定了.     

超前型非线性泛函微分方程的有界广义解

本文对超前型非线性泛函微分方程的初值问题得到了在t≥t_o上存在有界广义解的充分条件,并证明了解的唯一性与解对初值的连续依赖性,其中 x_i(θ)=x(t+θ)     

Петровский意义下二阶线性椭圆组Dirichlet问题解的存在唯一性

本文利用Lax-Milgram定理,证明意义下具有常系数主部的两个自变数两个未知函数的二阶线性散度形椭圆型方程组Dirichlet问题解的存在唯一性定理.