本地 HYG 星表、UTC 观测、几何升落与天球投影

实验是教学模型，具体边界见工作区内说明。