| 仿真建模与形式化 |
| |
| 引用本文： | 冯惠军,冯允成.仿真建模与形式化[J].系统工程理论与实践,1995,15(6):22-28. |
| |
| 作者姓名： | 冯惠军 冯允成 |
| |
| 作者单位： | 北京航空航天大学管理学院 |
| |
| 摘 要： | 离散事件仿真在复杂系统的分析和设计中正得到越来越广泛的应用, 在仿真研究中仿真建模是一项十分复杂而且难以掌握的工作。对仿真建模形式化的研究可以增强对离散事件系统的认识, 改进仿真建模过程、从而构造出更有效的仿真模型。本文讨论了形式化在仿真建模中的作用, 回顾了在仿真建模形式化方面所进行的研究工作, 重点讨论了基于系统理论的形式化系统描述和离散事件仿真的数学形式理论。
|
| 收稿时间： | 1994-03-04 |
Simulation Modelling and Formalism |
| |
| Feng Huijun Feng Yuncheng.Simulation Modelling and Formalism[J].Systems Engineering —Theory & Practice,1995,15(6):22-28. |
| |
| Authors: | Feng Huijun Feng Yuncheng |
| |
| Institution: | School of Management, Beijing University of Aeronautics & Astronautics 100083 |
| |
| 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. |
| |
| Keywords: | system simulation modelling formalism system theory |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《系统工程理论与实践》浏览原始摘要信息 |
| 点击此处可从《系统工程理论与实践》下载免费的PDF全文 |
