仿真建模与形式化

冯惠军;冯允成

系统工程理论与实践 ›› 1995, Vol. 15 ›› Issue (6) : 22-28.

PDF(483 KB)
PDF(483 KB)
系统工程理论与实践 ›› 1995, Vol. 15 ›› Issue (6) : 22-28. DOI: 10.12011/1000-6788(1995)6-22
论文

仿真建模与形式化

    冯惠军, 冯允成
作者信息 +

Simulation Modelling and Formalism

    Feng Huijun, Feng Yuncheng
Author information +
文章历史 +

摘要

离散事件仿真在复杂系统的分析和设计中正得到越来越广泛的应用, 在仿真研究中仿真建模是一项十分复杂而且难以掌握的工作。对仿真建模形式化的研究可以增强对离散事件系统的认识, 改进仿真建模过程、从而构造出更有效的仿真模型。本文讨论了形式化在仿真建模中的作用, 回顾了在仿真建模形式化方面所进行的研究工作, 重点讨论了基于系统理论的形式化系统描述和离散事件仿真的数学形式理论。

Abstract

Discrete event simulation is increasingly finding more exten-sive uses in the analysis and design of complex systems.In simulation studies,simulation modelling is a very sophisticated and insurmountable effort.Studies on simulation modelling formalism can enhance the recog- nition of discrete event system and improvement of simulation modelling process,and construct a more valid simuation model.The effect of formal-ism in simulation modelling is discussed in the paper.A number of efforts in simulation modelling formalism are reviewed.Formal system specifica-tion based on system theory and the discrete event simulation formalism are presented.

Key words

system simulation / modelling / formalism / system theory

引用本文

导出引用
冯惠军 , 冯允成. 仿真建模与形式化. 系统工程理论与实践, 1995, 15(6): 22-28 https://doi.org/10.12011/1000-6788(1995)6-22
Feng Huijun , Feng Yuncheng. Simulation Modelling and Formalism. Systems Engineering - Theory & Practice, 1995, 15(6): 22-28 https://doi.org/10.12011/1000-6788(1995)6-22
中图分类号: TP391.9   
PDF(483 KB)

375

Accesses

0

Citation

Detail

段落导航
相关文章

/