同類熱銷排行榜

信息物理系統應用與原理/電腦科學叢書

作者：(印度)拉傑·拉傑庫馬爾//(美)迪奧尼西奧·德·尼茨//馬克·克萊恩|譯者:李士寧//張羽//李志剛
出版社：機械工業
ISBN：9787111598107

出版日期：2018/06/01
裝幀：平裝
頁數：224

人民幣：RMB 79 元售價：元

內容大鋼

拉傑·拉傑庫馬爾、迪奧尼西奧·德·尼茨、馬克·克萊恩編寫的《信息物理系統應用與原理》討論了CPS的大量理論進展以及每個領域的挑戰。一些進展源於應用領域的具體挑戰，另一些進展帶來了新的發展機會。全書分為兩部分。第一部分介紹了當前CPS的3個典型領域(醫療、能源、無線感測器網路)，這些應用領域推動了CPS的技術革命。第二部分介紹了CPS發展中使用的多學科理論基礎。
本書可作為高等院校信息物理系統相關課程的教材，也可作為CPS應用領域相關從業者的參考書。

作者介紹

(印度)拉傑·拉傑庫馬爾//(美)迪奧尼西奧·德·尼茨//馬克·克萊恩|譯者:李士寧//張羽//李志剛

出版者的話
譯者序
前言
關於作者
關於其他貢獻者
第一部分 CPS應用領域
  第1章醫療CPS
    1.1 引言
    1.2 系統描述與操作場景
      1.2.1 虛擬醫療設備
      1.2.2 臨床場景
    1.3 關鍵設計驅動與質量屬性
      1.3.1 發展趨勢
      1.3.2 質量屬性以及MCPS領域的挑戰
      1.3.3 MCPS的高可信度開發
      1.3.4 按需醫療設備及其安全保障
      1.3.5 智能報警以及醫療決策支持系統
      1.3.6 閉環系統
      1.3.7 安全案例
    1.4 從業者的影響
      1.4.1 MCPS開發者角度
      1.4.2 MCPS管理者角度
      1.4.3 MCPS用戶角度
      1.4.4 患者角度
      1.4.5 MCPS監管機構角度
    1.5 總結與挑戰
    參考文獻
  第2章能源CPS
    2.1 引言
    2.2 系統描述與操作場景
    2.3 關鍵設計驅動與質量屬性
      2.3.1 關鍵系統原則
      2.3.2 架構1的性能目標
      2.3.3 未來的方向
    2.4 可持續性SEES的網路範例
      2.4.1 在SEES中基於物理的CPS組合
      2.4.2 在SEES中基於DyMonDS的CPS標準
      2.4.3 交互變數自動建模與控制
    2.5 從業者的影響
      2.5.1 性能目標的IT演化
      2.5.2 分散式優化
    2.6 總結與挑戰
    參考文獻
  第3章基於無線感測器網路的CPS
    3.1 引言
    3.2 系統描述與操作場景
      3.2.1 媒介訪問控制
      3.2.2 路由
      3.2.3 節點定位
      3.2.4 時鐘同步

      3.2.5 電源管理
    3.3 關鍵驅動設計與質量屬性
      3.3.1 物理感知
      3.3.2 實時感知
      3.3.3 運行時驗證感知
      3.3.4 安全感知
    3.4 從業者的影響
    3.5 總結與挑戰
    參考文獻
第二部分 CPS基礎理論
  第4章 CPS的符號化合成
    4.1 引言
    4.2 基礎技術
      4.2.1 預備知識
      4.2.2 問題定義
      4.2.3 合成問題的解決
      4.2.4 符號模型構建
    4.3 高級技術
      4.3.1 構建符號模型
      4.3.2 連續時間控制器
      4.3.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.3.4 控制器的軟體結構
      5.3.5 計算資源共享
      5.3.6 反饋控制系統的分析與模擬
    5.4 總結與挑戰
    參考文獻
  第6章混合系統的邏輯正確性
    6.1 引言
    6.2 基礎技術
      6.2.1 離散驗證
    6.3 高級技術
      6.3.1 實時驗證
      6.3.2 混合驗證
    6.4 總結與挑戰
    參考文獻
  第7章 CPS的安全
    7.1 引言
    7.2 基礎技術
      7.2.1 網路安全需求

      7.2.2 攻擊模型
      7.2.3 應對策略
    7.3 高級技術
      7.3.1 系統理論
    7.4 總結與挑戰
    參考文獻
  第8章分散式CPS的同步
    8.1 引言
      8.1.1 CPS的挑戰
      8.1.2 一種降低同步複雜度的技術
    8.2 基礎技術
      8.2.1 軟體工程
      8.2.2 分散式一致性演算法
      8.2.3 同步鎖步執行
      8.2.4 時間觸發架構
      8.2.5 相關技術
    8.3 高級技術
      8.3.1 物理非同步、邏輯同步系統
    8.4 總結與挑戰
    參考文獻
  第9章 CPS的實時調度
    9.1 引言
    9.2 基礎技術
      9.2.1 固定時間參數的調度
      9.2.2 內存效應
    9.3 高級技術
      9.3.1 多處理器∕多核調度
      9.3.2 適應可變性和不確定性
      9.3.3 其他資源的管理
      9.3.4 間歇任務調度
    9.4 總結與挑戰
    參考文獻
  第10章 CPS模型集成
    10.1 引言
    10.2 基礎技術
      10.2.1 因果關係
      10.2.2 時間語義域
      10.2.3 計算過程的交互模型
      10.2.4 CPS DSML建模語言的語義
    10.3 高級技術
      10.3.1 ForSpec語言
      10.3.2 CyPhyML系統建模語言的語法
      10.3.3 語義的形式化
      10.3.4 形式化的語言集成
    10.4 總結與挑戰
參考文獻

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032

同類熱銷排行榜

最近瀏覽的商品

信息物理系統應用與原理/電腦科學叢書