Research And Implementation Of Compiling And Solving Technology Of Modelica Synchronous Clock Model

With the integration of industrialization and information,the product will be more intelligent and information.This also leads to the structure of the product will become more and more complex,complex product design need to use unified modeling,simulation and optimization technology.The Modelica language is suitable for the modeling of multi domain systems.In order to improve the correctness and convenience of the implementation of the hybrid system,Modelica introduced synchronous clock semantics.In order to make the semantic feature can be applied in practical engineering,this dissertation studies the technology of compiling and solving the synchronous clock model.First,this dissertation analyzes the shortcomings of the previous Modelica modeling method for continuous discrete hybrid system modeling,and illustrates the rationality of synchronous clock semantics.Discusses the characteristics of synchronous clock semantics.On this basis,summarizes the advantages of modeling method based on synchronous clock.Secondly,aiming at the separation of the clocked and continuous time parts,this dissertation presents a method to decompose the model clock according to the clock propagation rule.The model clock compatibility is a prerequisite for the model to be solved.On the basis of the clock decomposition,the clock equation system is separated from the numerical equation system for each clock partition.On the basis of structural analysis of equation system,combined with the corresponding clock inference method to carry out clock compatibility judgment.Thirdly,the solution strategy of synchronous clock model is discussed.Aiming at the continuous time equation in the clock partition,the strategy of transforming the continuous problem into discrete problem by integral discretization is proposed.To synchronize between sub-clock partitions,the relationship between events and synchronization in Modelica is discussed,and illustrates the strategies for clock synchronization by using a counter to convert the model to solve the synchronous clock model.Finally,based on the above research,the research results of this paper are realized and successfully integrated into the MWorks.Sysplorer platform,and the corresponding example verification is given.