1) procedure extraction
过程提取
1.
Aiming at the situation that the currently available program model checker cannot deal with large-scale software,the technique of procedure extraction was proposed to pre-process the source code in order to improve the scalability of software model checking.
针对目前基于谓词抽象的程序模型检测工具很难处理大规模软件的现状,提出用过程提取技术对待检的源代码进行预处理,以改善程序模型检测的可伸缩性。
2) extraction process
提取过程
1.
OBJECTIVE To develop a rapid on-line endpoint determination during Salviae miltiorrhiza extraction process by near infrared spectroscopy.
目的建立一种用于丹参提取过程终点快速判断的近红外分析方法。
3) electric extraction process
电提取过程
1.
When such variation reaches a certain degree, it will unfavorably affect the electric extraction process.
电提取过程依赖直流电场的作用 ,直流电场持续作用导致土壤介质pH值的变化 ,当这种变化达到一定程度 ,又将对电提取过程产生不利影响。
4) interim-23 process
暂定铀233提取过程
5) Program extraction
程序提取
1.
Program extraction is a mechanism that one can automatically extract a functional program from a constructive proof,which by its very construction is correct as well.
通常情况下,我们很难确定一段给定的程序是否符合它的规范,程序提取是一种从构造性证明中提取函数式程序的机制,其构造特性很好地保证了生成程序的正确性。
6) infusion
[英][ɪn'fju:ʒn] [美][ɪn'fjuʒən]
浸提过程
1.
Survey of kinetic studies on infusion of functional components from plants;
植物功能成分浸提过程动力学研究进展
2.
The goal of kinetic studies on infusion is to analyze the influences of extraction time, raw material size and solid-to-liquid ratio on the performances of extraction by modeling infusion of.
浸提过程动力学研究是通过数学模型来描述浸提过枉中被提取功能成分在浸提液中的浓度随时间变化的规律,并分析物料前处理以及提取温度、物料粒径、料液比等工艺参数对提取效果的影响,为浸提工艺优化提供理论依据。
补充资料：正规过程和倒逆过程
讨论完整晶体中声子-声子散射问题时,由于要求声子波矢为简约波矢（见布里渊区），所得到的总波矢守恒条件会相差一个倒易点阵矢量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过程之分。这是晶体和连续媒质不同之处，连续媒质对无穷小平移具有不变性，才能求得总波矢守恒，而晶体只具有对布喇菲点阵的平移不变性，因此总波矢守恒条件会相差一个倒易点阵矢量。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条