迁移

The functional testes of the process migration system indicate that it can support socket migration perfectly.

系统功能测试表明本文的进程迁移系统可以完全支持socket迁移。

The proposed mobility model has taken thermionic emission effect and phonon scattering effect into account to explain the temperature response of field effect mobility.

我们利用该迁移率模型，针对无轻掺杂汲极结构的元件进行载子迁移率的模拟。

In this study, the actual temperatures in different solder joints were below 100°C, which did not induce magnificent atoms thermodiffusion to submerge electromigration.

数值模拟表明，电流密度聚集是产生电迁移失效的根本原因，焊点的实际温度低于100°C，避免了高温下原子热扩散对电迁移的干扰。

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

Symbolic transition graph is proposed as a compact semantic model for the π-calculus processes. The rules which generate such STGs from finite-control π-calculus processes are presented.

提出以符号迁移图为π-演算进程的有穷表示模型，并给出了将有穷控制π-演算进程转换成有穷符号迁移图的全部产生规则。

Measurements and Main Results: ATRA stimulated NB4 cells to transmigrate toward the A549 cells in a time- and dose-dependent manner. Replacement of A459 condition medium by its original medium abrogated this transmigration.

测量与结果：全反式维甲酸会刺激 NB4 细胞迁移至 A549 细胞，并且具有时间与剂量之效应，若是以单纯的培养液取代 A549 细胞之条件培养液，则 NB4 不会有迁移的作用。

In the end, transportation of PAHs in the environmental matrix was preliminarily investigated and discussed according to PAHs data of soils and sediments from a certain region in Shanghai. The result indicated that there are two or more pathways on PAHs transportation in the environmental matrix.

最后，对上海特定地区内PAHs在环境介质中的迁移径途进行了分析讨论，结果表明上海市土壤和沉积物等环境介质中PAHs的迁移存在多种途径。

This results in the increase of migration rate of T. tubifex and acts as the dominant factor affecting the migration rate.

通过实验室模拟颤蚓的迁移，研究了颤蚓分布密度、底泥性质对颤蚓迁移运动的影响。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了