解抛物型方程的一种高精度加权差分格式

利用二阶徽商的四阶精度紧致差分逼近公式，给出解抛物型方程精度为O[1－20）t，t2＋x4]的一种新的加权差分格式，并通过Fourier方法讨论格式的稳定性．证明了当1／2≤θ≤1时，格式是无条件稳定的；当0≤θ＜1／2时，只有r≤1／3（1－2θ），格式才是稳定的，其中θ是加权参数（因子），t，x分别为时空方向的网格长度，r=（D是二阶导数项系数）．     

非线性中立型延迟微分方程线性θ-方法的渐近稳定性

讨论非线性中立型延迟微分方程线性θ-方法的渐近稳定性，我们证明：当且仅当1／2≤θ≤1时，线性θ-方法用于求解渐近稳定Rα，β的类初值问题得到的数值解是渐近稳定的。     

正规弱θ-可加细空间的无限乘积

主要证明了如下结果(1)如果是X=∏σ∈Xσ是||-仿紧空间, 则X是正规弱θ-可加细空间当且仅当F∈[]＜ω,∏σ∈F Xσ是正规弱θ-可加细空间.(2)设X=∏i∈ωXi 是可数仿紧的, 则下列3条等价X是正规弱θ-可加细的;F∈[ω]＜ω,∏ i∈FXi是正规弱θ-可加细的;n∈ω ,∏i≤n Xi是正规弱θ-可加细的.     

关于弱θ-加细空间的积空间

本文证明了弱θ－加细空间（弱δθ－加细空间）与正则δ－紧空间的积是弱θ－加细的（弱δθ－加细的）；当每一ｎ∈Ｎ，∏ｎｉ＝１Ｘｉ是完备的弱δθ－加细空间时，∏∞ｉ＝１Ｘｉ是弱δθ－加细的。     

二维扩散反应方程的三次样条高精度加权隐式差分格式及其多重网格方法

利用二阶微商的三次样条四阶紧致差分逼近公式,推导出两种数值求解二维扩散反应方程的两层9点加权隐式紧致差分格式.当θ=1/2时,该格式在时间和空间方向上分别达到二阶和四阶精度.通过Fourier方法讨论知,当1/2≤θ≤1时,格式是无条件稳定的;当0≤θ<1/2时,格式是条件稳定的.为了克服传统迭代法在求解隐格式方面的困难,差分方程采用多重网格方法进行求解并将本文格式的结果与P-R格式及C-N格式下的结果进行比较.数值实验结果验证本文方法的精确性和可靠性及多重网格方法的效率.     

解双曲方程的一种高精度加权差分格式

利用一阶微商的四阶精度紧致差分逼近公式,给出了解双曲方程精度为o[(1-2θ△t,△t2+△x4)]的一种新的加权差分格式,并通过Fourier方法讨论格式的稳定性,证明了当0≤θ≤1/2时,格式是无条件稳定的;当1/2≤θ≤1时,格式是不稳定的,最后通过数值试验说明了这种方法的有效性.     

解抛物型方程的一族六点隐式差分格式

提出了求解一维抛物型方程的一族两层六点隐式格式.格式的截断误差为O(τ2+h4).利用Fourier方法证明了差分格式当1/2≤θ≤1时,格式绝对稳定;当0≤θ1/2时,只有r≤1/6(1-2θ),格式才是稳定的.数值试验表明,该族格式是有效的,且理论分析与实际计算相吻合.     

不分明化拓扑中的θ－闭包

在不分明化拓扑空间中，给出了人们广为关注的拓扑学中的θ闭包的概念，并由此定义了θ－开集、θ－闭集、θ－连续映射和强θ－连续映射．使用逻辑的语议的方法讨论了他们的有关性质，在不分明化拓扑中导入了θ－拓扑空间，描述了强θ－映射的四种等价刻划和θ－连续映射的四个必要条件     

中立型延时微分方程的Runge-Kutta方法的数值稳定性

研究了中立型延时微分方程数值解的Runge-Hutta方法的稳定性，根据下面的线性试验方程考虑此方法的稳定性，y'（t）＝ay（t）十by（t－τ）十cy'（t－τ），t≥0，y（t）＝g（t），－τ≤t≤0，其中τ＞0，a，b和c∈C，证明得一个隐式Runge－Kutta方法是NGP－稳定的，当且仅当它是A－稳定的。     

弱θ—加细空间的闭逆象

讨论了弱θ－加细空间的闭逆象，证明了，完备映射逆保持弱θ－加细性；当定义域空间为正则空间时，闭Ｌｉｎｄｅｌｏｆ映射逆保持弱θ－加细性，并给出反例说明，此外正则性不可省略，这个例还同时否定了回答周友成在［３］提出的一个问题。     

AFC—代数上的2—局部导子

设Ａ是一个代数,Ｍ是一个Ａ－双模,映射θ：Ａ→Ｍ称为２－局部导子,如果任给ａ,ｂ∈Ａ,存在导子θａ,ｂ：Ａ→Ｍ使得θａ,ｂ（ａ）θ（ａ）,θａ,ｂ（ｂ）＝θ（ｂ）（θ没有假设是线性的和满的）。本文证明ＡＦＣ＾８－代数Ａ到范数Ａ－双模Ｍ上的２－局部导子是导子。     

简单序约束条件下参烽估计的EM方法

在有些数学模型中,参数之间是有约束的.已经有文章给出最简单的情况——对数据均值的简单序贯下的估计方法,这里进一步探讨对一般条件下的线性模型(y=Xθ+e,θ=(1θ,2θ,…,kθ),θ1cθ2≤…≤θk),在简单序约束下的参数的估计.通过一些变形,构造出所谓"潜在变量",并用EM方法,求出参数的估计.     

块θ-方法的PL_m-稳定性

讨论了带有多个滞时量的延时微分方程的数值稳定性，分析了块θ-方法求解多延迟微分方程的Pm-稳定性和兕。一稳定性的条件，证明了块θ-方法Pm-稳定的充要条件是1／2≤0≤1，块θ-方法PLm-稳定的充要条件是θ=1．     

关于弱θ↑——加细性的可数开和定理

本文证明了弱θ↑－－加细性关于点有限可数开和保持，关于α－弱θ↑－加细边界可数开和保持，并给出反例说明弱θ↑－－加细性关于可数开和不保持。     

关于半群的广义Bruck—Reilly扩张

引进了半群的广义Bruck-Reilly扩张的概念,研究了其简单的性质;给出了半群的广义Bruck-Reilly扩张是π－逆半群的充要条件;刻画了一个半群（逆半群）T的广义Bruck-Reilly扩张为单（或半单）半群时半群（逆半群）T的性质,证明了由同态θ及幂等元e0所确定的半群T的广义Bruck-Reilly扩张BR（T,e0,θ）是单半群当且仅当对任意a,b∈T,存在x,y∈T^1以及k∈N使得a=x(bθ^k)y。     

对流扩散方程有限混合分析格式的稳定性分析

从实际问题出发,介绍了对流扩散方程的混合有限分析法,得出了求解一维线性对流扩散方程的四点隐式格式、利用一维对流扩散算子得出了其六点隐式格式,并且对格式的稳定性进行了分析.结论是其四点隐式格式是绝对稳定的,其六点隐式格式,当1/2≤θ≤1时是绝对稳定的,当0≤θ≤1/2时是条件稳定的.     

中立型延迟积分微分方程线性θ-方法的渐近稳定性

将线性θ-方法用于求解D(α,β1,β2,β3,γ,δ)类非线性中立型延迟积分微分方程,结果表明A-稳定的线性θ-方法(也即1/2≤θ≤1)能保持问题本身的渐近稳定性,数值实验验证了所获理论结果的正确性。     

关于θ—可加空间的逆极限性质

获得了如下结果,设X＝lim{Xσ,πσρ,A},Α=λ,并且每个投射,πσ：X→Xσ是开满的,若X是λ-仿紧的并且每个Xσ是正规θ－可加空间,则X是正规θ－可加空间,进一步还可得到遗传正规的遗传θ－可加空间的类似结果。     

一类具有垂直传染的SEIR传染病模型的全局稳定性

讨论了一类含潜伏期,染病者有病死且有标准传染率的SEIR传染病模型,给出了修正再生数θ的表达式.当θ≤1则无病平衡点是全局稳定的;当α=0,θ>1则存在唯一的地方病平衡点,且是全局渐近稳定的.     

不分明化拓扑中的θ-紧性

用连续值的语义方法研究不分明化拓扑。在已有θ－开集和θ－连续函数概念的基础上，在不分明化拓扑中引入了θ－紧性的概念，并且给出了θ－紧性的一些性质。这些概念的结合有助于我们对不分明化拓扑的研究。