離散與混雜控制的代數理論 (Algebraic Theory of Discrete and Hybrid Contro
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：電子工業
物品所在地：中國大陸
原出版社：電子工業
NT$623
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202312*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：離散與混雜控制的代數理論 (Algebraic Theory of Discrete and Hybrid Control) ISBN：9787121466939 出版社：電子工業 著編譯者：王勇 姜正濤 代桂平 頁數：200 所在地：中國大陸 *此為代購商品 書號：1597593 可大量預訂，請先連絡。 【台灣高等教育出版社簡體書】 離散與混雜控制的代數理論 (Algebraic Theory of Discrete and Hybrid Control) 787121466939 王勇 姜正濤 代桂平 內容簡介 控制理論通常處理過程的動態行為，由微分方程來進行刻畫。隨著計算機控制的快速普及，出現了離散事件過程和混雜過程。離散事件過程可能是展現離散行為的最簡單的過程。在離散事件系統中，狀態是離散的，而且狀態的轉移僅僅是對離散事件的響應。在離散事件過程和計算過程之間存在微小的差異，即并行與併發，也就是說，對於多數的計算性質，如順序、不確定性、遞歸和抽象等，它們是相同的。混雜理論是系統理論和計算機科學的結合體。在系統理論中，系統行為通常由微分方程來刻畫，而在計算機科學中，系統行為通常由離散的原子動作及其之間的計算邏輯來刻畫。在本書中，我們在真併發進程代數中引入離散事件系統和混雜系統，介紹了離散事件過程的公理化、分散式離散事件過程的公理化、混雜進程代數及其在神經網路建模中的應用以及具有位置的混雜進程代數及其在分散式/聯邦神經網路建模中的應用等。目錄 Chapter 1 IntroductionChapter 2 Backgrounds 2 1 Operational Semantics 2 2 Proof Techniques 2 3 Truly Concurrent Process Algebra-APTC 2 3 1 Basic Algebra for True Concurrency 2 3 2 APTC with Left Parallel Composition 2 3 3 Recursion 2 3 4 Abstraction 2 3 5 Placeholder 2 3 6 Applications 2 4 Truly Concurrent Process Algebra with Localities 2 4 1 Operational Semantics with Localities 2 4 2 BATC with Localities 2 4 3 APTC with Localities 2 4 4 Recursion with Localities 2 4 5 Abstraction with Localities Chapter 3 An Axiomatization of Discrete Event Processes 3 1 Basic Algebra for True Concurrency - BATC 3 1 1 Axiom System of BATC 3 1 2 Properties of BATC 3 1 3 Structured Operational Semantics of BATC 3 2 Algebra for Parallelism in True Concurrency 3 2 1 Parallelism as a Fundamental Computational Pattern 3 2 2 Axiom System of Parallelism 3 2 3 Properties of Parallelism 3 2 4 Structured Operational Semantics of Parallelism 3 2 5 Encapsulation 3 3 Recursion 3 3 1 Guarded Recursive Specifications 3 3 2 Recursive Definition and Specification Principles 3 3 3 Approximation Induction Principle 3 4 Silent Step and Abstraction 3 4 1 Guarded Linear Recursion 3 4 2 Algebraic Laws for the Silent Step 3 4 3 Abstraction Chapter 4 An Axiomatization of Distributed Discrete Event Processes 4 1 BATC with Static Localities 4 1 1 Axiom System of BATC with Static Localities 4 1 2 Properties of BATC with Static Localities 4 1 3 Structured Operational Semantics of BATC with Static Localities 4 2 APTC with Static Localities 4 2 1 Properties of Parallelism with Static Localities 4 2 2 Structured Operational Semantics of Parallelism with Static Localities 4 2 3 Encapsulation with Static Localities 4 3 Recursion with Static Localities 4 3 1 Guarded Recursive Specifications with Static Localities 4 3 2 Recursive Definition and Specification Principles with Static Localities 4 3 3 Approximation Induction Principle with Static Localities 4 4 Silent Step and Abstraction with Static Localities 4 4 1 Guarded Linear Recursion with Static Localities 4 4 2 Algebraic Laws for the Silent Step with Static Localities 4 4 3 Abstraction with Static Localities Chapter 5 Hybrid Process Algebra 5 1 Truly Concurrent Semantics 5 2 Hybrid BATC 5 2 1 Axiom System of Hybrid BATC 5 2 2 Properties of Hybrid BATC 5 2 3 Structured Operational Semantics of Hybrid BATC 5 3 Hybrid APTC 5 3 1 Properties of Parallelism of Hybrid APTC 5 3 2 Structured Operational Semantics of Parallelism of Hybrid APTC 5 3 3 Encapsulation of Hybrid APTC 5 4 Recursion of Hybrid APTC 5 4 1 Guarded Recursive Specifications 5 4 2 Recursive Definition and Specification Principles of Hybrid APTC 5 4 3 Approximation Induction Principle of Hybrid APTC 5 5 Silent Step and Abstraction of Hybrid APTC 5 5 1 Guarded Linear Recursion of Hybrid APTC 5 5 2 Algebraic Laws for the Silent Step of Hybrid APTC 5 5 3 Abstraction 5 6 Application of Hybrid APTC in Modeling Neural Networks 5 6 1 Modeling of Neurons 5 6 2 Modeling of Neural Networks Chapter 6 Hybrid Process Algebra with Localities 6 1 Locality Semantics 6 2 Hybrid BATC with Localities 6 2 1 Axiom System of Hybrid BATC with Localities 6 2 2 Properties of Hybrid BATC With Localities 6 2 3 Structured Operational Semantics of Hybrid BATC with Localities 6 3 Hybrid APTC with Localities 6 3 1 Properties of Parallelism of Hybrid APTC with Localities 6 3 2 Structured Operational Semantics of Parallelism of Hybrid APTC with Localities 6 3 3 Encapsulation of Hybrid APTC with Localities 6 4 Recursion of Hybrid APTC with Localities 6 4 1 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
