仿真系统模型验证方法和工具研究

摘要

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

目录

仿真系统模型验证方法和工具研究

Research on Validation Methodology and Tool for Models of Simulation System

摘要

Abstract

第1章 绪论

1.1 课题背景及目的

1.2 仿真系统模型验证的研究现状

1.3 本文的研究内容

第2章 仿真系统模型验证方法

2.1 引言

2.2 静态性能验证的方法

2.3 动态性能验证的方法

2.4 本章小结

第3章 知识工程在仿真系统模型验证中的应用

3.1 引言

3.2 知识工程在仿真系统模型验证中的应用

3.3 基于特征提取和匹配的验证方法

3.4 基于规则的验证方法选择

3.5 本章小结

第4章 仿真系统模型验证工具的设计

4.1 引言

4.2 需求分析

4.3 验证工具的框架

4.4 验证知识库的设计

4.5 验证流程的设计

4.6 本章小结

第5章 仿真系统模型验证工具的实现

5.1 引言

5.2 关键模块的实现

5.3 应用举例

5.4 本章小结

结论

参考文献

攻读学位期间发表的学术论文

哈尔滨工业大学硕士学位论文原创性声明

哈尔滨工业大学硕士学位论文使用授权书

哈尔滨工业大学硕士学位涉密论文管理

致谢