Under the hypothesis that hydrocarbon migration conforms to the description of percolation theory,the relationship between the saturation of invading fluid(the percentage of the migration pathway to the whole lattice) and the width,length,and dimension of the simulation lattice is studied by means of up-scaling and mathematical simulation.

The basic methods of “simulated market",such as building up responsibility centers, establishing simulated price and making simulated budgets, are worth generalizing widely in Aviation Groups.

The paper defines the syntax and semantics of the asynchronous asymmetric x-calculus , introduces a group of L-bisimilarities and constructs the bisimulation lattice of the asynchronous asymmetric x-calculus.