版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、現(xiàn)代造船模式的應(yīng)用和推廣,加快了船舶結(jié)構(gòu)設(shè)計模塊化和標(biāo)準(zhǔn)化技術(shù)的形成。隨著先進(jìn)制造理論的引入,使得現(xiàn)代造船模式迅速向敏捷制造方向發(fā)展。這種船舶敏捷制造,是將某船舶項目的船舶設(shè)計、生產(chǎn)計劃、船舶總裝等管理功能作為一個獨立的主體或盟主,以船廠內(nèi)部的各生產(chǎn)中心和大量的配套廠、原材料供應(yīng)商和外協(xié)廠組成的多項目動態(tài)聯(lián)盟。船舶敏捷制造對企業(yè)建模理論和方法提出了新的要求,基于構(gòu)件的企業(yè)建模方式和形式化模型構(gòu)件描述順應(yīng)了這一要求。 從企業(yè)建模角
2、度看,基于形式語義的船舶敏捷制造企業(yè)(SAME,Ship-Building Agile Manufacture Enterprise)動態(tài)建模和模型構(gòu)件自動組合的必要性和實用價值是顯而易見的:船舶敏捷制造企業(yè)的模型構(gòu)件自動組合能大大提高企業(yè)建模的效率,減少人工參與;靜態(tài)語義和動態(tài)語義刻畫了船舶敏捷制造的模型構(gòu)件的本質(zhì)屬性,有利于人們把握船舶企業(yè)信息和業(yè)務(wù)活動的根本特征;模型構(gòu)件的自動組合是構(gòu)件復(fù)用的直接表現(xiàn)形式,能最大程度的實現(xiàn)船舶敏捷
3、制造企業(yè)模型的功能增值。 綜合考慮敏捷制造企業(yè)中主體(Agent)行為的過程性、并發(fā)性和協(xié)同性,本文提出一種基于動態(tài)屬性的企業(yè)模型構(gòu)件抽象表示,旨在刻畫主體在外部動作或者環(huán)境作用下的演變過程。首先,給出了一種基于自動機理論的構(gòu)件模型定義,并著重刻畫了構(gòu)件在動作作用下的狀態(tài)遷移,采用鄰接鏈表實現(xiàn)了構(gòu)件及其遷移過程在計算機中的表示,同時給出了一個基于行為的構(gòu)件模型觀察等價判定算法。上述研究有效的刻畫了構(gòu)件動態(tài)屬性及模型之間的通訊,得
4、到SAME這一個復(fù)雜系統(tǒng)的動態(tài)模型,刻畫了模型構(gòu)件的操作語義。 現(xiàn)有模型接口大多是基于語法的描述,然而,模型構(gòu)件自動組合過程依賴于接口解釋的形式語義。為了滿足模型構(gòu)件的共享和復(fù)用需求,本文引入形式本體實現(xiàn)模型靜態(tài)屬性的語義支撐,為模型構(gòu)件的端口提供了語義解釋模版。針對SAME的分布特性,給出了一個分布式本體集成算法以構(gòu)造更高層次上的共享語義空間。 本文著重研究面向SAME模型構(gòu)件的本體靜態(tài)語義和進(jìn)程操作語義,奠定SAME
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于形式語義的構(gòu)件組裝與演化研究.pdf
- 基于形式語義的知識管理與應(yīng)用研究.pdf
- 基于形式化描述的構(gòu)件庫應(yīng)用研究.pdf
- 模型資源的語義表示和應(yīng)用研究.pdf
- 面向組裝的語義構(gòu)件模型及系統(tǒng)原型.pdf
- 基于語義的可重用構(gòu)件庫建模與應(yīng)用研究.pdf
- 基于語義的報表系統(tǒng)模型的應(yīng)用研究.pdf
- 基于本體的語義檢索模型及其應(yīng)用研究.pdf
- 基于語義場模型的學(xué)科資源聚類及應(yīng)用研究.pdf
- 循證醫(yī)學(xué)證據(jù)評價的語義模型與應(yīng)用研究.pdf
- 基于形式化構(gòu)件模型的軟件重用研究.pdf
- 基于關(guān)系形式概念的教育資源語義模型研究.pdf
- 面向語義的服務(wù)構(gòu)件模型與選取方法.pdf
- 網(wǎng)格構(gòu)件的形式模型與優(yōu)化策略.pdf
- 形式化方法在構(gòu)件組裝實時系統(tǒng)中的應(yīng)用研究.pdf
- 基于構(gòu)件的軟件開發(fā)改進(jìn)模型及其應(yīng)用研究.pdf
- 構(gòu)件檢索及組裝技術(shù)應(yīng)用研究.pdf
- 基于語義的Web的應(yīng)用構(gòu)件組裝方法研究.pdf
- 基于關(guān)系形式概念的教育資源語義模型研究
- 古代壁畫的語義檢索技術(shù)及應(yīng)用研究.pdf
評論
0/150
提交評論