经典Ramsey数R（5,23）和R（5,24）的新下界

构造了２个新的素数阶循环图,从而得到了２个Ｒａｍｓｅｙ数的新下界：Ｒ（５,２３）≥４２２,Ｒ（５,２４）≥４３４。     

面向图文法的体系结构测试方法研究

针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.     

素数阶循环图与经典Ramsey数R(8,19)和R(8,20)的新下界

该文研究了素数阶循环图的基本性质,提出了寻求有效参数构造正则循环图的新方法,得到了２个经典Ｒａｍｓｅｙ数的新的下界：Ｒ（８,１９）≥７０２,Ｒ（８,２０）≥７７０。这两个结果填补了关于Ｒａｍｓｅｙ数综述［４］的上下界表中的２个空白。     

关于自补置换的若干结果

本文用G表示图G的补图,如果G≌G,则称G为自补图(下称S.C.图).若G是一个S.C.图,则把从G到G的同构映射σ叫做G的自补置换(下称S.C.置换).用P(G)表示S.C.图G的全体S.C.置换的集合,用Γ(G)表示图G的自同构群.对于任一σ∈P(G)(G是S.C.图).由[1]知,σ中除长度为1的圈外,所有的圈长都是4的倍数.     

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

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

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

通过分析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-群一个新刻画．