企業(yè)信息系統(tǒng)的形式化及其應(yīng)用

內(nèi)容概要

在眾多行業(yè)中得到了廣泛的應(yīng)用，并且發(fā)揮著越來越重要的作用，日益成為企業(yè)運行中必不可少的組成部分。形式化即“符號化+抽象公理化”，也就是采用定量的數(shù)學(xué)方法描述系統(tǒng)，借助數(shù)學(xué)方法研究系統(tǒng)的性質(zhì)與規(guī)律。企業(yè)信息系統(tǒng)的形式化及應(yīng)用研究，對于認(rèn)識企業(yè)信息系統(tǒng)的結(jié)構(gòu)，深入研究其運行機理具有重要意義，是企業(yè)信息系統(tǒng)的研究從定性轉(zhuǎn)向定量，不斷深入的必經(jīng)之路。為此，本書從全局的角度系統(tǒng)地研究企業(yè)信息系統(tǒng)的形式化，符號及定理化信息系統(tǒng)，研究企業(yè)信息系統(tǒng)形式化的應(yīng)用。全書分為上下兩篇，分別是企業(yè)信息系統(tǒng)的形式化理論，以及企業(yè)信息系統(tǒng)形式化的應(yīng)用，包括重構(gòu)、時間性能、適應(yīng)性評價、優(yōu)化等內(nèi)容。
《企業(yè)信息系統(tǒng)的形式化及其應(yīng)用》適合系統(tǒng)科學(xué)、管理學(xué)、信息系統(tǒng)及管理、計算機科學(xué)等領(lǐng)域的研究人員及高校師生參考使用。

書籍目錄

目錄
前言
上篇企業(yè)信息系統(tǒng)的形式化理論
第1章企業(yè)信息系統(tǒng)概述2
1?1企業(yè)信息化與企業(yè)信息系統(tǒng)2
1?1?1企業(yè)信息化2
1?1?2信息系統(tǒng)的概念4
1?1?3企業(yè)信息系統(tǒng)的概念5
1?1?4企業(yè)信息系統(tǒng)的發(fā)展趨勢及面臨的
挑戰(zhàn)5
1?2企業(yè)信息系統(tǒng)的分類7
1?2?1企業(yè)信息系統(tǒng)的分類模型和分類
視角7
1?2?2企業(yè)信息系統(tǒng)的層次結(jié)構(gòu)8
1?2?3企業(yè)信息系統(tǒng)的功能結(jié)構(gòu)12
1?2?4企業(yè)信息系統(tǒng)的軟件結(jié)構(gòu)12
1?2?5企業(yè)信息系統(tǒng)的生命周期13
1?3企業(yè)信息系統(tǒng)的學(xué)科體系20
1?3?1管理科學(xué)20
1?3?2系統(tǒng)科學(xué)24
1?3?3信息技術(shù)25
1?3?4建模技術(shù)26
1?4企業(yè)信息系統(tǒng)的應(yīng)用27
1?4?1職能信息系統(tǒng)27
1?4?2層次信息系統(tǒng)30
1?4?3企業(yè)集成信息系統(tǒng)30
1?4?4企業(yè)信息系統(tǒng)案例31
第2章企業(yè)信息系統(tǒng)建模34
2?1模型的概述34
2?2模型的視角及分類36
2?3建模原理38
2?3?1模型的特征38
2?3?2建模的原則38
2?4建模的步驟39
2?5典型的企業(yè)信息系統(tǒng)模型40
2?5?1CIM?OSA模型40
2?5?2普渡體系結(jié)構(gòu)模型43
2?5?3面向功能的體系結(jié)構(gòu)模型45
2?5?4IDEF系列模型46
2?5?5UML模型55
2?5?6面向?qū)ο蟮哪Ｐ?7
第3章形式化方法的理論基礎(chǔ)60
3?1形式化方法概述60
3?1?1形式化的定義60
3?1?2形式化方法的發(fā)展過程61
3?2形式化方法的分類61
3?3形式化方法的研究內(nèi)容62
3?4形式化的優(yōu)勢及發(fā)展方向63
3?5常用的形式化方法65
3?5?1Petri網(wǎng)65
3?5?2排隊論72
3?5?3隨機進(jìn)程代數(shù)74
3?5?4形式化規(guī)范說明語言76
3?6形式化方法的應(yīng)用77
3?6?1形式化方法在軟件開發(fā)中的
應(yīng)用77
3?6?2形式化方法在軟件再工程的
應(yīng)用78
3?6?3基于形式化方法的模型檢驗79
3?6?4其他應(yīng)用79
第4章企業(yè)信息系統(tǒng)的形式化81
4?1企業(yè)信息系統(tǒng)的發(fā)展及組成81
4?1?1企業(yè)信息系統(tǒng)的發(fā)展81
4?1?2企業(yè)信息系統(tǒng)的組成82
4?2知識網(wǎng)理論83
4?2?1企業(yè)信息系統(tǒng)及Agent網(wǎng)84
4?2?2知識網(wǎng)及其運算85
4?2?3多重集的概念87
4?2?4多重集的運算及其性質(zhì)87
4?2?5知識網(wǎng)復(fù)雜度的泛函分析93
4?3對象知識網(wǎng)95
4?3?1對象知識網(wǎng)的概念95
4?3?2對象知識網(wǎng)的構(gòu)造算法97
4?3?3對象知識網(wǎng)與知識網(wǎng)的轉(zhuǎn)換
算法98
4?4企業(yè)信息系統(tǒng)的形式化表達(dá)99
4?4?1基于知識網(wǎng)的企業(yè)信息系統(tǒng)
形式化99
4?4?2基于對象知識網(wǎng)的企業(yè)信息系統(tǒng)
形式化101
4?5企業(yè)信息系統(tǒng)的形式化實例103
4?5?1基于知識網(wǎng)的企業(yè)信息系統(tǒng)形式化
實例103
4?5?2基于對象知識網(wǎng)的企業(yè)信息系統(tǒng)
形式化實例104下篇企業(yè)信息系統(tǒng)形式化的應(yīng)用
第5章企業(yè)信息系統(tǒng)的重構(gòu)110
5?1重構(gòu)的概念及原則110
5?1?1重構(gòu)的概念110
5?1?2重構(gòu)的原則110
5?1?3重構(gòu)問題的研究現(xiàn)狀110
5?1?4重構(gòu)問題的方法114
5?2基于知識網(wǎng)的企業(yè)信息系統(tǒng)重構(gòu)116
5?2?1基于知識網(wǎng)的信息系統(tǒng)重構(gòu)
原理116
5?2?2知識網(wǎng)的重構(gòu)算法116
5?2?3基于近似匹配的知識網(wǎng)重構(gòu)
研究124
5?3基于對象知識網(wǎng)的近似重構(gòu)133
5?3?1對象知識網(wǎng)的重構(gòu)原及其
匹配性134
5?3?2基于近似匹配的對象知識網(wǎng)及
信息傳遞網(wǎng)的推理136
5?3?3基于近似匹配的對象知識網(wǎng)重構(gòu)
研究139
5?4重構(gòu)案例140
5?4?1基于知識網(wǎng)的企業(yè)信息系統(tǒng)重構(gòu)
案例140
5?4?2基于知識網(wǎng)的企業(yè)信息系統(tǒng)近似
重構(gòu)143
5?4?3基于對象知識網(wǎng)的企業(yè)信息系統(tǒng)
近似重構(gòu)146
第6章企業(yè)信息系統(tǒng)的時間性能149
6?1時間性能的概念及發(fā)展過程149
6?2時間性能的表達(dá)150
6?2?1對象知識網(wǎng)知識點間關(guān)系的
表達(dá)150
6?2?2對象知識網(wǎng)的時間性能151
6?2?3時間性能分析151
6?2?4基于時間性能的系統(tǒng)結(jié)構(gòu)的
表達(dá)154
6?3企業(yè)信息系統(tǒng)時間性能的案例155
6?3?1時間可達(dá)性分析155
6?3?2時間性能的預(yù)估158
第7章企業(yè)信息系統(tǒng)適應(yīng)性的評價159
7?1企業(yè)信息系統(tǒng)適應(yīng)性的基本概念159
7?1?1企業(yè)信息系統(tǒng)適應(yīng)性的界定159
7?1?2企業(yè)信息系統(tǒng)適應(yīng)性的研究
現(xiàn)狀159
7?2企業(yè)信息系統(tǒng)適應(yīng)性的指標(biāo)體系160
7?2?1GQM方法概述160
7?2?2GQM的建模步驟161
7?2?3GQM方法的應(yīng)用現(xiàn)狀162
7?2?4企業(yè)信息系統(tǒng)適應(yīng)性的指標(biāo)163
7?3企業(yè)信息系統(tǒng)適應(yīng)性的量化165
7?3?1需求分析階段165
7?3?2系統(tǒng)設(shè)計階段167
7?3?3運行維護階段170
7?4企業(yè)信息系統(tǒng)適應(yīng)性的評價模型及
算法172
7?4?1評價模型172
7?4?2評價算法172
7?4?3指標(biāo)權(quán)重的確定173
7?5企業(yè)信息系統(tǒng)適應(yīng)性評價案例173
7?5?1案例背景173
7?5?2案例分析173
第8章企業(yè)信息系統(tǒng)的優(yōu)化175
8?1企業(yè)信息系統(tǒng)優(yōu)化的研究175
8?1?1企業(yè)信息系統(tǒng)優(yōu)化的界定175
8?1?2企業(yè)信息系統(tǒng)優(yōu)化的方法176
8?1?3企業(yè)信息系統(tǒng)優(yōu)化的研究現(xiàn)狀179
8?2企業(yè)信息系統(tǒng)的功能優(yōu)化179
8?2?1知識網(wǎng)功能的滿意度模型及其
運算180
8?2?2基于用戶功能需求的知識網(wǎng)
多重集表達(dá)式的優(yōu)化182
8?3企業(yè)信息系統(tǒng)的結(jié)構(gòu)優(yōu)化189
8?3?1免疫遺傳算法190
8?3?2企業(yè)信息系統(tǒng)的結(jié)構(gòu)優(yōu)化模型192
8?4企業(yè)信息系統(tǒng)優(yōu)化案例
8?4?1企業(yè)信息系統(tǒng)功能的優(yōu)化案例
8?4?2企業(yè)信息系統(tǒng)結(jié)構(gòu)的優(yōu)化案例
參考文獻(xiàn)

章節(jié)摘錄

版權(quán)頁：插圖：（2）管理信息系統(tǒng)管理信息系統(tǒng)是面向管理的信息系統(tǒng)，該階段的特點是實現(xiàn)跨區(qū)域互聯(lián)網(wǎng)絡(luò)，并且可以利用定量化的科學(xué)管理方法，通過預(yù)測、計劃優(yōu)化、管理、調(diào)節(jié)和控制等手段來支持決策。此時，計算機在管理上的廣泛應(yīng)用，使得管理信息系統(tǒng)逐漸成熟起來。數(shù)據(jù)庫技術(shù)、網(wǎng)絡(luò)技術(shù)等的發(fā)展不僅使組織內(nèi)部的各級管理連接起來，而且可以克服地理界線，建立起不同地區(qū)的計算機網(wǎng)絡(luò)，從而形成各種業(yè)務(wù)信息系統(tǒng)和管理信息系統(tǒng)。（3）決策支持系統(tǒng)決策支持系統(tǒng)是面向決策的信息系統(tǒng)。該階段的主要特點是把數(shù)據(jù)庫處理與經(jīng)濟管理數(shù)學(xué)模型的優(yōu)化計算結(jié)合起來，形成具有管理、輔助決策和預(yù)測功能的管理信息系統(tǒng)。決策支持系統(tǒng)是管理信息系統(tǒng)發(fā)展的新階段，是管理信息系統(tǒng)功能上的延伸。早期的管理信息系統(tǒng)主要是為管理者提供預(yù)定的報告，而決策支持系統(tǒng)則是在人和計算機交互的過程中幫助決策者探索可能的方案，方管理者提供決策所需的信息。信息技術(shù)的不斷發(fā)展導(dǎo)致企業(yè)信息系統(tǒng)的不斷發(fā)展；新技術(shù)的運用和革新，為企業(yè)信息系統(tǒng)的不斷發(fā)展提供了廣闊的空間。近年來，信息技術(shù)的新發(fā)展主要有移動通信技術(shù)、便攜技術(shù)、自動識別技術(shù)以及虛擬現(xiàn)實技術(shù)。這些新技術(shù)有的是面向組織的信息系統(tǒng)，有的是面向社會的信息系統(tǒng)。同時，各種人工智能工具增強了企業(yè)做出更優(yōu)決策的能力，如人工神經(jīng)網(wǎng)絡(luò)、數(shù)據(jù)倉庫、遺傳算法以及專家系統(tǒng)等。因此，在一定的條件下，信息系統(tǒng)可以利用人工智能在決策方案上提出更加可靠的建議，從而更好地為決策者服務(wù)。對于企業(yè)而言，信息系統(tǒng)和人工智能工具的結(jié)合是企業(yè)信息系統(tǒng)的發(fā)展方向。

編輯推薦

《企業(yè)信息系統(tǒng)的形式化及其應(yīng)用》由機械工業(yè)出版社出版。

圖書封面

評論、評分、閱讀與下載

---

    企業(yè)信息系統(tǒng)的形式化及其應(yīng)用 PDF格式下載

---