论文部分内容阅读
介绍形式化方法的基础知识,及其在氢氧化铝焙烧炉风机系统联锁逻辑设计中的应用。
形式化方法在氢氧化铝焙烧炉联锁设计中的应用
【摘 要】
：
介绍形式化方法的基础知识,及其在氢氧化铝焙烧炉风机系统联锁逻辑设计中的应用。
【机 构】
：
贵阳铝镁设计研究院有限公司
【出 处】
：
自动化应用
【发表日期】
：
2015年5期
其他文献
为实现交流伺服电机驱动器实时监控,设计一种Master/Slave主从式结构的系统。实时机通过网线与PC机显示端进行数据传输,通过485总线与若干台电机驱动器相连,实现硬件系统的搭