5 自动化中的数学技术