賽博物理系統的多範式建模方法 貝迪爾.特克納多根 9787512441194 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：北京航空航天大學
物品所在地：中國大陸
原出版社：北京航空航天大學
NT$630
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202307*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：賽博物理系統的多範式建模方法 ISBN：9787512441194 出版社：北京航空航天大學 著編譯者：貝迪爾.特克納多根 頁數：276 所在地：中國大陸 *此為代購商品 書號：1577002 可大量預訂，請先連絡。 內容簡介 本書呈現了國際相關研究團隊在支持賽博物理系統多範式建模（MPM4CPS）方面的研究成果，書中內容源於領先行業的實踐經驗以及研究性文獻，聚焦該領域最先進的研究方法和實踐案例，涵蓋MPM4CPS研究團隊創建的理論基礎、形式化方法、工具以及相應教育資源和案例。讀者將從本書中了解賽博物理系統（CPS）設計和運用的關鍵問題以及解決方案，並可從必需的軟體工具的介紹中得到有關模型建立、分析和管理的有益指導。 讀者將從書中學習到有關基於模型的系統工程（MBSE）中全面應用建模與模擬技術的基本理論以及研究方向。本書可作為系統工程、自主系統等學科的研究生教材，使學生系統地學習關於多範式建模本體框架的最新理論，並通過案例研究領悟相應的工程實踐中的建模方法和分析流程。目錄 第1章 引言1 1 目標 1 2 本書概要 1 2 1 第一部分——本體框架 1 2 2 第二部分——方法和工具 1 2 3 第三部分——案例研究 1 3 致謝 第一部分 本體框架 第2章 賽博物理系統多範式建模的本體基礎 2 1 概述 2 2 本體開發方法 2 2 1 建模模式 2 2 2 領域分析流程 2 3 建模語言與建模工具 2 3 1 特徵建模和FeatureIDE 2 3 2 網路本體語言（OWL）和Protege 2 3 3 特徵建模與OWL的集成 2 4 本體架構 2 5 共享本體 2 5 1 語言領域概念（LinguisticDC） 2 5 2 工作流領域概念（WorkflowDC） 2 5 3 項目管理領域概念（ProjectManagementDC） 2 5 4 架構領域概念（ArchitectureDC） 2 5 5 範式領域概念（ParadigmDC） 2 6 示例介紹 2 6 1 基於合集的賽博物理系統 2 6 2 HPI賽博物理系統實驗室 2 7 總結 參考文獻 第3章 基於特徵的賽博物理系統本體 3 1 概述 3 2 賽博物理系統的元模型 3 3 賽博物理系統的特徵模型 3 3 1 頂層特徵圖 3 3 2 CPS的構成元素 3 3 3 非功能性需求 3 3 4 應用領域 3 3 5 學科 3 4 CPS的架構 3 5 示例 3 5 1 基於合集的賽博物理系統 3 5 2 HPI賽博物理系統實驗室 3 6 總結 參考文獻 第4章 支持多範式建模的本體 4 1 概述 4 2 最先進的本體 4 2 1 核心建模概念 4 2 2 多形式化建模方法 4 2 3 模型管理方法 4 3 MPM本體 4 3 1 核心建模概念 4 3 2 微模型尺度（Micromodelling scale） 4 3 3 巨模型尺度（Megamodelling scale） 4 4 示例 4 4 1 基於合集的賽博物理系統 4 4 2 HPI賽博物理系統實驗室（CPSLab） 4 4 3 模擬階段 4 5 總結 參考文獻 第5章 支持賽博物理系統的多範式建模的集成本體 5 1 概述 5 2 最先進的技術 5 2 1 視角 5 2 2 基於模型的開發流程建模 5 2 3 建模範式 5 3 本體 5 3 1 視角 5 3 2 基於模型的工作流 5 3 3 建模範式 5 4 示例 5 4 1 基於合集的賽博物理系統（EBCPS） 5 4 2 HPI賽博物理系統實驗室 5 4 3 建模範式 5 5 總結 參考文獻 第二部分 方法和工具 第6章 通過雙半球模型驅動方法支持賽博物理系統的組合 6 1 概述 6 2 賽博物理系統的組件 6 3 系統組合背景環境下的賽博物理系統 6 4 雙半球模型驅動方法 6 5 雙半球模型驅動方法用於解決組合問題 6 6 總結 致謝 參考文獻 第7章 賽博物理生產系統原型開發中的多範式建模和協同模擬 7 1 概述 7 2 案例研究描述 7 3 技術 7 3 1 INTO-CPS技術 7 3 2 初始模型 7 3 3 VDM-RT/Overture的離散事件優先策略 7 4 方法論 7 5 子系統的建模 子系統模型 7 6 驗證和確認 7 6 1 同構階段的實驗 7 6 2 與物理系統相關的同構模擬分析 7 6 3 異構階段的實驗 7 7 總結 7 7 1 兩個階段的開發 7 7 2 關於方法論上的見解 致謝 參考文獻 第8章 使用SEA_ML++開發基於智能體的賽博物理系統 8 1 概述 8 2 背景 8 3 相關工作 8 4 SEA_ML 8 4 1 抽象句法 8 4 2 圖形化具體句法 8 4 3 轉換 8 5 使用SEA_ML++的基於智能體CPS的建模和開發 8 6 多智能體垃圾收集CPS的開發 8 6 1 系統設計 8 6 2 系統開發 8 6 3 演示證明 8 7 總結 致謝 參考文獻 第9章 CREST——用於混合CPS建模的DSML 9 1 概述 9 2 混合的形式化方法 9 2 1 定時和混合自動機工具 9 2 2 離散形式化的混合擴展 9 3 使用CREST開展領域特定的混合建模 9 3 1 CREST句法 9 3 2 CREST語義 9 3 3 驗證 9 4 實現 9 5 討論 9 6 總結 參考文獻 第三部分 案例研究 第10章 應用MPM方法開發基於物聯網和無線感測器網路的CPS——智能火災探測案例研究 10 1 概述 10 2 需求獲取 10 3 系統設計 10 3 1 架構設計 10 3 2 詳細設計 10 4 建模和模擬 10 5 實現 10 5 1 硬體設置 10 5 2 軟體開發 10 5 3 日誌管理器 10 5 4 測試和驗證 10 6 FTG+PM框架下的多範式開發流程 10 6 1 形式化轉換圖形（FTG） 10 6 2 流程模型（PM） 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
