不合流性 non confluent property
比特流符合性 bitstream compliance
资讯流与物流整合性 Information and material integration
工作流合理性 workflow soundness
铸造合金流动性试验器 flowmeter of casting alloy
复合黏弹塑性流变模型 composite viscoelasto-plastic rheological model
复合塑性流 complex plastic flow
合作对流性降水的实验 CCOPE
在相当弱的条件下,当扩散系数非退化时,证明了方程强解的不合流性。
Under the general conditions on the coefficients, when the drift coefficients are non degenerate, the non confluent property are proved.
在相当弱的条件下,当扩散系数非退化时,证明了方程强解的不合流性。
The non confluent property, comparison theorem and strong comparison theorem of strong solutions are proved.
本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。
In this paper, the symbolic measure is introduced, and semiregularity is defined, and the confluence of semiregular term rewriting system is proved.
应用推荐