1. 引言
自从忆阻器被发现以来 [1],很多学者致力于忆阻器的研究。如在文献 [2] 中,Sah等研究发现忆阻器能够很好的模拟人类的大脑行为。文献 [3] 中,Prezioso等首次研发出基于忆阻器的神经网络芯片。该芯片的顺利研发,开启了忆阻神经网络的研究热潮。此后,忆阻神经网络的动力学行为的研究也受到了大量的关注。
近几十年,由于忆阻神经网络同步的重要性,时滞忆阻神经网络的同步问题引起了许多研究者的关注。对于忆阻神经网络的指数同步问题,文献 [4] 利用李雅普诺夫泛函理论,结合不等式技术和牵制控制方法得到了具有反应扩散项的时滞忆阻神经网络指数同步的充分条件。文献 [5] 将复值忆阻神经网络的驱动–响应模型转化为两个实值忆阻神经网络,建立了时变时滞复值忆阻神经网络指数同步的一些充分条件。而针对忆阻神经网络的反同步问题,文献 [6] 在驱动–响应系统的框架下,通过Lyapunov函数方法和一些不等式技巧,给出了复值忆阻神经网络反同步的几个充分条件。文献 [7] 在Filippov意义下,结合不等式技巧得到了随机忆阻神经网络的有限时间反同步准则。
目前,学者们也提出了许多忆阻神经网络的同步控制方法。比如文献 [8] 建立了一种新颖的忆阻神经网络的同步误差,根据同步误差设计相应的自适应控制器,从而得到了忆阻神经网络的同步充分条件。文献 [9] 设计了一种具有反馈控制的自适应控制器,通过Lyapunov函数方法实现了一类具有混合时变时滞的广义忆阻神经网络的指数同步。而文献 [10] 通过设计状态反馈控制器,研究了具有随机扰动和时变时滞的忆阻递归神经网络的指数同步问题。文献 [11] 利用状态反馈控制方法,获得了耦合惯性忆阻神经网络有限时间同步的充分条件。对比以上连续控制方法,在采样控制的过程中,仅需要将系统在采样点处的信息传输到控制器中。因此采样控制方法具有以下优点:1) 有效的减少了信息传输量,从而节约了网络的通讯资源;2) 成本较低,容易实现,具有较高的可靠性。然而,使用采样控制器研究忆阻神经网络同步问题的结果还比较少;因此,使用采样控制研究忆阻神经网络的同步问题是本文的研究动机之一。
另一方面,马尔科夫现象在实际情况中是普遍存在的,比如突然加剧的环境干扰、组件故障等情况。因此,具有马尔科夫跳变的神经网络也吸引了许多研究者的关注。文献 [12] 实现了具有部分未知转移概率的马尔科夫跳变忆阻神经网络的有限时间稳定。文献 [13] 研究了具有反应扩散项的马尔科夫跳变复值忆阻神经网络的有限/固定时间的同步问题及其应用。文献 [14] 基于采样控制器,使用代数的方法获得了具有反应扩散项的马尔科夫跳变时滞忆阻神经网络同步的充分条件。然而,与马尔科夫过程不同,半马尔科夫的逗留时间不再服从指数分布,而是服从更一般的概率分布,如拉普拉斯分布、韦伯分布等。因此,研究具有半马尔科夫跳变的忆阻神经网络更具有一般性。所以,本文的另外一个研究动机是基于采样控制研究具有半马尔科夫跳变的时滞忆阻神经网络的同步问题。
根据上述分析,本文主要研究基于采样控制的半马尔科夫跳变时滞忆阻神经网络的同步问题。本文内容组织如下:在第二节中,将具有半马尔科夫跳变的时滞忆阻神经网络模型通过微分包含理论、集值映射理论以及鲁棒分析技巧转化为具有半马尔科夫跳变的带不确定参数的传统神经网络,并设计系统相关的采样控制器以及给出必要的引理和定理。在第三节中,基于采样控制器,构建一个包含采样信息的Lyapunov泛函,得到具有半马尔科夫跳变的时滞忆阻神经网络同步的充分条件。在第四节中,给出实例仿真来验证所得理论结果的可行性与有效性。最后,在第五节给出本文的一个总结。
符号:
表示对称矩阵中的对称块,R是实数域,
表示A是正定矩阵,
表示矩阵A是负定矩阵,
是n维单位矩阵,
表示矩阵A的转置,
表示矩阵A的逆,
表示一个向量的Euclid范数或一个矩阵的诱导范数,
是块对角矩阵,
表示
,
表示随机变量x的
数学期望。设
,
,
,
,
,
,
,
。
2. 模型描述与预备知识
2.1. 模型描述
本文考虑以下具有半马尔科夫跳变的时滞忆阻神经网络
(1)
其中,
是神经状态向量,
表示非线性神经激活函数;
是一个对角矩阵,
和
分别是具有随机跳变过程
的非时滞和时滞忆阻连接权矩阵,其中
是一个表示系统模态有限状态半马尔科夫过程,即
在一个给定的有限集
上取离散值。I是一个外部输入向量,
是时变时滞且满足:
,
(τ与v是常数)。为了后续描述的方便,令
,
,
为
,
,
,其中
。
令
是概率空间
上右连续离散状态半马尔科夫过程,且在有限集
上取值,其转移概率与转移速率之间的关系有如下定义:
,
其中
,
;
表示当
时,由t时刻模态i跳跃到
时刻模态j的转移速率;且每个模态i都有
。
根据忆阻器的电流–电压特征,系统(1)的参数可以表示为:
,
,
其中
,
,
,
都是常数。
根据集值映射理论 [15] 和微分包含理论 [16],系统(1)可以转化为以下神经网络
(2)
或等价的,对于
存在可测函数
,
使得
(3)
由 [17] 中的引理2.1,系统(3)可以转化为如下神经网络:
(4)
其中,
,
,
,
,
,
,
表示第i个元素为1,其他元素为0的列向量;并且
,
。
本文考虑(1)为主系统,对应的从系统如下:
(5)
其中,系统的参数表示为
,
,
其中,
,
,
,
,I与系统(1)中的参数一致,
是控制输入向量。
经处理得:
(6)
其中
,
,
,
,
,
与系统(4)一致,
,
。
定义误差信号为
,由(4)和(6)可表示误差系统如下:
(7)
其中
,
.
假设系统的控制信号由零阶保持器生成,保持时间的序列为
。本文拟采用的采样控制器设计为:
,
(8)
其中K为采样反馈控制器的增益矩阵,
是可谐调的参数,
,且有
,
是
在采样瞬间
时刻的离散测量值,且有
。假设对任意整数
有
,其中h是最大的采样区间。
将控制器(8)代入(7)式可得
(9)
其中
,
,
,并且对于所有的
,
。
注1:受到文献 [18] 的启发,本文引入具有符号函数项的控制器(8)。本文控制器中的符号函数项在误差系统的参数匹配时取0,在误差系统的参数不匹配时取
,从而便于系统的处理。
2.2. 预备知识
为了方便推导具有半马尔科夫跳变的时滞忆阻神经网络采样同步的充分条件,本文给出以下定义、假设和引理。
定义1 [19] 对于定义在区间
上的初值条件
和
,如果满足以下条件
(10)
则误差系统(9)随机稳定,即主系统(1)与从系统(5)随机同步。
假设1 假设系统(1)的神经激活函数
满足下列条件:对任意的
,有
,
,
,
,
其中,
,
,
是已知常数。
引理2 [20] 对于矩阵
、
和对称矩阵
,若
,则当且仅当以下不等式成立
,
其中
,
。
引理3 [20] 对于给定的矩阵
,
,
,且满足
,
,若
或
,
当且仅当
。
引理4 [21] 对于矩阵
和任意可微函数
,有
其中
。
3. 主要内容
本节在定理3.1中给出具有半马尔科夫跳变的时滞忆阻神经网络采样同步的充分条件。推导出该条件的Lyapunov函数由包含半马尔科夫跳变的二次函数和包含采样信息的积分项组成。
为了方便表达,我们定义块矩阵
,部分向量和矩阵定义如下:
,
,
,
,
,
,
定理3.1 假设1成立,对给定参数
,
,
,具有半马尔科夫跳变的时滞忆阻神经网络(1)和(5)是随机同步的,如果存在对称正定矩阵
、
、
、
、
、
,正定对角矩阵W、
、
,任意合适维数的矩阵R、
、
、
和正参数
,使得下列线性矩阵不等式成立
, (
)(11)
(12)
其中,
且,
,
.
设计的采样控制器(8)式中的参数有如下限制:
,(13)
并且控制增益矩阵为
。
证明:对于误差系统(9),选取如下Lyapunov泛函
(14)
其中,
,
,
.
半马尔科夫跳变过程的若无穷小算子为:
,(15)
其中
是一个很小的正数。令
,应用全概率公式和条件概率公式,且根据文献 [22] 的计算公式,可得:
(16)
其中
表示系统从最后一次跳跃开始保持在模态i时逗留的时间,
是系统保持在模态i时逗留时间的概率分布函数,
是系统从模态i跳跃到模态j的概率密度。给定的
很小,
的一阶近似为
(17)
因此,将(17)式带入(16)式且由于
,所以有
(18)
根据概率分布函数的性质,有如下式子成立
,
,
其中
表示系统从模态i跳跃的转移速率。定义
,且满足
。
综上,可得
(19)
此外,
(20)
(21)
因为
,利用引理4和文献 [23] 中的互凸技术,可以得到
(22)
(23)
所以,
(24)
下面考虑激活函数的信息,并且利用系统的信息,根据假设1和对角矩阵
,
,有
(25)
(26)
根据(25)式和(26)式,有:
(27)
根据系统(9),对于任意合适维数的对角矩阵W和正标量
有
(28)
其中,
(29)
对任意参数
,利用引理2可得
(30)
同理
(31)
(32)
(33)
令
,整理可得:
(34)
根据(34)式,有
(35)
将(27)式和(35)式加到
中,对于任意的
,并对(12)式运用引理3,可得到
(36)
由定理3.1的条件可知,必存在常数
,使得
(37)
然后,使用Dynkin公式,对于所有的
,都有
(38)
得
(39)
因此,(10)式成立。根据定义1,可得主系统(1)和从系统(5)是随机同步的;证明完成。
注2:因为网络的通讯资源有限,所以减少具有时滞的忆阻神经网络的信息传输量是十分关键的。而采样控制器仅将系统在采样点的信息传输到控制器中,所以能有效的节约网络通讯资源。因此,本文设计了采样控制器来研究具有半马尔科夫跳变的时滞忆阻神经网络,该采样控制器有效的减少了系统的信息传输量。
注3:当处理
时,利用引理4和文献 [23] 中的互凸技术,能够充分利用采样区间上的信息。
4. 仿真算例
为了验证本文给出的定理3.1的可行性和有效性,本节将使用一个仿真算例来进行说明。
例4.1 考虑一个含有两个神经元的半马尔科夫跳变的时滞忆阻神经网络(1),所含参数如下:
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
根据以上参数,计算如下:
,
,
,
,
,
,
,
.
假设
,则有
,
。激活函数为
。显然,激活函数满足假设
1,且
,
。
是右连续的半马尔科夫过程,转移速率矩阵取为
,
。根据文献 [24] 可知
,
,
,
,
且有
。
所以,当
时,可得
,
,
,
。
现在,本文在控制器(8)下验证定理3.1的有效性。当初值条件为
,
时,取
,利用定理3.1可得主从系统实现同步的最大采样周期为
,并且可以得到(8)中的增益矩阵为:
.
图1表示当控制输入为0时,误差系统的状态轨迹;由图1可知,两个系统均为不稳定的忆阻系统。图2表示由定理3.1获得的控制增益下,误差系统的状态轨迹;图2验证了定理3.1的有效性。图3表示控制输入的轨迹。图4表示具有半马尔科夫跳变的系统模态轨迹。
Figure 1. State trajectory of error system without control
图1. 误差系统在没有控制下的状态轨迹
Figure 2. The state trajectory of error system under sampling control
图2. 误差系统在采样控制下的状态轨迹
Figure 4. Semi-Markov jump process
图4. 半马尔科夫跳变过程
5. 结论
本文通过采样控制器,研究了具有半马尔科夫跳变的时滞忆阻神经网络的同步问题。该方法有效的减少了网络通讯资源的浪费。本文首先通过微分包含、集值映射以及鲁棒分析方法将具有半马尔科夫跳变的时滞忆阻神经网络转化为带不确定参数的传统半马尔科夫跳变神经网络。然后,基于Lyapunov稳定性理论,构造了一个包含采样信息的Lyapunov泛函,得到了保守性更低的同步判据,从而设计出了有效的采样控制器。最后,通过实例仿真来验证了所得理论结果的有效性。
NOTES
*通讯作者。