網論信息處理技術

《網論信息處理技術》是雲南科技出版社於2014年3月1日出版的圖書，作者是陳星、洪昆、王鋒、戴偉。

基本介紹

• 書名：網論信息處理技術
• 作者：陳星 洪昆
• 出版社：雲南科技出版社
• 出版時間：2014年3月1日
• 頁數：234 頁
• 定價：68 元
• 開本：16 開
• 裝幀：平裝
• ISBN：9787541675676
• 語種：簡體中文

內容簡介

陳星、洪昆、王鋒、戴偉《網論信息處理技術》以範疇論為基礎、Petri網、人工神經網路、貝葉斯網提出了一種新的網論信息處理工具——TRINITY網，其靜態網形式描述智慧型行為的知識背景，以及知識的網論組織方式；其動態網代表缺乏提取線索、難以表述的程式性知識；其趨勢網代表智慧型活動中的遠景目標、近景目標和習慣做法，是人類智慧型中的非確定性在網論計算系統中的集中反映。TRINITY網對信息、語義、知識進行全新的闡述，在認知的計算理論、機器學習理論和方法方面做出了原始創新。

本書可作為計算機科學與技術專業的高年級本科生和研究生的參考書，也可作為相關專業領域的科研人員和工程技術人員的學習參考書。

圖書目錄

第1章 預備知識

1 範疇論簡介

1.1 範疇

1.2 函子

1.3 自然變換

1.4泛態射與極限

1.5伴隨函子

2 Petri網簡介

3 人工神經網簡介

3.1 概述

3.2 人工神經元模型

3.3 人工神經網路的互連結構

3.4 人工神經網路的學習

3.5 人工神經網路的套用

4 貝葉斯網簡介

4.1 概述

4.2 貝葉斯網路的定義

4.3 貝葉斯網路的語義

4.4 貝葉斯網路模型

4.5 貝葉斯網路的套用

第2章 認知結構論

1 認知結構和T網框架

2 表層認知結構

2.1 表層認知結構的現狀

2.2 表層認知結構的深化研究

2.3 信息對象轉換為表層認知結構的研究

3 變體系統

3.1 變體系統

3.2 本體

3.3 變體激活

第3章 信息數據論

1 數據類型

2.1 疇類型系統

2.2 網論類型系統

2 信息語義

2.1 語義的涵義

2.2 信息的語義類別

3 偏序數據模型

3.1 偏序數據模型原理

3.2 基於多重性的偏序數據變換

4 網數據模型

4.1 網數據模型的原理

4.2 結構過濾檢索

4.3 一階邏輯檢索

4.4 基於網結構的檢索

第4章 靜態網

1 靜態網的基本元素和原理

1.1 靜態網的基本要素

1.2 射模法原理

1.3 元模法原理

1.4 信息元

2 語義框架

2.1 聚合語義框架

2.2 時態框架

2.3 連續框架

2.4 同義詞框架

第5章 動態網

1 動態網的起源問題

2 簡單動態網

2.1 簡單動態網的節點類型

2.2 點火過程

2.3 在科技統計中的套用

3 深度動態網

3.1 概述

3.2 基本要素和網指令

3.3 運行過程

第6章 趨勢網

1 趨勢網的起源問題

1.1 傳統形式系統在發展中遇到的問題

1.2 趨勢因子、目標因子和習慣因子

2 趨勢因子

2.1 認知因子

2.2 概括因子

2.3 發現隱含共軛連結因子

2.4 分類器因子

2.5 重複因子

3 目標因子

3.1 概述

3.2 範例的作用

4 習慣因子

4.1 概述

4.2 工作原理

4.3 常見習慣因子例舉

第7章 T網信息處理平台

1 數據組織方案

2 分散式存儲方案

2.1 存儲設備

2.2 分散式存儲

2.3 事件服務

2.4 處理“點火”過程

3 查詢語言

查詢語言和語義

4 遠程訪問系統

4.1 主機ID和機袁結構

4.2 遠程調用接口

4.3 遠程流接口

4.4 訊息郵局

4.5 監控診斷器

4.6 系統啟動流程

5 T網核心引擎

5.1 概述

5.2 信令和事件服務

5.3 非永久性連結管理

5.4 網區觀察和匹配

6 節程式自動化問題

6.1 程式自動化的難點

6.2 程式的T網特徵化

7 T 網知識庫

7.1 T網知識庫的意義

7.2 T網知識庫的可行性分析

7.3 實現T網知識庫的途徑

參考文獻

作者簡介

洪昆，男。昆明市科學技術情報研究所副研究員。1976年生人。2004年畢業於雲南大學軟體學院，獲得碩士學位。主要研究方向為情報學和情報信息建模理論研究。先後主持和參與各類項目10餘項，先後公開發表科研論文10餘篇。陳星，男，1976年11月生，碩士，昆明理工大學雲南省計算機技術套用重點實驗室助理研究員。作者長期致力於軟體形式化開發方法和軟體自動化的研究，發表論文十餘篇，編著1部。作者多年從事軟體開發工作，先後主持過3個昆明市科技計畫項目的開發工作，均獲得用戶好評。作者理論功底深厚，具有豐富的實際工作經驗，特別擅長從實踐中深化理論研究，產生創新性的成果。王鋒，男，昆明理工大學教授，日本高知工科大學博士。主要研究方向為人工智慧和人機互動。

戴偉，男，昆明理工大學講師，碩士，主要研究方向為計算機語言的形式語義和軟體工程。