出版時間:2012-2 出版社:機械工業(yè)出版社 作者:薛朝改 頁數(shù):212
內容概要
在眾多行業(yè)中得到了廣泛的應用,并且發(fā)揮著越來越重要的作用,日益成為企業(yè)運行中必不可少的組成部分。形式化即“符號化+抽象公理化”,也就是采用定量的數(shù)學方法描述系統(tǒng),借助數(shù)學方法研究系統(tǒng)的性質與規(guī)律。企業(yè)信息系統(tǒng)的形式化及應用研究,對于認識企業(yè)信息系統(tǒng)的結構,深入研究其運行機理具有重要意義,是企業(yè)信息系統(tǒng)的研究從定性轉向定量,不斷深入的必經之路。為此,本書從全局的角度系統(tǒng)地研究企業(yè)信息系統(tǒng)的形式化,符號及定理化信息系統(tǒng),研究企業(yè)信息系統(tǒng)形式化的應用。全書分為上下兩篇,分別是企業(yè)信息系統(tǒng)的形式化理論,以及企業(yè)信息系統(tǒng)形式化的應用,包括重構、時間性能、適應性評價、優(yōu)化等內容。
《企業(yè)信息系統(tǒng)的形式化及其應用》適合系統(tǒng)科學、管理學、信息系統(tǒ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)的層次結構8
1?2?3企業(yè)信息系統(tǒng)的功能結構12
1?2?4企業(yè)信息系統(tǒng)的軟件結構12
1?2?5企業(yè)信息系統(tǒng)的生命周期13
1?3企業(yè)信息系統(tǒng)的學科體系20
1?3?1管理科學20
1?3?2系統(tǒng)科學24
1?3?3信息技術25
1?3?4建模技術26
1?4企業(yè)信息系統(tǒ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普渡體系結構模型43
2?5?3面向功能的體系結構模型45
2?5?4IDEF系列模型46
2?5?5UML模型55
2?5?6面向對象的模型57
第3章形式化方法的理論基礎60
3?1形式化方法概述60
3?1?1形式化的定義60
3?1?2形式化方法的發(fā)展過程61
3?2形式化方法的分類61
3?3形式化方法的研究內容62
3?4形式化的優(yōu)勢及發(fā)展方向63
3?5常用的形式化方法65
3?5?1Petri網65
3?5?2排隊論72
3?5?3隨機進程代數(shù)74
3?5?4形式化規(guī)范說明語言76
3?6形式化方法的應用77
3?6?1形式化方法在軟件開發(fā)中的
應用77
3?6?2形式化方法在軟件再工程的
應用78
3?6?3基于形式化方法的模型檢驗79
3?6?4其他應用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知識網理論83
4?2?1企業(yè)信息系統(tǒng)及Agent網84
4?2?2知識網及其運算85
4?2?3多重集的概念87
4?2?4多重集的運算及其性質87
4?2?5知識網復雜度的泛函分析93
4?3對象知識網95
4?3?1對象知識網的概念95
4?3?2對象知識網的構造算法97
4?3?3對象知識網與知識網的轉換
算法98
4?4企業(yè)信息系統(tǒng)的形式化表達99
4?4?1基于知識網的企業(yè)信息系統(tǒng)
形式化99
4?4?2基于對象知識網的企業(yè)信息系統(tǒng)
形式化101
4?5企業(yè)信息系統(tǒng)的形式化實例103
4?5?1基于知識網的企業(yè)信息系統(tǒng)形式化
實例103
4?5?2基于對象知識網的企業(yè)信息系統(tǒng)
形式化實例104下篇企業(yè)信息系統(tǒng)形式化的應用
第5章企業(yè)信息系統(tǒng)的重構110
5?1重構的概念及原則110
5?1?1重構的概念110
5?1?2重構的原則110
5?1?3重構問題的研究現(xiàn)狀110
5?1?4重構問題的方法114
5?2基于知識網的企業(yè)信息系統(tǒng)重構116
5?2?1基于知識網的信息系統(tǒng)重構
原理116
5?2?2知識網的重構算法116
5?2?3基于近似匹配的知識網重構
研究124
5?3基于對象知識網的近似重構133
5?3?1對象知識網的重構原及其
匹配性134
5?3?2基于近似匹配的對象知識網及
信息傳遞網的推理136
5?3?3基于近似匹配的對象知識網重構
研究139
5?4重構案例140
5?4?1基于知識網的企業(yè)信息系統(tǒng)重構
案例140
5?4?2基于知識網的企業(yè)信息系統(tǒng)近似
重構143
5?4?3基于對象知識網的企業(yè)信息系統(tǒng)
近似重構146
第6章企業(yè)信息系統(tǒng)的時間性能149
6?1時間性能的概念及發(fā)展過程149
6?2時間性能的表達150
6?2?1對象知識網知識點間關系的
表達150
6?2?2對象知識網的時間性能151
6?2?3時間性能分析151
6?2?4基于時間性能的系統(tǒng)結構的
表達154
6?3企業(yè)信息系統(tǒng)時間性能的案例155
6?3?1時間可達性分析155
6?3?2時間性能的預估158
第7章企業(yè)信息系統(tǒng)適應性的評價159
7?1企業(yè)信息系統(tǒng)適應性的基本概念159
7?1?1企業(yè)信息系統(tǒng)適應性的界定159
7?1?2企業(yè)信息系統(tǒng)適應性的研究
現(xiàn)狀159
7?2企業(yè)信息系統(tǒng)適應性的指標體系160
7?2?1GQM方法概述160
7?2?2GQM的建模步驟161
7?2?3GQM方法的應用現(xiàn)狀162
7?2?4企業(yè)信息系統(tǒng)適應性的指標163
7?3企業(yè)信息系統(tǒng)適應性的量化165
7?3?1需求分析階段165
7?3?2系統(tǒng)設計階段167
7?3?3運行維護階段170
7?4企業(yè)信息系統(tǒng)適應性的評價模型及
算法172
7?4?1評價模型172
7?4?2評價算法172
7?4?3指標權重的確定173
7?5企業(yè)信息系統(tǒ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知識網功能的滿意度模型及其
運算180
8?2?2基于用戶功能需求的知識網
多重集表達式的優(yōu)化182
8?3企業(yè)信息系統(tǒng)的結構優(yōu)化189
8?3?1免疫遺傳算法190
8?3?2企業(yè)信息系統(tǒng)的結構優(yōu)化模型192
8?4企業(yè)信息系統(tǒng)優(yōu)化案例
8?4?1企業(yè)信息系統(tǒng)功能的優(yōu)化案例
8?4?2企業(yè)信息系統(tǒng)結構的優(yōu)化案例
參考文獻
章節(jié)摘錄
版權頁:插圖:(2)管理信息系統(tǒng)管理信息系統(tǒng)是面向管理的信息系統(tǒng),該階段的特點是實現(xiàn)跨區(qū)域互聯(lián)網絡,并且可以利用定量化的科學管理方法,通過預測、計劃優(yōu)化、管理、調節(jié)和控制等手段來支持決策。此時,計算機在管理上的廣泛應用,使得管理信息系統(tǒng)逐漸成熟起來。數(shù)據庫技術、網絡技術等的發(fā)展不僅使組織內部的各級管理連接起來,而且可以克服地理界線,建立起不同地區(qū)的計算機網絡,從而形成各種業(yè)務信息系統(tǒng)和管理信息系統(tǒng)。(3)決策支持系統(tǒng)決策支持系統(tǒng)是面向決策的信息系統(tǒng)。該階段的主要特點是把數(shù)據庫處理與經濟管理數(shù)學模型的優(yōu)化計算結合起來,形成具有管理、輔助決策和預測功能的管理信息系統(tǒng)。決策支持系統(tǒng)是管理信息系統(tǒng)發(fā)展的新階段,是管理信息系統(tǒng)功能上的延伸。早期的管理信息系統(tǒng)主要是為管理者提供預定的報告,而決策支持系統(tǒng)則是在人和計算機交互的過程中幫助決策者探索可能的方案,方管理者提供決策所需的信息。信息技術的不斷發(fā)展導致企業(yè)信息系統(tǒng)的不斷發(fā)展;新技術的運用和革新,為企業(yè)信息系統(tǒng)的不斷發(fā)展提供了廣闊的空間。近年來,信息技術的新發(fā)展主要有移動通信技術、便攜技術、自動識別技術以及虛擬現(xiàn)實技術。這些新技術有的是面向組織的信息系統(tǒng),有的是面向社會的信息系統(tǒng)。同時,各種人工智能工具增強了企業(yè)做出更優(yōu)決策的能力,如人工神經網絡、數(shù)據倉庫、遺傳算法以及專家系統(tǒng)等。因此,在一定的條件下,信息系統(tǒng)可以利用人工智能在決策方案上提出更加可靠的建議,從而更好地為決策者服務。對于企業(yè)而言,信息系統(tǒng)和人工智能工具的結合是企業(yè)信息系統(tǒng)的發(fā)展方向。
編輯推薦
《企業(yè)信息系統(tǒng)的形式化及其應用》由機械工業(yè)出版社出版。
圖書封面
評論、評分、閱讀與下載
企業(yè)信息系統(tǒng)的形式化及其應用 PDF格式下載