The National Natural Science Foundation of China(Study on Higher-Order Logic Based Inductive Logic Programming Learning Algorithm and Its Application,61300098);The Project of Jilin Province Department of Education,Science and Technology Research Project of Beihua University(The Monitoring System of Electrolyzer Tank Voltage)and Youth Promotion Plan of Beihua University