Gödel系统中由一个或两个原子生成的公式的真值函数的特征

在G(o)del系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类.     

修理设备可修修理延迟的N个部件串联系统的随机性状及可靠性分析北大核心CSCD

考虑N(N≥2)个同型部件串联可修系统的随机性状及修理设备的可靠性.假设修理设备在修理失效部件的过程中可能失效,失效后的修理设备需要立即修理,部件失效后需要一段随机的延迟修理时间.进一步假定系统失效后好的部件可能劣化.利用马尔科夫更新过程工具和Takács的方法,研究系统的随机性状并利用随机性状研究结果得到该系统修理设备在时刻t的失效概率以及修理设备在(O,t)内的故障次数和故障频度以及一些有意义的推论.     

G(o)del系统中由一个或两个原子生成的公式的真值函数的特征

在G(o)del系统中研究了仅由一个或两个原子生成的逻辑公式的真值函数的特征,进而按照逻辑等价关系对F(p),F(p,q)进行了细致的分类.     

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

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

可变环境下的离散时间串联可修系统

本文研究离散时间的可修系统,讨论了一个可在两种不同环境下工作的N部件串联可修系统,利用马尔可夫更新理论和母函数作为工具,得到了系统的可用度,故障频度和可靠度等各项指标.     

有两种故障状态的两部件串联系统的预防维修策略

本文研究的是由两个部件串联组成且有两种故障状态的系统的预防维修策略, 当系统的工作时间达到T时进行预防维修, 预防维修使部件恢复到上一次故障维修后的状态。每个部件发生故障都有两种状态, 可维修和不可维修。当部件的故障为可维修故障时, 修理工对其进行故障维修, 且每次故障维修后的工作时间形成随机递减的几何过程, 每次故障后的维修时间形成随机递增的几何过程。当部件发生N次可维修故障或一次不可维修故障时进行更换。以部件进行预防维修的间隔和更换前的可维修故障次数N组成的二维策略(T, N) 为策略, 利用更新过程和几何过程理论求出了系统经长期运行单位时间内期望费用的表达式, 并给出了具体例子和数值分析。     

修理设备可更换且有修理延迟的N部件串联系统分析

假定部件的寿命服从指数分布,修理延迟时间和修理时间均服从任意分布,并且修理设备的寿命服从指数分布,其更换时间服从任意分布的情况下,利用马尔可夫更新过程理论和拉普拉斯变换工具,研究了修理有延迟且修理设备可更换的n部件串联可修系统,求得了系统的可用度和(0,t]时间内的平均故障次数.进一步,在定义修理设备“广义忙期”下,利用全概率分解,提出了一种新的分析技术,讨论了修理设备的可靠性指标,得到修理设备的一些重要可靠性结果.     

二阶非自治Hamilton 系统周期解的新结果

研究了二阶非自治Hamilton系统（t）-B（t）x（t）＋▽H（t,x（t））=0,在局部超二次条件下周期解的存在性问题,利用山路定理和局部环绕定理得到了新的存在性定理,改进了已有结果.     

关于A-H上下界的几个结果

关于算术平均和调和平均的差的估计,利用最值压缩定理,给出了其四个新的上下界.     

一类并联系统的剩余寿命和平均剩余寿命

研究了n个独立但不同分布的元件构成的一类并联系统的剩余寿命和平均剩余寿命,即在t_1时刻有l个元件失效,第k个元件的寿命恰好是t_2(0≤lkn,0≤t_1t_2),系统在t_2时刻仍然工作的条件下并联系统的可靠性函数和平均剩余寿命.     

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

故障相关的表决可修系统可用度计算

为解决k/n(F)表决可修系统中零部件的故障相关干涉问题,根据零部件工作寿命之间的正相关结构,运用Copula函数的相关性理论,提出微时间差t→t+Δt内系统一步状态转移矩阵概念,建立了故障相关的表决可修系统可靠性模型.模型全面考虑了共因故障、零件工作寿命和修复时间分布的一般性,从而突破传统独立指数型可修系统可靠性模型的三类局限性.验证了k/n(F)可修系统相关性模型的通用性,给出了Copula模型选择和估计相关程度参数的方法.     

线形(n,f,k)系统和系统的可靠度计算新方法

本文应用两端同时进行的有限马尔可夫链嵌入法给出了具有复合失效准则的(n,f,k)系统和系统可靠度计算公式及公式中连接矩阵的结构特点。数值计算结果表明,随着构成系统的单元个数的增加,应用两端同时进行的有限马尔可夫链嵌入法比应用传统的有限马尔可夫链嵌入法计算可靠度能节省大量运算时间,特别是对于具有对称结构的(n,f,k)和系统效果更加明显。     

Characterizations of ( m,n )-Jordan Derivations and ( m,n )-Jordan Derivable Mappings on Some Algebras

Let R be a ring, M be a R-bimodule and m, n be two fixed nonnegative integers with m + n = 0. An additive mapping δ from R into M is called an(m, n)-Jordan derivation if(m +n)δ(A~2) = 2 mAδ(A) + 2nδ(A)A for every A in R. In this paper, we prove that every(m, n)-Jordan derivation with m = n from a C*-algebra into its Banach bimodule is zero. An additive mappingδ from R into M is called a(m, n)-Jordan derivable mapping at W in R if(m + n)δ(AB + BA) =2mδ(A)B + 2 mδ(B)A + 2 nAδ(B) + 2 nBδ(A) for each A and B in R with AB = BA = W. We prove that if M is a unital A-bimodule with a left(right) separating set generated algebraically by all idempotents in A, then every(m, n)-Jordan derivable mapping at zero from A into M is identical with zero. We also show that if A and B are two unital algebras, M is a faithful unital(A, B)-bimodule and U = [A M N B] is a generalized matrix algebra, then every(m, n)-Jordan derivable mapping at zero from U into itself is equal to zero.     

K/n(G)系统可靠性评定的多源验前信息融合方法

在多源验前信息的情况下,以k/n(G)系统为例,讨论了如何对系统的可靠性指标进行估计的问题.在多个验前信息源给出了系统可靠性指标点估计的情况下,利用多层Bayes方法及经验Bayes方法对这些数据进行融合,并给出系统可靠性指标的Bayes点估计,同时对系统可靠度的置信区间也作了讨论.仿真算例表明这种处理方法是合理有效的.     

基于条件失效率的串和并联系统的失效率刻画

由于条件失效率有很好的直观意义且易获得,用它们去刻画相关部件组成的串或并联的系统失效率是一条有效的新途径.但并联系统失效率的表示过于复杂.由此,新定义过程失效率向量,但仍基于条件失效率,从另一方面描述并联系统的整个失效状况,并用Basu定义二维失效率说明其应用.最后,将以上两种刻画方式统一为系统过程失效率函数.     

GLn(k)和SLn(k)的阶

本文利用矩阵行的初等变换 ,采用递推的方法 ,求出了有限域 k上 n次一般线性群 GLn(k)和 n次特殊线性群 SLn(k)的阶 .     

专职修理工多重休假且修理设备可更换的k/n(G)表决系统研究

讨论专职修理工多重休假,修理设备可发生失效且可更换的k/n（G）表决可修系统.当系统中没有故障部件时,专职修理工开始一次休假,在此期间,若有工作部件发生故障,则立即指派普通修理工修理故障部件,一直持续到系统中无故障部件或专职修理工休假回来.利用马尔可夫过程理论和矩阵解法,给出了系统瞬态和稳态下的可用度和故障频度、可靠度、系统首次故障前的平均时间、修理设备处于更换状态的概率等指标的表达式.在此基础上,基于不同的初始条件研究了相关指标随时间的变化情况.最后,特殊情形的讨论验证了所得结果的正确性.