查询词典 point of transition

The head loss coefficient of down inlet linear transition is less than tortile transition and those above of outlet almost same.

设计流量下进口直线扭曲面型渐变段的水头损失系数小于反弯扭曲面型渐变段的水头损失系数，出口直线扭曲面型渐变段的水头损失系数与反弯扭曲面型渐变段的水头损失系数基本相同。

In the review, the theory of glass transition and dynamics were introduced. The relation between glass transition and function in cereal food was discussed.

介绍了玻璃化转变的基础理论及动力学，论述了谷物食品体系中玻璃化转变与其功能之间的关系。

Finally aims at the estimated result of eighteen industries, and compared the model setting, transition function graph, transition rate and independent variables between all kinds of industries.

最后以模型对十八个产业的估计结果，比较模型设定、转换函数图形、转换速度、控制变数等项目，并观察产业之间的差异。

Based on the symbolic transition graph with assignment of Lin, we introduce a variant of STGA. The distinction of our model is that the assignment of a transition is performed after rather than before the action.

基于Lin提出的带赋值符号迁移图，引入了一种先动作-后赋值的STGA，它与原模型的不同之处在于将符号迁移上赋值和符号动作的执行次序颠倒。

In order to check bisimulation for value--passing processes with infinite data domain, the symbolic transition graph and the symbolic transition graph with assignment are introduced by Hennessy and Lin as semantic models of value-passing processes, and strong bisimulation algorithms based on such graphs are also proposed.

为刻画和验证无穷值域上的传值进程，Hennessy和Lin先后提出符号迁移图和带赋值符号迁移图作为传值进程的语义表示模型，并给出了相应的强互模拟算法。

In order to check bisimulation for value-passing processes with infinite data domain,the symbolic transition graph STG and the symbolic transition graph with assignment STGA are introduced by Hennessy and Lin as semantic models of value-passing processes,and strong bisimulation algorithms based on such graphs are also proposed.

为刻画和验证无穷值域上的传值进程， Hennessy和Lin先后提出符号迁移图STG和带赋值符号迁移图STGA作为传值进程的语义表示模型，并给出了相应的强互模拟算法。

Directly analyzing the transition sequences of reachablility graph of the Petri nets modeling calculates the transitional probability of each transition sequences from one fault to the whole manufacturing cell being failure.

其组成以及加工过程的运行都相当复杂，若出现故障，则可能造成重大损失，所以研究复杂制造系统的可靠性问题就显得极其重要。随着现代科学技术的发展，人们从事的工程活动和制造的产品日趋复杂，规模越来越大[1]。

The mutiple-input mutiput-output logic function of vertex in state transition graph represents output of related state and the single output logic function represents state transition condition; we use a 8-tuple NetList to represent the structure implement of the result of controller synthesis.

状态转换图顶点中的多输入多输出逻辑函数表示对应状态的输出，图中边上的单输出逻辑函数表示状态转移条件；用一个八元组NetList表示控制器综合结果的结构实现，八元组包括输入符号，输出符号，状态存储器的输入，输出网络，状态转换网络，状态存储器，状态存储器的输出和状态存储器的初始输出。

A line represents the transition between states, and each node is based on the probability of a transition.

线条表示状态间的转换，每个节点都基于转换的可能性。

On the other hand,both the phase transition temperature and the heat of transition decreased with risingC70 concentration.

此外，C60/C70合金晶体的相变温度和潜热都随着C70浓度的增加而下降。

You can do some assertiveness training.

你可以进行一些自信训练。

We were well on the path to making a rear-wheel-drive global platform," says Mays."

我们正致力于建立一个后轮驱动的平台，"Mays这样说道。"