对涵洞出口下游消能工的校核是根据在设计泄量的情况下，消力池内的水流是否形成淹没水跃，能否达到消能效果。