產品名稱：信息物理融合繫統(CPS)原... 是否是套裝：否 書名：信息物理融合繫統(CPS)原理 信息物理融合繫統(CPS)原理 代碼：79 出版社名稱：機械工業出版社 出版時間：2017年6月 作者：拉吉夫·阿盧爾 作者地區：美國 ISBN編號：9787111559047
" 信息物理融合繫統(CPS)原理 作 者:(美)拉吉夫·阿盧爾(Rajeev Alur) 著；董雲衛,張雨 譯  定 價:79 出 版 社:機械工業出版社 出版日期:2017年06月01日 頁 數:282 裝 幀:平裝 ISBN:9787111559047  ●出版者的話
●譯者序
●前言
●第1章簡介1
●1.1什麼是信息物理融合繫統1
●1.2信息物理融合繫統的主要特征1
●1.3研究主題概述3
●1.4課程組織指南5
●第2章同步模型8
●2.1反應式構件8
●2.1.1變量、值和表達式8
●2.1.2輸入、輸出和狀態9
●2.1.3初始化9
●2.1.4更新10
●2.1.5執行11
●2.1.6擴展狀態機12
●2.2構件屬性13
●2.2.1有限狀態構件13
●2.2.2復合構件14
●2.2.3事件觸發構件*14......  內容簡介  本書主要介紹信息物理融合繫統的基本理論，包括繫統設計、規約、建模和分析方法。針對基於模型的設計、並發理論、分布式算法、規約和驗證的形式化方法、控制理論、實時繫統和混成繫統等分支學科，從不同側面對信息物理融合繫統進行描述。本書采用數學化的建模、基於模型的設計，以及規約與分析等概念，並配以案例研究圖解來闡述信息物理繫統所涉及的分布式算法、網絡協議、控制設計和機器人等理論。本書適合作為計算科學、計算機工程和電子工程相關學科的高年級本科生或一年級研究生的教材。  (美)拉吉夫·阿盧爾(Rajeev Alur) 著；董雲衛,張雨 譯  拉吉夫·阿盧爾(Rajeev Alur)，現為賓夕法尼亞大學計算機和信息科學Zisman Family教授，該校嵌入式繫統碩士生課程主管。他於1991年獲得斯坦福大學計算機科學博士學位，在1997年加入賓夕法尼亞大學之前，在貝爾實驗室計算機科學研究中心工作。他的研究方向涉及計算機的3個子學科：理論計算機科學繫統、繫統設計的形式化方法、信息物理融合繫統。他是ACM Fellow和DIEEE Fellow；並曾擔任ACM SIGBEDLICS大會。  前 言Principles of Cyber-Physical Systems信息物理融合繫統由能夠相互通信的計算設備組成，這些計算設備借助傳感器和作動器實現與物理世界的交互。現實生活中，這樣的繫統越來越多，從智能建築到醫療設備再到汽車都可以看作信息物理融合繫統。在過去的十多年中，開發確保信息物理融合繫統可靠性的設計和分析工具是一項具有挑戰性的工作，它吸引了眾多學術界和工業界的研究人員開展卓有成效的跨學科研究。 本書的目標是為信息物理融合繫統的設計、規約、建模和分析提供一套基本理論，這些理論勾畫了開發信息物理融合繫統所涉及的眾多分支學科，包括基於模型的設計方法、並發理論、分布式算法、規約和驗證的形式化方法、控制理論、實時繫統和混成繫統。我試圖為信息物理融合繫統設計和分析方法相關的研究主題提供一...... "
| 
