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

內(nèi)容概要

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

書(shū)籍目錄

目錄
前言
上篇企業(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ā)展趨勢(shì)及面臨的
挑戰(zhàn)5
1?2企業(yè)信息系統(tǒng)的分類(lèi)7
1?2?1企業(yè)信息系統(tǒng)的分類(lèi)模型和分類(lèi)
視角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模型的視角及分類(lèi)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ā)展過(guò)程61
3?2形式化方法的分類(lèi)61
3?3形式化方法的研究?jī)?nèi)容62
3?4形式化的優(yōu)勢(shì)及發(fā)展方向63
3?5常用的形式化方法65
3?5?1Petri網(wǎng)65
3?5?2排隊(duì)論72
3?5?3隨機(jī)進(jìn)程代數(shù)74
3?5?4形式化規(guī)范說(shuō)明語(yǔ)言76
3?6形式化方法的應(yīng)用77
3?6?1形式化方法在軟件開(kāi)發(fā)中的
應(yīng)用77
3?6?2形式化方法在軟件再工程的
應(yīng)用78
3?6?3基于形式化方法的模型檢驗(yàn)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知識(shí)網(wǎng)理論83
4?2?1企業(yè)信息系統(tǒng)及Agent網(wǎng)84
4?2?2知識(shí)網(wǎng)及其運(yùn)算85
4?2?3多重集的概念87
4?2?4多重集的運(yùn)算及其性質(zhì)87
4?2?5知識(shí)網(wǎng)復(fù)雜度的泛函分析93
4?3對(duì)象知識(shí)網(wǎng)95
4?3?1對(duì)象知識(shí)網(wǎng)的概念95
4?3?2對(duì)象知識(shí)網(wǎng)的構(gòu)造算法97
4?3?3對(duì)象知識(shí)網(wǎng)與知識(shí)網(wǎng)的轉(zhuǎn)換
算法98
4?4企業(yè)信息系統(tǒng)的形式化表達(dá)99
4?4?1基于知識(shí)網(wǎng)的企業(yè)信息系統(tǒng)
形式化99
4?4?2基于對(duì)象知識(shí)網(wǎng)的企業(yè)信息系統(tǒng)
形式化101
4?5企業(yè)信息系統(tǒng)的形式化實(shí)例103
4?5?1基于知識(shí)網(wǎng)的企業(yè)信息系統(tǒng)形式化
實(shí)例103
4?5?2基于對(duì)象知識(shí)網(wǎng)的企業(yè)信息系統(tǒng)
形式化實(shí)例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)問(wèn)題的研究現(xiàn)狀110
5?1?4重構(gòu)問(wèn)題的方法114
5?2基于知識(shí)網(wǎng)的企業(yè)信息系統(tǒng)重構(gòu)116
5?2?1基于知識(shí)網(wǎng)的信息系統(tǒng)重構(gòu)
原理116
5?2?2知識(shí)網(wǎng)的重構(gòu)算法116
5?2?3基于近似匹配的知識(shí)網(wǎng)重構(gòu)
研究124
5?3基于對(duì)象知識(shí)網(wǎng)的近似重構(gòu)133
5?3?1對(duì)象知識(shí)網(wǎng)的重構(gòu)原及其
匹配性134
5?3?2基于近似匹配的對(duì)象知識(shí)網(wǎng)及
信息傳遞網(wǎng)的推理136
5?3?3基于近似匹配的對(duì)象知識(shí)網(wǎng)重構(gòu)
研究139
5?4重構(gòu)案例140
5?4?1基于知識(shí)網(wǎng)的企業(yè)信息系統(tǒng)重構(gòu)
案例140
5?4?2基于知識(shí)網(wǎng)的企業(yè)信息系統(tǒng)近似
重構(gòu)143
5?4?3基于對(duì)象知識(shí)網(wǎng)的企業(yè)信息系統(tǒng)
近似重構(gòu)146
第6章企業(yè)信息系統(tǒng)的時(shí)間性能149
6?1時(shí)間性能的概念及發(fā)展過(guò)程149
6?2時(shí)間性能的表達(dá)150
6?2?1對(duì)象知識(shí)網(wǎng)知識(shí)點(diǎn)間關(guān)系的
表達(dá)150
6?2?2對(duì)象知識(shí)網(wǎng)的時(shí)間性能151
6?2?3時(shí)間性能分析151
6?2?4基于時(shí)間性能的系統(tǒng)結(jié)構(gòu)的
表達(dá)154
6?3企業(yè)信息系統(tǒng)時(shí)間性能的案例155
6?3?1時(shí)間可達(dá)性分析155
6?3?2時(shí)間性能的預(yù)估158
第7章企業(yè)信息系統(tǒng)適應(yīng)性的評(píng)價(jià)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è)計(jì)階段167
7?3?3運(yùn)行維護(hù)階段170
7?4企業(yè)信息系統(tǒng)適應(yīng)性的評(píng)價(jià)模型及
算法172
7?4?1評(píng)價(jià)模型172
7?4?2評(píng)價(jià)算法172
7?4?3指標(biāo)權(quán)重的確定173
7?5企業(yè)信息系統(tǒng)適應(yīng)性評(píng)價(jià)案例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知識(shí)網(wǎng)功能的滿意度模型及其
運(yùn)算180
8?2?2基于用戶功能需求的知識(shí)網(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)頁(yè)：插圖：（2）管理信息系統(tǒng)管理信息系統(tǒng)是面向管理的信息系統(tǒng)，該階段的特點(diǎn)是實(shí)現(xiàn)跨區(qū)域互聯(lián)網(wǎng)絡(luò)，并且可以利用定量化的科學(xué)管理方法，通過(guò)預(yù)測(cè)、計(jì)劃優(yōu)化、管理、調(diào)節(jié)和控制等手段來(lái)支持決策。此時(shí)，計(jì)算機(jī)在管理上的廣泛應(yīng)用，使得管理信息系統(tǒng)逐漸成熟起來(lái)。數(shù)據(jù)庫(kù)技術(shù)、網(wǎng)絡(luò)技術(shù)等的發(fā)展不僅使組織內(nèi)部的各級(jí)管理連接起來(lái)，而且可以克服地理界線，建立起不同地區(qū)的計(jì)算機(jī)網(wǎng)絡(luò)，從而形成各種業(yè)務(wù)信息系統(tǒng)和管理信息系統(tǒng)。（3）決策支持系統(tǒng)決策支持系統(tǒng)是面向決策的信息系統(tǒng)。該階段的主要特點(diǎn)是把數(shù)據(jù)庫(kù)處理與經(jīng)濟(jì)管理數(shù)學(xué)模型的優(yōu)化計(jì)算結(jié)合起來(lái)，形成具有管理、輔助決策和預(yù)測(cè)功能的管理信息系統(tǒng)。決策支持系統(tǒng)是管理信息系統(tǒng)發(fā)展的新階段，是管理信息系統(tǒng)功能上的延伸。早期的管理信息系統(tǒng)主要是為管理者提供預(yù)定的報(bào)告，而決策支持系統(tǒng)則是在人和計(jì)算機(jī)交互的過(guò)程中幫助決策者探索可能的方案，方管理者提供決策所需的信息。信息技術(shù)的不斷發(fā)展導(dǎo)致企業(yè)信息系統(tǒng)的不斷發(fā)展；新技術(shù)的運(yùn)用和革新，為企業(yè)信息系統(tǒng)的不斷發(fā)展提供了廣闊的空間。近年來(lái)，信息技術(shù)的新發(fā)展主要有移動(dòng)通信技術(shù)、便攜技術(shù)、自動(dòng)識(shí)別技術(shù)以及虛擬現(xiàn)實(shí)技術(shù)。這些新技術(shù)有的是面向組織的信息系統(tǒng)，有的是面向社會(huì)的信息系統(tǒng)。同時(shí)，各種人工智能工具增強(qiáng)了企業(yè)做出更優(yōu)決策的能力，如人工神經(jīng)網(wǎng)絡(luò)、數(shù)據(jù)倉(cāng)庫(kù)、遺傳算法以及專(zhuān)家系統(tǒng)等。因此，在一定的條件下，信息系統(tǒng)可以利用人工智能在決策方案上提出更加可靠的建議，從而更好地為決策者服務(wù)。對(duì)于企業(yè)而言，信息系統(tǒng)和人工智能工具的結(jié)合是企業(yè)信息系統(tǒng)的發(fā)展方向。

編輯推薦

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

圖書(shū)封面

評(píng)論、評(píng)分、閱讀與下載

---

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

---