模型與軟件5_結(jié)構(gòu)化構(gòu)模方法(編輯修改稿)
2024-10-27 14:59 本頁(yè)面
【文章內(nèi)容簡(jiǎn)介】 通用模型結(jié)構(gòu)與描述具體模型的數(shù)據(jù)相分離； ? 界面友好性：模型的可視化、圖表化和交互化； ? 支持對(duì)數(shù)據(jù)庫(kù)的訪(fǎng)問(wèn)； 15 結(jié)構(gòu)化構(gòu)模方法 ? 美國(guó)加州大學(xué)洛衫磯分校（ UCLA）的 Geoffrion教授于 1987年首先提出； ? An Introduction to Structured Modeling, Mang. Sci. 1987, Vol. 33, No. 5 ? The Formal Aspects of Structured Modeling, Oper. Res. 1989, Vol. 37, No. 1 ? The SML Language for Structured Modeling: Oper. Res. 1992, Vol. 40, ； 16 結(jié)構(gòu)化構(gòu)模方法 ? 結(jié)構(gòu)化構(gòu)模方法提供基于計(jì)算機(jī)的模型構(gòu)造環(huán)境，目的是： ? 適用于模型構(gòu)造的全生命周期，而不是個(gè)別階段； ? 不僅有助于模型構(gòu)造者，也有助于模型使用者（決策和政策制定者）； ? 減少模型升級(jí)、維護(hù)的成本； ? 使用獨(dú)立于具體計(jì)算機(jī)語(yǔ)言的模型描述語(yǔ)言； ? 提供對(duì)資源（數(shù)據(jù)、模型、求解器等）的有效管理； 17 結(jié)構(gòu)化構(gòu)模方法的挑戰(zhàn) ? 主要挑戰(zhàn)： ? 設(shè)計(jì)能夠 描述概念模型 的架構(gòu)； ? 設(shè)計(jì)支持該架構(gòu)的 可執(zhí)行的模型構(gòu)造語(yǔ)言 ； ? 設(shè)計(jì) 軟件集成方法 ， ? 特點(diǎn) ? 正規(guī)性（定義嚴(yán)格） ? 易理解性（與自然語(yǔ)言近似） ? 適用性（與數(shù)學(xué)模型方法、數(shù)據(jù)庫(kù)管理、人工智能表達(dá)的兼容性） 18 模型定義系統(tǒng) ? 模型構(gòu)造是給出某些事物部分知識(shí)的 嚴(yán)格定義 過(guò)程 ? 一個(gè)“個(gè)別定義”被稱(chēng)為模型元素； ? 定義系統(tǒng)的特性： ? 相關(guān)性：定義之間存在程度不同的相關(guān)性； ? 非循環(huán)性：相關(guān)性不能有閉環(huán)（閉環(huán)將導(dǎo)致定義的多義性）； ? 分類(lèi)性：定義可以按其性質(zhì)分入不同類(lèi)別； ? 聚合性：相似的定義可以聚合在一起； ? 層級(jí)性：聚合是按層級(jí)進(jìn)行的。 19 結(jié)構(gòu)化構(gòu)模的基本結(jié)構(gòu) ? 要素結(jié)構(gòu)（ elemental structure） ? 通用結(jié)構(gòu)（ generic structure） ? 模塊結(jié)構(gòu)（ modular structure） ? 模型實(shí)例（ model instances） ? 模型類(lèi)別（ model classes） 20 要素結(jié)構(gòu) ? 模型是由一些離散的要素組成，要素反映構(gòu)成模型的基本事物、概念和它們的特征， ? 每個(gè)要素要有嚴(yán)格定義， 并以某種關(guān)系聯(lián)系在一起，如集合關(guān)系、屬性關(guān)系等。 ? 要素既可以是原始（ primitive）要素也可以是已存在要素的組合； ? 要素可以按其特征和屬性組織在具有層級(jí)結(jié)構(gòu)的要素類(lèi)（集合）中。 ? 在結(jié)構(gòu)化構(gòu)模方法中，重要的模型構(gòu)造要素分為實(shí)體要素、屬性要素和關(guān)系要素（函數(shù)、檢驗(yàn)）。 21 Geoffrion定義的五類(lèi)要素 ? 原始實(shí)體（ primitive entity）非數(shù)值型 代表構(gòu)成模型的基本事物或概念 ； ? 復(fù)合實(shí)體（ pound entit
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1