有向图的拟强连通和超拟强连通性

Geller,F.和Harary,F.在文献[2]中对有向图的强连通,单侧连通和弱连通给出了几个性质定理。Berge,C.在[3]中曾定义了有向图的拟强连通。并对拟强连通与有向树的关系等给出了两个定理。本文对有向图的拟强连通和超拟强连通性得到了与[2]中相应的结果。     

《关于Kothe问题及幂零性问题》一文的注记

许永华在文〔1〕中引进了Kothe子集及R-左模同态链 归纳条件,分别给出了环成立Kothe猜测及环的任一诣零单侧理想是幂零的充要条件。 陈维新在文〔2〕中指出,可把R-左模同态链是归纳的定义本身予以减弱,而保持结论不变。     

极小子群与超可解性

本文利用极小子群及Ｓｙｌｏｗ子群的“半正规”性得到有限群超可解的若干结果。其中定理１统一地推广了文〔１〕，〔２〕，〔４〕中几个定理，定理２，３也使文〔４〕中一些结果得到进一步推广。     

RAZUMIKHIN型定理的改进及应用

在研究滞后型泛函微分方程解的稳定性过程中,Razumikhin 型定理颇被人们重视.文〔1〕指出:“它的优点在于(dv)/(dt)可直接与方程右端算子发生关系,适合具体应用问题”,本文改进了文〔2〕中的 Razumikhin 型定理,可适用于一般的滞后型泛函微分方程(RFDE),引进了强等度渐近稳定的概念,给出了一类特殊滞后系统的解具有此种稳定性的充要条件及一致渐近稳定的充分条件.     

Free-cyclic有向图的特征刻划

F.Harary等三人定义了free-cyclic有向图,并把给出Free-cyclic有向图的特征刻划作为未解决问题之一在文献[2]中提出。在本文中我们将证明有向图D的下列条件是互相等价的:(1).D是free-cyclic,(2).D中任一圈不能含有两个“互相独立”的“对角路”,(3).D中任一子图不能由某个双重圈C_k~*(k≥2)出发经有限次剖分及分裂的变换而得到。     

两种群竞争系统持续生存的条件

本文研究两种群竞争系统持续存在性和全局渐近稳定性。新近文〔２〕保持了文〔１〕的条件而推广了方程，文〔３〕减弱了文〔１〕的条件。我们则改进文〔１〕的条件，但与文〔３〕中定理１的条件互不包含，且有新意。     

半单算子与半单类

1981年,W.G.Leavitt 深入地讨论了上根算子与根环类之间的关系(文〔1〕).但对于半单算子尚未见文献论述。本文考察了任一环类在半单算子作用下的状况。文中引进的(?)-可半单类在某种意义下可认为是〔1〕中 r-类的对偶;给出了(?)可半单类的刻划并利用上正则类考察了下根 L(M)的半单类。文中还给出半单算子作用下的环类 (?)M 成为遗传根和超幂零根的半单类的充要条件;得到了 U(?)M 是超幂零根的一个充分条件。     

关于带时滞的非线性无穷(包括中立型)微分方程组解的稳定性

文〔1〕曾讨论过无穷三角矩阵组解的渐近稳定性、文〔2〕中讨论了更广泛的线性和非线性无穷方程组解的渐近稳定性.本文用文〔3〕中的引理,讨论了带时滞的非线性无穷维(更一般)微分方程组解的稳定性,所得定理一推广了文〔2〕的结果,并用同一引理和文〔6〕中的引理,讨论了具有变时滞的非线性无穷维中立型微分方程组     

多分有向图的同构因子分解——对Harary,Robinson和Wormald的等部有向图猜想的证明

本文证明了Harary,Robinson和Wormatd于1978年提出来的关于有向图同构因子分解的一个猜想,这个猜想被称为等部有向图猜想。     

二元函数全微分存在的充分必要条件

关于二元函数在一点的全微分存在的判别条件,一般教科书都是要求两个一阶偏导数在该点处连续(参见[1])。文献[2]削弱了这个条件,只要求其中一个一阶编导在该点处连续,文献[3]给出了全微分存在的另一个条件:要求两个一阶偏导数在该点的一个邻域内存在(但不要连续),及在邻域内至少存在一个有界的二阶混合偏导数。容易说明,〔2〕、〔3〕中判别条件的适用范围并不完全一样.从而〔2〕、〔3〕给出的都只是充分条件而非必要条件.讫今为止,尚未见到关于全微分存在的充分必要条件.本文将偏导数和全微分联系考虑,得到一个全微分存在的充分必要条件.作为这个充要条件的推论,可立即得出〔2〕、〔3〕中的判别条件.     

关于DNA图及其标号图的进一步研究

2007年,Wang等得到了关于不包含环的DNA标号图的一个结果,在此基础上我们推广到一般有向图上,即任何无孤立点的有向图在友关系下恰有—个等价类的充要条件,并得出几个相应的改进结果.本文还给出了一个定理的反例,进而得到定理的修正和完善.由此容易推出Wang等的一个定理的必要条件也是充分的.     

一类（k＋1）-色有向图的本原指数

本文定义了一类具有(k+1)-色(k+1)-圈的有向图D(A),得到了它本原的充要条件,并给出了它的本原指数.     

图的定向与全有效控制

本文研究有向图的全有效控制集.通过对无圈有向图结构特征的刻画,给出了简单图G在定向D下有全有效控制集的充要条件,并对几类特殊图的全有效数进行了计算.     

有向面积及其应用

本文约定用〔ABC〕,〔AB… GH〕表示△ ABC,多边形 AB… GH的面积 .设 D、E、F是△ABC的 BC、CA、AB边上的点 ,且 BDDC=l,CEEA=m,AFF B=n,文〔1〕证明了〔DEF〕〔ABC〕=1 lmn( 1 l) ( 1 m) ( 1 n) . ( 1)文〔2〕进一步指出 ,若 D、E、F 是直线 BC、CA、AB上的点 ,且有向线段之比 BDDC=l,CEEA=m,AFF B=n,则〔DEF〕〔ABC〕=1 lmn( 1 l) ( 1 m) ( 1 n) . ( 2 )但文〔2〕未加证明 ,本文给出 ( 2 )的证明 .为此 ,先介绍多边形的有向面积 .设有△ A1 A2 A3 ,当其顶点绕行方向为逆时针方向时 ,记 S =〔A1 A2 A3 〕…     

κ-path覆盖α-对角占优矩阵

利用矩阵的有向图引入k-path覆盖α-对角占优矩阵概念,讨论后k-path覆盖α-对角占优矩阵为非奇异H-矩阵(广义严格对角占优矩阵)的充要条件,进而得到了非奇异H-矩阵的新的判定条件.     

关于分块矩阵〔ABCD〕的g-逆的块独立性

本文证明了分块阵M=〔ABCD〕的g-逆有块独立性的充要条件是M适合秩可加性条件,M~+有一特定的表达式的充要条件也是M适合秩可加性条件.本文还给出了包含M的g-逆的子块的不变矩阵以及这些子块的定义方程.     

格序群的极小扭类,准素扭类和极扭类

本文给出了格序群的扭类是准素扭类的一个充分必要条件，证明了任一非零扭类至少包含一个极小扭类，从而将文〔１〕和〔２〕中在有限制条件情况下的有关结论推广到无任何限制条件的情形。本文还给出了一个扭类是极扭类的几个充分必要条件，并得到了格序群的极扭类、准素扭类和极小扭类之间的关系。     

带有定性因素均匀设计的均匀性度量准则

我们在文〔3〕中曾讨论了如何用均匀设计来安排含有定性因素的试验。在文〔1〕中所使用的均匀设计表是针对试验中全为连续因素设计的。显然 ,当试验中含有定性因素时 ,均匀性的度量和相应均匀设计表的设计都会有所不同。这是一个值得研究的课题。本文主要探讨均匀性的度量 ,并用文中提出的准则 ,对文〔1〕中一些均匀设计表的均匀性给出了数值性结果     

若干个矩阵同时化对角形的问题

引言在一些数理统计间题中,需要把若干个实矩阵同时化为对角形.例如,〔1〕中定理1 .32给出了用正交阵把若于个对称阵同时化为对角形的充要条件,     

关于广义解析拟亚正规算子

本文中算子均指 Hilbert 空间有界线性算子.算子 T 称为是 k-拟亚正规的,如果T~(*k)(T*T-TT*)T~k≥O,记为 T∈Q(k);当 k=1时称 T 为拟亚正规的,显然亚正规算子是 K-拟亚正规的.自从〔1〕中引入 k-拟亚正规的概念以来,不断有人对此类算子进行研究,特别是〔2〕给出了 k-拟亚正规算子的矩阵表示定理:T∈Q(k)的充要条件是有矩阵表示,T=((?)),满足 T_1*T_1-T_1T_1*≥T_2T_2*和 T_3~k=0.作为 k-拟