矩陣結構與矩陣函數的形式化 施智平 吳愛軒 關永 9787030763303 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：科學
物品所在地：中國大陸
原出版社：科學
NT$496
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202309*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：矩陣結構與矩陣函數的形式化 ISBN：9787030763303 出版社：科學 著編譯者：施智平 吳愛軒 關永 頁數：100 所在地：中國大陸 *此為代購商品 書號：1584033 可大量預訂，請先連絡。 內容簡介 本書系統深入地闡述了矩陣結構和矩陣函數的公理化體系，並給出基於此公理體系進行形式化分析與驗證的應用。主要內容包括：矩陣結構的形式化；矩陣序列與矩陣級數理論的形式化；矩陣函數微分的形式化；矩陣理論的自動化定理證明；矩陣理論公理化系統在信息或物理系統形式化建模驗證中的應用。 本書可作為機器定理證明、形式化方法、理論計算機科學及軟體工程等領域的科研人員及工程技術人員的參考書，也可供高等院校相關專業高年級本科生和研究生閱讀。目錄 符號說明序 前言 第1章 緒論 1 1 背景及意義 1 2 研究現狀 1 2 1 矩陣分析 1 2 2 數學形式化的發展現狀 1 3 定理證明系統HOL Light 1 3 1 HOL Light簡介 1 3 2 系統相關符號的約定 1 4 主要內容 1 5 本書結構 參考文獻 第2章 矩陣結構的形式化 2 1 抽象空間 2 1 1 線性空間 2 1 2 拓撲空間 2 1 3 距離空間與賦范空間 2 1 4 內積空間與希爾伯特空間 2 2 矩陣結構 2 3 矩陣結構的基本數據類型 2 4 矩陣結構基本性質的形式化 2 4 1 線性性質 2 4 2 拓撲性質 2 4 3 范數性質 2 4 4 內積性質 2 5 矩陣結構的完備性 2 5 1 空間完備性的形式化 2 5 2 巴拿赫空間與希爾伯特空間 2 6 本章小結 參考文獻 第3章 矩陣序列與矩陣級數理論的形式化 3 1 矩陣序列與矩陣級數的形式化 3 1 1 矩陣序列 3 1 2 矩陣級數 3 1 3 矩陣冪級數 3 2 柯西審斂準則在矩陣序列的推廣 3 2 1 柯西審斂準則 3 2 2 比較審斂法和比值審斂法 3 3 矩陣函數的形式化 3 3 1 一般矩陣函數的形式化定義 3 3 2 常用的由矩陣冪級數表示的矩陣函數 3 4 矩陣結構緊緻性的形式化分析 3 4 1 緊緻性相關概念的形式化 3 4 2 緊緻性的等價性證明 3 5 本章小結 參考文獻 第4章 矩陣函數微分的形式化 4 1 矩陣函數連續性 4 1 1 矩陣函數連續性的形式化定義 4 1 2 矩陣函數連續性的形式化 4 2 矩陣函數的Frechet微分 4 2 1 Frechet微分定義的形式化 4 2 2 矩陣函數微分基本性質的形式化 4 3 矩陣函數微分與有界線性運算元 4 4 本章小結 參考文獻 第5章 矩陣理論的自動定理證明 5 1 引言 5 2 判定程序基本理論及矩陣結構理論判定性研究 5 2 1 判定程序基本理論 5 2 2 矩陣結構理論判定性的初步研究 5 3 自動證明演算法的設計與實現 5 3 1 演算法的基本流程 5 3 2 演算法的程序實現 5 3 3 判定程序的有效性測試 5 4 本章小結 參考文獻 第6章 應用示例 6 1 一種面向Massive MIMO的矩陣求逆演算法形式化分析 6 1 1 引言 6 1 2 系統模型的形式化 6 1 3 演算法模型的形式化 6 1 4 級數收斂性的形式化分析 6 2 機器人機構運動學中的李群李代數模型的形式化驗證 6 2 1 引言 6 2 2 機構運動學中常用李群李代數的形式化 6 2 3 機構運動學中常用李群李代數及其指數映射的形式化驗證 6 3 本章小結 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
