Each rule includes two parts: a context free rewrite rule and a series of unification equations.
从形式上讲，一条短语结构规则包括两部分，产生式规则和合一等式。
The empirical equations must be under trying of unification in broad range.
经验等式被试着在广大的范围内统一。
This article present an unification arithmetic for a kind of mixture equations made up of some differential and algebra equations.
提出了一种求解微分代数混合方程组的统一算法，证明了统一算法所求出的懈与原方程组的解具有等价性。
Then, using the multi-parameter stability theory and unification technique, we solved the reduced equation and obtained the bifurcation equations and their solution.
再利用多参数稳定性理论及归一化技术，对约化方程进行求解，得到了分岔方程。
Then, using the multi-parameter stability theory and unification technique, we solved the reduced equation and obtained the bifurcation equations and their solution.
再利用多参数稳定性理论及归一化技术，对约化方程进行求解，得到了分岔方程。
应用推荐