In July2012, the two experimental cooperations ATLAS and CMS at the European particle physics center claimed that they had discovered a signal in the γγ decay channel which included a new particle with mass mh=125GeV and consistent with the Standard Model(SM) higgs boson. This significant discovery indicates that the Standard Model acheived another important successes as an particle physics theory which describes the elementary constituent and their interactions. Despite of these successes, the Standard Model remains further tested in all scope. In order to further test it and search for new physics beyond SM, much more experimental and theoretical efforts are required.Because of its many problems, the SM is commonly believed that it is just a effective theory, namely a low energy effective approximation of a more fundermental theory. The new physics effects are generally manifested theirselves in terms of the discrepancies between its predictions and experimental measurements. For most new physics discussed at present, their energy scales are much higher than the current experimental scales and therefore the new physics, if they are present, can only be detected though indirect effects. In order to disentangle the new physics and the high order effect of the SM, the high order quantum computation has to be done. The first step for high order computation is renormalization for a renormalizable theory and derived their counter term. In this paper, we give a brief introduction to the particle physics standard model and substitute the parameters and fields in the SM with bare quantities which are expressed in terms of the product of renormalization constants and renormalized quantites, and then divide the renormalization constants Z=1+δZ. Substituting all these into the original bare lagrangian L0, it should be separated into the basic lagrangian C and counter term lagrangian δL L0=L+δL (2) From this counter term lagrangian δL, one can derive the counter term Feynman rules for the SM. Using the Feynman rules, we should be able to perform high order computation for high energy perturbative processes. |