关于丢番图方程x2-D=2n的一些非例外情况的解

借助于丢番图逼近中Beukers的一些深刻结果,讨论了丢番图方程中的广义Ramanujan-Nagell方程x2-D=2n在D=m·2s+1时的一些非例外情况,利用初等方法求出了当m=1,3时该方程在n≥s时的全部非负整数解,并得到了一些有用的推论.     

图有分数因子的联结数和最小度条件

研究了图有分数因子的联结数和最小度条件．给出了一个图有分数1-因子的与联结数有关的充分必要条件．当k≥2时，给出了一个图有分数k-因子的两个充分条件，并证明了所得结果是最好可能的．     

混凝土泵车臂架布料机构及其运动学仿真方法的研究

针对混凝土泵车臂架布料机构特点,对其进行了折叠方式分析,研究了臂架布料杆倍角运动机构,实现了布料机构位姿仿真,给出了包络图形成机制·     

关于K_4(2,2,3,δ,ε,η)的色性问题

证明在K4-同胚图K4(2，2，3，δ，ε，η)这一类图簇中，任何两个不同构的图之间不存在色等价关系．这一结论从色多项式的角度刻划了K4-同胚图K4(2，2，3，δ，ε，η)的结构特征，为研究K4-同胚图K4(α，β，γ，δ，ε，η)的色唯一性奠定了基础．     

主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

超图的最小边数与染色问题

讨论了3一致l-超图的最小边数问题,给出了上色数为2的3一致l-超图的最小边数的一个上界.     

关于几类图的L(3,2,1)-标号问题

图G的L(2，1)-标号是一个从顶点集V(G)到非负整数集的函数f(x)，使得若d(x，y)=1，则|f(x)-f(y)|≥2；若d(x，y)=2，则|f(x)-f(y)|≥1．图G的三(2，1)-标号数λ(G)是使得G有max{f(v)：v∈V(G)}=k的L(2，1)-标号中的最小数k．该文将L(2，1)-标号问题推广到更一般的情形即L(3，2，1)-标号问题，并得出了Kneser图、高度不正则图、Halin图的λ3(G)的上界．     

结合图的导出匹配可扩性

简单图G和H的结合图G[H]的顶点集为V(G)×V(H),其中(u,v)和(u′,v′)相邻的充分必要条件是:或者uu′∈E(G)或者u＝u′并且vv′∈E(H).研究了结合图G[H]的导出匹配可扩性,证明了若G和H是非平凡图,G是连通图,且G和H满足下列条件之一,则G[H]是导出匹配可扩的:(1) G和H中有一个是导出匹配可扩的;(2) G和H都有完美匹配;(3) G和H中一个有完美匹配,另一个有几乎完美匹配.     

多元De Bruijn图的限制边连通性

多元De Bruijn图UB(d, n)是De Bruijn网络的拓扑结构, 它具有高效网络应该具备的许多特性, 如短直径、小最大度和多节点. 本文研究无向多元De Bruijn图的的限制边连通性, 证明当n≥4时UB(d, n)是超级限制边连通的, 回答了张克民等人提出的问题.     

特殊的steinhaus图的同构问题

针对以双对称矩阵为邻接阵的steinhaus图．剖析它的邻接阵的结构，给出了这类图同构的判定条件。