By the mid-1970s, the agency had achieved a semi-automated air traffic control system using both radar and computer technology. What helped operate radar in the new air-traffic control system?