검증타입에이유알공공일초고속자동연산타입역장발생장치