一种间歇式触发机制的设计与分析

• Design and Analysis of a Mechanism Named Triggering with Intermission