中圖網(wǎng)小程序
一鍵登錄
更方便
本類五星書更多>
-
>
宇宙、量子和人類心靈
-
>
氣候文明史
-
>
南極100天
-
>
考研數(shù)學(xué)專題練1200題
-
>
希格斯:“上帝粒子”的發(fā)明與發(fā)現(xiàn)
-
>
神農(nóng)架疊層石:10多億年前遠(yuǎn)古海洋微生物建造的大堡礁
-
>
聲音簡(jiǎn)史
中圖價(jià):¥104.3
加入購(gòu)物車
分?jǐn)?shù)階系統(tǒng)高階邏輯形式化驗(yàn)證 版權(quán)信息
- ISBN：9787030622068
- 條形碼：9787030622068 ; 978-7-03-062206-8
- 裝幀：平裝
- 冊(cè)數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
分?jǐn)?shù)階系統(tǒng)高階邏輯形式化驗(yàn)證 內(nèi)容簡(jiǎn)介
本書是分?jǐn)?shù)階系統(tǒng)與高階邏輯形式化驗(yàn)證的基礎(chǔ)理論研究著作。分?jǐn)?shù)階系統(tǒng)是建立在分?jǐn)?shù)階微積分方程理論上實(shí)際系統(tǒng)的數(shù)學(xué)模型。分?jǐn)?shù)階微積分方程是擴(kuò)展傳統(tǒng)微積分學(xué)的一種直接方式，即允許微積分方程中對(duì)函數(shù)的階次選擇分?jǐn)?shù)，而不僅是現(xiàn)有的整數(shù)。分?jǐn)?shù)階微積分不僅為系統(tǒng)科學(xué)提供了一個(gè)新的數(shù)學(xué)工具，它的廣泛應(yīng)用也表明了實(shí)際系統(tǒng)動(dòng)態(tài)過程本質(zhì)上是分?jǐn)?shù)階的。高階邏輯形式化驗(yàn)證是形式化驗(yàn)證方法的一種，它是一種人機(jī)交互的定理證明方法。本書以分?jǐn)?shù)階微積分和高階邏輯形式化驗(yàn)證為切入點(diǎn)，系統(tǒng)性研究了分?jǐn)?shù)階系統(tǒng)的求解、近似化、控制器設(shè)計(jì)與高階邏輯形式化分析驗(yàn)證等內(nèi)容。
分?jǐn)?shù)階系統(tǒng)高階邏輯形式化驗(yàn)證 目錄
第1章 分?jǐn)?shù)階系統(tǒng)概述
1.1 分?jǐn)?shù)階系統(tǒng)簡(jiǎn)介
1.2 分?jǐn)?shù)階系統(tǒng)求解
1.3 分?jǐn)?shù)階系統(tǒng)近似化
1.4 成比例分?jǐn)?shù)階系統(tǒng)
1.5 分?jǐn)?shù)階PID控制器
參考文獻(xiàn)
第2章 相關(guān)理論基礎(chǔ)
2.1 基本函數(shù)
2.2 分?jǐn)?shù)階微積分定義
2.2.1 Grunwald-Letnikov分?jǐn)?shù)階微積分定義
2.2.2 Riemann-Liouville分?jǐn)?shù)階微積分定義
2.2.3 Caputo分?jǐn)?shù)階微積分定義
2.2.4 分?jǐn)?shù)階微積分定義間的關(guān)系
2.2.5 分?jǐn)?shù)階微積分的性質(zhì)
2.3 分?jǐn)?shù)階微積分的基本變換
2.3.1 Laplace變換
2.3.2 Fourier變換
2.4 分?jǐn)?shù)階微積分方程的解
2.4.1 分?jǐn)?shù)階微積分方程
2.4.2 解的存在與 性
第3章 分?jǐn)?shù)階系統(tǒng)求解
3.1 分?jǐn)?shù)階線性微積分方程求解
3.1.1 求解算法
3.1.2 步長(zhǎng)的影響
3.2 分?jǐn)?shù)階微積分框圖求解法
3.2.1 分?jǐn)?shù)階微積分模塊
3.2.2 框圖法求解分?jǐn)?shù)階線性微積分方程
3.2.3 框圖法求解分?jǐn)?shù)階非線性微積分方程
參考文獻(xiàn)
第4章 分?jǐn)?shù)階微積分算子近似
4.1 直接近似化方法
4.2 間接近似化方法
4.3 改進(jìn)近似法
4.3.1 系數(shù)的選取
4.3.2 Taylor級(jí)數(shù)的剪切
4.4 分?jǐn)?shù)階系統(tǒng) 降階
4.5 仿真實(shí)例
參考文獻(xiàn)
第5章 成比例分?jǐn)?shù)階系統(tǒng)
5.1 成比例分?jǐn)?shù)階系統(tǒng)表示方法
5.2 狀態(tài)空間與傳遞函數(shù)的關(guān)系
5.3 成比例分?jǐn)?shù)階系統(tǒng)的穩(wěn)定性
5.4 成比例分?jǐn)?shù)階系統(tǒng)的能控性與能觀性
5.4.1 能控性
5.4.2 能觀性
5.5 成比例分?jǐn)?shù)階系統(tǒng)的響應(yīng)分析
5.6 理想傳遞函數(shù)
5.7 成比例分?jǐn)?shù)階系統(tǒng)實(shí)例分析
5.8 成比例分?jǐn)?shù)階系統(tǒng)的H2范數(shù)
5.9 控制器設(shè)計(jì)與仿真
參考文獻(xiàn)
第6章 分?jǐn)?shù)階PID控制器設(shè)計(jì)
6.1 分?jǐn)?shù)階PID控制器
6.2 簡(jiǎn)單分?jǐn)?shù)階系統(tǒng)的分?jǐn)?shù)階PID控制器設(shè)計(jì)與仿真
6.2.1 控制器設(shè)計(jì)
6.2.2 仿真實(shí)例
6.3 分?jǐn)?shù)階系統(tǒng)的分?jǐn)?shù)階PID控制器設(shè)計(jì)與仿真
6.3.1 控制器設(shè)計(jì)
6.3.2 仿真實(shí)例
參考文獻(xiàn)
第7章 分?jǐn)?shù)階PID控制器對(duì)比研究
7.1 位置伺服系統(tǒng)
7.2 分?jǐn)?shù)階PID控制器與模型預(yù)測(cè)控制的比較
7.3 分?jǐn)?shù)階PID控制器與整數(shù)階PID控制器的對(duì)比研究
7.3.1 控制器設(shè)計(jì)
7.3.2 分?jǐn)?shù)階PID控制器對(duì)于負(fù)載變化的魯棒性
7.3.3 近似中N的選取
7.4 分?jǐn)?shù)階PI控制器與整數(shù)階PI控制器的對(duì)比研究
7.4.1 控制器設(shè)計(jì)
7.4.2 分?jǐn)?shù)階PI控制器對(duì)于負(fù)載變化的魯棒性
7.5 分?jǐn)?shù)階控制器對(duì)于彈性參數(shù)的魯棒性
7.5.1 分?jǐn)?shù)階PID控制器的魯棒性
7.5.2 分?jǐn)?shù)階PI控制器的魯棒性
7.6 分?jǐn)?shù)階控制器對(duì)于機(jī)械非線性的魯棒性
參考文獻(xiàn)
第8章 智能PID溫度控制算法研究
8.1 PID參數(shù)模糊自整定溫度測(cè)控儀
8.1.1 模糊PID控制器的設(shè)計(jì)
8.1.2 硬件部分
8.1.3 軟件部分
8.2 基于遺傳算法的連續(xù)重整裝置智能PID溫度控制系統(tǒng)
8.2.1 系統(tǒng)組成
8.2.2 遺傳算法的基本操作
8.2.3 基于遺傳算法的PID參數(shù)尋優(yōu)的過程
8.2.4 連續(xù)重整裝置反應(yīng)器溫度控制系統(tǒng)PID參數(shù)的尋優(yōu)設(shè)計(jì)
8.2.5 控制效果分析
8.3 連續(xù)重整裝置模糊自適應(yīng)PID溫度控制系統(tǒng)
8.3.1 PID型模糊控制器結(jié)構(gòu)
8.3.2 參數(shù)自適應(yīng)方法
8.3.3 隸屬度函數(shù)的調(diào)整和可調(diào)因子的自整定
8.3.4 控制效果分析
參考文獻(xiàn)
第9章 風(fēng)暴災(zāi)害中的分?jǐn)?shù)階模型
9.1 人員傷亡損失評(píng)估
9.2 直接經(jīng)濟(jì)損失評(píng)估
9.3 間接經(jīng)濟(jì)損失評(píng)估
9.4 舉例分析
參考文獻(xiàn)
0章 教育評(píng)估的分?jǐn)?shù)階模型
10.1 教育評(píng)估簡(jiǎn)介
10.2 分?jǐn)?shù)階評(píng)估方法
10.2.1 課程評(píng)估指標(biāo)體系
10.2.2 確定指標(biāo)權(quán)重
10.2.3 基于關(guān)聯(lián)距離度的評(píng)估模型
10.3 實(shí)例分析
參考文獻(xiàn)
1章 分?jǐn)?shù)階序列 小優(yōu)化方法
11.1 支持向量機(jī)
11.1.1 線性可分支持向量機(jī)
11.1.2 線性不可分支持向量機(jī)
11.1.3 非線性支持向量機(jī)與核函數(shù)
11.2 序列 小優(yōu)化算法
11.3 序列 小優(yōu)化算法的分?jǐn)?shù)階拓展
11.4 實(shí)例驗(yàn)證
2章 LIBSVM工具箱中分?jǐn)?shù)階C-支持向量分類方法
12.1 泰勒展開式推導(dǎo)
12.1.1 一元泰勒展開式
12.1.2 多元泰勒展開式
12.1.3 分?jǐn)?shù)階泰勒展開式
12.2 目標(biāo)函數(shù)的分?jǐn)?shù)階改進(jìn)
12.3 拉格朗日乘子的 新
12.3.1 選取拉格朗日乘子α的下標(biāo)i
12.3.2 選取拉格朗日乘子α的下標(biāo)j
12.3.3 對(duì)拉格朗日乘子的 新
12.4 分?jǐn)?shù)階導(dǎo)數(shù)集合的 新
12.5 法向量w和偏移量b的計(jì)算
12.6 確定分類結(jié)果
12.7 實(shí)例驗(yàn)證
3章 高階邏輯定理證明器
13.1 形式化驗(yàn)證
13.1.1 等價(jià)性驗(yàn)證
13.1.2 模型檢驗(yàn)
13.1.3 定理證明
13.2 HOL系統(tǒng)概述
13.2.1 HOL系統(tǒng)的發(fā)展
13.2.2 ML語言
13.2.3 HOL類型
13.2.4 定理庫(kù)
13.2.5 對(duì)策和策略
展開全部
書友推薦
- >
新文學(xué)天穹兩巨星--魯迅與胡適/紅燭學(xué)術(shù)叢書(紅燭學(xué)術(shù)叢書)
- >
龍榆生：詞曲概論/大家小書
- >
中國(guó)人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
中國(guó)歷史的瞬間
- >
月亮虎
- >
我從未如此眷戀人間
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作
- >
二體千字文
本類暢銷
