迁移的

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作为传值进程的语义表示模型，并给出了相应的强互模拟算法。

Accordingly with the ZSM-5 zeolite the turning point happened at the conversion of about 55%,the respective contributions were about 20% and 80%, and dealkylation of about 10% of alkylbenzene present in the feed was helpful to form benzene.

在ZSM-5分子筛催化剂上，从芳烃迁移反应向芳烃生成反应的过渡大约发生在转化率55%附近，芳烃迁移和芳烃生成反应对苯生成的贡献分别约为20%和80%，原料中约10%的烷基苯会发生脱烷基反应生成苯。

With the Y zeolite the turning point from aromatics shift to aromatics generation happened at the conversion of about 30%.The respective contributions to benzene formation from aromatics shift and aromatics generation were about 36% and 64%, and the dealkylation of about 5% of alkylbenzene present in the feed was also helpful to form benzene.

在Y分子筛催化剂上，从芳烃迁移反应向芳烃生成反应的过渡大约发生在转化率30%附近，芳烃迁移和芳烃生成反应对苯生成的贡献分别约为36%和64%，原料中约5%的烷基苯会发生脱烷基反应生成苯。

For the oxidation channel from OH group migration to O atom insertion,the activation energy barriers for OH migration are 58.4,65.3, and 79.2 kcal/mol,respectively,whereas those for O atom insertions beginning with directly destroying Si_a-Si_s backbonds by a foreign H_2O molecule are much lower,the respective values are 19.0,16.7,and 24.8 kcal/mol.

对于先经过OH迁移致使O原子插入Si_a-Si_s backbond的氧化途径，OH迁移所克服的能垒依次为58.4、65.3和79.2 kcal/mol，而H_2O以O原子进攻Si_a位来打开Si_a-Si_s键进而使O原子插入的能垒则相对较低，仅为19.0、16.7和24.8 kcal/mol。

This article discusses the social background of them, the process and the social functions of such migrations.

本文初步探讨了它们的社会背景、迁移过程及其在不同时期的特点，论述了人口迁移在稳定社会局势、恢复农业经济、促进文化交流等方面的作用。

We find that the carriers mobilities have high effects on them. When the majority carrier has the lower mobility, the carriers are easy to injection, transport, and the device efficiency has been improved.

场强分布及J-V关系受载流子迁移率影响较大，在器件中占主导地位的载流子应具有较低的迁移率，这样有利于载流子的注入和传输，发光效率可相应得到提高。

Nearly 80% of total Cr drained from outfalls of the factory can be reduced by sulfides and tannic acid originally in the wastes before they ent

实验结果进一步证实了胶州湾娄山河口及沿岸海域中铬的可能的迁移机制为Cr_水~→Cr_水~→Cr_水~→Cr_底质~(酸溶→Cr_~总，并为这一过程作了定量估算，提出了胶州湾娄山河口海域铬的迁移模式图。

Contrariwise, when material is less abstract and learners have more prior knowledge, teaching explanation doesn\'t increase germane cognitive load, but induce better transfer achievement.(8) In difficult material learning, self-explanation reduced intrinsic cognitive load and better transfer achievement.

8在难度较大的材料学习中，提示自我解释降低了内在认知负荷，提高了迁移测试成绩；在难度较小的材料学习中，提示自我解释增加了被试的相关认知负荷，提高了迁移测试成绩。

Another, watching the hybridisation of plants, sees that the bee contributes to that end also, and he may say that the bee's object is that.

另一个植物学家考察植物的迁移，看见蜜蜂有助于这种迁移，于是这个新的考察者就可能说，这才是蜜蜂的目的。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。