According to mathematic model of these arithmetic, the arithmetic programme was designed and the result was validated.

• 并根据这些算法的数学模型设计了计算程序，对实际计算结果进行了验证。