本文選題：信息物理融合系統(tǒng)　切入點：聯(lián)合仿真　出處：《華東師范大學》2017年碩士論文　論文類型：學位論文

【摘要】：信息物理融合系統(tǒng)(Cyber Physical Systems,CPS)是信息計算和物理過程緊密結合與協(xié)作的系統(tǒng),包括計算部分和物理部分,具有很強的異構性。此外,CPS集離散的系統(tǒng)行為和連續(xù)的物理過程于一體,是典型的混成系統(tǒng)。CPS具有開放性,通常運行在開放、不確定的環(huán)境中,導致系統(tǒng)行為具有不確定性。綜合以上CPS的特性,模擬、驗證分析CPS系統(tǒng)的性能以及安全性具有一定的挑戰(zhàn)。聯(lián)合仿真能一定程度上解決異構系統(tǒng)的建模與仿真問題,并且現有技術,如Functional Mockup Interface(FMI),為各工具的聯(lián)合仿真提供統(tǒng)一的標準規(guī)范,任意工具通過實現FMI接口便能參與聯(lián)合仿真,對聯(lián)合仿真的發(fā)展具有一定促進作用。但是,一方面,實現FMI標準并導出FMU從而參與聯(lián)合仿真是一項繁雜的工作,這限制了支持FMI標準工具的數量;另一方面現有的聯(lián)合仿真算法效率有待提高。首先,設計并實現了基于FMI的熱插拔式聯(lián)合仿真平臺,該平臺支持模型的三種耦合方式:FMU式耦合、工具式耦合、插件式耦合。其中,FMU式耦合為傳統(tǒng)的耦合方式;工具式耦合旨在為任意建模工具支持基于FMI的聯(lián)合仿真提供更加高效、快捷的實現方式,從而使得更多工具支持基于FMI的聯(lián)合仿真;插件式耦合旨在為代碼定制的模型支持基于FMI的聯(lián)合仿真提供更加高效、快捷的實現方式。支持三種耦合方式使得熱插拔式聯(lián)合仿真平臺具有強大的仿真能力。其次,分析了現有的聯(lián)合仿真算法,并提出了基于FMI的熱插拔式的聯(lián)合仿真算法,通過動態(tài)地改變參與聯(lián)合仿真模型的數量以及控制聯(lián)合仿真過程中耦合變量的交換次數從而提高聯(lián)合仿真的效率。在仿真模型的熱插拔實現上,為保證各模型建模階段的獨立性,我們設計了兩種插拔情形:被動式插拔以及主動式插拔。針對兩種不同的插拔情形,我們分別提出了兩種實現方式:基于字符串的主動式插拔實現以及基于配置的被動式插拔實現。最后,我們采用兩種聯(lián)合建模與仿真的方案分析了 CPS中的經典案例——智能溫控系統(tǒng),充分彰顯了熱插拔式聯(lián)合仿真平臺的優(yōu)勢,并對聯(lián)合仿真算法改進前后的效率進行了實驗分析,結果證明,本文提出的熱插拔式聯(lián)合仿真算法能在一定程度上提高聯(lián)合仿真效率。
[Abstract]:The information physics fusion system (Cyber Physical Systems / CPS) is a system of information computing and physical process closely combining and cooperating, including computing part and physical part, which has strong heterogeneity. In addition, it integrates discrete system behavior and continuous physical process. Is a typical hybrid system. CPS is open, usually run in an open, uncertain environment, resulting in uncertainty of system behavior. It is a challenge to analyze the performance and security of CPS system. Joint simulation can solve the modeling and simulation problems of heterogeneous systems to some extent, and the existing technologies, For example, the Functional Mockup Interface provides a unified standard for the joint simulation of various tools. Any tool can participate in the joint simulation by implementing the FMI interface, which can promote the development of the joint simulation to some extent. However, on the one hand, It is a complicated task to implement FMI standard and export FMU to participate in joint simulation, which limits the number of tools supporting FMI standard. On the other hand, the efficiency of existing joint simulation algorithms needs to be improved. This paper designs and implements a hot-swapping joint simulation platform based on FMI. The platform supports three kinds of coupling modes of model:: FMU coupling, tool coupling, plug-in coupling, in which FM-FU coupling is the traditional coupling mode. The purpose of tool-coupling is to provide a more efficient and fast way to implement joint simulation based on FMI for any modeling tool, so that more tools can support joint simulation based on FMI. Plug-in coupling is designed to provide a more efficient and fast implementation for code custom-made models to support joint simulation based on FMI. This paper analyzes the existing joint simulation algorithms, and puts forward a joint simulation algorithm based on FMI. The efficiency of joint simulation can be improved by changing the number of participating joint simulation models and controlling the number of exchange of coupling variables in the process of joint simulation. In order to ensure the independence of each modeling stage, we designed two kinds of plugging cases: passive and active. We propose two implementation methods: active plug based on string and passive plug based on configuration. Finally, We use two kinds of joint modeling and simulation schemes to analyze the classic case of CPS, intelligent temperature control system, which fully demonstrates the advantages of the hot-swapping joint simulation platform, and analyzes the efficiency of the joint simulation algorithm before and after the improvement. The results show that the joint simulation algorithm proposed in this paper can improve the efficiency of joint simulation to some extent.
【學位授予單位】：華東師范大學
【學位級別】：碩士
【學位授予年份】：2017
【分類號】：TP29;TP391.9

【參考文獻】

相關期刊論文 前9條

1 孫紅三;王闖;豐曉航;燕達;洪天真;陳毅興;;基于協(xié)同仿真的人行為能耗模擬方法[J];暖通空調;2016年11期

2 茹志鵑;;可擴展標記語言中的模式定義[J];電腦知識與技術;2013年34期

3 DAVID Alexandre;LARSEN Kim G.;MIKUIONIS Marius;SKOU Arne;;An evaluation framework for energy aware buildings using statistical model checking[J];Science China(Information Sciences);2012年12期

4 王中杰;謝璐璐;;信息物理融合系統(tǒng)研究綜述[J];自動化學報;2011年10期

5 劉建亮;宋莉;;Mina框架研究與實現[J];電腦編程技巧與維護;2010年07期

6 秦新燕;;Modelica語言在電路建模與仿真中的應用[J];湖北教育學院學報;2007年08期

7 趙建軍;丁建完;周凡利;陳立平;;Modelica語言及其多領域統(tǒng)一建模與仿真機理[J];系統(tǒng)仿真學報;2006年S2期

8 徐玉華;曾明;;泊松分布性質及應用研究[J];長江大學學報(自科版);2006年04期

9 侯捷;;Java反射機制[J];程序員;2004年10期

相關碩士學位論文 前3條

1 程貝;基于抽象和學習的統(tǒng)計模型檢測研究[D];華東師范大學;2016年

2 趙楊楊;基于FMI的一體化仿真平臺及其在航天工程中的應用[D];哈爾濱工業(yè)大學;2013年

3 單立志;基于FMI的實時仿真應用研究[D];北方工業(yè)大學;2012年

，

本文編號：1647514