Consecutive-(r,f,k)out-of-n:F和Consecutive(f,g)-out-of-(r,n):F线性系统的可靠性

Consecutive-(r,f,k)-out-of-n:F系统由n个单元顺序连结而成,仅当在连续的r个单元中,至少有f个失效或者至少连续k个失效,整个系统才失效;而Consecutive-(f,g)-out-of-(r,n):F系统由n个单元顺序连结而成,仅当在整个系统中至少有f个失效或者在连续的r个单元中,至少有g个失效,整个系统才失效。本文运用马氏链嵌入方法,在单元之间相互独立以及单元之间马氏相关这两种情况下,给出线性系统的可靠性。     

相关性失效k/n(G)系统结构函数-可靠度计算的等效映射表征

以全概率分解、递推法、结合幂等律运算给出并验证了k/n(G)系统结构函数-可靠度计算的映射表征,从而构成两者等效条件。引入Copula函数的相关理论,分别建立零部件相关性失效的同型、非同型单元k/n(G)系统可靠度预计模型,借助于结构函数-可靠度计算的映射表征,给出相关性失效k/n(G)系统一般性结构函数解析式,进而完成相应的结构重要度、失效灵敏度等应用分析。     

关于图是(g,f,n)-临界图的充分条件

设G是一个图. 设g和f是两个定义在V(G)上的整值函数使得对V(G)所有的顶点x有g(x)f(x). 图G被称为(g,f,n)-临界图,如果删去G的任意n个顶点后的子图都含有G的(g,f)-因子. 本文给出了图是(a,b,n)-临界图几个充分条件. 进一步指出这些条件是最佳的. 例如,如果对V(G)所有的顶点x和y都有g(x)＜f(x), n+g(x)dG(x)和g(x)/(dG(x)-n)f(y)/dG(y),则G是(g,f,n)-临界图.     

(m,n)模糊超环

介绍(m,n)超环等一些相关概念,之后将(m,n)超环模糊化,给出(m,n)模糊超环的定义,初步探讨(m,n)模糊超环的结构和性质,分析(m,n)模糊超环在同态下的不变性。     

二元叠加码M_q(n,k,d)的线性性质

二元叠加码M_q(n,k,d)是一个非适应性分组测试算法的数学模型,它是一个d-disjunct矩阵.利用有限域F_2上向量的计算法则研究了二元叠加码M_q(n,k,d)的线性性质,分别得到了M_q(n,k,d)存在线性性质和不存在线性性质的条件,为进一步研究M_q(n,k,d)提供了依据.     

(n,k)-排列图的条件连通度(英文)

点连通度是衡量互联网络容错性的一个重要参数.尽管点连通度能正确地反映了系统的容错性能,但是不能正确反映大规模网络的健壮性能.条件连通度通过对各分支附加一些要求(当整个网络被破坏时)来克服这个缺点.给定一个基于图G的网络和一个正整数l,G的R~l-连通度,记为k~l(G),定义为图G的最小节点子集的节点数,使其去掉后,G是不连通的,且每个分支的最小度至少是l.在本文中,我们得到了(n,k)-排列图的条件连通度k~l(A(_n,k))=[(l+1)k-l](n-k)-l,其中k≥l+2,n≥k+l.     

二元叠加码M_q(n,k,d)码的平均汉明距离和均方差

根据二元叠加码(Binary Superimposed Code)M_q(n,k,d)的定义及有限域F_q上n维向量空间的k维子空间的维数性质定义了一个高斯组合函数,利用这个组合函数研究了M_q(n,k,d)码的平均汉明(Hamming)距离和它的均方差问题,给出了计算公式.     

(a,b,n)-临界图的几个充分条件

设G是一个图 .设g和f是两个定义在V(G)上的整值函数使得对V(G)所有顶点x有g(x) ≤f(x) .图G被称为 (g ,f,n) 临界图 ,如果删去G的任意n个顶点后的子图都含有G的 (g ,f) 因子 .本文给出了图是 (a ,b ,n) 临界图几个充分条件 ,即度和邻域条件 .进一步指出这些条件是最佳的 .     

一个关于图是分数(k,n)-临界的邻域并条件

设G是一个图,以及k是满足1≤k的整数.一个图G在删除任意n个顶点后的子图均含有分数k-因子,则称G是一个分数(k,n)-临界图.给出了图是一个分数(k,n)-临界图的一个邻域并条件,并且该条件是最佳的.     

广义(m,n)超环

本文研究了广义(m,n)超环,n元正则关系以及n元强正则关系等的一些性质.利用广义(m,n)超环间的同态关系以及正则和强正则关系,得到了(m,n)子超环和(m,n)超理想的不变性,广义(m,n)超环的商结构,以及构成商超环和商环的充分必要条件,推广了文献[5]的一些结果.     

(m,n)-树的一个充分必要条件

通过引进(m,n)-洞的概念,推广了已有的结论,得到了(m,n)-树的一个新的充分必要条件.     

修理设备可更换的k/n(G)表决可修系统

研究了修理设备可更换的k/n(G)表决可修系统,其中修理设备在修理故障部件时可能发生失效.假定部件和修理设备的寿命服从负指数分布,故障部件的修理时间和修理设备的更换时间服从一般分布的条件下,利用马尔可夫更新过程理论和拉普拉斯变换(Laplace-Stieltjes变换),分别讨论了系统首次故障前的平均时间,可用度,故障频度及修理设备的不可用度和失效频度,获得了相关指标的递推表达式.在此基础上,给出了1/2(G)表决可修系统和(n-1)/n(G)表决可修系统相关可靠性指标的表达式.     

考虑n中连续取k失效准则的树状系统可靠性求解方法

树状网络系统在管道运输,网络通信中较为常见,对其进行可靠性评估对系统设计及优化具有重要意义。针对树状冗余系统,在n中连续取k失效准则下,通过有限马尔可夫嵌入法并对其进行变形,研究了树状系统可靠性求解方法。本文对树状系统建模加以定义,提出了基于层数参数,层-节点向量,父-子节点矩阵三元参数的树状系统表示方法,研究了变形有限马尔可夫嵌入法的树状系统n中连续取k失效准则下的可靠性求解方法,给出了三个数值算例应用并分析了算法的运算复杂度。最后,本文对比讨论了基于概率母函数法的树状系统在n中连续取k准则下系统可靠性求解方法的研究,得出结论本文算法针对树状冗余系统n中连续取k失效准则下系统可靠性求解应用范围更广,求解效率较高。     

关于(m,n)-树的一个充分必要条件的推广

本文研究了n维复形上(m,n)-树的判定性质,并对(m,n)-树的-个充分必要条件进行了推广.     

关于(ξ,k)-临界图

设 G为连通图 ,且ξ(G) =k≥ 1 ,若对 G中任意边 e,均有ξ(G\e) =k - 1 ,则称 G为 (ξ,k) -临界图 .本文刻划了ξ- 1 -临界图的若干性质 ,给出了一个图为ξ- 1 -临界图的一些充分或必要条件 ,以及一些ξ- 1 -临界图类 .     

数学模型δ(n,d,k)在选拔运动员中的应用

利用数学模型δ(n,d,k),按照组合群验的理论和算法,根据选拔运动员的评价指标类和指标权重,给出了从大量选手中筛选优秀运动员的一种新方法.     

离散时间冲击下的k/n(G)系统的可靠性分析

研究了一类离散时间冲击下的k/n(G)系统.冲击到达间隔服从几何发布,冲击的量服从一般发布,每次冲击对系统中工作的部件独立产生影响.假设每一部件受冲击后以一定的概率发生故障,各次冲击独立地对系统造成损失,直到工作部件数少于k系统故障为止.基于上述假设,我们求得了系统的离散时间寿命的分布,进而得到系统的可靠度、平均寿命等可靠性指标.作为k/n(G)系统在k=n和k=1时的特例,还得到n部件串联、并联系统在离散时间冲击下的可靠性指标.最后,给出了数值算例.     

基于矩阵M_q(n,k,d)的可纠错非适应性群测

二元矩阵M_q(n,k,d)是一个非适应性分组测试(NGT)算法的数学模型,它是一个d-析取矩阵.在矩阵M_q(n,k,d)的基础上研究它的子矩阵M_q(n.k,d,z)的检纠错性质.     

二元叠加码M_q~c(n,k,d)的性质

二元叠加码M_q~c(n,k,d)是二元叠加码M_q(n,k,d)的补阵,利用有限域F_2上向量的计算法则研究了二元叠加码M_q~c(n,k,d)的线性性质并证明了M_q~c(n,k,d)的析取(disjunct)性.     

(g,f) -因子和可扩图

设G是一个图,并设g和f是定义在V(G)上的整值函数使得对所有的点x∈ V(G)均有g(x)≤ f(x).称一个图G是(g,f,H) -可扩的,如果在删除了任意一个同构于H的子图中所有点后,剩下G的子图有一个(g,f) -因子.该文给出了(g,f,H) -可扩图的特征.进一步,研究了(g,f,H) -可扩(H=nK₁)的性质.