本文着重研究重写系统的合流性，通过引入符号测度的概念，本文定义了半正则重写系统，并证明了半正则重写系统的合流性。
In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.
在对冰转化为水合物控制步骤分析的基础上，引入符号函数并提出一个改进的未反应核收缩模型来描述冰转化为水合物的动力学。
On the basis of analyzing the control step for ice conversing to hydrate and introducing the sign function, the unreacted core shrinking model for hydrate formation was proposed.
我们需要能够引入字面符号，可以供调用宏的开发人员使用。
We need a way to introduce literal symbols which can be used by the developer invoking the macro.
EXI引入了数据类型，比如二进制、布尔值、小数、浮点数、整数、无符号整数，以及日期-时间。
EXI introduces data types such as Binary, Boolean, Decimal, Float, Integer, Unsigned Integer, and Date-Time.
执行函数时会为局部变量引入一个新的符号表。
The execution of a function introduces a new symbol table used for the local variables of the function.
引入运算符号，导得其频率方程和振型函数的解析表达式。
Furthermore, a reccursion formula of the operational symbol is introduced.
符号重命名工具提供了一种简单易用的全局更新名称的方法，有助于减轻重命名代码元素的繁重工作，并降低引入额外语法错误的风险。
The symbolic renaming tool helps ease the pain of renaming code elements-and removes the risk of introducing unwanted syntax errors-by providing a simple-to-use method for globally updating names.
此算法通过引入有符号和无符号滑动窗口编码方法，大大减少了标量乘算法中费时的加法运算次数。
This algorithm greatly reduces times of addition operation which takes time for scalar multiplication algorithm by introducing signed and unsigned sliding window coding methods.
为使得隐马尔可夫模型（HMM）能够处理非相邻可见符号之间的依赖关系，将延时机制引入标准的HMM中。
To enable hidden Markov models to account for dependencies between non-adjacent observation symbols, time-delay is introduced to standard high order HMM states.
函数定义在当前符号表中引入函数名。
A function definition introduces the function name in the current symbol table.
从语音层面上看，现代诗歌由于分行排列和标点符号的引入形成了迥然区别于传统的“现代诗韵体系”；
At the sound level, modern poetry differs from traditional poetry in using line breaks and punctuation marks.
引入稀疏混沌时间短序列概念，提出了稀疏符号时间序列分析方法与实现流程。
The concept of sparse symbolic time series analysis was brought in and the method and procedure for implementation of the analysis was proposed.
而且，循环前缀的引入消除了符号间干扰(ISI)，避免了信道间干扰(ici)。
Moreover, serious ISI (Inter-Symbol Interference) and ICI (Inter-Carrier Interference) can be readily circumvented by introducing CP (Cyclic Prefix).
将符号美学观点引入产品设计风格的解读，对产品设计风格的符号学意义以及设计风格延续的符号学意义作了尝试性探析。
Introducing the view of semiotics aesthetics to the interpretation of product design, it made some attempts of semiotic significance of product design style and design style continuity.
引入运算符号，导得带任意个集中质量的梁弯曲振动频率方程和振型函数新的解析表达式。
By means of a symbol of operation, the new analytical expressions of the frequency equation and the modal function of lateral vibration of a beam with lumped masses were derived.
限幅法是目前应用较为广泛的一类预畸变峰均比抑制算法，但其会引入额外的限幅噪声，从而对数据信号和导引符号造成干扰，恶化传输性能。
Clipping is a popular method to control the PAPR with distortions, but it introduces additional clipping noise, so as to distort the data and pilot symbols and degrade the system performance.
限幅法是目前应用较为广泛的一类预畸变峰均比抑制算法，但其会引入额外的限幅噪声，从而对数据信号和导引符号造成干扰，恶化传输性能。
Clipping is a popular method to control the PAPR with distortions, but it introduces additional clipping noise, so as to distort the data and pilot symbols and degrade the system performance.
应用推荐