In this paper, we research region automata, zone automata and the method of state space minimization based on history equivalence and bisimulation transition.
本文主要研究了域自动机方法、带自动机方法以及基于历史等价和转换互模拟的最小化方法。
Through analyze and express the whole power system with state space method, we assure the similarity of the system software simulated and real power system.
通过使用状态空间法来分析和描述整个电力系统，我们保证了整个系统与实际电力系统的一致性。
The numerical computations have been made using difference method for difference characteristics and boundary conditions. The computation results show the state features of radon field in space.
针对模型的特点及其边界条件用差分法分别进行了数值计算，结果表明陷落柱氡气场的空间形态分布特征。
应用推荐