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

同類熱銷排行榜

最近瀏覽的商品

反應式和併發系統的時序邏輯

  • 作者：(美)佐哈爾·曼納//(以)艾米爾·伯努利|責編:安妮|譯者:張廣泉
  • 出版社：清華大學
  • ISBN：9787302644972
  • 出版日期：2023/12/01
  • 裝幀：平裝
  • 頁數：216
人民幣：RMB 79 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    反應式和併發系統指實時運行的計算系統，如操作系統、控制系統、交互系統和併發系統。這些系統很難規約、實現和驗證，主要原因是系統與其環境之間及系統本身的並行進程之間交互的複雜性，在交互時間上的微小變化可能導致完全不同的行為。
    時序邏輯是一種形式化規約語言，可用於刻畫和分析反應式系統中有關時間和行為方面的屬性。它提供了一種簡單、自然但精確的方式來討論交互發生的順序，而無須採用絕對時間度量。本書全面介紹了時序邏輯和作者開發的反應式程序的計算模型。
    本書是國際著名電腦科學家Zohar Manna和Amir Pnueli（圖靈獎得主）的代表作，適合作為電腦、軟體工程、人工智慧、自動化等專業高年級本科生、研究生的教材或參考書，也可供相關領域的研究人員和技術開發人員參考。
作者介紹
(美)佐哈爾·曼納//(以)艾米爾·伯努利|責編:安妮|譯者:張廣泉
目錄
第Ⅰ部分  併發模型
  第1章  基本模型
    1.1  通用模型
      1.1.1  基礎語言
      1.1.2  基本轉換系統
      1.1.3  轉換關係pι
      1.1.4  使能與非使能轉換
      1.1.5  空轉換與勤勉轉換
      1.1.6  計算
      1.1.7  具體模型
    1.2  模型1：轉換圖
      1.2.1  聲明
      1.2.2  進程
      1.2.3  基本轉換系統圖
      1.2.4  用交錯表示併發性
      1.2.5  調度
    1.3  模型2：共享變數文本
      1.3.1  簡單語句
      1.3.2  複合語句
      1.3.3  程序
      1.3.4  文本程序中的標記
      1.3.5  標記等價關係
      1.3.6  文本語言中的位置
    1.4  共享變數文本語義
      1.4.1  狀態變數和狀態
      1.4.2  轉換
      1.4.3  初始條件
      1.4.4  計算
      1.4.5  下標變數
    1.5  語句間的結構關係
      1.5.1  子語句
      1.5.2  控制謂詞at、after和in
      1.5.3  語句的使能性
      1.5.4  進程和並行語句
      1.5.5  競爭語句
    1.6  行為等價
      1.6.1  初步近似
      1.6.2  可觀測和可簡化的行為
      1.6.3  轉換系統的等價性
      1.6.4  語句一致性
      1.6.5  例子
      1.6.6  模擬與實現
    1.7  分組語句
      1.7.1  分組語句
      1.7.2  與分組語句關聯的轉換
    1.8  信號量語句
      1.8.1  信號量需求
      1.8.2  信號量語句
      1.8.3  互斥信號量的應用
      1.8.4  信號量的其他應用

    1.9  區域語句
      1.9.1  比較信號量和區城語句
      1.9.2  選擇語句中的同步
    1.10  模型3：消息傳遞文本
      1.10.1  通信語句
      1.10.2  緩衝能力
      1.10.3  例子
      1.10.4  條件通信語句
      1.10.5  同步模型和非同步模型的比較
      1.10.6  公平伺服器
    1.11  模型4：Petri網
      1.11.1  網
      1.11.2  標記
      1.11.3  圖形化表示
      1.11.4  點火
      1.11.5  Petri系統
      1.11.6  例子
    問題
    文獻註釋
  第2章  真併發模型
    2.1  交錯和併發
      2.1.1  重疊執行
      2.1.2  交錯計算
      2.1.3  細粒度
    2.2  限制臨界引用
  ……
第Ⅱ部分  規約
參考文獻

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