基于知识的仿真模型的验证方法

• 作者: 杨明 闵飞炎
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 仿真模型 自动验证 验证知识 知识获取 推理
• 年，卷（期）: 2006,（z2）
• 所属期刊栏目: 仿真理论与方法、系统建模及VV&A
• 页码范围: 140-143
• 页数: 4页
• 分类号: TP3
• 字数: 5145字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2006.z2.042

摘要

仿真模型的验证研究的是模型的可信度问题.由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化方法适合于仿真模型的自动验证.这类方法是建立在三个知识库的基础上的:存储验证相关知识的验证知识库(VKB),用于智能推理和决策的决策知识库(DKB),以及由各类验证算法所构成的验证技术库(VTB).通过分析验证知识库的验证域,系统选择合理的验证技术和相关的验证过程.在此基础上,系统自动设计仿真实验,获得运行结果,并自动分析数据,执行验证过程,生成验证报告.此外,我们也讨论了验证相关知识的获取过程和细节.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨明	哈尔滨工业大学控制与仿真中心	281	3177	28.0	45.0
2	闵飞炎	哈尔滨工业大学控制与仿真中心	3	28	2.0	3.0