一个矩阵对应一种状态变换。
在即将发生一次状态变换时，返回True的监护确定所发生的转换。
When a state change is about to occur, the guard that returns true determines the transition that occurs.
通过引入状态变换，得到了一类降阶形式的状态估计问题。
By introducing state transformation, a reduced-order state estimation form is achieved.
通过分析时序电路固定故障的状态变换，提出基于状态隐含变换的测试方法。
Based on the stuck-at fault analysis, state test generation for synchronous circuits is presented.
应用精确线性化方法，通过严格的状态变换和反馈方法，将非线性混沌系统线性化。
Precise linearity method which is applied to linearize nonlinear chaotic system through strict state transform and feedback strategy is discussed.
其含义是，类应该从外界获得配置(更多的注入)，生命周期状态变换同样也应该从外部进行控制。
The implication is that classes should be given their configuration (more injection) and lifecycle state-changes similarly controlled from outside.
在此模型中，协议被描述成状态变换系统，通过对系统状态的检测，能够发现协议中存在的泄漏。
By modeling protocol as a system of states ranslation, and examining all possible states, model checking has found some flaws in some well know protocols.
详细分析了固定故障所反映出的状态变换特征，提出状态变换故障模型以及相对应的测试生成压缩方法；
This paper describes state transition fault and collapsing of test generation basis of the character of fixed fault.
通过状态变换和去耦合处理将系统转换为块能控标准型，它由值域空间子系统和稳定的零空间子系统组成。
The system was converted to the block controllable form consisting of two parts, one was the range space subsystem and the other was the stable null space subsystem.
该方法的特点是通过状态变换将非线性动态特性全部变成线性动态特性，从而可以应用熟知的线性控制方法。
The idea of the method is to transform a nonlinear system dynamics into a linear one through state transform, so that well-known linear control techniques can be applied.
这样通过非线性状态变换和非线性状态反馈，将飞行器原来的6阶非线性姿态模型部分精确线性化为二阶线性系统。
Thus by nonlinear state transformation and nonlinear state feedback, the original 6 order nonlinear attitude model of a spacecraft is partially precisely linearized into a 2 order linear system.
针对具有输入时滞、且同时具有非匹配不确定项的一类对象模型，采用状态变换法把原系统转化成为一个无时滞系统，并应用滑模控制的方法设计了控制器。
The state transformation is used to convert a system with uncertain and unmatched input time-delay into a delay-free one, with a sliding mode controller designed.
回头看看这次旅行，如果我们将之详细地写出来，会发现，这次旅行也是由不停变换的情绪状态组成的：好的、坏的、平淡的。
Looking back on the trip, if we wrote about it extensively, we would find that it consisted of ever-changing emotional states: good, bad, and indifferent.
分子持续地变换，在所有，这些状态之间。
The molecules are continually being kicked around between all the states, among all those states.
这种方法本质上相当于通过弹性将各种数据点连接在一起，并且允许该系统进行弛豫（弛豫时间：达到目标状态所需的时间）；因此它被命名为“弹性变换”。
This technique is essentially equivalent to connecting various data points together with springs and allowing the system to relax; hence it's name: elastic mapping.
对给定分割，给出了可以块解耦的系统状态空间结构和导致这种结构的座标变换。
The state space structure of a system which can be block decoupled is obtained with the help of the coordinate transformation.
根据线性自动机的状态迁移图型，容易看出其迁移变换（置换）的奇偶性（对于非奇异情形）。
According to the state diagrams of linear automata, one can easily see whether thief state transformation is odd or even.
Hobson和Silvestri博士将睡眠机能紊乱描述为大脑的“时序和平衡错误”，使大脑在清醒和睡眠状态间不停变换。
Drs. Hobson and Silvestri describe parasomnias as "errors in timing and balance" in the brain as it transitions between waking and sleeping [source: Hobson].
主要地，我们必须保证关于工具和应用程序状态的信息是清晰地被展示出来的，同时，在工具之间的变换是快速和简单的。
Mainly, we must ensure that information about tools and application state is clear and present and that transitions between tools are quick and simple.
运用拉普拉斯变换推导出其两种求解方法：直接求解法和状态空间法。
Two solving methods are deduced using Laplace transform: the direct solving method and the state-space method.
本文用状态转移变换的方法证明了一批快速自启动反馈函数。
In this paper, a set of feedback functions with fast starting are proved using the method of state transition transformation.
本文讨论了非方系统在状态反馈和输入变换下的解耦与稳定解耦的问题。
The paper deals with the decoupling and stable decoupling of non-square systems on the state feedback and input transformation.
信号变换装置是飞行试验中状态测量和信号变换的重要设备。
The signal transform device is an important states measuring and signal transforming facility in the flight experiments.
为了简化变结构控制器的设计，首先通过非奇异线性变换将含状态时滞和输入时滞的线性系统化为无时滞系统。
The original system with both input and state time delays was first rewritten into a form without any time delays by a nonsingular linear transformation.
因此，本文对基于等效电流量测变换的电力系统状态估计算法进行了研究分析。
Therefore, state estimation algorithm based on the measurement transformation of the equivalent current is studied in this paper.
该文论述了拓扑空间(组)的同伦等价变换在有序介质状态和缺陷的拓扑分类中的应用问题。
In this paper the application of homotopy equivalence transformation of topological space sets to the topological classification of states and defects in ordered media is discussed.
然后详细分析了快照过程中位图表示的数据状态和变换设计，尤其是多时间点快照的接管。
And then the data states and states change design are discussed, especially the takeover of repetitious points incremental snapshots, which are presented by bitmaps.
通过状态和输入反馈变换将系统模型转换为二阶链式标准型，并对标准型给出一种时变光滑指数镇定控制律。
The state and input feedback transformations were constructed explicitly to convert the second-order nonholonomic system to second-order canonical chained form.
通过状态和输入反馈变换将系统模型转换为二阶链式标准型，并对标准型给出一种时变光滑指数镇定控制律。
The state and input feedback transformations were constructed explicitly to convert the second-order nonholonomic system to second-order canonical chained form.
应用推荐