Formalization Analysis of State Space Generation for Complex Serial Systems
Tao Tian · Computer Engineering and Science · 2009
State space generation process to resolve the model of large-scaled system maybe get out of control for lack of prefiguring the potential scale of state space to be produced by it,and formalization analysis could make for overcoming this problem.In this paper,a formalization method to symbolize the state space generation process is defined according to the special structure of large complex serial system,based on which the discipline of state space generation for such a system is studied,and then a theorem is stated and proven to fleetly predict the potential scale of state space of that system's model.