基本信息
出版社: 清華大學出版社; 第1版 (2006年10月1日)
叢書名: 中國計算機學會學術著作叢書/知識科學系列
開本: 16開
ISBN: 7302129835
條形碼: 9787302129837
產品尺寸及重量: 23 x 18.5 x 2.7 cm ; 880 g
ASIN: B0011CF0CY
內容簡介
由國家自然科學基金委員會信息學部主辦，吉林大學計算機科學與技術學院、軟體學院，教育部符號計算與知識工程重點實驗室和吉林省計算機學會承辦的“知識科學與計算科學高級研討會”於2003年8月24日至25日在吉林省長春市召開。本書即是在該研討會的基礎上形成的。本書內容共分為八個部分： 形式語義和程式驗證，量子計算，時空知識表示理論，定理證明和自動規劃，機器學習和數據分析，Agent技術，網際網路和軟體工程中的知識表示和處理，生命信息學。本書主要總結、分析了近年來國內外在知識科學研究方面所取得的新進展。本書輯錄的所有文章均由相關領域的著名專家撰寫，對學術研究有重要的參考價值。
目錄序
前言
第一部分 形式語義和程式驗證
1 PN機理論
1.1 並發現象的起源
1.2 並發系統的典型模型
1.3 三種模型的比較
1.4 PN機模型
1.5 PN機性質
1.6 PN機套用
參考文獻
2 程式規範與程式驗證
2.1 Hoare程式規範
2.2 Dijkstra規範
2.3 模型檢驗與計算樹邏輯
2.4 計算樹邏輯的語義
2.5 多Agents系統與多模態邏輯
參考文獻
第二部分 量子計算
3 量子計算理論：綜述
3.1 引言
3.2 量子自動機理論
3.3 量子形式語言理論
3.4 量子可計算性理論
3.5 量子計算複雜性理論
3.6 量子算法設計技術
參考文獻
4 量子計算
4.1 背景
4.2 量子比特
4.3 簡單量子門
4.4 量子算法
4.5 量子複雜性
4.6 結論
參考文獻
5 兩體量子糾纏純態的相互轉換
5.1 引言
5.2 預備知識
5.3 LOCC下的兩體糾纏轉換
5.4 糾纏輔助下的LOCC
5.5 多拷貝糾纏轉換
5.6 糾纏輔助轉換和多拷貝轉換的關係
5.7 總結
參考文獻
第三部分 時空知識表示理論
6 時空信息表示、推理和套用
……
7 空間知識的定性表示與推理
第四部分 定理證明和自動規劃
8 智慧型規劃的研究和套用
9 基於表演算的方法與技術
10 基於擴展規則的定理證明和知識編譯
第五部分 機器學習和數據分析
11 一種新的基於機率的分類方法
12 多示例學習
第六部分 Agent技術
13 移動Agent技術研究熱點分析
14 面向Agent的軟體工程研究進展
第七部分 網際網路和軟體工程中的知識表示和處理
15 語義Web與NKI
16 管理不一致的軟體需求：研究進展和展望
第八部分 生命信息學
17 圖像紋理研究及其人工生命解決方案
18 真核生物啟動子識別和模糊文法
19 基因晶片數據分析綜述
參考文獻
