This paper researches on the judgment theorem and proof of the equivalency condition of a class of symmetric inequalities. By controlling two elementary symmetric polynomials and using the monotonicity of functions and Jensen inequality, it finds the necessary and sufficient condition of the equivalency a class of three-variable and n-variables symmetric inequalities. And we illustrate the application of this method in proof of these inequalities. Then we obtain several judgment theorems on symmetric and cyclic inequalities.

This article studied the speed of addition and multiplication of natural number in different scale systems, the times of addition and multiplication in different scale systems have been compared quantificationally through a function model presented. The conclusion is that binary system is the best for addition, binary system and ternary system are better than other scale systems for multiplication, and they each has a suitable range.

Heavy Snow will turn to a natural disaster, and will bring big economic losses. The authors hope to establish a mathematic model and a plan to illustrate how to sweep off the snow on main roads in a city so as to ensure the smooth flow of traffic. The research will become a basis on which the government can workout some plans against the snow disasters. Firstly we made some assumptions, then studied the working process of snow-sweepers and derived a snow sweeping model. Based on this model, the relationship between working speed of snow-sweeper and snow thickness, a working model of snow-sweeper, and minimum sets of snow-sweeper needed were established. A deep-searching model and a model of snow-sweeping tree, and a computer program in PASCAL to determine the minimum number of snow-sweeper and the snow sweeping plans on main roads were obtained. We tried several solutions to deal with this problem, such as using piecewise curve fitting to transform a formula h~ vc relating to a cubic equation operation to formula vc~ h ,using trial and error method to determine the minimum number of snow sweepers, using deep searching and tree structure in one-stroke processing in a complicated two-way road system, and also a matrix to deal with the deep searching.