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.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
We develop a fringing state space model used in the continuous annealing furnace computer optimization control.
本文开发了一个用于连续退火炉计算机优化控制的离散状态空间模型。
The dynamical property of this model is described by dual differential equations and it can find out several stable equilibrium points from any initial point in the state space.
该模型的动态特性可由对偶微分方程描述，它具有从状态空间内任一初始点找出多个稳定平衡点的能力。
To reduce the horizontal vibrations of high-speed elevator, a 4DOF dynamic model of elevator was developed, and the differential equations and the state space model were also given.
为了降低高速电梯的水平振动，建立了4自由度的电梯轿厢水平振动主动控制的动力学模型，给出了微分方程，建立了状态空间模型；
A nonlinear theoretical state space model was introduced to describe the dynamic performance of the servo system.
引入了一个非线性状态方程模型来描述电液伺服系统的动态特性。
The main results are: (1) For a dual-rate sampled system, the design methods of predictive controller based on state-space model and input-output model are given respectively.
论文的主要结果有(1)对双速率采样系统，分别给出了基于状态空间模型和输入输出模型下的预测控制器的设计方法。
Optimization controller for linear discrete-time state space model is designed.
设计出线性离散状态空间的最优控制器。
This paper presents a state space model based on spindle rotation speed for thermal errors of machine tool.
本文提出了一种基于主轴转速的机床热误差状态方程模型。
Firstly, the paper models the multivariable discrete state-space model of the air transmission unit by the lab method, using multi-dimensional inverse m series as input stimulus signal.
首先利用多维逆m序列作为激励输入信号，用实验法建立出空气传送部分的多变量离散状态空间模型。
This paper presents the mathematical model and the general algorithms of transforming combinatorial problem into state space search.
本文提出了将组合问题归结为状态空间搜索问题的数学模型和通用算法。
This paper presents the state space averaging model of a PWM reversible rectifier, on the basis of which a family of valuable formulas and conclusions are derived with theoretical analyses.
本文提出了一种PWM可逆速流器的状态空间平均模型，并在此基础上，经过理论分析得出了一系列有价值的公式与结论。
Using the frame of function behavior structure, this paper describes an explorative creative design model based on the state space expansion.
文中运用功能-行为-结构框架描述了基于状态空间扩展的探索性创造设计模型。
The responding nonlinear ship motion mathematical model is constructed on the basis of the state space ship motion mathematical model by the systematic method of input-output information.
本文在状态空间型的船舶运动数学模型的基础上，用输入—输出信息的系统性方法构造出响应型非线性船舶运动数学模型。
The three-loop autopilot is transformed into state space model, and the feasibility of presupposition of some nuisance parameter is proved.
将三回路驾驶仪等效为全状态反馈的状态空间模型，证实了冗余参数预先设定的可行性。
A state space model is described, the time response of ferrite loaded cavity is proposed and a new digital measuring method devised. Results of actual measurement on model cavity are given.
本文建议了描述铁氧体加载谐振腔时间响应的状态空间模型和一种新的数字式测量方法，并给出了在模型腔上实测的结果。
Theoretical analysis and experiments show that the scheme can effectively reduce a program's state space and satisfy the safety requirement imposed by software model check.
理论分析和实验结果表明，条件化可以有效缩减程序状态空间，并且满足软件模型检测对状态缩减的安全性要求。
Space continuous model parameters direct identification for synchronous generator state was proposed.
提出了一种同步电机状态空间连续模型参数直接辨识法。
As other predictive filters, state space is recursively got from measure space with system model by using the Particle filter.
这种滤波和其他预测性滤波一样，可以通过模型方程由测量空间递推得到状态空间。
ARMAX model method and subspace-based state space method were used to process the flight flutter test data, and identify the flutter modal parameters of aircraft.
论文使用了现代参数辨识技术的ARMAX模型递推法和状态子空间辨识法，对飞行颤振试验数据进行处理，辨识飞机的颤振模态参数。
The mathematical model is manipulated into a state space form.
数学模型表示成状态空间的形式。
Canonical variate analysis (CVA) is applied to identify a state space model in linear space and state information is extracted.
在线性空间中使用规范变量分析(CVA)来辨识状态空间模型，从数据中提取状态信息。
Based on the state space model systematized, and applying the dynamic output feedback, the conditions for robustness disturbance decoupling are proposed in the paper.
基于系统的状态空间模型，利用动态输出反馈，给出了鲁棒干扰解耦的条件。
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 state equation obtained from this new circuit model is just the same as that obtained from the state-space averaged method.
利用新构造的电路模型所建立的状态方程与用状态空间平均法所得到的状态方程完全一致。
We estimate inflation expectation and money demand function jointly in a state space model. This overcomes the shortcomings of the traditional "two-step" method.
我们在一个状态空间中联合估计预期通胀以及货币需求方程，避免了传统“两步法”的不足。
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.
由于这一技术是基于对状念空间的穷尽搜索，“状态爆炸”问题一直是制约其在实际系统中应用的主要技术瓶颈。
In this paper, the model plant mismatch problem is classified and defined. An existed method of model plant mismatches assessment formulated in terms of discrete time state space model is introduced.
本文首先对模型失配问题进行了归类和定义，对一种已有的基于状态空间描述模型预测控制系统的模型失配评估方法进行了分析。
The average state space method was employed to eliminate the discontinuous feature of the switch function, then the average state space mathematic model was obtained.
为使并联变流器模型能用于系统分析当中，用平均状态空间法建立了并联变流器的平均状态空间模型，消除了开关函数的不连续跳跃变化。
The average state space method was employed to eliminate the discontinuous feature of the switch function, then the average state space mathematic model was obtained.
为使并联变流器模型能用于系统分析当中，用平均状态空间法建立了并联变流器的平均状态空间模型，消除了开关函数的不连续跳跃变化。
应用推荐