由线性逻辑升级为系统循环