To solve the complex design problem of control program of robots in different applications, the state transition method is proposed.
为了解决不同应用中机器人的控制程序设计问题，提出了基于状态转换的机器人程序设计方法。
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.
针对软件模型检测中的状态爆炸问题，提出将程序条件化技术用于软件状态空间缩减的方案。
The problem can be traced to the nuclear-power program and a highway network project, financed jointly by the state and six private business.
这个问题可以追溯到核电动力计划和公路网工程。这些计划和工程是该州与六家私人企业联合兴办的。
Lastly, the methods of software redundancy, setting present output state register unit, and setting self checking program to solve the problem of control state being out of order.
对于控制状态失常问题采用软件冗余、设置当前输出状态寄存单元和设置自检程序等对策。
Lastly, the methods of software redundancy, setting present output state register unit, and setting self checking program to solve the problem of control state being out of order.
对于控制状态失常问题采用软件冗余、设置当前输出状态寄存单元和设置自检程序等对策。
应用推荐