本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。
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.
I need one more piece of notation and then we can get back to having some fun.
我需要再引入一个符号,之后我们再继续研究
应用推荐