随着工业化与信息化的融合,未来的产品将更加智能化和信息化。这也导致了产品的结构将越来越复杂,复杂产品设计需要用到多领域统一建模仿真与优化技术。Modelica语言适用于多领域系统的建模,并且为了提高连续离散混合系统建模的正确性和便捷性,Modelica中引入了同步时钟语义。为了使该语义特征能够在实际工程中得到应用,本文对同步时钟模型编译求解的相关技术进行了研究。首先,分析了以往Modelica建模方法对于连续离散混合系统建模的不足之处,说明了同步时钟语义存在的合理性。讨论了Modelica同步时钟语义的特性,在此基础上,总结了基于同步时钟语义建模的优点。其次,针对时钟部分与连续时间部分的分离和确定同步分区的问题,提出了在方程系统表示图的基础上,根据时钟传播规则来进行模型时钟规划分解的方法。模型时钟相容是同步时钟模型可以求解的前提,本文在时钟划分的基础上,针对每个时钟分区,通过将时钟方程系统从数值方程系统中分离出来,在方程系统结构相容性分析的基础上,再结合相应的时钟推理方法对时钟相容性进行检查。然后,对同步时钟模型的求解策略进行了探讨。针对时钟分区中的连续时间方程,提出了通过积分离散化来将连续问题转换为离散问题来进行求解的策略。为实现子时钟分区之间的同步,讨论了Modelica中事件与同步的关系,阐述了通过采用计数器来对模型进行转换以实现时钟同步的策略,实现对同步时钟模型的求解。最后,基于上述研究,将本文的研究成果进行了程序实现,成功地集成到系统综合设计与仿真验证平台MWorks.Sysplorer平台中,并结合相应的实例对本文的研究进行验证。