超平面构形的ф3不变量的一个算法

文中给出了关于超平面构形不变量ф3的一个算法，在计算机上进行了实现，并对各种图构形进行了分类计算，找出轮式图中的规律。作为一个应用，证明了m＋1有个顶点的轮式图中有ф3=2m。     

图构形的(φ)3不变量

超平面构形的φ3不变量是一个很重要的拓扑不变量,Falk给出了一个计算φ3不变量的一般公式,并提出了对φ3不变量进行组合学描述的问题。本文证明了图构形的φ3不变量等于对应的图中3个顶点的团和4个顶点的团的个数之和的两倍。对图构形回答了Falk的问题。最后利用所得结论在化学聚合物的拓扑分类方面进行了一些初步应用,计算了一些化学聚合物拓扑结构的φ3不变量。     

关于平面直线构形的(φ)3不变量

给出了超平面构形的φ₃不变量的一个算法,并在计算机上进行了实现。对不多于6条直线的构形进行了φ₃分类,得到了一些特殊直线构形的φ₃不变量的计算公式。     

平面构形的φ3不变量分类

对三维欧式空间中平面构形的φ₃不变量进行了研究。对空间中不多于5个平面的构形进行了φ₃分类,并研究构形与其所对应的一般位置截面图的φ₃的关系;同时利用一般位置截面图的φ₃计算了一些图形有规律的平面构形的φ₃值。     

一类图构形的φ_n不变量

定义了超平面构形的一个不变量 φ_n ,它是Falk的φ₃不变量的一个推广。研究了一类特殊的图构形,它们所对应的图由l个n边形组成,使其相邻两个 n 边形有一条公共边,这种图叫做长度为l的n边梯子,通过逻辑推导与论证得出关于n边梯子构形的φ_n 不变量的结论 φ_n =(n-1)l。     

一类图构形的模元素

证明了有n个顶点的图构形中所含的m个顶点的团（clique）对应的超平面的交是模元。然后利用Stanley定理给出了此类图构形的Poincaré多项式的一个因式分解。并举例说明图G的一个弦子图所决定的m个顶点的超平面的交不一定是L(A (G))的模元。     

破轮图所决定构形为二次构形的证明

讨论了由破轮图所决定的图构形在哪些序下为二次构形。通过编写计算机程序得出有限个顶点的图构形为二次构形时序的情况,再找出这些序所反映的规律,最后再对这些规律进行逻辑论证并推广至顶点个数为n的情况。证明了由破轮图所决定的图构形为二次构形的一个充要条件。     

轮式移动机械手的多点运动规划方法

基于轮式移动机械手的移动与操作间的关系和轮式移动平台的优化运动区域，提出了一个新的轮式移动机构手多点运动规划问题的优化准则。此准则具有明确的物理意义，不但包括移动平台的运动代价、机械手的运动代价而且还包括移动机械手偏离优化构形、交换构形偏离优化值所需的运动代价，最后通过仿真证明了此协调方法的可行性。     

几类特殊图的最优填充

图的最优填充在稀疏矩阵计算中有重要的作用。利用图的分解定理和约化准则给出了扇形格子图Fm,n(m=1，2；n=1，2，3)和球面经纬图Gm,n(m=1；n=3，4)及(m，n)-构形等的填充数表达式，从而为确定这些图类的填充奠定了基础，并提出进一步研究的建议。     

围长≥7最大度≥5的平面图的无圈列表边染色

对图G的一个正常边染色,如果图G的任何一个圈至少染3种颜色,则称这个染色为无圈边染色.若L为图G的一个边列表,对图G的一个无圈边染色φ,如果对任意e∈E(G),都有φ(e)∈L(e),则称φ为无圈L-边染色.用a′_(list)(G)表示图G的无圈列表边色数.论文证明:若图G是一个平面图,且它的最大度Δ≥5,围长g(G)≥7,则a′_(list)(G)=Δ.     

Orlik-Solomon代数的NBC基的一个算法

文中给出了Orlik-Solomon代数NBC基的一个算法,并在计算机上进行了实现。用此算法对顶点数小于7的带号完全n点形图构形做了π-分类,计算了各类的Poincaré多项式。最后,给出猜想“带号完全n点形的相反图构形A(G)是不自由的,则完全n点形图构形A(G)是自由的”的一个反例。     

几类图的伴随多项式的分解及其色等价性分析

设Ρn和Cn分别表示具有n个顶点的路和圈,令Ψ2(,n)表示把路Ρn的一个1度点与Ρ3一个2度点重迭后得到的图,令φrm+1表示把(r-1)Cm+1的每个分支的一个2度点与Ρm+1的一个1度点重迭后得到的图,令δ=rm+1,ρφnδ表示由Ρn与φrm+1组合而成的图.我们运用图的伴随多项式的性质,讨论了图ρφnδ的伴随多项式,给出并证明了这些图簇的伴随多项式的因式分解式,进而证明了这些图类的补图的色等价性,得到了这些图的色等价图的结构特征.     

三维组合夹具元件库的建立

夹具构形设计是先进夹具自动设计系统中重要的组成部分 .合理的构形图首先要有三维组合夹具元件图 .采用 ARX技术开发了三维组合夹具元件库 ,直接为基于变异特征的夹具安装规划及构形设计系统服务 .介绍了 ARX的功能、建库方法及库的管理和应用实例 .图库包含了常用的组合夹具元件 ,还实现了相应的功能 :组合夹具元件图的插入、扩充、查询、输出及制作幻灯片等     

通有构形的特征多项式

首先, 给出广义平凡位置构形的定义, 并研究平凡位置构形、 广义平凡位置构形、 通有构形之间的关系. 其次, 通过建立构形和简单图的关系, 给出通有阈构形的子构形线性无关的充要条件以及通有阈构形的子构形的特征多项式.     

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

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

图Sp(m,m,…,m)(}r)∪(r-1)K1的补图的色等价性

令Sr l表示r 1个顶点的星，Pm表示m个顶点的路，φ(r，m)表示把Sr 1的r度点与Pm的一个1度点重迭后得到的图，S^p(m,m…,m)/r表示把rPm的每个分支的一个1度点分别与Sr 1的r个1度顶点重迭后得到的慧星图。通过研究图S^p(m,m,…,m)/r∪(r-1)K1的伴随多项式的分解，证明了其补图与图(r-1)Pm∪φ(r，m)的补图是色等价的。     

通有构形的特征多项式

首先, 给出广义平凡位置构形的定义, 并研究平凡位置构形、 广义平凡位置构形、 通有构形之间的关系. 其次, 通过建立构形和简单图的关系, 给出通有阈构形的子构形线性无关的充要条件以及通有阈构形的子构形的特征多项式.     

中心圈超平面构形

研究域K上l维向量空间V中的有限个超平面所构成的集合恰好是一个圈的中心超平面构形.计算此类构形的Orlik-Solomon代数的NBC基及它的Poincaré多项式,得到此类构形与圈图构形的关系及其可约性和超可解性.     

简单相连多边形对应的图构形的特征多项式

图构形是构形领域研究的与图相关的一类超平面构形。给出了多边形简单相连和点相连的定义, 研究简单相连多边形对应的图构形的特征多项式, 并给出其具体表达式。通过具体例子说明多边形连接方式和连接顺序的不同对图构形中超平面相交关系的影响。     

关于图的单圈划分

图的划分问题曾引起图论界的广泛关注 ,本文讨论了一般的单圈划分问题 ,利用禁用构形刻划了一个图存在单圈划分的条件 ,并进一步得到一个算法 ,有效地解决了判定一个图是否存在单圈划分 ,若存在则求其单圈划分的问题 .