The idea of using of model programs and statespace exploration is a natural extension of finitestate machine based techniques that fits well with black-box testing of software.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
2
The method of finitestate machine together with PWM circuit is given to realize the algorithms of Voltage Space Vector control and 120 electrical Angle changing phase control of DC brushless motor.
Simple examples for explaining the unifying realization methods of statespace and difference equation model using finite markov parameters are also presented in this paper.