嚴密系統設計-方法.趨勢與挑戰 約瑟夫.希發基思 9787121467653 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：電子工業
物品所在地：中國大陸
原出版社：電子工業
NT$502
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *數量非實際在台庫存 *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為實際資訊。 印行年月：202312*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：嚴密系統設計-方法.趨勢與挑戰 ISBN：9787121467653 出版社：電子工業 著編譯者：約瑟夫.希發基思 頁數：195 所在地：中國大陸 *此為代購商品 書號：1613005 可大量預訂，請先連絡。 內容簡介 本書提出了一種基於形式化模型的嚴密的系統設計方法，詳細闡述了嚴密系統設計方法的基本原理，介紹了嚴密系統設計框架BIP（Behavior， Interaction， Priority）的建模語言、形式語義及其工具鏈。自主系統作為人工智慧技術應用落地的重要形態，討論了自主系統設計的趨勢和挑戰，闡述了一種集成模型驅動方法與數據驅動方法的思路，並提出了一種新的基於替換測試的智能測試方法，用以判斷自主系統在完成多種不同類型任務方面的智能水平。作者簡介 約瑟夫·希發基思（Joseph Sifakis），2007年圖靈獎獲得者，自主系統領域專家，世界安全計算機系統發展重要貢獻者，創立了在嵌入式系統領域具有領先地位的Verimag實驗室。他是法國科學院院士、法國國家工程院院士、歐洲科學院院士、美國藝術與科學院院士、美國國家工程院院士、中國科學院外籍院士。 希發基思教授致力於在中國進行人工智慧的學術研究和人才培養。他親自指導中國留學生和博士后，為中國科學院軟體研究所、浙江大學、軍事科學院等單位輸送科研骨幹。2017年8月至今，他擔任清華大學計算機學科顧問委員會委員。2019年1月開始，他任南方科技大學傑出教授，牽頭成立希發基思可信自主系統研究院（Research Institute of Trustworthy and Autonomous Systems，RITAS）並擔任榮譽院長。目錄 第1章 引言1 1 系統設計的概念 1 2 系統的演變過程 1 3 傳統的系統設計方法 1 3 1 「V-模型」方法的設計流程 1 3 2 「V-模型」方法的假設條件 1 4 本書組織結構 參考文獻 第2章 系統設計的正確性和複雜性 2 1 正確性內涵 2 1 1 可信性 2 1 2 關鍵等級 2 2 複雜性挑戰 2 2 1 設計複雜性 2 2 2 模型複雜性 參考文獻 第3章 嚴密系統設計方法 3 1 基本思想 3 2 關注點分離 3 2 1 從需求到應用軟體 3 2 2 從應用軟體到軟硬體融合系統 3 3 基於組件的設計 3 3 1 基本原則 3 3 2 組件框架 3 4 語義連貫的設計 3 5 「構造即正確」的設計 3 5 1 基本原理 3 5 2 水平正確性 3 5 3 垂直正確性 3 6 實踐討論 參考文獻 第4章 基於BIP的系統設計框架 4 1 BIP框架介紹 4 2 BIP語言 4 2 1 原子組件 4 2 2 連接器 4 2 3 優先順序 4 2 4 複合組件 4 3 BIP編譯器與引擎 4 3 1 BIP操作語義 4 3 2 BIP編譯器 4 3 3 BIP引擎 4 4 案例：Dala自主機器人 4 4 1 自主機器人功能需求建模 4 4 2 基於模型的代碼生成 4 4 3 形式化驗證 參考文獻 第5章 自主系統的設計方法 5 1 自主系統的內涵 5 1 1 自主系統的功能架構 5 1 2 自主系統的目標管理 5 1 3 自主系統與自動化系統 5 1 4 自主系統的混合設計 5 2 自主系統的測試 5 2 1 測試的基本原理 5 2 2 基於模擬的測試 5 3 知識的生成與應用 5 3 1 知識的類型 5 3 2 知識的生成 5 4 自主系統的可信性評估 參考文獻 第6章 自主系統的智能測試 6 1 智能的內涵 6 1 1 自主系統的視角 6 1 2 人類智能的視角 6 2 智能測試方法 6 2 1 替換測試的概念 6 2 2 通用測試框架 6 3 智能測試的適用性 參考文獻 第7章 系統設計的挑戰與展望 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
