And the correctness of the models is proved by an example.

• 最后，通过实例计算验证了模型和计算过程的正确性。