函证核对法名词解释