用于光学测量中测量玻璃的折射率的方法，其中包括了两种方法，V棱镜法和最小偏向角法，并进行了误差分析。-Measured for the optical measurement method of refractive index of glass, including the two methods, V-prism method and the minimum deviation angle method and error analysis.

棱镜色散计算,计算单棱镜和复合棱镜的光谱分辨率，可选不同的材料-prism dispersion calculation

建模测试，在PRISM中实现先占先得的调度算法来检验所见模的逻辑正确性-model checking