简介:皮带运输系统是一个以传动装置带动输送带运转来运送散件物料的运输设备,其控制系统是一个典型离散事件控制系统和按顺序启停的实时控制系统。拟在进一步研究皮带运输系统运行状态和控制逻辑的基础上,运用形式化的建模方法将皮带运输系统的控制逻辑进行验证,绘制一种带约束组合弧的有色时间Petri网模型。把诸多控制设备的复杂逻辑控制策略图形化,提高了系统的可靠性和安全性,减少了设计和开发过程的错误。采用带约束组合弧的有色时间Petri网进行建模,有效地缓解了系统中的设备数量多的“节点爆炸”问题,使模型在表述系统逻辑控制行为时简单有效。
简介:本系统以MSP430F149单片机为核心,设计研发一款简洁的电流检测装置,主要包括功率放大部分、AD采集部分、LCD1602液晶屏显示部分、电流检测部分。主要通过单片机将采集到的电压信号进行内部运算,然后电流峰峰值、电压、频率和谐波显示在LCD1602液晶显示屏。与当前使用的大部分的电流检测装置不同,它可以进行多种环境下电流的检测工作,适用范围较为广泛且操作简单,成本与同等功能的电流检测装置相比也较为低廉。