1) Opposite Propostion
反面命题
2) Inverse problem
反命题
1.
On the basis of the variational principles developed in Ref [1], a finite element method(FEM) is constituted for soluting the inverse problem of 2D unsteady transonic flow around oscillating airfoils, incorporating the non-reflecting far-field boundary conditions and a new unsteady Kutta condition [7] .
以文 [1]提出的二维振荡机翼含激波跨声速非定常绕流IA 型反命题变分原理为基础 ,构建求解IA 型反命题的有限元解法。
2.
[3] to the inverse problem of 2-D transonic rotational flow.
本文以文献［３］所得正命题变分原理为基础，通过对边界项进行变域变分的详细分析，构造出了未知壁面的自然边界条件，推导出了求解反命题的变域变分原理，这些工作为采用有限元求解气动反命题奠定了完密的数学基础。
3.
though the inverse problem is directly oriented to and more useful for aerodynamic design.
非定常流动的反命题迄今在世界文献中尚属空白。
3) quasi-inverse proposition
半反命题
4) contrary propositions
相反命题
5) anti-possible enumerate compatible disjunction proposition
反制析命题
6) variational inverse problem
变分反命题
补充资料：命题
在现代哲学、逻辑学、语言学中，命题（Proposition）是指一个判断的语义，而不是判断本身。当不同的判断具有相同的语义的时候，他们表达相同的命题。例如，雪是白的（汉语）和 Snow is white（英语）是不同的判断，但它们表达的命题是相同的。同一种语言的两个不同的判断也可能表达相同的命题。例如，刚才的命题也可以说成冰的小结晶是白的，当然，这种说法不如上一种说法好。
通常，命题是指闭判断，以区别于开判断，或谓词。在这种情况下，命题不是真的就是假的。哲学学派逻辑实证主义支持这一命题的概念。
一些哲学家，诸如约翰·希尔勒，认为其他形式的语言或行为也判定命题。是非疑问句是对命题真值的询问。道路交通标志不通过语言和文字也表达了命题。使用陈述句也可能给出一个命题而不判定它，例如，在当老师请学生对某个引用发表意见的时候，这个引用就是一个命题（即它有语义）而这个老师并没有判定它。在上一段中，只给出了命题雪是白的，但没有判定它。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条