试用Wierstrass定理证明闭区间连续函数的性质

应用Ｗｅｉｅｒｓｔｒａｓｓ定理证明闭区间上连续函数的四个性质。     

非线性积分微分方程广义解的存在性与唯一性

在可测向量函数空间讨论了形如x(t)=F(t,x(t),T_x(t)),x(t_0)=x_0的积分微分方程所描述的不连续系统广义解的存在性,建立了较一般的唯一性的定理。进而讨论了广义解对参数和扰动的连续依赖性,对算子T的不同性态给出了一些实用的结果。     

一类二阶泛函微分方程解的渐近性质

本文研究了一类二阶泛微分方程的振动解与非振动解的渐近性质，文中的定量1推广了交[1]中的定理1。     

B-值随机元序列的对称化原理的注记

本文讨论了B-值随机元序列极限定理的对称化方法,并且获得了对称化方法的一般性结果。作为一个应用,我们给出了B-值独立同分布随机元序列的叠对数律(紧的或有界)的对称化方法。     

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

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

有界灰数和灰行列式

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

自适应鲁棒控制系统研究

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

直线链码和形式语言

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

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

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

从B^α到B^0和D空间上的复合算子

设φ是单位圆盘D到自身的解析映射,X是D上解析函数构成的Banach空间,对f∈X,定义复合算子CφCφf=f°φ.研究了Bα到B0和D空间上的复合算子的有界性和紧性.