To solve the complex design problem of control program of robots in different applications, the state transition method is proposed.
为了解决不同应用中机器人的控制程序设计问题，提出了基于状态转换的机器人程序设计方法。
2
Aiming at the state explosion problem existed in the software model checking, a scheme of applying program conditioning to reduce the state space of programs was proposed.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
3
The problem can be traced to the nuclear-power program and a highway network project, financed jointly by the state and six private business.