写给矿山即将退休的安全员

安全帽下那一双慧眼, 能将三千米地层看穿, 青筋凸显的两只大手, 能召回流星拽来闪电。 此刻你挥舞着铁锤和扳柑, 正叩响地宫宝库安防的门环, 你听见飞转的风镐在向您致意: “再见,再见,咱们的老安全!” 此刻你敲击敲击立柱和顶板, 又紧固紧固略显松动的螺检, 同时也拧进你四十年的忠诚, 以及你格尽职守的火热情感。 临退休你终于实现多年的夙愿, 当上了省里的“安全模范”, 你捧着烫金的荣誉证书眉开眼笑, 心里比饮蜂王菜还要甘甜。 你鬓角旁绽开一簇簇银丝菊, 身后跟上来一帮开拓儿男, 他们正接过你手中的铁锤和扳柑, 去降伏事故恶魔保一…     

混合系统Petri网模型的重叠分解

考虑用混合Petri网重叠分解和扩展的方法分析混合系统。首先给出混合Petri网的一些相关定义(如有界性、可达性和活性等),并对包容原理作了详细阐述。然后介绍混合Petri网重叠分解和扩展方法,并将重叠分解方法用于混和系统Petri网络型的拓扑结构,分析Petri网的拓扑结构,确定Petri网的重叠子网。最后用一个混和Petri网的例子来阐明重叠分解和扩展的过程。这为分析大规模的混合系统提供了一个切实可行的方法,有助于对复杂混合系统的分析与控制。