仿真建模与形式化

作     者：冯惠军 冯允成 

作者机构：北京航空航天大学管理学院 

基　　金：国家自然科学基金 

出 版 物：《系统工程理论与实践》 (Systems Engineering-Theory & Practice)

年 卷 期：1995年第15卷第6期

页      码：22-28页

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

主 题 词：仿真 建模 计算机 形式化 

学科分类：08[工学] 080203[080203] 0802[工学-机械学] 

核心收录：

馆 藏 号：203116230...