高温气冷核电反应堆用氦气作冷却剂。