1) formal derivation
形式化推导
1.
The results that solve the problem of Dutch national flag show the effect of obtaining efficient and correct algorithmic program using formal derivation.
通过功能规约变换,可以较自然地获得问题求解的递推关系,对荷兰国旗问题的求解过程显示了形式化推导在获得高效和正确的算法程序中的作用。
3) formal derivation method of programs
程序的形式推导方法
4) equation direvation
算式推导
1.
The precedures for application of Ugenson s plastic flow theory is proposed,in which the assumption is simplified for pratical barrage section and equation direvation is carried out.
本文以尤氏塑流理论为基础,对堤堰软基土壤剪应力算式进行简化,列出剪应力系数表,并提出应用尤氏塑流理论的方法步骤,其中针对实际堰体断面简化假定,进行算式推导,然后用算例说明应用情况。
6) inferential model
推导模式
1.
This paper, on the basis of the relevance theory, tries to design an inferential model, aiming to describe the mental faculty of the translator in the process of comprehending original works.
以关联理论为参照,尝试建立一种译者原文理解推导模式,探讨译者在翻译理解过程中大脑机制的一般运作状态。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条