电磁感应式位置传感器是利用（）来实现对位置的测量的。