千分尺是利用（）原理制成的一种量具。