公元1045年，（  ）发明了活字印刷术，大大地节省了费用，提高了印刷效率。