基于知识的仿真模型的验证方法
仿真模型的验证研究的是模型的可信度问题.由于模型验证需要关于真实系统,建模理论以及数据分析等多方面的知识,基于知识的智能化方法适合于仿真模型的自动验证.这类方法是建立在三个知识库的基础上的:存储验证相关知识的验证知识库(VKB),用于智能推理和决策的决策知识库(DKB),以及由各类验证算法所构成的验证技术库(VTB).通过分析验证知识库的验证域,系统选择合理的验证技术和相关的验证过程.在此基础上,系统自动设计仿真实验,获得运行结果,并自动分析数据,执行验证过程,生成验证报告.此外,我们也讨论了验证相关知识的获取过程和细节.
仿真模型 自动验证 验证知识 知识获取 推理
闵飞炎 杨明
哈尔滨工业大学,控制与仿真中心,哈尔滨,150001
国内会议
哈尔滨
中文
140-143
2006-08-01（万方平台首次上网日期，不代表论文的发表时间）