软件可靠性与安全性增长模型理论及应用.pdfVIP

第一章基本知识简介 第一章基本知识简介 本论文将构建一个新模型来评估软件可靠性与安全性，因此我们首先介绍所 需要的一些基本知识。 1．1关于马尔可夫链的定义、性质及定理 可列的马尔可夫过程，通常称为马尔可夫链(MarkovChain)，简称马式链。 马尔可夫链最初由Markov于1906年研究而得名。至今它的理论已发展得较为 系统和深入。它在自然科学，工程技术及经济管理各领域中都有广泛的应用。 定义1．1．1如果随机序列{以，n≥0)对任意f0，fI，．．．，‘+．∈S，n∈No及 尸(饩=io,Xi=‘，．．．，一，=‘。)0，有 (a) P(Xn+。=l‘n+llK=fo，五=fI．．．，以=‘)=P{以+．=in+lI以=‘) ? 则称其为马尔可夫链。(a)式刻划了马尔可夫链的特性，称为马尔可夫性(或 无后效性)，简称马式性。 I ^ I