A finite state machine model is developed for the robot to integrate remote-control and local autonomous control.
设计了巡检机器人有限状态机模型，实现了机器人遥控与局部自主控制的有机结合。
The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
A navigation system model by using a finite state machine is described.
文中还描述了一个以有穷状态机为工具的导航系统模型。
In this paper, a communication protocol based on RS-485 bus is discussed in detail, and the qualitative analysis of its reliability using the finite state machine model is given.
本文详细讨论了一种基于RS- 485总线的通信协议，并用有限状态机模型对其可靠性做定性分析。
This paper presents a formal approach to specify security model based on the theory of finite state machine(FSM) and the concept of communicating sequential process (CSP).
形式概念分析是从形式背景这一基本的数据形式开始的，因此形式背景的规模是影响概念格构造和应用的一个重要因素。
This paper presents a formal approach to specify security model based on the theory of finite state machine(FSM) and the concept of communicating sequential process (CSP).
形式概念分析是从形式背景这一基本的数据形式开始的，因此形式背景的规模是影响概念格构造和应用的一个重要因素。
应用推荐