On the basis of the former study results, the theory and mechanism of semi-analytical interpretation were improved, and a semi-analytical mathematical model for tracer test system was developed.

By citing a mathematical testifying method, the judges can find or establish an auxiliary theorem so as to testify whether legal interpretation can have ultimately the "real" or general objectivity.

The pressure interpretation mathematical model is established based on the theory of spontaneous potential logging;