直径图为11圈的7距离集研究

如果平面点集X中的任意两点确定的互异距离数为k,则称X为k距离集。用d(x,y)表示平面上互异两点x,y之间的距离,记X中的最大距离为直径D=D(X)。直径图DG(XD)是由X中所有直径构成的图,XD表示其顶点集。讨论了当X是一个7距离集时,直径图DG(XD)的构型。利用DG(XD)中最多包含一个圈,且只能为奇圈的特性,以及直径所具有的特殊性,证得当直径图为11圈时,其顶点集XD恰好为某正十一边形的顶点集。     

与支配集有关的上可嵌入图

结合图的支配集与其他相关条件,证明了如下结果:(1)设G是无环连通图,如果G中含有一个子图为轮W,且V(W)={x,y1,y2,,yt}(t≥3)为图G的一个支配集,则图G是上可嵌入的.(2)设G是无环连通图,如果G中含有一个子图为完全二部图D=(X,Y;E),且V(D)=X∪Y为图G的一个支配集(其中|X|≥3,|Y|≥4),则图G是上可嵌入的.     

完全4-部图的交叉数

用分情况讨论法证明了完全4-部图K_(1,1,1,n)、K_(1,1,2,n)、K_(1,1,3,n)的交叉数分别为Z(3,n)、Z(4,n) (N/2)、Z(5,n) n (N/2)(n≥1).     

一类布线问题求解的判别准则和算法

在已有的判决图的基础上,定义了方向性及导出判决图,找到了一个判断布线问题中的1-嵌入问题是否有解的准则和基于此判别准则的算法,并在此基础上进一步研究了禁用构形,找到了1-嵌入问题有解的另一个判别准则.     

投影矩阵分解定理的一种证明

利用初等矩阵理论方法,证明了投影矩阵分解定理．此定理是研究复杂系统的基础定理．对称分析理论和正交分析理论是研究复杂系统的基本理论,而矩阵象是研究对称性和正交性的主要工具．此定理的主要作用是研究处理矩阵象的运算规律,这些规律是提出的GL算法、零成分搜索法、对称性全局方差分析、正交性全局方差分析等新方法的数学基础．     

一类广义Petersen图的L(2,1)-标号

图G的L(2,1)-标号是从图G的顶点集到非负整数集的一个映射f∶V(G)→{0,1,2,…},它满足对任意两个顶点x,y,当d(x,y)=1时,|f(x)-f(y)|≥2;当d(x,y)≥2时,|f(x)-f(y)≥1.研究了n≡0(mod3)的广义Petersen图G=P(n,t)的L(2,1)-标号数λ2,1(G),得到当t=0(mod3),5≤λ2,1(G)≤8,否则λ2,1(G)=5     

一类图的边幻和标号及其算法

探索和研究了一类新的图类的边幻和标号问题,给出了相应的边幻和标号算法,并给出了严格的数学证明,从而得出这类图都是边幻和图等结论.     

柱心为A53的SD型拟本原置换群的次轨道

 分析了SD型拟本原置换群的作用,确定了柱心为A₅³的SD型拟本原置换群G的次轨道的个数及其长度,从而确定了所有G弧传递图的度数.     

基于AutoCAD2010环境下机械零件样板图的设计

为避免每次绘制机械零件图之前进行绘图环境的设置而做重复工作,设计了一个机械零件样板图并保存是十分必要的。以A3横装机械零件样板图的设计为例,创建机械制图符合国家标准样板图的步骤、内容及方法如下：建立新图形文件,设置绘图单位和图形界限,设置常用的图层,设置文字样式,设置尺寸标注样式,绘制图幅线、图框线和标题栏,保存为样板文件。     

面向重用的三维CAD模型检索算法

针对现有CAD领域的检索算法对模型的局部细节特征描述不足的现状,提出了一种基于最大公共子图的三维CAD模型检索算法,通过提取CAD模型的B-Rep信息,将模型用属性邻接图来表示.根据如果2个CAD模型存在相似的特征或局部结构,CAD模型所对应的属性邻接图应存在公共子图的原理,通过检测属性邻接图中的公共子图,得到了2个与CAD相似的局部细节特征,并利用这2个相似的局部细节特征对CAD模型进行了相似性评价.实验表明,该方法能够实现三维CAD模型检索,且检索的效率能够满足工程检索的要求,因此可以实现CAD模型设计和制造知识的重用.