Simulation relation on interactive Markov chains(IMCs) of algebraic model for stochastic process was studied,and by using the fixed-point theory and weight function definition,the discrimination algorithms for strong bisimulation equivalence and strong simulation preorder on stochastic process algebraic IMCs were given and the temporal complexity of the given algorithms was analyzed,also.

The paper introduced the defintion of strong module,and proved that all strong modules in a Gorenstein ring are Gorenstein projective modules,and so it characterized Gorenstein projective module by the Bass numbers.

If in DOS,the TSR can be executed immediately;however,under Windows,the group programs must further distinguish whether it is a standard mode or an enhanced mode.