集态FU空间的一个注记

集态FU空间是由Arhangel’skii引入的一类弱第一可数空间.本文讨论了强集态FU空间、集态FU空间以及弱FU空间之间的关系:①具有可数紧度的集态FU空间是强集态FU空间;②利用紧集列给出了强集态FU空间成为弱FU空间的一个充分条件.给出了集态FU空间的一个映射性质:集态FU空间被有限到一、满的连续闭映射所保持与逆保持.     

变论域模糊控制器及其在拖车倒车中的应用

建立变论域模糊控制器输出论城上的一种伸缩因子的微分方程模型,得到该伸缩因子的数学表达式.仿真实验表明在输出论城上使用这种新的伸缩因子构造的变论城模糊控制器可以快速准确地实现拖车倒车.在同样的条件下,与经过遗传算法参数优化的模糊控制器和普通模糊控制嚣的控制效果相比较,变论域模糊控制器控制得更加灵敏且几乎无超调.     

e≤2(n-2)条件下的3-优图

记S_3(G)为图G所含有的连通的三结点导出子图的个数。图G称为3-优图,若对任何同点同边数的图H有S_3(G)≥S_3(H),3-优图在网络可靠性综合中起着重要作用。本文给出了在e≤2(n-2)条件下3-优图的刻划,其中n为结点数,e为边数,从而解决了文献[1]结论中提出的问题。     

一类奇异非线性方程的正整体解存在的充分必要条件

本文研究形如Δ^nu=f(|x|,u,|Δ↓u|u^-β，x∈R^N的奇异非线性多调和方程在R^N(N≥3)上的正整体解，给出了该方程具有无穷多个其渐进阶刚好为|x|^2n-2的正整体解的充分与必要条件。     

仿紧局部可分空间及其映象

探讨仿紧局部可分空间的一些性质,获得了两个可度量化定理,建立了仿紧局部可分空间的各类序列覆盖L-映象的特征。     

有线性阻尼和变长度的单摆

应用多尺度法和势能逼近法研究有线性阻尼和变长度的单摆．通过摩擦因数与摆长慢变参数阶的比较,详细讨论了3种不同的情况并得到振幅、频率和解的渐近分析表达式．势能逼近法的应用使结果对大幅振动也有效．当摩擦因数不是很小时,修正的多尺度法用于得到更精确的首次近似解．与数值结果的比较表明本文的方法是有效的．     

一类非线性椭圆型方程的奇异边值问题

本文研究一类在球内的非线性椭圆奇异边值问题的正解的存在性,推广了H.Usami 1989年所得到的部分结果.     

具有Heyting结构的Ockham代数

引入一个具有Heyting结构Ockham代数,简称HO-代数．所谓HO-代数,是指具有（2,2,2,1,0,0）类型的代数（L;∧,∨,→,f,0,1）．其中（L;f）是Ockham代数,（L;→）是Heyting代数,且运算f和→由恒等式f（x→y）=f^2（x）∧f（y）与f（x）→y=f^2（x）∨y所连结．主要讨论了HO-代数的同余关系的性质．并刻画了其次直不可约代数的某些性质．     

一阶常微分方程有形如μ(axα+bxsyl+cyβ)积分因子的充要条件

讨论了一阶常微分方程M(x,y)dx+N(x,y)dy=0 的积分因子问题,给出了一阶常微分方程有形如μ(axα+bxsyl+cyβ)的积分因子的一个充分必要条件.推广了相关文献的结果,从而丰富了常微分方程的解法.     

范畴中态射集星型序的若干研究

本文证得星型序的乘法性质、遗传性质及其在偏序下态射广义逆的从属性质，并将星序的Hartwig上确界定理推广到带有对合*的正性预加法范畴中．