Chapter 5 on Sets, states, and Logic explains how configurations can be mapped to system states; modifications of the system are transitions between those states.
第5章介绍了有关集合、状态和逻辑的内容，解释了如何将配置映射成系统状态；对系统的修改如何映射成这些状态之间的转换。
Reasonable module decomposition can provide the control of system states with credible data.
合理的模块化分解给系统的状态控制提供了可靠的数据依据。
Further studies show that the MTVSG is robust to the estimation errors of the system states.
进一步的研究表明，MTVSG对系统状态估计误差有很强的鲁棒性。
Using a powerful Matrix-geometric method, the stationary probability distribution for the system states is obtained.
通过使用强大的矩阵几何方法，可以获得平稳系统状态概率分布。
By this model, we can change the parameters dynamically according to different system states, then achieve more accurate result.
该模型适用范围较为广泛，同时能够根据系统所处的不同状态动态地改变相应评估参数，使评估结果更加准确。
Then we design the output feedback controller by introducing the estimator of the states for the case where system states are unknown.
然后，在系统状态不完全可测的情况下，通过设计高增益观测器对系统的状态进行估计，实现输出反馈控制器设计。
In the meantime, it is proved strictly that not only the system states but also the relative degree can be identified by using the neural network.
同时指出，利用神经网络不仅可以对系统的状态进行辨识，而且可以辨识其相对阶数，并给出了完整的证明。
While only continuous signals are utilized in traditional system states estimation approach, information contained in discrete measurements is ignored.
传统的系统状态估计方法只用到连续信号，而离散测量信号所包含的信息没有得到利用。
The underlying model for this system states that effective cooperative problem solving is dependent on effective group competencies (Barge Hirokawa, 1989).
该系统的模型表明有效的协作问题解决依赖于有效的小组整体能力。
In order to improve the scheduling precision, the global scheduling considers both the service states and system states to choose a suitable site to serve;
全局调度以具体服务状态和系统状态为决策依据选择服务节点，提高调度精度；
An appropriate control law was selected that forces the system states to reach the sliding manifold in finite time and has low chattering in the sliding motion.
选择适当的动态不连续控制律保证了系统状态在有限时间到达滑模面，并有效的削弱了抖振。
First, the occurrence of all the system states is considered to have an equal possibility and for each component in the diagnosis system set a prior probability.
该模型首先假设系统的所有状态都是可能发生的，并对系统中的各个元件设定一个先验概率。
The controller formed by this control logic consists of both the feed-forward of the reference model system states and the feedback of the controlled plant states.
该控制方案所形成的控制器由参考模型系统状态的前馈和被控系统的状态反馈两部分组成。
Based on the state transitions inside the system model and the current system states, the state tracking problem and the optimized constraint satisfaction problem are discussed.
为了寻找系统的当前状态，根据系统模型内部的状态转换，讨论了模型的状态追踪问题和优化约束满足问题。
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
SPIN adopts the partial order reduction strategy to reduce the number of system states that needs to be visited and stored in the state space to solve the model checking problem.
SPIN在应用过程中同样面临状态空间爆炸问题，它采用偏序归约策略来减少状态空间中需要遍历及存储的状态数目。
应用推荐