行车调度是铁路运输系统的核心组成部分,关系到列车的安全、准点运行。本文在对Petri网理论进行研究的基础上,将Petri网理论与分析......

作为模群PSL(2，Z)在复双曲空间中的高维推广，Picard模群PU(2，1;Od)是一类最简单的复双曲算术格，其中Od是虚二次数域Q(i√d)中的代数整......