若两状态转换图同构,则两图中的状态均可一一配对为待验证状态对,即所有的代验证状态对均为等价状态对。
If the state transfer graphs are isomorphism, all the states in different graphs can be matched as equal state pairs.
以二阶张量为损伤变量,推导了依赖于损伤变量的弹性模量表达式,利用一个等价状态,建立损伤岩体的本构关系。
Then the expression of damage-dependent elasticity tensor is deduced and the constitutive equations of damaged rock are built by using an equivalent state.
逻辑上,每个规则表达式都等价于一个状态机,而每个规则表达式的语法分析器都实现这个状态机。
Every regular expression is logically equivalent to a state machine, and the parser of every regular expression implements a state machine.
转换表中的状态所实现的功能等价于SAXCountHandler中stack。
The states in the transition table implement the equivalent of the stack in SAXCountHandler.
该文论述了拓扑空间(组)的同伦等价变换在有序介质状态和缺陷的拓扑分类中的应用问题。
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.
提出一种基于状态转换图的时序电路等价验证算法。
A sequential equivalence checking algorithm based on state transfer graph is presented.
程序的执行过程等价于状态函数的求解过程。
The process of executing a program is equivalent to the process of solving a state function.
该模型以极限状态设计方法为基础,采用机遇约束规划方法变换为一个等价确定性非线性规划问题。
This model is based on the limit state design philosophy. This paper adopts the chance constraint programming method and changes the model into an equal deterministic nonlinear design problem.
为了满足模型检验的需要,本文在研究LSC语法语义的基础上提出了一种生成与LSC等价的状态迁移模型的方法。
Model checking utilizes the state model of systems, thus, we present a method that generates the stale models from LSC models based on the LSC semantics.
在系统脉冲能控的条件下通过系统输入-状态对的非奇异变换,把此问题等价地转化为正常状态空间系统的相应问题。
When the system is impulsively controllable, an equivalent problem for standard state space systems is derived from nonsingular transformation of input-state for systems.
在等价鞅测度框架下,讨论了(在到期时刻)期权处于实值状态时支付函数为幂型的股票欧式期权定价公式。
Via the framework of equivalent martingale measures, we derive the pricing formulas of European options with power payoffs (if the option is in the money, at the time of maturity).
为了提高该算法的速度和精度,对系统的量测空间进行了等价变换,而等价系统的状态空间却没有改变。
In order to improve the speed and precision of this algorithm, an equivalent transformation was taken for the system's measurement-space at the same state space.
应用加权最小二乘(WLS)法可得到一个加权融合观测方程,且它与状态方程构成一个等价的加权观测融合系统。
For the multisensor systems, using the weighted least squares (WLS) method, a weighted measurement fusion equation and a equivalent weighted measurement fusion system are obtained.
建立并分析了投梭侧板的弹性体模型和控制系统的状态方程,提出了本系统能控性的系统等价理论。
An equivalent theorem for the controllability of the system is deduced and the optimal control point is determined.
在道德风险问题的委托代理关系中,委托人对代理人行动的监督与对自然状态的观测所起的效果是等价的。
In the principle-agent problem with moral hazard, the observation of the state of nature has the same effect with the monitoring of agent's action.
在道德风险问题的委托代理关系中,委托人对代理人行动的监督与对自然状态的观测所起的效果是等价的。
In the principle-agent problem with moral hazard, the observation of the state of nature has the same effect with the monitoring of agent's action.
应用推荐