查询词典 used to denote a transition or concession

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表示控制器综合结果的结构实现，八元组包括输入符号，输出符号，状态存储器的输入，输出网络，状态转换网络，状态存储器，状态存储器的输出和状态存储器的初始输出。

By selecting a transition for this state, you're selecting the start point for this transition to be this state.

一旦你为这个状态选择好一个过渡，你也就选择了这个状态来作为这个过渡的开始点。

In Chapter One, the author analyzes the main course of the academic transition from the micro point of view, presents its significance and content, and the dynamics of such transition.

在本文的第一章中，作者从宏观的角度分析了中国学术现代转型的大致历程，学术转型的涵义及内容，学术转型的动力机制等相关问题。

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

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

He studied their excrement for evidence of livestock hair.

他为家畜毛的证据研究他们的粪便。

Loneliness is not grounds for deportation, deportation of the people are not all lonely people.

寂寞也不是放逐的理由，放逐的人也并不都是孤独的人。