有限改进型和无限改进型