语言族的L-替换性与L-强替换性

本文定义了语言族的 L-替换性与 L-强替换性,并运用语言族 L-积分这一工具对 L-替换性及 L-强替换性进行刻划,分别得到了充要条件。     

含有奇异元件的有源线性网络计算机辅助分析

本文讨论了含有奇异元件的有源线性网络计算机辅助分析的问题,并提出了能解决问题的有效算法。根据本算法,用Pascal语言编写的UECAD程序,是个通用程序,可用以对任何线性电路,同时作可解性问题,复杂度问题,状态方程问题和输出方程问题的分析。这个程序曾在IBM-PC机上运行,效果很好。     

有向图的特征多项式及其与图的某些整体性质的关系

本文引入有向图的特征多项式、反图、对称闭包等概念。初步探讨它们与图的某些整体性质的关系。推导出由特征多项式的系数表示的线图(无重边图)中圈的个数,双向结点对个数,单向结点对个数及简单图中有向三角形个数的计算公式,等等。     

圈与完全偶图的笛卡尔乘积的联结数

本文给出了圈与完全偶图的笛卡尔乘积的联结数计算公式,证明了如下定理:这里S≥3,m≥2,n≥2,l=min{m,n},均为整数.     

Q-紧性与强T_2分离性

在不分明拓扑学中,紧性是被普遍关心的问题,而且作了较为深入的研究,得到了一系列较好的结果,如文献[1—5],本文目的是在文献[6]中提出的拓扑分子格理论的框架下,首先是借助于完全分配格中元的成分概念把不分明拓扑空间中的Q-紧性概念推广到拓扑分子格中;其次是对于完全分配格中的不可比分子在拓扑分子格中引入了强T_2分离性概念。     

线图连通度的界

首先给出了线图连通度K_L的一个上界:K_L≤δ+Δ-2;其次得出了在条件δ≥[n/2]+1下K_L的一个很好的下界:K_L≥2δ-2;由此得到当δ≥[n/2]+1时,若G为正则图,则K_L=2δ-2,若G为拟正则图,则K_L=2δ-2或2δ-1.     

拟正则图的最大线图连通度及其应用

引入了则（ｐ，ｑ）图的最大线图连通度Ｒ（ｐ，ｑ），得到上、下界至多相差１的Ｒ（ｐ，ｑ）的取值范围：２ｍ－２≤Ｒ（ｐ，ｑ）≤２ｍ－２＋［２ｍｒ＋ｒ／ｍｐ＋ｒ］，其中ｍ＝［２ｑ／ｐ］，ｒ＝（２ｑ）ｍｏｄｐ。将此结果应用于容错多总线系统的最优设计，提出了两类最优容错设计，推广了已有结果，并揭示出处理机个数相对于总线条数较大时最优容错设计的广泛存在性。     

关于HOVEY的一个猜想

证明了Ｈｏｖｅｙ在１９９１年的一篇文章中提出的一个猜想，并弥补了Ｈｏｖｅｙ在同一篇文章中一个定理证明中的漏洞．类比ｋ－忠实标号对图的调和标号的推广，优美标号做了进一步的推广。     

几类乘积图的圈覆盖

文献［１］提出猜想：每个２─连通ｎ阶简单图都有一个圈覆盖Ｃ，使得｜ｃ｜≤（２ｎ－１）／３。此猜想至今尚未完全证实。本文对路、圈、完全图的若干笛卡尔乘积图和张量乘积图证实了猜想是正确的。     

关于最小欧拉定向的算法

给出了无向边集是支撑树的混合图为欧拉图的充要条件，在此基础上，结合Guan和Pulleyblank算法，给出了另外一种求解最小欧拉定向的算法。