It can improve the coverage of the state space.
它有效地提高了状态空间的覆盖率。
The state space is typically modeled as a directed graph.
状态空间一般被定义为一个有向图。
Optimization controller for linear discrete-time state space model is designed.
设计出线性离散状态空间的最优控制器。
One must understand that systems evolve from one point to another in this state space.
人们必须理解，在该状态空间中，系统从一点演进到另一点。
Cyclomatic complexity is a way to measure how tangled the paths are in the state space.
秩数复杂度是度量状态空间中路径有多紊乱的方式。
Creating a good partitioning of the software state space is a key goal of object design.
生成良好的软件状态空间的分割是对象设计的关键目标。
And car tracking is realized by a polygon fitting approach in three-parameter state space.
车辆的跟踪是采用三参数状态空间的多边形拟合技术来实现的。
The system is designed by using state space theory to realize zero error output adjustment.
系统采用状态空间理论进行设计，实现了输出的无差调节；
The state space tree method for finding communication network overall reliability is presented.
本文提出了求通信网络总可靠度的状态空间树法。
This paper presents some results in random vibration analysis by state space method in time domian.
本文用状态空间方法给出随机振动在时域分析中的一些研究成果。
Thus, diagrams like these let us visualize the application of operations in a literal "state space".
因此，这样图解让我们把操作应用想象成“状态矢量空间”。
The dark blue line shows the client's path through state space, while the gray line shows the server's.
深蓝色的线表示状态空间下客户端的路径，而灰色的线显示的是服务器的。
The idea behind property checking is to search the entire state space for points that fail the property.
特性检查背后的思想是在整个状态空间中搜索引起特性失败的点。
This paper presents a state space model based on spindle rotation speed for thermal errors of machine tool.
本文提出了一种基于主轴转速的机床热误差状态方程模型。
Combining state space theory with process system, a primary process state space theory frame is constructed.
结合过程特点和状态空间理论，建立了初步的过程状态空间理论框架。
Dynamical linear model includes state space model and system equation on the basis of stochastic chain ladder.
动态线性模型在随机链梯法的基础上构建了状态方程和测量方程。
We develop a fringing state space model used in the continuous annealing furnace computer optimization control.
本文开发了一个用于连续退火炉计算机优化控制的离散状态空间模型。
Both the state space method and the polynomial matrix interpolation method are introduced to solve the problem.
分别引入了解决这一问题的状态空间方法和多项式矩阵插值方法。
A nonlinear theoretical state space model was introduced to describe the dynamic performance of the servo system.
引入了一个非线性状态方程模型来描述电液伺服系统的动态特性。
However, before we send this buffer, we need to make sure that it is parented off of some point in server state space.
不过，在我们发送此缓冲区前，我们需要确保它的父节点是服务器的状态空间中的某点。
With proposed reasonable and efficient algorithm, all intersted P-K point in a fixed state space range can be obtained.
以所建议的算法，可以有效地在规定相空间范围内找到各种P—K解；
The state space structure of a system which can be block decoupled is obtained with the help of the coordinate transformation.
对给定分割，给出了可以块解耦的系统状态空间结构和导致这种结构的座标变换。
What makes property checking a success in industry are symbolic traversal algorithms that enumerate the state space implicitly.
使得特性检查在业界获得成功的因素是象征遍历算法，它无保留地枚举状态空间。
This paper presents the mathematical model and the general algorithms of transforming combinatorial problem into state space search.
本文提出了将组合问题归结为状态空间搜索问题的数学模型和通用算法。
The development of the discrete state space models for computer control and operation optimization of reheat furnaces is presented in this paper.
本文论述了一个应用于加热炉计算机控制和优化操作的离散状态空间模型的开发。
We don't want the server to have to track every single client as it moves through state space since there could be thousands (or even millions) of clients.
我们不希望服务器移动状态空间时必须跟踪每一个客户，因为可能存在成千上万的（甚至几百万）的客户。
Hence, the problems first faced by the software community — dealing with the complexity of the state space — now face the system engineering and design community.
因此，软件团体首次面临的问题——解决状态空间的复杂性——现在面对系统工程和设计团队了。
The state space may be thought of as a big vector space with each basis element spanning the possible states of one system element (say a memory register or the CAM Angle).
状态空间可能被认为是一个大向量空间，其每个基本元素跨越一个系统元素的可能状态(比方说内存寄存器或偏心角)。
Because it is based on the exhaustive state space search, the state space explosion problem becomes the primary bottleneck when we apply model-checking to real systems.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
Because it is based on the exhaustive state space search, the state space explosion problem becomes the primary bottleneck when we apply model-checking to real systems.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
应用推荐