《邏輯動態系統代數狀態空間法理論與套用》是2018年11月科學出版社出版的圖書,作者是閆永義,岳菊梅。
基本介紹
- 中文名:邏輯動態系統代數狀態空間法理論與套用
- 作者:閆永義,岳菊梅
- 出版時間:2018年11月
- 出版社:科學出版社
- ISBN:9787030596987
《邏輯動態系統代數狀態空間法理論與套用》是2018年11月科學出版社出版的圖書,作者是閆永義,岳菊梅。
《邏輯動態系統代數狀態空間法理論與套用》是2018年11月科學出版社出版的圖書,作者是閆永義,岳菊梅。內容簡介本書介紹了一種新的系統建模、分析與綜合的數學方法——邏輯動態系統代數狀態空間法。該方法是在矩陣的半張量積的基礎...
邏輯動態系統控制的代數狀態空間方法 《邏輯動態系統控制的代數狀態空間方法》,是依託於中國科學院數學與系統科學研究院,由程代展等人完成的科研項目。參與情況 主要完成人:程代展(中國科學院數學與系統科學研究院),齊洪勝(中國科學院數學與系統科學研究院) 獲獎記錄 2014年國家自然科學獎二等獎。
本項目以面向生物系統(如基因調控網路)及社會系統(如動態博弈)為背景, 研究布爾網路及混合值邏輯網路系統的動力學性質與控制設計. 套用項目組原創的矩陣半張量積為工具, 提出了邏輯動態系統的代數狀態空間方法. 在狀態空間的框架下, 我們給出了這類系統的建模、分析與控制的一套較完整的新的方法. 它包括了 (1) ...
《基於代數狀態空間方法的有限域網路的分析與控制》是依託山東師範大學,由李海濤擔任項目負責人的面上項目。項目摘要 有限域網路在無線感測器網路等領域有著廣泛套用,適用於容量、記憶體和時間受限的網路環境。本項目擬利用代數狀態空間方法和網路化控制系統理論,研究有限域網路的若干分析與控制問題。首先,研究有限域網路...
狀態與狀態變數描述的概念早就存在於經典動力學和其他一些領域,但將它系統地套用於控制系統的研究,則是從1960年R.E.卡爾曼發表《控制系統的一般理論》的論文開始的。狀態空間法的引入促成了現代控制理論的建立。數學基礎 狀態空間表示的主要數學基礎是線性代數。在狀態空間法中,廣泛用向量來表示系統的各種變數組,...
特徵向量; 變維數線性系統等. 邏輯動態系統理論在生物學及邏輯決策中有重大套用, 基於矩陣半張量積的代數狀態空間方法為邏輯動態系統提供了有效的數學框架. 博弈控制理論是一個新興的、控制論與博弈論的交叉學科, 我們的工作, 特別是勢函式的構造和邏輯動態系統的動力學模型, 為這一學科方向的發展提供了理論和方法...
狀態空間表示法即為一種將物理系統表示為一組輸入、輸出及狀態的數學模式,而輸入、輸出及狀態之間的關係可用許多一階微分方程來描述。為了使數學模式不受輸入、輸出及狀態的個數所影響,輸入、輸出及狀態都會以向量的形式表示,而微分方程(若是線性非時變系統,可將微分方程轉變為代數方程)則會以矩陣的形式來來...
線性系統理論:它是現代控制理論中最為基本和比較成熟的一個分支,著重於研究線性系統中狀態的控制和觀測問題,其基本的分析和綜合方法是狀態空間法。按所採用的數學工具,線性系統理論通常分成為三個學派:基於幾何概念和方法的幾何理論,代表人物是W.M.旺納姆;基於抽象代數方法的代數理論,代表人物是R.E.卡爾曼;...
建立在狀態空間法基礎上的線性系統的分析和綜合方法通常稱為現代線性系統理論。自60年代中期以來,線性系統理論不僅在研究內容還是在研究方法上,又有了一系列新的發展。出現了這種從幾何方法角度來研究線性系統的結構和特性的幾何理論,出現了以抽象代數為工具的代數理論。也出現了在推廣經典頻率法基礎上發展起來的多變數...
隨著系統理論和計算機技術的迅速發展,自20世紀60年代開始,作為現代控制理論基礎的狀態變數法在系統分析中得到廣泛套用。此方法的主要特點是利用描述系統內部特性的狀態變數取代僅描述系統外部特性的系統函式,並且將這種描述十分便捷的套用於多輸入——多輸出系統。此外,狀態空間方法也成功地用來描述非線性系統或時變系統...
有限集映射的代數表示; 命題邏輯與布爾函式、布爾多項式、布爾代數、布爾矩陣; 邏輯函式的複合分解. ② 有限集上的動態系統, 包括邏輯動態系統及其代數狀態空間表示; 邏輯控制系統的能控、能觀性, 干擾解耦, 穩定性與鎮定; 邏輯系統辨識. ③ 有限博弈, 包括非合作博弈; 演化博弈; 勢博弈; 有限博弈的空間分解; ...
伴隨計算機的發展,以狀態空間理論為基礎的現代控制理論的數學模型採用狀態空間方程,以時域分析為主,著眼於系統的狀態及其內部聯繫,研究的機電控制系統擴展為多輸入-多輸出的時變系統。所謂狀態變數是足以完全表征系統運動狀態的最小個數的一組變數,而狀態方程則是由系統狀態變數構成的一階微分方程組。釋義 狀態方程...
§3—3 解釋結構模型的套用 第四章 分析模型 §4—1 模型的概念 §4—2 矩陣、文氏圖、樹形圖、卡氏圖 §4—3 權重有向圖 §4—4 圖解法 §4—5 擬合法 §4—6 經驗法 §4—7 機理法 §4—8 最佳化技術 §4—9 狀態空間模型 第五章 系統仿真 §5—1 系統仿真概述 §5—2 離散事件系統仿真 ...
1948年美國科學家伊萬斯(W.R. Evans)創立了根軌跡分析方法,為分析系統性能隨系統參數變化的規律性提供了有力工具,被廣泛套用於反饋控制系統的分析、設計中。我國著名科學家錢學森將控制理論套用於工程實踐,並與1954年出版了《工程控制論》。從20世紀40年代到50年代末,經典控制理論的發展與套用使整個世界的科學水平...
著重於數式(Symbolic)係數及參變數不可交換情況下的降階問題。基於多維系統實現理論與不確定系統LFT建模理論在代數意義下等價,擴展相關的LFT建模理論,探討多維實現理論在機器人控制系統及飛行控制系統中的套用價值。開發相應的算法軟體包。本課題既發展了多維系統基礎理論,也為不確定系統建模提供了先進的技術手段。
《線性系統理論及電網路套用》主要從電網路與電力拖動系統的示例出發,以線性系統理論為主線,主要闡述狀態空間分析法和綜合法的基本原理與套用,包括動態系統的狀態空間描述、定量分析(狀態方程的解)和定性分析(能控性、能觀性及李雅普諾夫穩定性)。《普通高等教育"十二五"規劃教材:線性系統理論及電網路...
《離散事件動態系統的混合狀態空間法的研究》是依託南京理工大學,由黃志同擔任項目負責人的面上項目。項目摘要 本項目利用混合狀態法來對DEDS展開了研究,建立了DEDS的混合狀態模型,證明了該模型解的存在與唯一性;把DEDS的統計性能用統一的混合狀態指標形式進行了描述,並進行了性能分析;給出了混合狀態模型的數值分析...
隨機進程代數已經成功地用來對計算機和通信等系統進行協定驗證與性能評估,但這種套用受到狀態空間爆炸問題的嚴重製約. 本項目研究主要是以隨機進程代數PEPA為例,發展相關理論和技術來處理大規模隨機進程代數模型的死鎖檢測和性能分析所遇到的狀態空間爆炸問題. 在死鎖檢測方面, 我們根據模型的邏輯架構來確定狀態空間的結構...
0.2.1 系統辨識 0.2.2 線性系統理論 0.2.3 控制 0.2.4 濾波( 估計)0.2.5 自適應控制 0.3 經典與現代控制理論的比較 0.3.1 經典與現代控制理論的區別 0.3.2 經典控制理論與現代控制理論的關係 0.4 控制理論的套用 0.5 未來的發展方向——智慧型控制 0.6 MATLAB軟體 第1章 控制系統狀態空間...
廣義系統 廣義系統又稱為奇異系統,廣義狀態空間系統,微分代數系統等。廣義系統是客觀系統的一種自然表示,它可用來描述系統的更多性能特徵,已經在大系統、奇異攝動理論、電路理論、經濟學理論等方面得到廣泛的套用。另外,廣義系統也可作為一種處理問題的方法,這在當前處於如火如茶研究狀態中的時滯系統文獻中可見一斑...
矩陣的半張量積使矩陣方法可以方便地套用於處理高維數組及非線性問題。《矩陣的半張量積:理論與套用(第2版)》的前5章介紹矩陣半張量積的概念及基本性質,後7章為其各種套用,包括數理邏輯及基於邏輯的智慧型系統、對微分幾何及抽象代數中的一些基本問題的套用、非線性控制系統的鎮定、動態系統的對稱性、非線性系統的...
從19世紀末以來,李雅普諾夫穩定性理論一直指導著關於穩定性的研究和套用。不少學者遵循李雅普諾夫所開闢的研究路線對第二方法作了一些新的發展。一方面,李雅普諾夫第二方法被推廣到研究一般系統的穩定性。例如,1957年,В.И.祖博夫將李雅普諾夫方法用於研究度量空間中不變集合的穩定性。隨後,J.P.拉薩爾等又對...
T來表示x(t).其實,它表示的是x(t)的期望值.利用這個記號,系統的代數狀態空間表示為 這裡 是一個列馬爾科夫轉移矩陣.以上介紹的隨機布爾網路在理論和套用上均有其特殊的重要性.該類隨機布爾網路可以看作一種特殊的機率布爾網路.另外還有機率布爾網路的結論也可用於隨機布爾網路.隨機耦合的布爾網路的同步 隨...
事件驅動系統控制與最佳化發展研究 網路控制系統資源最佳化與控制發展研究 網路控制系統發展研究 帶有通信約束的多自主體協作發展研究 基於代數狀態空間方法的邏輯動態系統發展研究 集值系統辨識與適應控制發展研究 智慧型最佳化控制發展研究 控制系統故障診斷技術研究進展 生產計畫調度發展研究 目 錄 體系工程與體系結構技術發展研究 ...
馬爾可夫過程(Markov process)是一類隨機過程。它的原始模型馬爾可夫鏈,由俄國數學家A.A.馬爾可夫於1907年提出。馬爾可夫過程是研究離散事件動態系統狀態空間的重要方法,它的數學基礎是隨機過程理論。概念 1.馬爾可夫性:設 為一隨機過程,E 為其狀態空間,若對任意的 ,任意的 ,隨機變數 X(t)在已知變數 ...
電子計算機的推廣和套用,使自動控制與信息處理相結合,出現了業務管理自動化。50年代末到60年代初,大量的工程實踐,尤其是航天技術的發展,涉及大量的多輸入多輸出系統的最優控制問題,用經典的控制理論已難於解決,於是產生了以極大值原理、動態規劃和狀態空間法等為核心的現代控制理論。現代控制理論提供了滿足發射第...
建立在狀態空間法基礎上的線性系統的分析和綜合方法通常稱為現代線性系統理論。自60年代中期以來,線性系統理論不僅在研究內容還是在研究方法上,又有了一系列新的發展。出現了這種從幾何方法角度來研究線性系統的結構和特性的幾何理論,出現了以抽象代數為工具的代數理論。也出現了在推廣經典頻率法基礎上發展起來的多變數...
本書涵蓋了經典控制、現代控制和非線性控制理論的基本內容。從控制理論的基礎知識入手,較深入地介紹了控制系統的傳遞函式、方框圖、信號流圖以及狀態空間模型;詳細闡述了用於控制系統穩定性、瞬態性能、穩態性能分析時域法、根軌跡法、頻域法和狀態空間法,以及相應的系統設計方法;討論了離散控制系統的模型、性能分析和...
汪清等人將狀態空間法改造為一階微分方程的形式,即採用慣性系統理論來描述飛機的大振幅運動過程。他根據流動分離的形式將非定常氣動力分成兩部分,但是這種拆分氣動力的方法很難實現,並且拆分的氣動力也很難精確,因此該模型使用不便並且精度不高。在九十年代後期,氣動力建模中出現了基於神經網路和模糊邏輯原理的建模...