The judicial identification of criminal law , in which principle of a legally prescribed punishment for a specified crime is carried through, shows great expectation for formal regulations and obvious norms.

Simplest normal form of non-resonance double Hopf bifurcation system with the complex normal form method;

Analysis of static bifurcation in electric power system based on normal form;

Homoclinic bifurcation of the strongly nonlinear oscillation system by the normal form method;

By analyzing the essence of iteration on the dual simplex algorithm and based on Linear Programming with normal form,this paper gains another improved dual simplex algorithm without bringing in surplus variables,which results in the same number of variables and reduced operational size.

We proved that a cost allocation function can be expressed by normal form if and only if it has anonymity, additionality and equivalency.

In this paper, based on the invariant subspace theory and adjoint operator concept of linear operator, a new matrix representation method is proposed to calculate the normal forms of n order general nonlinear dynamic systems.

By center mainfold theory and normal forms,a methodology of designing a feedback controller is presented,which guarantees the original system locally asymptotically stable,directly from the relation between the coefficients and the values of the partial derivatives of the equation,based on the given results.

In this paper,the existence of solution on Van der pol equation with limited time delay is studied by normal forms.

The formal specifications in assembly code certification are usually complicated.

This paper presents a method,which extends PLS(partial least square) algorithm from two_LV(latent variable) to multi_LV based on two_LV PLS algorithm,including detailed formal specification and iterative procedure.