event B事件Beventn.大事；事件；项目Event Time Digitizer事件时间数字化器event driven monitor事件驱动监督程序Event Characteristic事件特征event-sensing card事件感知卡Event-driven model事件驱动模型event reconstruction事件重建event paleogeography事件古地理event-action engine事件作用引擎eventration treatment露脏X线治疗event elective courts选项课