芭蕉扇的细分图T_n~*的和数

芭蕉扇T_n指在扇F_n=P_n(?)K_1的轴K_1上悬挂一条边所得的图,该边叫T_n的柄,P_n上的边叫缘边,其余边叫辐。芭蕉扇细分图T_n~*是T_n的缘边各剖分一次所得的图。本文证明了芭蕉扇细分图T_2~*是模和图,且σ(T_n~*)(?)=2,n=2、3,≤2,n≥4     

一种利用二叉树来实现逻辑表达式自动推导的算法

探讨了如何利用二叉树来设计逻辑表达式在计算机上的逻辑结构和存储结构,以及在这种结构上如何实现逻辑表达式的基本运算,进而实现其他复杂的表达式自动推导.     

Forbidden Subgraphs, Distance,and Hamiltonicity

ＦｏｒｂｉｄｄｅｎＳｕｂｇｒａｐｈｓ，Ｄｉｓｔａｎｃｅ，ａｎｄＨａｍｉｌｔｏｎｉｃｉｔｙＨＵＺｈｉｑｕａｎＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＨｕａｚｈｏｎｇＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ，Ｗｕｈａｎ４３００７０Ａｂｓｔｒａｃｔ：Ａｇｒ...     

K2s,2t-设计的存在性

Kν是ν点完全图，G为不带孤立点的简单图。Kν的G－设计常记为（ν，G，1）－GD，是指一个对子（X，B），其中X为Kν的点集，B为Kν的一些子图（亦称为区组）构成的集合，使得任一区组均与图G同构，且Kν的任意2个不同点组成的边恰在B的一个区组中出现。采用统一的方法构造了K2^s,2^t-设计，并给出其存在谱如下：存在（ν，K2^s,2^t,1)-GD当且仅当ν≡1(mod 2^s t 1),s,t≥0。     

自动导引车系统的有色时延PN-有向图建模

基于有色时延Petri网理论、有向图理论、PN的合成和简化技术,结合烟草行业的卷接包车间为典型实例对自动导引车系统(AGVS)进行分析,构造了AGVS的有色时延Petri网-有向图模型,包括适合于仿真软件开发的AGVS有色时延Petri网模型,适合于路径优化研究的AGVS有向图模型和从有向图模型得到有色时延Petri网模型的转换算法。利用该模型成功的开发了AGVS仿真软件系统AGVSim。     

几类7点7边图的图设计与最优填充

设λKv是λ重ν点完全图，G是无孤立点的有限简单图。将G－设计（G－填充）记作（ν，G，λ）－GD（（ν，G，λ）－PD）是指一个序偶（X，B），其中X是完全图Kν的顶点集，B是Kν中间构于G的子图（区组）的集合，使得Kν中每条边恰好（至多）出现在B的λ个区组中。讨论了3类7点7边图Gi(i=1,2,3)的图设计及最优填充问题，并给出了（ν，Gi,1)-GD及（ν，Gi,1)-OPD(i=1,2,3)存在的谱。     

最小度与[a,b]-k-对等图

设G=(V(G),E(G))是一个n阶图,1≤an+(a+b)-2■bn-2k+1,则G是[a,b]-k-对等图。推广了已有的结果。     

A 2－FACTORIZATION ORTHOGONAL TO A STAR IN A GRAPH

Ａ２－ＦＡＣＴＯＲＩＺＡＴＩＯＮＯＲＴＨＯＧＯＮＡＬＴＯＡＳＴＡＲＩＮＡＧＲＡＰＨ￥ＬＩＵＧｕｉｓｈｅｎ（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，ＳｈａｎｄｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｊｉｎａｎ２５０１００，Ｃｈｉｎａ）Ａｂｓｔｒａｃｔ：Ｌｅ...     

Intelligent Information Management and Knowledge Discovery in Large Numeric and Scientific Databases

ＩｎｔｅｌｌｉｇｅｎｔＩｎｆｏｒｍａｔｉｏｎＭａｎａｇｅｍｅｎｔａｎｄＫｎｏｗｌｅｄｇｅＤｉｓｃｏｖｅｒｙｉｎＬａｒｇｅＮｕｍｅｒｉｃａｎｄＳｃｉｅｎｔｉｆｉｃＤａｔａｂａｓｅｓＰａｔｒｉｃｋＰｅｒｒｉｎ；ＦｒｅｄｅｒｉｃｋＥ．Ｐｅｔｒｙ＆Ｗｉｌｌｉ...     

系列平行图的围长和分数色数

讨论了系列平行图的围长和分数色数的关系，给出了系列平行图的分数色数的一个上界．