掃一掃
關注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
全國計算機等級考試最新真考題庫模擬考場及詳解·二級MSOffice高級應用
-
>
決戰(zhàn)行測5000題(言語理解與表達)
-
>
軟件性能測試.分析與調優(yōu)實踐之路
-
>
第一行代碼Android
-
>
JAVA持續(xù)交付
-
>
EXCEL最強教科書(完全版)(全彩印刷)
-
>
深度學習
基于模型理論的信息系統(tǒng)開發(fā)基礎 版權信息
- ISBN：9787313237132
- 條形碼：9787313237132 ; 978-7-313-23713-2
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
基于模型理論的信息系統(tǒng)開發(fā)基礎 內容簡介
本書分模型篇、實踐篇共兩篇, 主要內容包括: 邏輯思考 ; 集合表述 ; 自動機建模的利用 ; 關系型數(shù)據(jù)庫建模的利用 ; 系統(tǒng)開發(fā)環(huán)境的實現(xiàn) ; 問題求解系統(tǒng)的開發(fā) ; 業(yè)務處理系統(tǒng)的開發(fā)等。
基于模型理論的信息系統(tǒng)開發(fā)基礎 目錄
模 型 篇
1 邏輯思考
1.1 命題邏輯
1.1.1 命題定義
1.1.2 復合命題
1.1.3 真值表和重言式
1.1.4 蘊含
練習題
1.2 謂詞邏輯
1.2.1 量詞與定義域
1.2.2 量詞的轄域
1.2.3 多元謂詞
練習題
附錄
2 集合表述
2.1 集合的表示及其標記法
練習題
2.2 列表
2.2.1 向量
2.2.2 矩陣
練習題
2.3 集合的運算
練習題
2.4 直積與關系的定義
2.4.1 直積的定義
2.4.2 關系的定義
練習題
2.5 等價關系
練習題
2.6 順序關系
練習題
2.7 函數(shù)
練習題
3 自動機建模的利用
3.1 自動機建模的基本概念
3.1.1 框圖（輸入與輸出)
3.1.2 狀態(tài)與輸出函數(shù)
3.1.3 狀態(tài)遷移圖
3.1.4 自動機模型定義
3.1.5 計算機可讀表達
3.1.6 計算機實現(xiàn)模型
3.1.7 編譯與運行
練習題
3.2 自動機狀態(tài)為符號時的建模實例
3.2.1 100日元換幣機（狀態(tài)有1個)
3.2.2 帶按鈕的硬幣換幣機（狀態(tài)有2個)
3.2.3 出售150日元車票的自動售賣機（狀態(tài)有3個)
練習題
3.3 自動機狀態(tài)為數(shù)值時的建模實例
3.3.1 狀態(tài)數(shù)值化方法
3.3.2 帶有按鈕的自動售賣機（用1個變量來表示狀態(tài))
3.3.3 可以確認零錢的自動售賣機（用向量來表示狀態(tài))
3.3.4 整數(shù)計算器（一次寫出全部輸入)
練習題
3.4 自動機的動作與物理實現(xiàn)
3.4.1 輸出序列的計算
3.4.2 倉庫模型（流程模型)
3.4.3 自動機的物理實現(xiàn)
3.4.4 自動售賣機的自動機公式化表示與Prolog程序描述
之間的對應關系
練習題
4 關系型數(shù)據(jù)庫建模的利用
4.1 數(shù)據(jù)庫的種類與定義
4.1.1 數(shù)據(jù)庫的種類
4.1.2 關系型數(shù)據(jù)庫的定義（作為集合定義的關系)
4.2 數(shù)據(jù)庫的分析與設計
4.2.1 數(shù)據(jù)分析
4.2.2 數(shù)據(jù)庫設計
4.3 數(shù)據(jù)庫的構建與操作
4.3.1 數(shù)據(jù)庫語言
4.3.2 數(shù)據(jù)定義語句
4.3.3 數(shù)據(jù)操作語句
練習題
附錄
實 踐 篇
5 系統(tǒng)開發(fā)環(huán)境的實現(xiàn)
5.1 CAST語言
5.1.1 CAST模型的實例
5.1.2 CAST的解答與說明
5.2 CAST的獲取與設置
5.3 MTASDK的安裝與運行
5.3.1 安裝VMWare Player
5.3.2 啟動VM
5.4 MTASDK的快速入門
5.4.1 MTASDK的啟動與結束
5.4.2 MTASDK的動作確認
5.4.3 窗口
5.5 MTASDK的操作
5.5.1 系統(tǒng)開發(fā)步驟的概要
5.5.2 運行方法
6 問題求解系統(tǒng)的開發(fā)
6.1 問題求解系統(tǒng)的開發(fā)方法
6.1.1 問題描述
6.1.2 問題求解的基本思路
6.1.3 問題求解的流程
6.1.4 基于模型理論方法的問題求解系統(tǒng)的結構
6.1.5 用戶模型的架構
6.1.6 問題求解系統(tǒng)的開發(fā)步驟
6.2 開發(fā)示例1：WGC問題
練習題
6.3 開發(fā)示例2：水壺問題
練習題
6.4 開發(fā)示例3：旅行推銷員問題
練習題
7 業(yè)務處理系統(tǒng)的開發(fā)
7.1 業(yè)務處理系統(tǒng)的描述
7.2 業(yè)務處理系統(tǒng)的模型
7.2.1 用于業(yè)務處理系統(tǒng)開發(fā)的模型
7.2.2 用戶模型
7.3 業(yè)務處理系統(tǒng)的開發(fā)方法
7.3.1 業(yè)務處理系統(tǒng)的開發(fā)步驟
7.3.2 運行形態(tài)
7.4 開發(fā)示例1：書店賒售管理系統(tǒng)
7.4.1 確定技術規(guī)格
7.4.2 用數(shù)據(jù)流圖表示技術規(guī)格
7.4.3 確定MactionName和搭建基本架構系統(tǒng)
7.4.4 顯示基本架構系統(tǒng)的初始界面
7.4.5 實現(xiàn)各個宏操作
7.4.6 實施整體測試
練習題
7.5 開發(fā)示例2：酒類批發(fā)店業(yè)務管理系統(tǒng)
7.5.1 確定技術規(guī)格
7.5.2 用數(shù)據(jù)流圖表示技術規(guī)格
7.5.3 確定MactionName和搭建基本架構系統(tǒng)
7.5.4 顯示基本架構系統(tǒng)的初始界面
7.5.5 實現(xiàn)各個宏操作
7.5.6 實施整體測試
練習題
附錄
8 仿真系統(tǒng)的開發(fā)
8.1 價格調整系統(tǒng)的仿真
8.1.1 自動機模型
8.1.2 用戶模型
8.1.3 運行結果
練習題
8.2 二體動力學的仿真
8.2.1 自動機模型
8.2.2 用戶模型
8.2.3 運行結果
練習題
8.3 建模的基礎
附錄
索引
展開全部
基于模型理論的信息系統(tǒng)開發(fā)基礎 作者簡介
高原康彥，東京工業(yè)大學名譽教授、日本大學教授。 趙群飛，1982年畢業(yè)于西安交通大學，同年考上國派出國留學研究生赴日，1988年畢業(yè)于日本東京工業(yè)大學，獲得理學博士學位。2001年6月回國到上海交大工作，現(xiàn)任電信學院自動化系教授、搏導。主要從事機器人視覺，智能系統(tǒng)控制，人一機器人交互等研究。
書友推薦
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學概述
- >
唐代進士錄
- >
伯納黛特,你要去哪(2021新版)
- >
李白與唐代文化
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
史學評論
- >
推拿
- >
煙與鏡
本類暢銷
