形式推导的英文

• formal deduction
• formal derivation

• "形式"英文翻译    form; shape; layout; modalit ...
• "推导"英文翻译    reduction; eduction; derivat ...
• "公式推导" 英文翻译 :    derivative of formula; development of equation
• "形式推理" 英文翻译 :    formal inference; formal reasoning
• "形式推理系统" 英文翻译 :    formal inference system
• "推导" 英文翻译 :    reduction; eduction; derivation; infer; deduce◇推导图 derivation graph
• "式推" 英文翻译 :    pyramid scheme
• "推导、推断" 英文翻译 :    template argument deduction
• "推导步" 英文翻译 :    derivation step
• "推导出" 英文翻译 :    evolve
• "推导的" 英文翻译 :    derived
• "推导集" 英文翻译 :    derived set
• "推导例" 英文翻译 :    dri) deduction
• "推导树" 英文翻译 :    derivation tree
• "推导图" 英文翻译 :    derivation graph
• "形式" 英文翻译 :    1.(事物的形状、结构等) form; shape; layout; modality 流于形式 become a mere formality; 形式多样 be various in forms; 形式和内容 form and content; 他已经肯定获得那份工作了, 口头审查仅是形式而已。 he is already assured of the job and his interview is a mere formality.2.[自动化] (数据安排) format; [数学] quantic; shape
• "病因推导" 英文翻译 :    cause inference
• "顶推导轨" 英文翻译 :    thrust rail
• "辅助推导法" 英文翻译 :    subsidiary deduction
• "规范推导" 英文翻译 :    canonical derivation
• "解析推导" 英文翻译 :    analytic derivation
• "可推导的" 英文翻译 :    inferrable
• "可推导性" 英文翻译 :    calculability
• "理论推导" 英文翻译 :    theoretical derivation
• "廖误推导" 英文翻译 :    fallacious derivation; fallacious inference

• The numerical procedure has been derived in dimensionless form .
  数值程序是按无因次形式推导的。
• In terms of the minimum energy dissipation rate theory , the division angle and deflection angle formulas are derived and applications with some topography data of the pearl river delta waterway are introduced . finally , a 2 - d flow model in the orthogonal coordinates is established
  本文从最小能耗率的原理出发，推导分汊河道的分流角、偏转角计算的理论公式，以角度计算公式的变换形式推导分流比公式，并介绍了最小能耗率原理的一些其它应用。