購物比價找書網找車網
FindBook
排序:
 
 有 1 項符合

吳屬昭

的圖書
進程代數:對稱與動作細化-數學機械化叢書10(簡體書)
$ 131
進程代數:對稱與動作細化-數學機械化叢書10(簡體書)
作者:王永祥 / 譯者:吳屬昭 
出版社:科學出版社
出版日期:2007-06-01
規格:初版 / 精裝 / 88頁
三民網路書店 三民網路書店 - 科學‧科普  - 來源網頁  
圖書介紹看圖書介紹
圖書介紹 - 資料來源:三民網路書店   評分:
圖書名稱:進程代數:對稱與動作細化-數學機械化叢書10(簡體書)
  • 圖書簡介

    開發系統常常在結構上展示出對稱性,這種對稱結構一般來說具有相同或相近的性質。本書討論了開發系統的進程代數語言及其事件結構模型中的對稱性、對稱約簡、對稱約簡對動作細化的影響以及基於束動作變遷的偏序約簡與應用,力圖在結構層次上建立對建模語言和模型進行約簡及細化的基本理論和方法,為高效機械化設計和分析開發系統服務。

    本書可以供高年級大學生、研究生、教師和科研人員作為了解數學機械化基本思想與方法在形式化開發系統與分析中應用的參考書。

  • 目次

    第一章 緒論
     1.1 對稱
     1.2 動作細化
     1.3 相關工作
     1.4 本書貢獻
     1.5 本書組織
    第二章 理論基礎
     2.1 進程代數
     2.2 事件結構
     2.3 動作細化
     2.4 標記變遷系統
     2.5 模型檢驗
    第三章 進程代數中的對稱性
     3.1 引言
     3.2 進程代數與白同構
     3.3 進程代數的對稱性
     3.4 行為等價的保持
     3.5 一個約簡算法
     3.6 例子
     3.7 小結
    第四章 事件結構模型的對稱性
     4.1 引言
     4.2 事件結構中的對稱
     4.3 對稱與等價
     4.4 動作細化的保持
     4.5 對稱約簡算法
     4.6 語法和語義層次上對稱約簡的重合性
     4.7 小結
    第五章 對稱與自互模擬
     5.1 引言
     5.2 自互模擬
     5.3 自互模擬與對稱的區別
     5.4 自互模擬與對稱的聯系
     5.5 小結
    第六章 等價在動作細化下的保持
     6.1 引言
     6.2 交織等價
     6.3 步進等價
     6.4 動作細化下等價的保持
     6.5 小結
    第七章 基子束動作的偏序約簡
     7.1 引言
     7.2 傳統的偏序約簡
     7.3 動作與束動作
     7.4 束動作的基本思想
     7.5 束動作路徑掃描跡等價
     7.6 束動作偏序約簡
     7.7 束動作偏序約簡的實現
     7.8 小結
    參考文獻

贊助商廣告
 
金石堂 - 今日66折
i室設圈漂亮家居01:聚焦全球空間大賽金獎
作者:i室設圈 漂亮家居編輯部
出版社:麥浩斯資訊股份有限公司
出版日期:2023-04-08
66折: $ 329 
金石堂 - 今日66折
德式酥菠蘿烘焙全書:經典德式奶酥的美味應用!一吃就愛的蛋糕x塔派x酥餅x麵包,奧地利寶盒的家庭烘
作者:奧地利寶盒(傅寶玉)
出版社:台灣廣廈有聲圖書有限公司
出版日期:2024-06-27
66折: $ 449 
金石堂 - 今日66折
給寶貝的童話風造型餐X魔法便當:對照圖稿輕鬆完成!145道美味主食+營養配菜,讓孩子心花開的三餐、便當、野餐盒【隨書附:魔法圖稿著色本】
作者:劉怡青
出版社:台灣廣廈有聲圖書有限公司
出版日期:2022-08-04
66折: $ 329 
金石堂 - 今日66折
每天3分鐘睡前學韓語:一天一點,只要堅持21天,輕鬆學會一種語言,從不敢說到開口聊不停(附QR碼線上音檔)
作者:The Calling
出版社:語研學院
出版日期:2024-03-28
66折: $ 263 
 
金石堂 - 暢銷排行榜
SKIP. BEAT!華麗的挑戰 50
作者:仲村佳樹
出版社:東立出版社
出版日期:2025-03-27
$ 105 
Taaze 讀冊生活 - 暢銷排行榜
miffy潔膚柔濕巾-10抽(綠)
作者:新台
出版社:新台圖書
出版日期:2023-08-30
$ 15 
金石堂 - 暢銷排行榜
風之谷 豪華版(下)
作者:宮崎駿
出版社:台灣東販股份有限公司
出版日期:2025-03-06
$ 1422 
Taaze 讀冊生活 - 暢銷排行榜
原子習慣:細微改變帶來巨大成就的實證法則
作者:詹姆斯.克利爾
出版社:方智出版
出版日期:2019-06-01
$ 260 
 
金石堂 - 新書排行榜
在男性禁入的遊戲世界裡,我唯一該做的事情2 我轉生成了夾在百合之間的男人 (首刷限定版)
作者:端桜了
出版社:東立出版社
出版日期:2025-04-01
$ 247 
博客來 - 新書排行榜
課本中消失的文學生命與千古追求:一○八課綱中的文化缺席
出版日期:2025-01-21
$ 284 
博客來 - 新書排行榜
第一次遇見花香的那刻 戲劇小說
作者:希澄
出版社:台灣角川
出版日期:2025-03-27
$ 284 
金石堂 - 新書排行榜
渣男椎名學長與瘋男佐佐木學弟(1)
作者:伊咲ネコオ
出版社:台灣角川股份有限公司
出版日期:2025-03-27
$ 158 
 

©2025 FindBook.com.tw -  購物比價  找書網  找車網  服務條款  隱私權政策