项重写的英文

• term rewriting

• "项"英文翻译    nape
• "重写"英文翻译    overwrite; rewrite; rewritin ...
• "项重写系统排序" 英文翻译 :    ordering for term-rewriting system
• "重写" 英文翻译 :    [自动化]overwrite;rewrite;rewriting
• "可重写" 英文翻译 :    dvd dvd-rewritable
• "重写，覆盖" 英文翻译 :    overwrite
• "重写；覆写" 英文翻译 :    overwrite
• "重写本" 英文翻译 :    palimpsest
• "重写入" 英文翻译 :    rewrite
• "谱项重叠" 英文翻译 :    term overlapping
• "一项重要议程" 英文翻译 :    important item on the agenda
• "并行重写" 英文翻译 :    parallel rewriting
• "查询重写" 英文翻译 :    query rewrite
• "代码重写" 英文翻译 :    code rewriting
• "可重写光盘" 英文翻译 :    cd-rewritable; cdrw; cd-rw(compact disc -rewritable); cd-rw，cd re writable; compact disc re-writable (cd-rw)
• "命令重写" 英文翻译 :    format c:/s
• "受控重写" 英文翻译 :    controlled rewriting
• "双缝重写头" 英文翻译 :    dual gap rewrite head; dual-gap disk head; dual-gap rewrite head
• "重写操作" 英文翻译 :    rewrite operation; rewriting operation
• "重写错误" 英文翻译 :    error overwrite; overwriting error
• "重写代码" 英文翻译 :    rewriting code
• "重写单元" 英文翻译 :    rewriting unit
• "重写电路" 英文翻译 :    rewriting circuit
• "重写调变" 英文翻译 :    overwrite modulation
• "重写调制" 英文翻译 :    overwrite modulation

• 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
  但是现存项重写的模型忽略了分析和决策之间的推理过程,容易导致潜在威胁的传播。
• Based on the algebra specification of term rewriting model , this paper builds the attack scenario and performs the risk analysis in the way of graph rewriting
  该模型依赖项重写系统所建立的风险签名和重写规则,以项图的方式实现攻击场景的构建和风险分析过程。
• Weakly terminating property in a restricted domain of a term rewriting system , one with structural induction , one with cover - set induction , and the third without induction , and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus
  基于覆盖集合归纳法的项重写系统弱基终止性证明的机械化论文提出一种关于一般化了的项重写系统弱基终止性，即，在特定领域的项重写系统弱终止性的形式自动证明方法。
• In order to prevent an item from overwriting an important file , project files that contain item paths that evaluate to one of the following locations or any subdirectories of these locations are considered potential security risks unless they are also located in or below the solution file or project file directory
  为了防止项重写重要的文件，包含计算为下列位置之一或其任何子目录的项路径的项目文件，将被视为具有潜在的安全风险，除非它们还位于解决方案文件或项目文件目录中或其下的目录中。