基于普通Petri网的梯形图中接通延时定时器的建模方法

针对可编程逻辑控制器(PLC)的接通延时定时器(TON),提出了其普通Petri网建模方法。将状态变量描述为库所对,将TON中的指令运算描述为变迁,从而将TON模块描述为一个普通Petri网结构。结果表明该Petri网能够准确地描述TON的动态行为,从而为PLC梯形图程序的形式化设计或验证提供了建模方法。     

高档普采工作面实行“见三回一”的改革与实践

介绍了协庄煤矿７１１１３Ｗ工作面实行“见三回一”的支护设计，实验结果及存在的问题，并总结了“见三回一”的适用条件。