选矿工业在国民经济中占有重要的地位,实现自动控制是选矿生产过程实现提高产品质量、节能降耗、减员增效的关键所在。选矿自动化系统在工业现场正式投运之前,需要进行一系列的费时、费力、受现场条件制约且带有风险的现场调试。在实验室环境下对PLC控制程序进行测试,以便缩短调试时间、减少调试风险、降低调试成本具有重要意义。电气设备的逻辑控制是选矿自动化软件的重要组成部分,逻辑控制程序的测试通常基于电气回路的模型。本文依托国家科技支撑计划“选矿过程全流程先进控制技术”(2012BAF19G01),针对选矿过程工艺设备电气控制回路的构成特点,对电气设备模型的验证问题进行了初步的探讨,设计与开发了一套PLC逻辑控制程序测试中的电气模型验证平台,有助于保证逻辑控制程序测试的可信性。本文主要工作如下:本文采用工程实践总结与理论分析相结合的研究方法,在总结选矿自动化系统PLC逻辑控制程序的编程经验、实验室测试经验以及现场调试经验的基础上,通过对电气模型工作原理以及模型原型工作原理进行研究对比,对PLC逻辑控制程序实验室测试需求进行分析,提出对选矿自动化PLC逻辑控制测试中的电气模型的验证,必须坚持模型的功能完备性和逻辑等价性原则;通过对当今的模型验证理论和方法进行了分析和借鉴,从中选择和确立了电气模型验证较为适合的方法。本文在上述工作基础之上,给出了电气模型验证平台的总体设计方案;根据电气模型验证的原则,对验证平台进行了结构和功能设计;根据电气模型验证的内涵,设计了验证平台的各个功能模块;采用西门子PLC软件开发工具WinCC和SIMATIC Manager,开发了电气模型的验证平台的核心内容。最后,在上述电气模型验证平台上,对电气模型实例进行了验证实验,得出该电气模型相对模型原型具有功能完备性和逻辑等价性的实验结果。