HCH-立方体在比较模型下的可诊断性

新型并行处理系统的研制依赖于对新的互连网络的结构和它们的性质的研究,超立方体和交叉立方体是流行的互连网络,它们都有优点也有缺点.对由超立方体和交叉立方体构成的HCH-互连网络的可诊断性进行了研究,证明了当n≥4时,n维HCH-立方体互连网络在比较模型下的可诊断性为n,与超立方体和交叉立方体在比较模型下的可诊断性相同.     

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

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

星图网络的定向图

主要研究了星图网络Sn的定向图.证明了如下结论:对于非负整数a和b,若存在满足每个顶点的入度或者是a或者是b的一个Sn的定向图,则存在非负整数s和t满足方程s+t=n!和as+bt=(n-1)/2.进一步,对于满足特定条件的非负整数a,b和n,存在Sn的定向图使得每个顶点的入度或者是a或者是b.     

关于齿顶边星图的优美性

在齿轮图.的每个齿的齿顶分别加上 m_1,m_2,…,m_n,条悬挂边后构成的图称为齿顶边星图,记为,(m_1,m_2,…,m_n).本文给出了、(m_1,m_2…,m_n)的优美标号,从而证明了.(m_1,m_2,…,m_n)是优美图;当m_1=m_2=…,m_n=k 时,(k,k,…k)即为 k 顶边星图,于是解决了“所有的 k 顶边星图都是优美图”这一猜想.     

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

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

关于加强超立方体互连网络的可诊断性的另一种证明方法

ｎ维加强超立方体是具有２＾ｎ个顶点，（ｎ＋１）２＾ｎ－１－正则图，它是通过对ｎ维超立方体增加２＾ｎ－１条边得到的。在「１」中证明了基于ＰＣＭ模型的ｎ维加强超立方体在精确诊断策略征是（ｎ＋１）－可诊断的，在悲观诊断策略下是（２ｎ）／（２ｎ）－可的，但在证明很繁琐。     

关于高能强子碰撞多重产生的分裂模型

本文计算了分裂模型的多重数矩比的值,在将其与实验值比较后,讨论了模型与实验的符合的情况。文章还导出了分裂模型的多重数分布的一种递推关系,并运用部分受激发射机制,讨论了这种递推关系的物理意义。     

基于算子分裂的图像分割模型及其快速算法

针对带有纹理和噪声的图像,在Mumford-Shah模型的基础上,提出一种基于算子分裂的图像分割模型.数值求解采用AOS与Newton迭代相结合的方法,不仅解决了参数难以选择的问题,还扩大了时间步长的调节范围,提高了算法稳定性.实验结果表明,本文算法在分割过程中可以很好的处理拓扑结构,有效地避免了纹理(或噪声)对分割效果的影响,并且具有较高的计算效率.     

图像去噪LOT模型的分裂Bregman方法

基于分裂Bregman方法具有较快的收敛速度以及在迭代过程中保持正则化参数为一个常数的优点,提出用分裂Bregman方法来解图像去噪LOT模型的第2步.实验表明,与原始的梯度下降法相比较,该算法具有较快的收敛速度,又能较好地复原图像.     

多处理器互连网络诊断性和容错性的细胞图自动机算法

本文将细胞图自动机概念引入多处理器互连网络，并用细胞图自动机设计了多处理器互连网络上的多项式级诊断和容错算法，从而给出了研究互连网络诊断性和容错性的另一种有效方法。     

基于模型检测的实时模型诊断方法

提出一种基于模型检测的实时模型诊断方法. 利用 模型检测算法对大状态空间系统验证的高效性, 使诊断系统能够更快地进行模型诊断, 并对这种方法进行了系统实现, 结果表明, 此方法可行、 有效.     

基于TV-Stokes模型的分裂型图像放大算法

文中提出了一种基于TV-Stokes模型的分裂Bregman图像放大算法。第一步,考虑切向量的散度约束为零,模型转化为一个类Stokes型方程。第二步,采用快速的分裂Bregman迭代算法重构放大图像。数值实验中,通过与双线性插值、LLT模型图像放大方法进行比较,表明了文中算法的有效性。     

互连网络诊断性与容错性的细胞图自动机算法的串行模拟

本文对作者以前提出的细胞图自动机算法,给出了串行模拟结果,特别地给出了这些串行模拟程序对几种重要的互连网络如超立方体,交叉立体和Ｍｏｂｉｕｓ立方体模拟的一些具体结果及效率分析．     

(v,3×4,1)-分裂平衡不完全区组设计的存在性

设(υ,u×c,λ)-SBIBD表示一个阶数为υ区组大小为u×c指数为λ的分裂平衡不完全区组设计.(υ,u×c,λ)-SBIBD存在的必要条件是υ≥uc,λ(v-1)=O(rood c(u-1))和λυ(υ-1)=O(mod c2u(u-1)).对分裂平衡不完全区组设计的研究不仅有它的理论意义而且它和设计理论、图论以及分裂认证码有着密切的联系.文章利用差的方法和递推构作方法证明了当υ=1(mod 96)时,存在(υ,3×4,1)-分裂平衡不完全区组设计.作为它的应用得到了一类最优4-分裂认证码.     

实方阵的对称与正交和分裂的存在性与惟一性

证明了n阶实方阵的对称与正交和分裂定理 ,即在一定条件下 ,一个实方阵可以惟一地分裂成一个对称矩阵与一个正交矩阵之和 ,在更一般意义下 ,可惟一地分裂成一个对称矩阵与一个正交矩阵的常数倍之和。     

一类渗流模型弱解的存在性

主要研究三维渗流数学模型弱解的存在性,通过求问题(Ⅰn)的古典解的弱极限得到问题(Ⅰ)的弱解的存在性,并得到相应的比较原则.     

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-超条件诊断度的计算公式。     

非对称模型下的顺序诊断算法

讨论了顺序ｔ－可诊断系统的诊断算法问题。在Ｍａｌｅｋ和ＢＧＭ模型下，分别提出了一种顺序诊断算法，这些算法在测试图是二部图的情形下都是多项式时间复杂性的。     

一种基于平均曲率的彩色图像去噪分裂模型

基于平均曲率模型并结合彩色图像通道的耦合关系,构造了彩色图像局部和全局的平均曲率分裂模型.分裂的彩色图像去噪模型简化了高阶模型强的非线性性和正则性,从而可以设计更加简单的数值算法.通过数值实验的对比发现分裂模型有更好的恢复质量并能有效地减少全变差模型的阶梯效应.     

一种模型不完备条件下的诊断方法

基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,在此基础上提出了一种针对模型不完备条件下的诊断方法,使得经典的诊断方法对于模型的依赖程度有所降低,从而解决了模型不完备给诊断问题所带来的困难.最后将这种方法和模型完备时的诊断效果做了比较.