叙述光学自动设计的数学模型。