基于模型驱动工程的形式化模型转换技术

来源 :系统仿真学报 | 被引量 : 0次 | 上传用户:fwy825
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着仿真系统的复杂性及其仿真模型在各个领域的广泛应用,用户对仿真模型的开发效率和质量提出了更高的要求。针对当前模型驱动工程主要应用于有关仿真软件工具的工程化实现,尚未达到模型层面而未能进行形式化分析,基于模型驱动工程,从元建模、模型转换两个方面设计了领域特定语言及形式化的模型转换体系,以火控通道控制系统为例,将概念模型自动化转换为具有精确语义形式体系表示的可执行仿真模型,直到最终代码框架的生成。研究成果具有通用性,能为各类模型转换工作提供有效指导,对提升仿真模型的开发效率和质量有重要意义。
其他文献
新庄选煤厂针对重介中煤灰分较低、发热量较高而部分精煤流失的问题,对重介中煤破碎再选进行了探究。通过将重介中煤分别破碎至6、1、0.5、0.25 mm以下,再进行筛分、浮沉试验以及分步释放浮选试验分析,确定了中煤再选最佳技术方案。研究表明:重介中煤破碎得越细,解离越充分,越有利于精煤的回收;综合考虑基建投资、厂房空间、运行成本等因素,认为将重介中煤破碎至1 mm以下进行再选的方案经济效益最优。生产实践表明,通过改造,新庄选煤厂多回收精煤1.93万t/a,创造经济效益949万元/a,效益显著。