G_2型Shi-Catalan构形的自由性

G2型Shi-Catalan构形是二维空间中的重构形,它是将G2型Weyl构形在同一轨道中的超平面赋予相同的重数而得到的构形。给出了G2型Shi-Catalan构形的4种具体形式,通过将构形投影到射影平面计算构形中超平面交点个数的方法,证明了G2型Shi-Catalan构形的锥构形都是自由的。     

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

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

类自由构形及其区域个数

主要介绍了一类新的超平面构形即类自由构形,并运用Whitney定理得到了n维向量空间中自由构形的特征多项式及区域个数,推广了n维向量空间中自由构形的相关结论.     

变形广义Shi构形的单根基

设Sk表示广义Shi构形的锥构形。已有文献证明了Sk的导子模的单根基的存在性,并给出了B_Γ~+和B_Γ~-的自由性的判断,它们分别是Sk添加和去掉若干单根定义的反射超平面形成的构形,称B_Γ~+和B_Γ~-为变形广义Shi构形。借助正单根基和负单根基,利用Saito准则明确构造出B_Γ~+和B_Γ~-的导子模的基底,并计算了它们的指数。     

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

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

二维欧氏空间中混杂构形的Mbius函数

研究了二维欧氏空间中一类新的混杂构形,即由直线构形和若干个圆组成的混杂构形,这是以往所研究的混杂构形的推广形式.并且利用Hasse图得到了此类混杂构形的相交偏序集的Mbius函数值公式.作为公式的应用,给出了两个具体的例子.     

利用重影理论的三视图构形多样性分析

为了确保二维工程图样在实际工程应用中表达的唯一性,避免出现构形多样性,基于正投影法和重影点理论,提出了重影线和重影面的概念;从理论上分析了直线和平面投影的空间位置和形状的不确定性,进而研究三视图构形多样性的形成原因和视图特征,提出了工程设计中三视图构形多样性的解决方案。     

通有构形的特征多项式

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

M(o)bius function of the mixed arrangement in two-dimensional Euclidean space

研究了二维欧氏空间中一类新的混杂构形,即由直线构形和若干个圆组成的混杂构形,这是以往所研究的混杂构形的推广形式.并且利用Hasse图得到了此类混杂构形的相交偏序集的M(o)bius函数值公式.作为公式的应用,给出了两个具体的例子.     

通有构形的特征多项式

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

乘积构形的良划分性

已知乘积构形为超可解构形充要条件是每个因子构形都是超可解构形,将此结论推广到良划分构形,证明了乘积构形(A1×…×Ak,V1…Vk)为良划分构形的充要条件是因子构形(Ai,Vi),1≤i≤k都是良划分构形。     

超平面中心构形可约性的研究

讨论了中心构形的可约性。对超平面中心构形 构造了拟阵 ，在超平面构形和拟阵之间建立了对应关系。证明了中心本质构形 不可约当且仅当对应的拟阵 连通；且每一个超平面中心构形都可以分解成若干个不可约构形的乘积，并在不计因子次序意义下，这种分解是惟一的。     

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

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

关于平面构形的特征多项式的研究

对三维欧氏空间中平面构形的特征多项式进行了研究。用代数与几何的方法，以特征多项式为不变量，把平面个数不多于5的构形进行了分类，同时计算了空间中一些图形有规律的非中心平面构形的特征多项式。     

平面线构形的φ3不变量

研究了二维非中心构形的Ф₃不变量。对一类特殊的线构形证明了其Ф₃等于长度为3的极小圈个数的两倍。这从一个侧面回答了Falk提出的关于Ф₃的组合意义的一个问题。     

构形的特征多项式和超可解性的算法

给出了中心构形的系数矩阵、特征矩阵的定义,证明了中心构形的秩等于其系数矩阵的秩,将求构形的特征矩阵问题转化为系数矩阵的子矩阵求秩问题,给出中心构形的特征多项式的算法。研究了模元的一些性质,给出判断模元的一个等价条件,利用此条件简化判断模元的过程,给出判断中心构形超可解性的算法。     

可约中心构形因子分解的应用

研究了可约超平面中心构形因子分解的应用.得到了可约中心构形与其因子构形的麦比乌斯函数和庞加莱多项式之间的关系;并且利用线性代数的基本性质给出了构形超可解性的一个定理的证明：若中心构形A1,A2,L,Acc是超可解构形,那么它们的乘积构形A=A1×A2×L×Acc也是超可解的.