基于SysML的多域復(fù)雜機電產(chǎn)品系統(tǒng)層建模與仿真集成研究
發(fā)布時間：2019-03-30 14:20
【摘要】：隨著機電系統(tǒng)復(fù)雜性的日益增加,系統(tǒng)層設(shè)計已成為復(fù)雜機電系統(tǒng)開發(fā)過程中不可缺少的環(huán)節(jié)。基于模型的系統(tǒng)工程(MBSE)及其標(biāo)準(zhǔn)建模語言SysML為系統(tǒng)層設(shè)計提供了一定的支持。然而,由于復(fù)雜機電系統(tǒng)自身的特點,使得SysML這一通用建模語言無法直接應(yīng)用于其系統(tǒng)建模中。本文從復(fù)雜機電系統(tǒng)設(shè)計的需求出發(fā),為其系統(tǒng)層建模與仿真提供了一套較完整的解決思路。 本文首先分析了復(fù)雜機電系統(tǒng)建模的需求,即混合行為建模、多領(lǐng)域建模以及模型的自動驗證。討論了當(dāng)前基于SysML的建模方法存在的不足,并提出本文的研究思路。 在建模方面,復(fù)雜機電系統(tǒng)的行為包含時間連續(xù)行為、基于事件的離散行為以及混合行為三種類型,并且涉及控制、機械等多領(lǐng)域子系統(tǒng)的互連。本文針對復(fù)雜機電系統(tǒng)多領(lǐng)域、多行為的特點,對SysML語言進(jìn)行擴展,提出了統(tǒng)一行為建模語言UBML。該語言提出有序參數(shù)圖(SPD)并基于混合狀態(tài)機理論為混合行為建模提供支持；在此基礎(chǔ)上,分別基于IEC 61499標(biāo)準(zhǔn)以及動力學(xué)理論對控制子系統(tǒng)和廣義機械子系統(tǒng)的行為提供了具體的建模支持�；谠撜Z言,建立了層次化、多視圖的統(tǒng)一行為模型。 由于系統(tǒng)設(shè)計模型的復(fù)雜性,很難基于靜態(tài)的模型驗證設(shè)計的正確性。為支持設(shè)計模型的動態(tài)驗證,本文采用基于Triple Graph Grammar (TGG)的模型轉(zhuǎn)換方法,在UBML與仿真建模語言之間建立了雙向轉(zhuǎn)換關(guān)系,使基于UBML的行為模型可以自動轉(zhuǎn)換生成仿真模型,為設(shè)計模型的自動仿真提供支持。 在上述工作的基礎(chǔ)上,本文創(chuàng)建了UBML建模元素包以及UBML-Simulink模型轉(zhuǎn)換工具。在這些工具的支持下,以倒擺系統(tǒng)為例,實現(xiàn)了復(fù)雜機電系統(tǒng)建模和仿真過程。
[Abstract]:With the increasing complexity of electromechanical systems, system layer design has become an indispensable link in the development of complex electromechanical systems. The model-based system engineering (MBSE) and its standard modeling language SysML provide some support for system layer design. However, due to the characteristics of complex electromechanical systems, SysML, a general modeling language, can not be directly applied to its system modeling. Based on the requirements of complex electromechanical system design, this paper provides a complete solution for the modeling and simulation of the system layer. In this paper, the requirements of complex electromechanical system modeling are analyzed, which are hybrid behavior modeling, multi-domain modeling and automatic verification of the model. The shortcomings of current SysML-based modeling methods are discussed, and the research ideas of this paper are put forward. In the aspect of modeling, the behavior of complex electromechanical system includes three types: time-continuous behavior, event-based discrete behavior and mixed behavior, and involves the interconnection of multi-domain subsystems such as control, machinery and so on. In view of the multi-domain and multi-behavior characteristics of complex electromechanical systems, the SysML language is extended and a unified behavior modeling language (UBML.) is proposed in this paper. In this language, the ordered parameter graph (SPD) is proposed, and the hybrid behavior modeling is supported based on the mixed state machine theory. On this basis, based on the IEC 61499 standard and dynamics theory, the concrete modeling support for the behavior of control subsystem and generalized mechanical subsystem is provided. Based on this language, a hierarchical, multi-view unified behavior model is established. Because of the complexity of the system design model, it is difficult to verify the correctness of the design based on the static model. In order to support the dynamic verification of the design model, a bi-directional transformation relationship between the UBML and the simulation modeling language is established by using the model transformation method based on Triple Graph Grammar (TGG), so that the behavior model based on UBML can be automatically transformed into a simulation model. It provides support for the automatic simulation of the design model. On the basis of the above work, the UBML modeling element package and the UBML-Simulink model transformation tool are created in this paper. With the support of these tools, the modeling and simulation process of complex electromechanical system is realized by taking the inverted pendulum system as an example.
【學(xué)位授予單位】：浙江大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2011
【分類號】：TH-39
本文編號：2450164
[Abstract]:With the increasing complexity of electromechanical systems, system layer design has become an indispensable link in the development of complex electromechanical systems. The model-based system engineering (MBSE) and its standard modeling language SysML provide some support for system layer design. However, due to the characteristics of complex electromechanical systems, SysML, a general modeling language, can not be directly applied to its system modeling. Based on the requirements of complex electromechanical system design, this paper provides a complete solution for the modeling and simulation of the system layer. In this paper, the requirements of complex electromechanical system modeling are analyzed, which are hybrid behavior modeling, multi-domain modeling and automatic verification of the model. The shortcomings of current SysML-based modeling methods are discussed, and the research ideas of this paper are put forward. In the aspect of modeling, the behavior of complex electromechanical system includes three types: time-continuous behavior, event-based discrete behavior and mixed behavior, and involves the interconnection of multi-domain subsystems such as control, machinery and so on. In view of the multi-domain and multi-behavior characteristics of complex electromechanical systems, the SysML language is extended and a unified behavior modeling language (UBML.) is proposed in this paper. In this language, the ordered parameter graph (SPD) is proposed, and the hybrid behavior modeling is supported based on the mixed state machine theory. On this basis, based on the IEC 61499 standard and dynamics theory, the concrete modeling support for the behavior of control subsystem and generalized mechanical subsystem is provided. Based on this language, a hierarchical, multi-view unified behavior model is established. Because of the complexity of the system design model, it is difficult to verify the correctness of the design based on the static model. In order to support the dynamic verification of the design model, a bi-directional transformation relationship between the UBML and the simulation modeling language is established by using the model transformation method based on Triple Graph Grammar (TGG), so that the behavior model based on UBML can be automatically transformed into a simulation model. It provides support for the automatic simulation of the design model. On the basis of the above work, the UBML modeling element package and the UBML-Simulink model transformation tool are created in this paper. With the support of these tools, the modeling and simulation process of complex electromechanical system is realized by taking the inverted pendulum system as an example.
【學(xué)位授予單位】：浙江大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2011
【分類號】：TH-39
【參考文獻(xiàn)】
相關(guān)期刊論文 前1條
1 趙建軍;丁建完;周凡利;陳立平;;Modelica語言及其多領(lǐng)域統(tǒng)一建模與仿真機理[J];系統(tǒng)仿真學(xué)報;2006年S2期
相關(guān)碩士學(xué)位論文 前2條
1 黃方;基于IEC61499功能塊的應(yīng)用研究[D];浙江大學(xué);2004年
2 張松慧;基于IEC61499標(biāo)準(zhǔn)的工業(yè)過程測控系統(tǒng)功能塊的研究[D];浙江大學(xué);2005年
，本文編號：2450164
本文鏈接：http://sikaile.net/kejilunwen/jixiegongcheng/2450164.html
最近更新
教材專著
