工业热电偶的测量端焊点尺寸越小越好，一般要求焊点的大小是热电极直径的( ) 。