随着系统仿真技术在各个领域日益广泛的应用,仿真模型及其产生结果的有效性备受模型用户的关注。模型的验证是确定模型有效性的有效途径。模型验证需要模型验证理论和验证工具的支持,本文从这点出发,对模型验证方法和验证工具进行了深入的研究,主要内容如下:首先,阐述了课题的背景和目的,分析了模型验证工作中存在的困难。对模型验证方法和验证工具的国内外发展历史和现状进行了综合说明,并给出了本文的组织结构。其次,从模型静态性能验证和动态性能验证的角度对模型验证方法进行了总结,概括介绍了每类方法的原理、优缺点和适用范围,为模型验证方法的选择与使用提供了指导。再次,对知识工程在模型验证中的应用进行了研究。针对动态性能验证时缺少真实数据的情况,充分利用经验知识,提出了基于特征提取与匹配的验证方法,并详细介绍了该方法的原理和验证步骤。利用原理知识设计了静态性能验证中的验证方法选择规则。然后,在上述理论研究的基础上,对验证工具进行了设计。搭建了验证工具的总体框架,对其中的关键组件进行了简要介绍。构建了验证数据库、专家知识库、验证方法知识库和验证规则知识库。针对待验证性能的特点和数据的可获得情况,设计了六个验证流程,并对各验证流程进行了详细的说明。最后,用Visual C++6.0对模型验证工具进行了实现,并通过实验证明了该验证工具的有效性。总之,本文分析了模型验证方法的原理,总结了每类方法的优缺点和适用范围,同时研究了知识工程在模型验证中的应用。在理论研究的基础上设计并实现了模型验证工具。本文的研究成果为仿真系统模型验证工作提供了方法指导与工具支持。