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

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

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

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

一类多部图设计的构造

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

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

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

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

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

n阶完全图全着色的构造及其推广

引进了图的全着色矩阵的概念,从而给出了n阶完全图全着色的构造,并推广到任意n阶图G的最大度Δ(G)=n-1的情形,给出了与猜想等价的命题·     

具有约化偶部的李超代数

设 g是一个李超代数其偶部是约化李代数并且偶部在奇数部作用是完全可约的 .本文研究了这类李超代数的结构及其上的一类导子 .     

关于可分的希尔伯特空间的一些问题

给出了关于可分的希尔伯特空间的一部分有用结论，并予以证明。     

三维布局的一种优化算法

分析了布局问题的特性，综合利用“爬山”策略思想和实体的八叉树操作语言，提出一种适合于三维实体布局的优化算法。实例表明，该算法能从任一初始布局方案快速收敛到一个局部最优的布局。此外，对实体八叉树旋转的操作语言进行了研究并给出相应的算法。