吉林大学学报（信息科学版）
吉林大學學報（信息科學版）
길림대학학보（신식과학판）
JOURNAL OF JILIN UNIVERSITY(INFORMATION SCIENCE EDITION)
2007年
6期
674-680
,共7页
模型管理系统%模型库结构%决策支持系统%模型组合%类型相匹配
模型管理繫統%模型庫結構%決策支持繫統%模型組閤%類型相匹配
모형관리계통%모형고결구%결책지지계통%모형조합%류형상필배
针对现有方法存在的不能表示复杂模型关系以及模型组合与求解自动化程度低的局限性,在对模型库结构表示方式进行比较的基础上,从而进一步分析并提出了数据类型广义匹配的概念,将其应用于模型连接的表示,给出了模型库的网络结构表示的定义及其构造方法.分析了模型组合及模型库必须考虑的元素,并用网络结构表示模型库中元素间的静态连接结构;给出了模型库网络结构的形式化定义,模型间的连接通过引入类型转换实现.从而简化模型之间连接,使模型的连接判断由类型匹配判断转化为模型与转换和转换与模型之间的类型相等性判别,而类型匹配操作则通过转换自动完成.并且在组合模型求解过程中,转换过程也会自动完成,提高了模型组合与求解的自动化.
針對現有方法存在的不能錶示複雜模型關繫以及模型組閤與求解自動化程度低的跼限性,在對模型庫結構錶示方式進行比較的基礎上,從而進一步分析併提齣瞭數據類型廣義匹配的概唸,將其應用于模型連接的錶示,給齣瞭模型庫的網絡結構錶示的定義及其構造方法.分析瞭模型組閤及模型庫必鬚攷慮的元素,併用網絡結構錶示模型庫中元素間的靜態連接結構;給齣瞭模型庫網絡結構的形式化定義,模型間的連接通過引入類型轉換實現.從而簡化模型之間連接,使模型的連接判斷由類型匹配判斷轉化為模型與轉換和轉換與模型之間的類型相等性判彆,而類型匹配操作則通過轉換自動完成.併且在組閤模型求解過程中,轉換過程也會自動完成,提高瞭模型組閤與求解的自動化.
침대현유방법존재적불능표시복잡모형관계이급모형조합여구해자동화정도저적국한성,재대모형고결구표시방식진행비교적기출상,종이진일보분석병제출료수거류형엄의필배적개념,장기응용우모형련접적표시,급출료모형고적망락결구표시적정의급기구조방법.분석료모형조합급모형고필수고필적원소,병용망락결구표시모형고중원소간적정태련접결구;급출료모형고망락결구적형식화정의,모형간적련접통과인입류형전환실현.종이간화모형지간련접,사모형적련접판단유류형필배판단전화위모형여전환화전환여모형지간적류형상등성판별,이류형필배조작칙통과전환자동완성.병차재조합모형구해과정중,전환과정야회자동완성,제고료모형조합여구해적자동화.
