面向钢铁企业能源流程的逐步形式化建模方法  

Gradual formalization modeling method for energy process system in iron and steel enterprises

作　　者：赵斐[1] 韩旭[2] 乔非[2] 许维胜[2] 吴启迪[1] 

机构地区：[1]同济大学经济与管理学院,上海201804 [2]同济大学电子与信息工程学院,上海201804

出　　处：《计算机工程与应用》2011年第14期242-245,共4页Computer Engineering and Applications

基　　金：国家自然科学基金 No.70531020;No.70871091~~

摘　　要：针对钢铁企业能源流程的特点,以及以往能源建模存在的不足,提出一种从UML到Petri网模型逐步形式化的建模方法。所建模型可以通过仿真平台进行验证评估,对能源流程进一步定性和定量分析,深入理解、优化,并可以根据反馈结果对UML模型进行修改,有助于提高系统编码实现的准确性,保证工程技术人员高效建模。以炼铁系统的能源流程系统建模为例,对方法进行说明。On the base of characteristics of energy process in the iron and steel enterprise,this paper presents a modelingmethod by which the energy system can be modeled in a gradual formalization way from UML model to Petri net one.Themodel of this style can be verified and assessed on the simulation platform,and then the simulation results are used to modi-fy UML model,which can enhance the accuracy of the system’s realization and the efficiency of modeling.At last,the meth-od presented is illustrated by modeling the energy process system involved in making iron

关 键 词：钢铁企业 能源流程 统一建模语言(UML) PETRI网 系统建模 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]