板式塔塔板结构的新设计法——负荷性能图法

提出由负荷性能图中各性能曲线计算式确定塔板主要结构尺寸。通过浮阀塔负荷性能图中各性能曲线与塔板各主要结构尺寸的简要分析,阐述了设计步骤。     

并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

低度外平面图的点强全染色

图G的一个k-点强全染色是指图G的正常全染色f，若任意x，y∈N[υ]，有f(x)≠f(y)，简记为k-VSTC，称xT^υ5(G)=min｛k／G有k-VSTC}为G的点强全色数。研究了低度外平面图的点强全染色，证明了对△(G)=3的外平面图G有4≤xT^υs(G)≤5。     

图的连通性快速算法

介绍了一种新的图的连通性算法,用指引元表和相邻点表来描述图,用支援树生长法进行连通性广延搜索,其中又轮流使用二个堆栈来取用和存入本层及下一层的生长点,与传统算法相比,采用新算法可使时间开销从O（N^2)级降到O（NlnN)级,并通过实例对新算法进行了验证,同时本算法可推广应用于各种与图的连通性检查有关的问题,可望大大加快计算速度。     

一类新链图的优美性

定义了有柄mi圈链图和无柄mi圈链图,得到了在m1,m2,…,mn≡0(mod4)时它们都是优美图、无柄mi圈链图是k优美图,并且给出了具体标号;进一步得到了在m1,m2,…,mn≡0(mod4),mn+1≡3(mod4)时这2类链图也是优美图的新结果及其证明.     

某些单K3-群的一个新刻画

利用有限群的阶方程给出了除U4（2）以外的所有单K3-群一个新刻画．     

R(4,1×n)型图的边标号

证明当n≡1（mod 2）时,R（4,1×n）型图是k-边优美图、超边优美图和边友好图.     

图U∧C_(4,m_i)from i=1 to n的优美性

优美图是图论中的一个重要分支,至今对非连通优美性的研究并不多,特别是对n个图的并图的优美性研究就更少.本文证明了一类任意n个二分图∧C4,m的并图4,1inmiC=U∧是优美图,且是交错图.     

关于Faudree－Schelp定理的改进

一个图Ｃ＝（Ｖ，Ｅ）是［ｌ，ｍ］－泛连通的，如果在Ｇ的任意一对节点ｘ与ｙ之间有长为Ｋ—１的路Ｐｋ（ｘ，ｙ），Ｋ＝ｌ，ｌ＋ｌ，…，ｍ。Ｇ具有性质Ｐ（Ｋ），如果对Ｇ的任何一对距离为２的节点ｘ和ｙ，有ｄ（ｘ）＋ｄ（ｙ）≥Ｋ。作者探讨了一类产（Ｋ）图的路连通性，改进了Ｆａｕｄｒｅｅ－Ｓｃｈｅｌｐ定理，得到两个定理：定理１设Ｇ＝（Ｖ，Ｅ）是ｎ阶Ｐ（ｎ—１）图。如果Ｇ是［ｎ—１，ｎ］－泛连通的，则Ｇ是［８，ｎ］－泛连通图（ｎ≥８）．定理２设Ｇ是３－连通ｎ阶Ｐ（ｎ）图。如果Ｇ的独立数α（Ｇ）＜ｎ／２，则Ｇ是［５，ｎ］－泛连通图，ｎ≥５．     

不含相交三角形和4圈的平面图的无圈边染色

如果图G的正常边染色不包含2-色圈,则称它是图G的一个无圈边染色。图G的无圈边色数表示图G的无圈边染色所需的最小颜色数。利用差值转移方法并结合平面图的结构性质,证明了不含相交三角形和4圈的平面图的无圈边色数不超过△(G)+6。