L-拓扑空间的局部仿紧性

给出了L-拓扑空间六种局部仿紧性的概念,讨论了它们之间的蕴涵关系.证明了前四种局部仿紧性既是闭可遗传又是开可遗传的,后两种局部仿紧性是闭可遗传的,这些局部仿紧性在某种序同态下保持不变.     

H-空间中的截口定理及其应用

文章给出了H-空间中的两个截口定理,并用此证明了H-空间上的几个结果,包括一个交集定理,一个极小极大定理和一个叠合定理.由此推广了相关的一些结论.     

最大节约原则下单体型推导问题的复杂性

基于最大节约原则,寻找可以解释基因型样本的最小单体型集合,提出一个新的单体型推导方法.通过将SAT问题和MAX-3-SAT问题归约到这种基于节约原则的单体型推导问题,证明了该问题是NP-hard以及MAX-SNP完全的,从而解决了该问题在计算上的复杂性.这一结果显示,除非P等于NP,否则,该问题不存在多项式时间算法;甚至存在一个常数e> 0,该问题不存在比1 e好的近似算法.     

完全多部图的G-填充和覆盖

设图G是由P4带一条悬边所组成的五点四边图，本文确定了完全图Kv和完全多部图Kn(t)的图G填充数和覆盖数。     

反向上下解条件下的非线性算子的不动点定理

利用锥定义空间中的半序,通过引进完全相对σ-完备集这一概念得到满足反向上下解条件(Au0≤u0＜v0≤Av0)增算子A的多个不动点存在性定理以及满足反向上下解条件(A(u0,v0)≤u0＜v0≤A(v0,u0))混合单调算子A的耦合不动点定理.     

一类多部图设计的构造

讨论了完全多部图的G 设计的存在性,其中G是五点四边图,并给出其存在谱.     

局部dcpo和相容dcpo的交连续性

在局部dcpo和相容dcpo中引入了交连续的概念，并证明了它们在半格情况下等价．本的主要结果是定理1，定理2，定理3．     

ppl-空间、wppl-空间被闭Lindeloef映射逆向保持

对ppl-空间、wppl-空间的映射性质进行了探讨，得到的主要结果是：ppl-空间、wppl-空间被闭undeloef映射的逆向所保持．     

一种Petri网模型完备日志生成算法

完备日志是过程挖掘算法设计和算法评价的前提条件,基于行为分析的Petri网模型完备日志生成算法存在状态空间爆炸的问题。提出了基于结构分解的算法,通过生成完备日志次序关系集,构造Petri网模型完备日志。结构分解方法降低了算法时间复杂度,日志次序关系组合计数使得量化评价日志完备性成为可能。     

2_渐近正则映象与不动点

本文引进了2_-渐近正则映象的概念,证明了几个以2_-渐近正则性条件为基础的不动点定理。