一种对冗余系统进行可靠性分析的方法技术方案

技术编号:15105487 阅读:131 留言:0更新日期:2017-04-08 16:03
本发明专利技术提供一种利用马尔科夫状态转移图对冗余系统进行可靠性分析的方法,包括:预先设定对冗余系统进行可靠性分析的条件;根据冗余系统的结构,对系统进行马尔科夫状态分析;计算系统的每个状态间的马尔科夫状态转移概率,绘制对应的马尔科夫状态转移图;根据马尔科夫状态转移图以及每个状态间的马尔科夫状态转移概率,获取每个状态的工作概率计算公式;以及对公式进行拉普拉斯变换,计算并分析冗余系统的可靠性。相比于现有技术,本发明专利技术对PAC系统中的各种常用冗余结构进行可靠性分析,运用马尔科夫状态转移法对不同结构的马尔科夫状态予以总结并计算其可靠性,最后根据仿真结果确定每个冗余结构的特点,为系统的可靠性设计提供重要的参考依据。

【技术实现步骤摘要】

本专利技术属于信息处理领域,涉及一种可编程自动化控制器(ProgrammableAutomationController,PAC)中的容错机制技术,尤其涉及利用马尔科夫状态转移图对冗余系统进行可靠性分析的方法
技术介绍
当今的自动化技术发展迅速,正处于一个快速变革的时代。从半导体到消费类电子产品再到汽车和航空制造业、轻工业以及大型流程工业等多种不同的工业领域,都面临着日益激烈的全球竞争压力,需要进一步降低成本、缩短产品生命周期,并能够迅速完成产品的更新换代。采用最新的自动化技术正是解决这一系列问题的有效手段,而高端可编程自动化系统随之而生。在现有技术中,高端的自动化控制系统主要包括可编程逻辑控制器(ProgrammableLogicalController,PLC)、PC-BASE控制、可编程自动化控制器(ProgrammableAutomationController,PAC)等。以PAC为例,其是一种基于开放的工业标准、具有多领域功能和通用开放平台、高性能的控制器,它集合了可编程逻辑控制器和PC控制的优点。具体而言,PAC作为一种多功能的控制平台,用户可以根据系统的需要,组合和搭配相关的技术和产品以实现功能的侧重。由于PAC系统是基于同一发展平台进行开发,所以它保证了控制系统的各功能模块具有统一性。另一方面,PAC系统涉及的关键技术大致包括:控制引擎、标准通用开放的实时操作系统、嵌入式系统设计、容错机制及故障诊断算法等。其中,容错控制(Fault-tolerantControl)是实现PAC容错机制的关键技术之一,其主要思想是利用系统的冗余资源来实现故障容错。在此,故障容错是指,如果一个系统在出现一定的运行性故障时,能够依靠系统内部的能力仍保持系统连续正确地执行其程序和输入输出功能。此外,系统的可靠性是分析故障容错机制非常重要的性能指标。为了保证大型生产设备的可靠运行、减小重大恶性事故的发生,提高系统的可靠性是极其重要的。而冗余技术是系统可靠性和安全性设计中一种常用的技术,它是提高系统可靠性和安全性最为有效的方法之一。这里,冗余技术是指利用多余的资源,当系统的某一部分出现故障时,可以由冗余部分的资源替代故障部分来工作,以保证系统在规定的时间内正常完成规定的功能。容错技术是建立在资源冗余的基础上的,可以说冗余技术是容错技术的核心。冗余设计是可靠性设计技术之中最重要的方法之一。在计算机系统中可供利用的冗余资源有硬件冗余和软件冗余。其中,硬件冗余是用增加硬件设备的方法掩盖故障造成的影响,即当计算机系统在发生局部故障时,替换备份硬件参与运行,从而使系统在不中断当前任务的前提下仍能保持正常工作。例如,硬件冗余可以采用双重或多重备份的方法来实现,同时需要建立起冗余的信号通道,它允许设备的一个或几个关键部件失效,并对故障具有识别和切换功能。相比之下,软件冗余是利用其冗余经验来解决软件容错问题。软件冗余采用故障检测与屏蔽、控制器重构、N个程序算法等方法,使其对故障具有自动处理的能力,并利用系统中不同部件在功能上的冗余性来实现故障容错。
技术实现思路
本专利技术的目的之一是在于,提供一种利用马尔科夫状态转移图对冗余系统进行可靠性分析的方法,当采用多模冗余结构进行容错系统设计时,对PAC系统中的各种常用冗余结构进行了可靠性分析,运用马尔科夫状态转移法对不同结构的马尔科夫状态予以总结并计算其可靠性。最后根据仿真结果来确定每个冗余结构的特点,为系统的可靠性设计提供了重要的参考依据。依据本专利技术的一个方面,提供了一种利用马尔科夫状态转移图对冗余系统进行可靠性分析的方法,包括以下步骤:预先设定对所述冗余系统进行可靠性分析的条件;根据所述冗余系统的结构,对所述冗余系统进行马尔科夫状态分析;计算所述冗余系统中的所有状态的每个状态间的马尔科夫状态转移概率,绘制对应的马尔科夫状态转移图;根据所述马尔科夫状态转移图以及每个状态间的马尔科夫状态转移概率,获取每个状态的工作概率计算公式;以及对所述工作概率计算公式进行拉普拉斯变换,计算并分析所述冗余系统的可靠性。在其中的一实施例,上述预先设定的可靠性分析条件包括:a)所述冗余系统的表决器不会发生故障;b)所述冗余系统初始化时,所有模块均正常工作;c)所述冗余系统在某一时刻只发生一个故障;d)所述冗余系统的所有模块均相同且具有相等的故障率。在其中的一实施例,所述冗余系统为三重冗余结构,包括三个模块和一个表决器,所述表决器的输入端分别连接至每个模块的输出端。在其中的一实施例,所述三重冗余结构包括五种工作状态,其中:状态0——3个模块均正常工作;状态1——1个模块出现可测故障,且被屏蔽;状态2——2个模块出现可测故障,且被屏蔽;状态3——1个模块出现不可测故障,不能被屏蔽;状态4——所述三重冗余结构处于失效状态;若P0(t)、P1(t)、P2(t)、P3(t)为系统处于上述各状态的工作概率,P0′(t)、P1′(t)、P2′(t)、P3′(t)、P4′(t)为系统状态的概率,则系统状态的概率表达式分别为:P0′(t)=-3λP0(t);P1′(t)=3λcP0(t)-2λP1(t);P2′(t)=2λcP1(t)-λP2(t);P3′(t)=3λ(1-c)P0(t)-2λP3(t);P4′(t)=2λP3(t)+2λ(1-c)P1(t)+λP2(t);其中,每个模块的故障率为λ,故障检测覆盖率为c。在其中的一实施例,所述冗余系统为二乘二取二结构,包括两个系以及一个切换电路,其中的一个系包括两个主机和一个比较器,另一个系包括两个备机和一个比较器,当主机正常时,主机输出有效;当主机故障且备机正常时,所述切换电路执行切换操作,备机输出有效。在其中的一实施例,所述二乘二取二结构包括六种工作状态,其中:状态0——两个系均正常工作;状态1——只有1个主机的可测故障;状态2——只有1个主机的不可测故障;状态3——1个系中的两个主机均出现可测故障;状态4——1个系的一个主机出现可测故障,另一个主机出现不可测故障;状态5——2个系均出现故障,所述二乘二取二结构失效状态;若P0(t)、P1(t)、P2(t)、P3(t)、P4(t)为系统处于上述各状态的工作概率,P0′(t)、P1本文档来自技高网
...

【技术保护点】
一种利用马尔科夫状态转移图对冗余系统进行可靠性分析的方法,其特征在于,该方法包括以下步骤:预先设定对所述冗余系统进行可靠性分析的条件;根据所述冗余系统的结构,对所述冗余系统进行马尔科夫状态分析;计算所述冗余系统中的所有状态的每个状态间的马尔科夫状态转移概率,绘制对应的马尔科夫状态转移图;根据所述马尔科夫状态转移图以及每个状态间的马尔科夫状态转移概率,获取每个状态的工作概率计算公式;以及对所述工作概率计算公式进行拉普拉斯变换,计算并分析所述冗余系统的可靠性。

【技术特征摘要】
1.一种利用马尔科夫状态转移图对冗余系统进行可靠性分析
的方法,其特征在于,该方法包括以下步骤:
预先设定对所述冗余系统进行可靠性分析的条件;
根据所述冗余系统的结构,对所述冗余系统进行马尔科夫状
态分析;
计算所述冗余系统中的所有状态的每个状态间的马尔科夫状
态转移概率,绘制对应的马尔科夫状态转移图;
根据所述马尔科夫状态转移图以及每个状态间的马尔科夫状
态转移概率,获取每个状态的工作概率计算公式;以及
对所述工作概率计算公式进行拉普拉斯变换,计算并分析所
述冗余系统的可靠性。
2.根据权利要求1所述的方法,其特征在于,上述预先设定
的可靠性分析条件包括:
a)所述冗余系统的表决器不会发生故障;
b)所述冗余系统初始化时,所有模块均正常工作;
c)所述冗余系统在某一时刻只发生一个故障;
d)所述冗余系统的所有模块均相同且具有相等的故障率。
3.根据权利要求1所述的方法,其特征在于,所述冗余系统
为三重冗余结构,包括三个模块和一个表决器,所述表决器的输
入端分别连接至每个模块的输出端。
4.根据权利要求3所述的方法,其特征在于,所述三重冗余
结构包括五种工作状态,其中:
状态0——3个模块均正常工作;
状态1——1个模块出现可测故障,且被屏蔽;
状态2——2个模块出现可测故障,且被屏蔽;
状态3——1个模块出现不可测故障,不能被屏蔽;
状态4——所述三重冗余结构处于失效状态;
若P0(t)、P1(t)、P2(t)、P3(t)为系统处于上述各状态的工作概率,
P0′(t)、P1′(t)、P2′(t)、P3′(t)、P4′(t)为系统状态的概率,则系统状态的
概率表达式分别为:
P0′(t)=-3λP0(t);
P1′(t)=3λcP0(t)-2λP1(t);
P2′(t)=2λcP1(t)-λP2(t);
P3′(t)=3λ(1-c)P0(t)-2λP3(t);
P4′(t)=2λP3(t)+2λ(1-c)P1(t)+λP2(t);
其中,每个模块的故障率为λ,故障检测覆盖率为c。
5.根据权利要求1所述的方法,其特征在于,所述冗余系统
为二乘二取二结构,包括两个系以及一个切换电路,其中的一个
系包括两个主机和一个比较器,另一个系包括两个备机和一个比
较器,当主机正常时,主机输出有效;当主机故障且备机正常时,
所述切换电路执行切换操作,备机输出有效。
6.根据权利要求5所述的方法,其特征在于,所述二乘二取
二结构包括六种工作状...

【专利技术属性】
技术研发人员:吴胜昔房巍巍李雪岩虞奕帆司有为陈诚顾幸生
申请(专利权)人:华东理工大学
类型:发明
国别省市:上海;31

网友询问留言 已有0条评论
  • 还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。

1