相關商品
商品簡介
目次
商品簡介
開發系統常常在結構上展示出對稱性，這種對稱結構一般來說具有相同或相近的性質。本書討論了開發系統的進程代數語言及其事件結構模型中的對稱性、對稱約簡、對稱約簡對動作細化的影響以及基於束動作變遷的偏序約簡與應用，力圖在結構層次上建立對建模語言和模型進行約簡及細化的基本理論和方法，為高效機械化設計和分析開發系統服務。
本書可以供高年級大學生、研究生、教師和科研人員作為了解數學機械化基本思想與方法在形式化開發系統與分析中應用的參考書。
目次
第一章 緒論
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 小結
參考文獻
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 小結
參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。