应用于PLC控制程序的Petri网执行模型

在现有的工业控制系统中经常使用PLC实现顺序控制、定时等功能.控制程序经常需要执行同步操作且输入开关量的触发时机具有不确定性,因此无法充分描述真实的执行过程.为此提出下述解决方法:首先在控制程序的编译阶段,使用Petri网建立网模型以表示程序执行逻辑,其次在控制程序的执行阶段,根据程序真实执行状况动态运行上述网模型,当程序运行结束时网模型停止执行,由此判断程序中存在的逻辑错误.

Multiterawatt laser system based on optical parametric chirped pulse amplification

A compact multiterawatt laser system based on optical parametric chirped pulse amplification is demonstrated. Chirped pulses are amplified from 20 pJ to 900 mJ by two lithium triborate optical parametric preamplifiers and a final KDP optical parametric power amplifier with a pump energy of 5 J at 532 nm from Nd:YAG-Nd: glass hybrid amplifiers, After compression, we obtained a final output of 570-mJ-155-fs pulses with a peak power of 3.67 TW, which is the highest output power from an optical parametric chirped pulse amplification laser, to the best of our knowledge. (C) 2002 Optical Society of America.