论文摘要：积极容错遏制体例宁静性及真实性领会

妨碍确诊安装在积极容错遏制体例中起着格外要害的效率。在体例安排时，该当尽大概地采用本能好的妨碍确诊安装，然而，真实“完备”的，也即是没有误检和遗漏未检验的妨碍确诊安装，是不生存的。那么，妨碍确诊安装毕竟要好到什么水平，本领保护咱们对体例本能的诉求呢？这须要对其随机个性举行定量的评介。 正文的接洽实质即是环绕着对妨碍确诊安装的本能评介打开的，重要接洽了不完备的妨碍确诊安装对遏制体例宁静性和真实性的感化，给出了宁静性判据和真实性计划本领，为积极容错遏制体例安排时妨碍确诊安装的采用和评介供给了表面按照。接洽思绪是运用带马尔可夫参数的容错遏制体例模子，用随机进程刻画妨碍确诊进程，商量遏制体例中的非线性、延时、体例不决定性等成分，接洽体例的宁静性前提以及真实性评价本领。 舆论重要由以次三上面的实质构成： 1. 给出了商量延时的积极容错遏制体例宁静性定理。用一个随机进程刻画体例妨碍进程，用其余一个随机进程刻画妨碍确诊进程，体例按照妨碍确诊进程的计划重构遏制律。商量因为通信搜集形成的从传感器到遏制器的数据传输延时，并商量体例非线性、不决定性以及情况噪声，初次将带马尔可夫参数容错遏制体例模子扩充到延时体例，创造了商量延时的带马尔可夫参数容错遏制体例模子。在此模子的普通上接洽体例宁静性。辨别商量常延时和时变延时，运用矩阵直积的本领推导出了体例不依附延时的宁静性判据；运用李雅普诺夫第二本领，推导出了依附延时的宁静性判据。宁静性判据给出了在保护体例宁静的基础下，体例不妨忍耐的传输延时和妨碍确诊安装的误检率、遗漏未检验率等随机个性之间的联系。 2. 接洽了鉴于察看器估量的容错遏制题目。开始，矫正了一种线性时变体例察看器的安排本领，并给出了一种新的察看器参数重购置法。该察看器不妨同声对实行组织以及传感器的参数举行在线估量，从而举行妨碍确诊。运用该察看器，在妨碍发端爆发时不妨保护估量有较快的抑制速率，在估量宁静后又不妨有较小的估量缺点。随后，接洽了鉴于察看器估量的状况反应遏制体例的宁静性题目。商量冗余传感器组的妨碍，运用妨碍确诊安装对妨碍举行监督，当创造有妨碍爆发时，按照所确定出的妨碍典型重构察看器参数。初次运用带马尔可夫参数容错遏制体例模子领会了这类体例的宁静性，宁静性定理给出了在保护察看器估量抑制以及体例宁静的情景下，妨碍确诊安装随机个性该当满意的前提。 3. 给出了商量妨碍确诊安装不完备的容错遏制体例真实性领会和余度优化调配本领。初次将带马尔可夫参数的容错遏制体例模子用来遏制体例的真实性领会，创造了商量妨碍确诊安装的容错遏制体例真实性模子，推导了“妨碍确诊安装的真实度”以及“妨碍确诊安装监督下的传感器组的真实度”公式。当体例妨碍进程和妨碍确诊进程都为“生灭进程”时，提出了“灵验妨碍检验和测定推迟功夫”和“失效妨碍检验和测定推迟功夫”的观念，辨别领会了这两类检验和测定延时对体例真实度的感化。在真实性领会的普通上，接洽了容错遏制体例余度优化调配本领，商量妨碍确诊安装不完备以及分量等牵制前提，将余度优化调配题目化为拉拢优化题目，从而运用动静筹备法和模仿退火法辨别求解，仿真截止表领会模仿退火法在求解这类题目上面的上风。