项重写 meaning in English
term rewriting
Examples
- Model based on term rewriting provides an algebra specification for the realization of risk analysis
项重写的风险分析模型以其良好的代数规范为风险分析的实现提供了理论基础。 - 8 feng s , cao s , liu s . mechanizing weak termination proving of term rewriting systems by induction . in proc
本方法是对基于结构归纳法和项重写的弱终止性形式自动证明方法的扩展。 - Theoretical computer science , 1997 , 175 : 127 - 158 . 3 toyama y . how to prove equivalence of term rewriting systems without induction
本方法基于覆盖集合归纳法和项重写系统的元计算模型：动态项重写计算。 - 9 feng s , sakabe t , inagaki y . confluence property of simple frames in dynamic term rewriting calculus . ieice trans . information and systems , 1997 , e80 - d : 625 - 645
它大幅度拓宽了前面证明方法的应用范围，并可以应用于非终止非合流以及非左线性的项重写系统。 - But the existing risk analysis model based on term rewriting ignores the induction procedure from risk to decision , and makes it easy to propagate the potential vulnerability
但是现存项重写的模型忽略了分析和决策之间的推理过程,容易导致潜在威胁的传播。