模型與軟件5_結(jié)構(gòu)化構(gòu)模方法-文庫吧資料
2024-10-13 14:59本頁面
【正文】 型語言只支持有限的模型、只能支持模型構(gòu)造生命周期的幾個(gè)階段； 12 模型構(gòu)造方法：問題與機(jī)會(huì) ? 問題二：管理者接受模型方法培訓(xùn)的可能性低 ? 模型描述過于復(fù)雜，非專業(yè)人員無法理解； ? 專業(yè)人士“以技術(shù)為中心”而不是“以問題為中心”的方法引發(fā)的溝通問題； ? 模型使用也過分依賴專業(yè)人員，管理者很難獨(dú)立使用模型導(dǎo)致的排斥； 13 模型構(gòu)造方法：問題與機(jī)會(huì) ? 機(jī)會(huì)一：信息技術(shù)的進(jìn)步帶來計(jì)算機(jī)應(yīng)用普及，很多原來不可能的事現(xiàn)在變?yōu)榭赡埽? ? 機(jī)會(huì)二：與模型相關(guān)的其他技術(shù)的進(jìn)步 ? 模型構(gòu)造技術(shù)： ? 電子表格模型的普及； ? 多種構(gòu)模語言的出現(xiàn)： GAMS、 AMPL等； ? 概念模型與結(jié)構(gòu)化構(gòu)模方法的出現(xiàn)： SML ? 信息化技術(shù) ? 數(shù)據(jù)庫技術(shù)； ? 面向?qū)ο蟮姆椒ǎ? ? 軟件工程的方法； ? 人工智能、知識表達(dá)方法； 14 新一代模型系統(tǒng)應(yīng)具備的特征 ? 統(tǒng)一性：將模型的自然表述、數(shù)學(xué)表述和計(jì)算機(jī)執(zhí)行表述統(tǒng)一的模型架構(gòu)體系； ? 獨(dú)立性：模型描述獨(dú)立于求解工具，但可以對模型組件、模型庫進(jìn)行靈活的管理和使用； ? 通用性：適用于各種模型的表述 ? 完整性：可以支持模型構(gòu)造的全生命周期； ? 分離性：模型與數(shù)據(jù)的分離，即通用模型結(jié)構(gòu)與描述具體模型的數(shù)據(jù)相分離； ? 界面友好性：模型的可視化、圖表化和交互化； ? 支持對數(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)造者，也有助于模型使用者（決策和政策制定者）； ? 減少模型升級、維護(hù)的成本； ? 使用獨(dú)立于具體計(jì)算機(jī)語言的模型描述語言； ? 提供對資源（數(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)造是給出某些事物部分知識的 嚴(yán)格定義 過程 ? 一個(gè)“個(gè)別定義”被稱為模型元素； ? 定義系統(tǒng)的特性： ? 相關(guān)性：定義之間存在程度不同的相關(guān)性；
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1