半群的拟紧性和不可约性

利用算子半群生成元的边界扰动方法,给出了Banach格上C0半群的拟紧性和不可约性的充分条件.并利用该结果对一串联可修复系统的拟紧性和不可约性进行了研究.

L-拓扑空间中的半拟紧性(英文)

在L-拓扑空间中借助于半拟开L-集合和它们的不等式给出了半拟紧性的一个新定义,这里L是完备的DeMorgan代数。它也能够借助于半拟闭L-集和它们的不等式刻画。当L是完全分配的DeMorgan代数时,它的许多刻画被给出了。

具有两个状态的可修复系统的拟紧性和不可约性

利用算子半群生成元的边界扰动方法,给出了Banach格上C0半群的拟紧性和不可约性的充分条件.并利用本文结果对具有两个状态的可修复系统的拟紧性和不可约性进行了研究.

Locale的拟紧性

在ｌｏｃａｌｅ范畴上建立并详细讨论了拟紧性及遗传紧（拟紧）性，并且给出了开核映射（ｏｐｅｎｎｕｃｌｅｕｓ）与闭核映射（ｃｌｏｓｅｄｎｕｃｌｃｕｓ）上确界的一个完满刻划．

狭义次拟仿紧性的应用

本文利用狭义拟仿紧性给出了亚紧性的一个刻画 :拓扑空间X是亚紧的当且仅当X是可数亚紧的离散 -可膨胀空间且狭义次拟仿紧。

L-拓扑空间中的*-拟仿紧性

利用α-正则闭远域族在L-拓扑空间中定义了一种新的仿紧性,即*-拟仿紧性,并用半内部对其进行了刻划。研究了*-拟仿紧性所具有的一些性质,比如L-good extension,正则闭遗传,弱同胚不变性。讨论了*-拟仿紧空间的半正则化以及*-拟仿紧性在诱导空间中的重要性质。

具有热储备的并行可修复系统指数稳定性分析(英文)

应用泛函分析的方法讨论了有两个相同部件和一个热储备的并行可修复系统的指数稳定性.我们通过分析系统算子生成C0半群的本质谱增长阶,证明了该半群是拟紧的.此外,该半群还是不可约的.于是作为半群拟紧性和不可约性的直接结果,得到了系统的时间依赖解指数收敛到其静态解,并且该静态解即为系统算子简单特征值0对应的正的特征向量.

具有等待时间的复杂可修复系统的指数稳定性

研究了具有等待时间的复杂可修复系统的指数稳定性.利用泛函分析的方法将模型方程组转化成抽象的Cauchy问题,运用强连续算子半群理论证明了系统动态非负解的指数稳定性.

L-拓扑空间中的拟紧度

借助于格L的蕴涵算子,在L-拓扑空间中引入了模糊集的拟紧度的概念。一个L-模糊集G是拟紧的当且仅当它的拟紧度pcom(G)=.我们还研究了拟紧度的一系列性质。

BCK-代数上的包含度

本文将张文修提出的包含度引入BCK-代数中，证明了一类BCK-代数的包含度的存在性，给出了BCK-代数上包含度的基本性质，刻划了BCK-代数拟紧性的特征．

具有预防性维修策略的可修复系统的指数稳定性

利用算子半群理论研究了具有预防性维修策略的可修复系统,通过分析系统算子的谱分布,以及系统算子生成C0半群{T(t)}的本质谱增长阶,证明了C0半群{T(t)}是拟紧半群.同时也证明了该半群还是不可约的.进而得到了可修复可用度的指数稳定性.