異構(gòu)模型集成交互機(jī)制的研究與應(yīng)用.pdf

1、隨著計(jì)算機(jī)技術(shù)的發(fā)展，計(jì)算機(jī)應(yīng)用模型已經(jīng)滲透到各個(gè)技術(shù)方面。集成的模型資源也不再僅僅局限于一個(gè)領(lǐng)域，而是涉及到相關(guān)學(xué)科或交叉學(xué)科等多個(gè)領(lǐng)域。實(shí)現(xiàn)異構(gòu)模型的集成交互是一個(gè)亟待解決的問題，特別是用計(jì)算機(jī)技術(shù)解決水力上的各種計(jì)算模型交互還是空白，這就為異構(gòu)模型的集成交互帶來了新的特點(diǎn)。
　　 本研究課題來源于上海水務(wù)局和南京航空航天大學(xué)計(jì)算機(jī)系合作開發(fā)的基于OpenMI的感潮河網(wǎng)和排水管網(wǎng)的集成交互項(xiàng)目，在該項(xiàng)目中異構(gòu)模型的通信是交互

2、的核心部分，其工作狀態(tài)直接影響數(shù)據(jù)交互的正確性。因此對(duì)異構(gòu)模型的交互技術(shù)研究是整個(gè)項(xiàng)目的關(guān)鍵所在。
　　 本文首先對(duì)異構(gòu)模型集成交互技術(shù)進(jìn)行了深入研究，總結(jié)了目前異構(gòu)模型集成交互采用的主要方法和關(guān)鍵技術(shù)；其次針對(duì)異構(gòu)模型集成交互存在的問題，提出了異構(gòu)模型集成交互機(jī)制，并建立了多模型交互系統(tǒng)，使用Pi演算對(duì)模型交互進(jìn)行形式化描述和驗(yàn)證；然后設(shè)計(jì)了異構(gòu)模型集成交互的總體框架，從異構(gòu)模型數(shù)據(jù)描述、傳遞機(jī)制和數(shù)據(jù)交互格式三個(gè)方面詳細(xì)論述