广义BabyTKK代数的Boson-fermion场下的不可约模

研究对应于欧式空间中最小（非格）半格S的babyTKK李代数^g（T（S））的泛中心扩张广义babyTKK代数^g（T（S））的一类boson-fenmion场下的不可约表示，这里T（S）为半格S∈R^υ（υ=2）上的Jordan代数。     

涉及两个单形的一类不等式及其应用

应用解析方法和几何不等式理论研究了n维欧氏空间En中涉及两个n维单形的几何不等式问题,建立了涉及两个单形及其内点的一类不等式.作为其应用,获得了n维单形与其垂足单形的体积的一类关系式,改进了关于垂足单形体积的几类几何不等式.     

Halin图的一个点强全染色法

针对Halin图的点强全染色问题,提出一个有效的染色法———逐圈着色法,而且方法给出的方案也是最优的,即用最少的颜色完成Halin图的点强全染色.同时还确定了最大顶点度是3的Halin图的点强全色数的上下界,即上界为6,下界为5.     

关于一类立方图的可圈性研究

设G为无向图,如果对G的每一个定向D,都存在S（D）包含V（G）使在D中改变所有恰与S（D）中一个顶点相关联的弧的方向后所得的图为有向哈密尔顿图,则称G为可圈图．Klostermeyer和Soltes证明了P4k^3（k≥1）是不可圈图,现证明对任意整数n≥3,Pn^3是可圈图当且仅当n为奇数．     

B-Rep模型重构中切割点和内点问题

基于投影理论讨论了匹配投影边组特性,以及对应的空间边包含空间顶点为内点(因与其他空间边重叠,所以该边是无效的)或隐含了切割点(常规方法无法求得的形体顶点)的条件,以此为基础提出了防止生成重叠边、求切割点的新方法.     

仿射李代数sl(2,(C))的顶点算子表示VQ上的顶点代数结构

根据李代数的表示理论,研究了仿射李代数sl(2,(C))的顶点算子表示VQ的顶点算子结构,通过形式级数的计算方法,证明了VQ是一个顶点算子代数.     

密钥覆盖问题的NP完全性证明

 给出了密钥覆盖问题的模型建立过程,并从顶点覆盖问题的判定形式出发,证明了密钥覆盖问题的判定形式是NP完全问题,为组通信安全的研究,尤其是多播安全的研究奠定了更为坚实的基础.     

关于图是可迹或1—哈密尔顿的两个充分条件

设G是一个图，G的独立集Y称为本质集，如果存在[y1,y2}属于Y，使得dist（y1,y2）＝2。利用插点方法，给出了关于（k-1）或(k 1)－连通（k≥2）图G是可迹的或1－哈密尔顿的统一证明。     

多叶生成树及N.Linial猜想

利用简单图G 的最小支配集顶点数γ刻画了该图的最多叶生成树中叶数的下确界。即 L(G)≥n-3γ+2。其中 L(G)表示图 G的生成树的叶数,n是G 的顶点数。同时对于 N.Linial 关于r-正则留图的最多叶生成树叶数的猜想公式 L(G)≥n·((r-2)/(r+1))+d 中的 d做出了估计,即 d≤(r+4)/(r+1) r=2k d≤(r+7)/(r+1) r=2k+1     

估计n-连通图中非基本边的数目

利用Atom的概念和Halin定理的几个结果,对n-连通图中非基本的数目做了估计,以γ(G)表示图G中非基本边的数目,得到了关于γ(G)的3个定理,其中定理1是Halin定理的推广。