轿顶电子式超载装置中有一个差动变压器。轿厢空载状态时，差动变压器弹簧压缩量为（)mm。