模型與軟件5_結(jié)構(gòu)化構(gòu)模方法(文件)
【正文】 模語言的出現(xiàn)： GAMS、 AMPL等； ? 概念模型與結(jié)構(gòu)化構(gòu)模方法的出現(xiàn)： SML ? 信息化技術(shù) ? 數(shù)據(jù)庫技術(shù)； ? 面向?qū)ο蟮姆椒ǎ? ? 軟件工程的方法； ? 人工智能、知識(shí)表達(dá)方法； 14 新一代模型系統(tǒng)應(yīng)具備的特征 ? 統(tǒng)一性：將模型的自然表述、數(shù)學(xué)表述和計(jì)算機(jī)執(zhí)行表述統(tǒng)一的模型架構(gòu)體系； ? 獨(dú)立性：模型描述獨(dú)立于求解工具，但可以對(duì)模型組件、模型庫進(jìn)行靈活的管理和使用； ? 通用性：適用于各種模型的表述 ? 完整性：可以支持模型構(gòu)造的全生命周期； ? 分離性：模型與數(shù)據(jù)的分離，即通用模型結(jié)構(gòu)與描述具體模型的數(shù)據(jù)相分離； ? 界面友好性：模型的可視化、圖表化和交互化； ? 支持對(duì)數(shù)據(jù)庫的訪問； 15 結(jié)構(gòu)化構(gòu)模方法 ? 美國加州大學(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ī)語言的模型描述語言； ? 提供對(duì)資源（數(shù)據(jù)、模型、求解器等）的有效管理； 17 結(jié)構(gòu)化構(gòu)模方法的挑戰(zhàn) ? 主要挑戰(zhàn)： ? 設(shè)計(jì)能夠 描述概念模型 的架構(gòu)； ? 設(shè)計(jì)支持該架構(gòu)的 可執(zhí)行的模型構(gòu)造語言 ； ? 設(shè)計(jì) 軟件集成方法 ， ? 特點(diǎn) ? 正規(guī)性（定義嚴(yán)格） ? 易理解性（與自然語言近似） ? 適用性（與數(shù)學(xué)模型方法、數(shù)據(jù)庫管理、人工智能表達(dá)的兼容性） 18 模型定義系統(tǒng) ? 模型構(gòu)造是給出某些事物部分知識(shí)的 嚴(yán)格定義 過程 ? 一個(gè)“個(gè)別定義”被稱為模型元素； ? 定義系統(tǒng)的特性： ? 相關(guān)性：定義之間存在程度不同的相關(guān)性； ? 非循環(huán)性：相關(guān)性不能有閉環(huán)（閉環(huán)將導(dǎo)致定義的多義性）； ? 分類性：定義可以按其性質(zhì)分入不同類別； ? 聚合性：相似的定義可以聚合在一起； ? 層級(jí)性：聚合是按層級(jí)進(jìn)行的。 21 Geoffrion定義的五類要素 ? 原始實(shí)體（ primitive entity）非數(shù)值型 代表構(gòu)成模型的基本事物或概念 ； ? 復(fù)合實(shí)體（ pound entity）非數(shù)值型 利用其他實(shí)體定義的實(shí)體； ? 屬性（ attribute）數(shù)值型 代表事物或概念的某種數(shù)值特征； ? 函數(shù)（ function）數(shù)值型 根據(jù)某種規(guī)則，利用某些實(shí)體屬性計(jì)算的數(shù)
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1