倪友聪 汪岳峰 应时 张强 贾文武 殷智勇 叶鹏 李刚

可编程逻辑控制器 编织机制 时段时序逻辑 温度相变 自动控制 方面编织 体系结构关注点 一阶惯性滞后

武汉大学计算机学院 安徽建筑工业学院数理系 新疆大学信息科学与工程学院 武汉大学软件工程国家重点实验室