闭环自动化系统建模在未来工程和验证 有关自动化的外文文献