復(fù)雜系統(tǒng)的切換穩(wěn)定性與同步分析.pdf

1、隨著人們對(duì)現(xiàn)實(shí)世界認(rèn)識(shí)的日益加深，人們發(fā)現(xiàn)許多物理系統(tǒng)都需要用切換系統(tǒng)和網(wǎng)絡(luò)式復(fù)雜系統(tǒng)來(lái)描述。基于微分差分方程理論、矩陣分析及圖論，本文主要研究了一類切換正線性離散系統(tǒng)的漸近穩(wěn)定性和兩類網(wǎng)絡(luò)式復(fù)雜系統(tǒng)的同步性。本文所得主要結(jié)果如下：
　　1.研究了以(sp)矩陣為子系統(tǒng)的切換正線性離散系統(tǒng)的漸近穩(wěn)定性。這里的(sp)矩陣的概念刻畫了一類漸近穩(wěn)定的離散線性系統(tǒng)。本文中首先采用圖論的方法給出了它的一個(gè)形式更為簡(jiǎn)潔的新定義，然后運(yùn)用偏序

2、半群和李代數(shù)方法，建立了幾個(gè)有關(guān)這類切換系統(tǒng)的絕對(duì)漸近穩(wěn)定性的新準(zhǔn)則。一般地，李代數(shù)條件缺少魯棒性，本文借助于偏序半群結(jié)構(gòu)在一定程度上彌補(bǔ)了這個(gè)不足。接著，通過對(duì)這類矩陣乘積的細(xì)致討論，提煉出一個(gè)算術(shù)性質(zhì)，由滿足這個(gè)性質(zhì)的有限多個(gè)(sp)矩陣生成的切換系統(tǒng)在任意切換下是漸近穩(wěn)定的，而一旦不具備這一性質(zhì)，這個(gè)切換系統(tǒng)連周期切換下的漸近穩(wěn)定性都保證不了。這個(gè)結(jié)果給該類切換系統(tǒng)的應(yīng)用帶來(lái)了方便。借助于它，本文對(duì)帶頭領(lǐng)的線性化Vicsek模型的

3、收斂性定理給出了一個(gè)簡(jiǎn)單而直接的新證明。由這部分結(jié)果還將得到關(guān)于聯(lián)合譜半徑的一個(gè)上界估計(jì)，這也是對(duì)Lyapunov指數(shù)的估計(jì)。此外，還討論了一類切換意義下的高階差分方程，給出了它的零解漸近穩(wěn)定的充分必要條件。
　　2.研究了具有根領(lǐng)導(dǎo)結(jié)構(gòu)的離散Cucker-Smale模型的同步行為。這一模型來(lái)源于人們解釋生物群體，如鳥群、魚群的有序運(yùn)動(dòng)這一自然現(xiàn)象的努力，并且與工程技術(shù)領(lǐng)域的許多實(shí)際問題，如飛行器的編隊(duì)、機(jī)器人系統(tǒng)等有密切聯(lián)系。在

4、已有的相關(guān)工作中，連接拓?fù)浠蛘呤菍?duì)稱的，或者具有三角形結(jié)構(gòu)，而本文所提出的模型同時(shí)打破了這兩種假設(shè)，是首次對(duì)既無(wú)對(duì)稱結(jié)構(gòu)也無(wú)三角形結(jié)構(gòu)的Cucker-Smale模型進(jìn)行研究。而且，根領(lǐng)導(dǎo)結(jié)構(gòu)是系統(tǒng)成員跟隨具有常速度的唯一頭領(lǐng)運(yùn)動(dòng)的一個(gè)必要條件。本文分別對(duì)具有固定的和切換的連接拓?fù)涞哪Ｐ徒⒘酥笖?shù)收斂率的估計(jì)，并證明了在一定的初始條件下，該系統(tǒng)能達(dá)到速度同步，即每個(gè)個(gè)體的運(yùn)動(dòng)皆與頭領(lǐng)保持一致。此外，還考慮了網(wǎng)絡(luò)的成員具有自由意志的情形，在

5、這一情形下證明了速度的收斂性。
　　3.基于Lyapunov函數(shù)方法研究了一類耦合網(wǎng)絡(luò)之間的外同步性。對(duì)網(wǎng)絡(luò)拓?fù)湎嗤那樾?，證明了對(duì)于平衡網(wǎng)絡(luò)，在任意的耦合強(qiáng)度下可以實(shí)現(xiàn)漸近外同步，并說(shuō)明了在保持網(wǎng)絡(luò)拓?fù)涞钠胶庑缘那疤嵯?，切換不會(huì)破壞外同步性。對(duì)網(wǎng)絡(luò)拓?fù)洳煌那樾?，本文將外同步與驅(qū)動(dòng)網(wǎng)絡(luò)的內(nèi)同步聯(lián)系起來(lái)，證明了如果響應(yīng)網(wǎng)絡(luò)是平衡的，而驅(qū)動(dòng)網(wǎng)絡(luò)可達(dá)到內(nèi)同步，則耦合網(wǎng)絡(luò)能實(shí)現(xiàn)外同步。本文對(duì)這兩種情況分別通過數(shù)值算例來(lái)驗(yàn)證理論結(jié)果。在網(wǎng)