1) progress evolution
过程演进
2) evolution
[英][,i:və'lu:ʃn] [美]['ɛvə'luʃən]
演进过程
1.
Study on the Evolution of Monetary Policy Transmission Mechanism in Economic Transformation of China;
在坚持上述论断的条件下,我们试图通过对我国转型期货币政策传导机制的演进过程的分析,来把握转型期我国货币政策传导的特点、存在的障碍及原因,同时也为优化我国货币政策传导机制,提高货币政策效果奠定基础。
3) evolution process
演进过程
1.
A special core decision group in the enterprise called Top Management Team(TMT)is an important role in enterprises development;for its strategic importance,the research of its the evolution process is well-needed.
因此,对其演进过程的研究具有十分重要的现实意义。
6) process calculus
进程演算
1.
Process calculus is usually used to reason about reactive systems, in which bisimulation method is an important way to formally verify the properties of a system.
进程演算通常用来研究交互式反应系统,其中的互模拟方法是用来形式化验证系统属性的重要途径。
2.
Security protocols are typical distributed concurrent systems, while process calculus is a powerful tool to model distributed concurrent systems.
进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为。
3.
In this paper, a generic model is proposed for the analysis of security protocols based on a process calculus with knowledg.
进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型。
补充资料：正规过程和倒逆过程
讨论完整晶体中声子-声子散射问题时,由于要求声子波矢为简约波矢（见布里渊区），所得到的总波矢守恒条件会相差一个倒易点阵矢量G)。例如对于三声子过程有下列条件
， (1)
式中q1和q2是散射前的声子简约波矢, q3为散射后声子波矢，式(1)中G)的取值应保证q3也是简约波矢。这时会出现两种过程,其一是当q1+q2在简约区内时,可以取倒易点阵矢量G)＝0,式(1)则简化为总波矢守恒条件,称为正规过程或N过程。其二是当q1+q2超出简约区时,所取G)应保证q3仍落于简约区内,由于q3与q1+q2相差G),显然q3位于q1+q2的相反一侧，这时散射使声子传播方向发生了倒转，故称为倒逆过程或U过程。U过程总波矢不守恒,但总能量守恒,因为声子频率是倒易点阵的周期函数，而q3与q1+q2只相差一个倒易点阵矢量。N过程在低温长波声子的散射问题中起主要作用。当温度升高，简约区边界附近的声子有较多激发时，U过程变得十分显著,它对点阵热导有重要贡献。
在能带电子与声子散射问题中存在着与式 (1)相仿的总波矢条件
k+G＝k┡±q，
(2)
式中k与k┡分别为散射前后电子的简约波矢,±号分别对应于吸收或发射q声子。类似的在热中子-声子散射以及晶体中一切波的相互作用过程中，总波矢变化都相差一个倒易点阵矢量G),因此也都有N与U过程之分。这是晶体和连续媒质不同之处，连续媒质对无穷小平移具有不变性，才能求得总波矢守恒，而晶体只具有对布喇菲点阵的平移不变性，因此总波矢守恒条件会相差一个倒易点阵矢量。
， (1)
式中q1和q2是散射前的声子简约波矢, q3为散射后声子波矢，式(1)中G)的取值应保证q3也是简约波矢。这时会出现两种过程,其一是当q1+q2在简约区内时,可以取倒易点阵矢量G)＝0,式(1)则简化为总波矢守恒条件,称为正规过程或N过程。其二是当q1+q2超出简约区时,所取G)应保证q3仍落于简约区内,由于q3与q1+q2相差G),显然q3位于q1+q2的相反一侧，这时散射使声子传播方向发生了倒转，故称为倒逆过程或U过程。U过程总波矢不守恒,但总能量守恒,因为声子频率是倒易点阵的周期函数，而q3与q1+q2只相差一个倒易点阵矢量。N过程在低温长波声子的散射问题中起主要作用。当温度升高，简约区边界附近的声子有较多激发时，U过程变得十分显著,它对点阵热导有重要贡献。
在能带电子与声子散射问题中存在着与式 (1)相仿的总波矢条件
k+G＝k┡±q，
(2)
式中k与k┡分别为散射前后电子的简约波矢,±号分别对应于吸收或发射q声子。类似的在热中子-声子散射以及晶体中一切波的相互作用过程中，总波矢变化都相差一个倒易点阵矢量G),因此也都有N与U过程之分。这是晶体和连续媒质不同之处，连续媒质对无穷小平移具有不变性，才能求得总波矢守恒，而晶体只具有对布喇菲点阵的平移不变性，因此总波矢守恒条件会相差一个倒易点阵矢量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条