序列和谐图及其扩充

讨论了序列和谐图的扩充，并由此得到某些重要图类的序列和谐性。     

关于和谐图的几个结果

从考虑与完全图有关的几类图的和谐波，得到了几个新的结果，并部分地回答了文献（１）中几个未解决的问题。     

图的相对结合数

引入了图的相对结合数的概念，讨论了它的性质和某些图的相对结合数，得到它的下界，它与图的Ｈａｍｉｌｔｏｎ连通性的关系及联图的相对结合数等结果。     

关于并图的niche数

研究了并图的ｎｉｃｈｅ数，对ｎｉｃｈｅ小于等于２的图的并图的ｎｉｃｈｅ数进行了详细讨论，并由此获得若干重要并图的ｎｉｃｈｅ数。     

泛圈图的一个充分条件

哈密顿图和泛圈图的充分条件是图论中的重要理论问题之一，文中讨论了基于禁用子图的泛圈图的一些充分条件，给出了泛圈图的一个新的充分条件；设G是2-连通，{K1.3-P5，P^ 5)-free的，n阶图，则G是泛圈图或圈．     

图的边函数控制数

本文定义了图的边控制函数及边函数控制数，并得到了3－正则图和4－正则图及完全图的边函数控制数。     

广义图K（5,n）的边色数

本文给出了完全图Ｋ５的广义图Ｋ（５，ｎ）的一种正常边着色法，从而解决了这类图的边色数。     

哈密顿图与导出子图

设Ｇ是一个阶为ｎ的图，我们证明了：如果Ｇ是２－连通的，并且对Ｇ中每个同构于Ｋ１，３，Ｐ５或Ｐ＋５的导出图的两个顶点ｕ，ｖ，当ｄＬ（ｕ，ｖ）＝２时，ｍａｘ｛ｄ（ｕ），ｄ（ｕ），ｄ（ｖ）｝≥ｎ／２，则Ｇ是哈密顿图。这个结果推广了Ｆａｎ的结论。     

关于叉积图控制数的一点注记

设r（G)表示图G的控制数，G○H表示两个图G和H的叉积，SGravier提出了如下猜想，对任意图G和H，均有r（G○H）≥r(G)r（H),本文给出了该猜想的反例，从而说明了该猜想是不正确的。     

点对称强正则图

给出了一类是强正则图的点对称图，改进了文「１」的一个定理。     

谈谈数字测图

本文结合工作中的实践，介绍了当前数字测图的几种方法，并进行比较，从快、准、新的角度，分析了数字测图的发展趋势。     

一类（k,d）—算术图

证明广义Ｋ（４，ｎ）图是（２ｄ＋２ｒ，ｄ）－算术图或（ｄ＋２ｒ，ｄ）算术图，并且提出了一个猜想。     

UML建模机制及其应用

文中以一个求职就业网站为背景，探讨了利用统一建模语言（UML）进行面向对象分析及面向对象设计，并对系统进行了功能建模，静态建模和动态建模，此建模语言能够形成统一的，标准的各种视图，如用例图，类图，状态图等，解决了领域专家。软件设计人员和客户之间交流的难题。     

关于Queens-图的若干结果

Queens-图是文献^[1]引入的概念，本文给出了queens-图的几个结论，并找到了几类quees-图。     

图的上可嵌入性的一些表征

提出了这样一个事实：在一个简单图Ｇ和它的补Ｇ＾Ｃ中，总有一个是上可嵌入的，同时，也给出了一个图不是可嵌入的一个结构特征。     

两类图的算术标号

对于一个（p，g）图G，如果存在一个v（G）到非负整数集N0的一个映射以称为顶点标号）满足：（1）f（u）≠f（v），其中u≠v，且u，v∈V，（c）；（2）{f（u）＋f（v）｜uv∈E（G））={k，k＋d，…，k＋（g-1）d），称图G为（k，d）-算术图。证明了图Fm．4是（d，2d）-算术图和图Fm．6是（d，3d）-算术图。     

关于图的色数与围长

设ｆ（ｍ，ｎ）表示色数为ｍ，围长不小于ｎ的图的最小阶数，本文给出了ｆ（ｍ，ｎ）的下界。并探讨了无三角形图色数的上界。     

关于三叶图的能量变换

图的能量是图的邻接矩阵的特征值的绝对值之和，记为E（G）。用G（n，r）表示为具r个圈的n阶仙人掌图集，当r=3且每个圈为三角形时，称图G为三叶图。主要讨论n阶三叶图之间的能量变换关系。首先得到m（G，k）与bi（G）的关系；其次得到此类图之间满足变换关系Ⅰ、Ⅱ下的能量关系；并证得当T≌Sk，k〉12时的三叶图具有最小能量。     

低度Halin图的点边全色数

证明了对于Δ（Ｇ）＝４的任一Ｈａｌｉｎ图Ｇ，都有ｘｔｅ（Ｇ）＝５，此处Δ（Ｇ）和ｘｔｅ（Ｇ）分别表示图Ｇ的最大度数和点边全色数；对于Δ（Ｇ）＝３的Ｈａｌｉｎ图Ｇ的点边全色数作了初步的探讨。     

时态命题演算T1的树枝图及其应用

将命题演算语义树理论扩充到非标准逻辑，建立了时态命题演算Ｔ１的树枝图，并证明这种枝图从语义上能判别Ｔ１的有效式，Ｔ１的无效式，从语法上能判别Ｔ１系统的定理，非定理的其它公式。