幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

嚴密系統設計(方法趨勢與挑戰)(精)

  • 作者：(法/希)約瑟夫·希發基思|責編:秦淑靈|譯者:王強//張繼勇
  • 出版社：電子工業
  • ISBN：9787121467653
  • 出版日期：2023/12/01
  • 裝幀：精裝
  • 頁數：195
人民幣：RMB 79 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書提出了一種基於形式化模型的嚴密的系統設計方法，詳細闡述了嚴密系統設計方法的基本原理，介紹了嚴密系統設計框架BIP（Behavior, Interaction, Priority）的建模語言、形式語義及其工具鏈。自主系統作為人工智慧技術應用落地的重要形態，討論了自主系統設計的趨勢和挑戰，闡述了一種集成模型驅動方法與數據驅動方法的思路，並提出了一種新的基於替換測試的智能測試方法，用以判斷自主系統在完成多種不同類型任務方面的智能水平。
作者介紹
(法/希)約瑟夫·希發基思|責編:秦淑靈|譯者:王強//張繼勇
目錄
第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章  系統設計的挑戰與展望
  參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ 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