反演原理 meaning in English

inversion principle

Based on the principle of resolution refutation in fl , the inferring process of first order predication logic ( fopl ) is performed and sn inference based on pn is implemented
根据形式逻辑的归结反演原理，本文给出了一阶谓词逻辑的petri网推理的方法，实现了语义网络的petri网推理。
This paper introduced wave impedances and genetic algorithms " research actuality , genetic algorithms " theory elements , and brought forward wave impedances that had been introduced from the genetic algorithms based on discussed algorithm ' s convergence , expounded wave impedances mixed inversion elements based on genetic algorithms
本文在介绍了波阻抗反演和遗传算法的研究现状，并介绍了遗传算法的理论基础，讨论了算法收敛性的基础上，提出了将遗传算法引入波阻抗反演，阐述了基于遗传算法的波阻抗混合反演原理。