分數階系統高階邏輯形式化驗證 趙春娜 蔣慕蓉 9787030622068 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：科學
物品所在地：中國大陸
原出版社：科學
NT$948
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202309*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：分數階系統高階邏輯形式化驗證 ISBN：9787030622068 出版社：科學 著編譯者：趙春娜 蔣慕蓉 頁數：296 所在地：中國大陸 *此為代購商品 書號：1581256 可大量預訂，請先連絡。 內容簡介 本書是分數階系統與高階邏輯形式化驗證的基礎理論研究著作。分數階系統是建立在分數階微積分方程理論上實際系統的數學模型。分數階微積分方程是擴展傳統微積分學的一種直接方式，即允許微積分方程中對函數的階次選擇分數，而不僅是現有的整數。分數階微積分不僅為系統科學提供了一個新的數學工具，它的廣泛應用也表明了實際系統動態過程本質上是分數階的。高階邏輯形式化驗證是形式化驗證方法的一種，它是一種人機交互的定理證明方法。本書以分數階微積分和高階邏輯形式化驗證為切入點，系統性研究了分數階系統的求解、近似化、控制器設計與高階邏輯形式化分析驗證等內容。 本書填補了分數階系統的高階邏輯形式化驗證研究著作方面的空白，可供數學、控制科學、形式化驗證等相關學科的學生、科技工作者和教師參考。目錄 第1章 分數階系統概述1 1 分數階系統簡介 1 2 分數階系統求解 1 3 分數階系統近似化 1 4 成比例分數階系統 1 5 分數階PID控制器 參考文獻 第2章 相關理論基礎 2 1 基本函數 2 2 分數階微積分定義 2 2 1 Grunwald-Letnikov分數階微積分定義 2 2 2 Riemann-Liouville分數階微積分定義 2 2 3 Caputo分數階微積分定義 2 2 4 分數階微積分定義間的關係 2 2 5 分數階微積分的性質 2 3 分數階微積分的基本變換 2 3 1 Laplace變換 2 3 2 Fourier變換 2 4 分數階微積分方程的解 2 4 1 分數階微積分方程 2 4 2 解的存在與唯一性 第3章 分數階系統求解 3 1 分數階線性微積分方程求解 3 1 1 求解演算法 3 1 2 步長的影響 3 2 分數階微積分框圖求解法 3 2 1 分數階微積分模塊 3 2 2 框圖法求解分數階線性微積分方程 3 2 3 框圖法求解分數階非線性微積分方程 參考文獻 第4章 分數階微積分運算元近似 4 1 直接近似化方法 4 2 間接近似化方法 4 3 改進近似法 4 3 1 係數的選取 4 3 2 Taylor級數的剪切 4 4 分數階系統最優降階 4 5 模擬實例 參考文獻 第5章 成比例分數階系統 5 1 成比例分數階系統表示方法 5 2 狀態空間與傳遞函數的關係 5 3 成比例分數階系統的穩定性 5 4 成比例分數階系統的能控性與能觀性 5 4 1 能控性 5 4 2 能觀性 5 5 成比例分數階系統的響應分析 5 6 理想傳遞函數 5 7 成比例分數階系統實例分析 5 8 成比例分數階系統的H2范數 5 9 控制器設計與模擬 參考文獻 第6章 分數階PID控制器設計 6 1 分數階PID控制器 6 2 簡單分數階系統的分數階PID控制器設計與模擬 6 2 1 控制器設計 6 2 2 模擬實例 6 3 分數階系統的分數階PID控制器設計與模擬 6 3 1 控制器設計 6 3 2 模擬實例 參考文獻 第7章 分數階PID控制器對比研究 7 1 位置伺服系統 7 2 分數階PID控制器與模型預測控制的比較 7 3 分數階PID控制器與整數階PID控制器的對比研究 7 3 1 控制器設計 7 3 2 分數階PID控制器對於負載變化的魯棒性 7 3 3 近似中N的選取 7 4 分數階PI控制器與整數階PI控制器的對比研究 7 4 1 控制器設計 7 4 2 分數階PI控制器對於負載變化的魯棒性 7 5 分數階控制器對於彈性參數的魯棒性 7 5 1 分數階PID控制器的魯棒性 7 5 2 分數階PI控制器的魯棒性 7 6 分數階控制器對於機械非線性的魯棒性 參考文獻 第8章 智能PID溫度控制演算法研究 8 1 PID參數模糊自整定溫度測控儀 8 1 1 模糊PID控制器的設計 8 1 2 硬體部分 8 1 3 軟體部分 8 2 基於遺傳演算法的連續重整裝置智能PID溫度控制系統 8 2 1 系統組成 8 2 2 遺傳演算法的基本操作 8 2 3 基於遺傳演算法的PID參數尋優的過程 8 2 4 連續重整裝置反應器溫度控制系統PID參數的尋優設計 8 2 5 控制效果分析 8 3 連續重整裝置模糊自適應PID溫度控制系統 8 3 1 PID型模糊控制器結構 8 3 2 參數自適應方法 8 3 3 隸屬度函數的調整和可調因子的自整定 8 3 4 控制效果分析 參考文獻 第9章 風暴災害中的分數階模型 9 1 人員傷亡損失評估 9 2 直接經濟損失評估 9 3 間接經濟損失評估 9 4 舉例分析 參考文獻 第10章 教育評估的分數階模型 10 1 教育評估簡介 10 2 分數階評估方法 10 2 1 課程評估指標體系 10 2 2 確定指標權重 10 2 3 基於關聯距離度的評估模型 10 3 實例分析 參考文獻 第11章 分數階序列最小優化方法 11 1 支持向量機 11 1 1 線性可分支持向量機 11 1 2 線性不可分支持向量機 11 1 3 非線性支持向量機與核函數 11 2 序列最小優化演算法 11 3 序列最小優化演算法的分數階拓展 11 4 實例驗證 第12章 LIBSVM工具箱中分數階C-支持向量分類方法 12 1 泰勒展開式推導 12 1 1 一元泰勒展開式 12 1 2 多元泰勒展開式 12 1 3 分數階泰勒展開式 12 2 目標函數的分數階改進 12 3 拉格朗日乘子的更新 12 3 1 選取拉格朗日乘子α的下標i 12 3 2 選取拉格朗日乘子α的下標j 12 3 3 對拉格朗日乘子的更新 12 4 分數階導數集合的更新 12 5 法向量w和偏移量b的計算 12 6 確定分類結果 12 7 實例驗證 第13章 高階邏輯定理證明器 13 1 形式化驗證 13 1 1 等價性驗證 13 1 2 模型檢驗 13 1 3 定理證明 13 2 HOL系統概述 13 2 1 HOL系統的發展 13 2 2 ML語言 13 2 3 HOL類型 13 2 4 定理庫 13 2 5 對策和策略 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
