活载作用下简支梁弯矩包络图的分段原理

在一组活载作用下简支梁的弯矩包络图是一个分段函数的图形．本文提出了它的一般分段理论与建立分段函数的方法．     

A.J.Schwenk猜想的证明

本文证明了偶图G的特征多项式P(G;X)=sum from k=0 to m ((-1)~ka_(2k)x~(n-2k))的系数a_(2k)是单峰的.因为树是偶图,所以A.J.Schwenk关于树的特征多项式的系数具有单峰性的猜想可由本文的结论直接得到验证.     

P—V图与热力学第一定律中的诸量

通过讨论热力学系统在准静态过程中ΔＥ、Ａ、Ｑ诸量与Ｐ－Ｖ图中过程曲线之间的关系，可直接从Ｐ－Ｖ图上判断内能的增减，做功正负及热量交换的方向。     

与星下在交的[0,ki]^m1—因子分解

设Ｈ是图Ｇ的任一个具ｍ条边的星，即ｍ－星。证明了，对任给的ｍ个整数ｋ１，ｋ２，ｋ１，．．．，ｋｍ，当对任意的ｘ∈Ｖ（Ｇ）有ｄＧ（ｘ）≤ｋ１＋ｋ２＋．．．＋ｋｍ－ｍ＋１时，Ｇ有一个「０，ｋｉ」＾ｍ１－因子分解与Ｈ正交。     

一个群论公式及其应用

一个群论公式及其应用①肖文俊（厦门大学数学研究所厦门３６１００５）在以下的讨论中，均假定Ｇ为一有限群，Ｓ为Ｇ的一个生成集，１Ｓ，Ｓ＝Ｓ－１．现设Ｌ为群Ｇ的任一子群，｜Ｇ：Ｌ｜＝ｎ，那么有如下公式定理ＡＧ＝Ｌ（１∪Ｓ）Ｓｎ－２．这一公式的证明相当简短...     

pqr阶Cayley图的边-Hamilton性的一个注记

设G为限群，|G|=pqr,p,q,r为相异素数，M是G的一个生成集，作者证明了若M中含有p阶正规元，则Calyley图X（G，M）是边-Hamilton图     

主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

关于几类图的L(3,2,1)-标号问题

图G的L(2，1)-标号是一个从顶点集V(G)到非负整数集的函数f(x)，使得若d(x，y)=1，则|f(x)-f(y)|≥2；若d(x，y)=2，则|f(x)-f(y)|≥1．图G的三(2，1)-标号数λ(G)是使得G有max{f(v)：v∈V(G)}=k的L(2，1)-标号中的最小数k．该文将L(2，1)-标号问题推广到更一般的情形即L(3，2，1)-标号问题，并得出了Kneser图、高度不正则图、Halin图的λ3(G)的上界．     

卡诺图法化简异或逻辑函数

探讨了卡诺图化简异或逻辑函数的原理，提出了化简异或逻辑函数的新方法。     

P2×C5的全染色

令Pm=u1u2...um,Cn=ν1ν2...vnν1,则定义图Pm×Cn,(m≥2,n≥3)为V(Pm×Cn)={wij|i=1,2,…,m;j=1,2,…,n},E(Pm×Cn)={wijwrs|wij,wrs∈V(Pm×Cn),且i=r,νjνs∈E(Cn)或j=s,νiνr∈E(Pm)}.从而得到了图P2×C5的全色数.