PMC模型下星图的g-好邻局部诊断度

故障诊断度对于多处理系统的可靠性至关重要,是多处理器系统互连网络能够诊断出的最大故障点的数量。研究表明,系统的诊断度总小于其最小度,然而这严重地低估了系统的诊断能力。2019年,Yin和Liang提出了g-好邻局部诊断度的定义,它可以表征系统在g-好邻条件下的局部故障诊断能力。文章证明了PMC模型下星图S_n的每个结点的g-好邻局部诊断度为(n-g)(g+1)!-1,其中0≤g≤n-2,n≥4.根据诊断度与局部诊断度之间的关系,可以推出星图的g-好邻诊断度。     

折叠超立方体网络的t/k诊断问题

为提高系统故障诊断的诊断度,Somani 和Peleg提出了t/k诊断故障策略. n维折叠超立方体网络是具有2n个顶点,(n+1)2n-1条边的(n+1)-维正则图,它是n维超立方体网络增加2n-1补边得到的.中证明了当n≥6和1≤k≤n+1时n维超立方体网络是t/k可诊断的,其中t=(k+1)(n+1)-1/2(k+1)(k+2)+1.     

排列图在PMC模型下的g好邻条件诊断度

诊断度是评估和判定多处理器计算机系统互连网络的自我故障诊断能力的重要指标。g好邻条件诊断度推广了经典的诊断度的概念,它要求每个非故障结点没有发生故障的邻点个数至少有g个。本文以PMC为模型,对排列图A_(n,k)的g好邻条件诊断度的上、下界进行讨论,最终得到了A_(n,k)在PMC模型下的g好邻条件诊断度为[(g+1)k-g](n-k).     

k度Cayley图等周数的上下界

主要讨论了k度Cayley图Gn,k的等周性质.k度Cayley图最近被设计用于构建互联网络.给出了k度Cayley图等周数i(Gk,n)的上下界.     

泡型星图网络的3限制诊断度

互连网络故障诊断的一个新的方法是g限制诊断度,该方法限制每个无故障分支至少有(g+1)个无故障节点.作为一种良好的互联网络拓扑结构,n维泡型星图BSn具有许多良好的性质.文章证明了在n≥5的PMC模型和在n≥12的MM*模型下BSn的3-限制诊断度是8n-20.     

扭立方连接网络的故障诊断分析

容错性对于互联网络来说极为重要,这是因为网络规模的扩大会导致一些元器件的脆弱性.为维持多处理机系统的高可靠性能有必要将故障处理机识别和替换下来,这一过程通常称为故障诊断分析.通过对扭立方连接网络TN n的容错性分析,确定了其在PMC诊断模型下的条件诊断度,并给出简易的t/t-诊断算法.     

泡型星图网络的3限制诊断度（英文）

互连网络故障诊断的一个新的方法是g限制诊断度,该方法限制每个无故障分支至少有(g+1)个无故障节点.作为一种良好的互联网络拓扑结构,n维泡型星图BS_n具有许多良好的性质.文章证明了在n≥5的PMC模型和在n≥12的MM~*模型下BS_n的3-限制诊断度是8n-20.     

(n,k)-星图的嵌入连通度

星图S_(n,k)的h-嵌入连通度ζ_h(S_(n,k))(h-嵌入边连通度η_h(S_(n,k)))被定义为顶点子集(边子集)的最小基数,如果存在,将其删除后Sn,k不连通而且连通分支的每个顶点都位于h-维的子网络Sh,l,其中0≤h≤n-2且l≤k.本文研究了星图S_(n,k)的h-嵌入(边)连通度,对于k=2,3和0≤h≤n-2,确定了ζ_h(S_(n,k))和ηh(S_(n,k))的值.     

Sierpiński-like图的条件着色

分别对Sierpiński-like图的条件着色进行研究,分别给出S~+(n,k)图与S~(++)(n,k)图的条件色数.对于S+(n,k)图,当n≥2时,若1≤r≤k-1,则χ_r(S~+(n,k))=k;若r≥k,n为奇数时,χ_r(S~+(n,k))=k+1,n为偶数时,χ_r(S~+(n,k))=k+3.对于S~(++)(n,k)图,当n≥2时,若1≤r≤k-1,则χ_r(S~(++)(n,k))=k;若r≥k,χ_r(S~(++)(n,k))=k+1.     

BC网络的g-超条件诊断度

多处理器系统的故障诊断是一个重要的研究课题。g-超条件诊断度是于2016年提出的度量系统自我故障诊断能力的一类新的参数,它是在每个非故障结点组成的分支至少包含g+1个顶点的假设下,系统G能够一次性识别的故障结点的个数。g-超条件诊断度能够更精确地度量异构环境下系统互连网络的自我故障诊断能力。文章研究了n-维双射连接(BC)网络在PMC和MM*模型下的g-超条件诊断度,给出了n-维BC网络在两种模型下g-超条件诊断度的下界。在此基础上,确定了超立方体在PMC和MM*模型下g-超条件诊断度,改进了相关结果。最后,我们给出了当1≤g≤3时,BC网络在PMC和MM*模型下的g-超条件诊断度的计算公式。     

Wiener指数,Hyper-Wiener指数与泛圈图

设G=(V,E)为n阶简单连通图,若对每一个k(3≤k≤n),都含有长度为k的圈Ck,则称G为泛圈图。本文主要利用图及其补图的Wiener指数、hyper-Wiener指数,给出具有最小度条件的简单连通图是泛圈图的充分条件。     

图中具有指定性质的独立4-圈

主要给出了图G恰好含有s个K3和k-s个K4的最小度条件即:设G是一个简单图,s,k是两个正整数且s k,其中G的顶点个数n≥3s+4(k-s)+3,如果G中任意两个不相邻顶点的最小度之和σ2(G)≥4n-3s-8/|2|或者最小度δ(G)≥3n+2k-s-2/4,则G包含k个顶点不相交的圈C1,C2…Ck,并且Ci=K3其中1≤i≤s,Cj=K4其中sj≤k.     

分层立方网络在MM~*模型下的g好邻条件诊断度

诊断度在衡量互联网络可靠性方面有着重要的作用。许多著名网络的诊断度已被研究。g好邻条件诊断度扩展了传统诊断度的概念,它要求每个非故障处理器至少有g个非故障邻点。本文证明了分层立方网络HCNn在MM*模型下的1-好邻条件诊断度为2n+1,2-好邻条件诊断度为4n-1.     

图的圈和路剖分

设G是一个顶点数为n的图,k为任意正整数且k≤n．Hikoe Enomoto和李浩证明了：如果一对不相邻顶点的度和至少为n-k 1,其中k≤n，则除了k=2，G=G5,G能被剖分成k个子图Hi，l≤i≤k，其中Hi是圈或K1或K2．本文中证明了任何一对不相邻顶点的度和至少为n-k，则G能被剖分成k个子图Ki,l≤i≤k，其中Hi是圈或是路．     

含有全部K元排列的短数列

设n,k都是正整数,k≤n。设函数F(n,k)具有下述性质:存在一个长度为F(n,k)的数列S_(n,k,)对每一个i,1≤i≤k,它的前F(n,i)项以1,2,…,n的全部i元排列为其子数列,并且任何长度小于F(n,k)的数列不再满足这一条件。本文证明了下面的, 定理设1≤k≤n-1,F(n,k)的定义如上所述,则 F(n,k)≤k(n-1) 1-[k/6]-[(k 2)/6]这里[x]表示实数x的整数部分。     

k度Cayley图顶点等周集的若干性质

主要讨论了κ度Cayley图G_(n,k)的顶点等周集的若干性质.κ度Cayley图被设计用于构建互联网络.证明了对于满足κ≥5的κ度Cayley图.没有部分覆盖任意一个完全子图的顶点等周集是肯定存在的.     

K度Steiner问题

给定平面上n个固定点 (称为正则点 )的集合N和m =n - 2k- 2 个可动点 (称为Steiner点 )的集合M ,其中k( 3≤k≤n)是确定的正整数 要求互联点集V =N∪M的网络的拓扑在正则点的度为 1 ,Steiner点的度不超过k ,这种网络称为k度网络 确定m个Steiner点的位置 ,使互联这n m个点的k度网络总长度最短 显然这个最短的k度网络一定是树 ,我们称这个树为k度Steiner最小树 (kDSMT) ,并称这个问题为k度Steiner问题 本文得到了kDSMT的一些结构特征 ,并提出了一些有待进一步研究的问题     

关于κ-超竞赛图的度序列

本文给出了当k=4,n＞k时,非降的非负整数序列S=(s1,s2,…,sn)为某一k-超竞赛图的度序列的一个充要条件,即对任意的r(1≤r≤n),有 r∑i=1 si≥(r 2)(n-2 k-2), 且当r=n时取等号.本文的结果是文献[1]中的关于k-超竞赛图的度序列拓展为k=4的情形.     

C_(2j+1)∪C_(2k)类与P_n~k类调和图

证明了 Seoud等当 k≥ 3时 C3 与 C2 k的不相交并 C3 ∪ C2 k为调和图的猜想 ,并扩展该结果 ,证明了 C5 ∪ C2 k( k≥ 2 )是调和图 ;给出猜想 C2 j+ 1 ∪ C2 k( j≥ 1,k≥ 2且 ( j,k)≠ ( 1,2 ) )是调和图 .证明了幂图 P4n( 8≤ n≤ 17)与 P5 n( 14≤ n≤ 17)是调和图 ,否定了 Seoud等关于当且仅当 1≤ k≤ 3时 Pkn( 1≤ k≤ n -1)是调和图的猜想 .给出了相反的猜想 :当 n≥ n0 ( k)时 Pkn是调和图 ( n0 ( k)为依赖于 k的足够大的整数 )     

半群T_n(k)的正则性和Green关系

设T_n是[n]={1,…,n}上的全变换半群.对任意1≤k≤n,令Tn(k)={α∈T_n|x∈[n],x≤kxα≤k},则Tn(k)是Tn的子半群.刻画了半群GT_n(k)的正则元的特征,并描述了该半群上的Green关系.