1) inverse implication
反若则命题
2) positive proposition
正则命题
4) statement law
命题法则
5) 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.
非定常流动的反命题迄今在世界文献中尚属空白。
6) quasi-inverse proposition
半反命题
补充资料：正命题演算
正命题演算
positive prepositional calculus
正命题演算l即sidve碑o卯51如.1 calodlls;u03I.T”BH0e.P0no3皿”班0”幼‘noe加c，.c月enl.e) 在语言{%26，V，。}中的一种命题演算(pro-p优itional caculus)，由八条公理: A。(B〕A)， (A〕(B“C))“((A OB)“(A OC))， A浅B OA，A浅B OB，A，(B OA%26B)， A 0 A VB，BOAVB， (A习C)。((B习C)。(A VB)，C)，和分离法则(m以lus pone朋)来描述.这种演算包含直觉主义演算I(见直觉主义(泊t山tjo血爪”中不依赖于否定的部分:任何不含，(否定)的命题公式在正命题演算中是可推出的，当_且仅当它在I中可推出.在正命题演算中加人以下两条公理模式便得到演算L 1)二A“(AOB)(前项否定律)(antecedent优即〔确law)， 2)(A。B)。“A。门B)。，A)(归谬律(re-ductio ad absurduln hw)). 为导出I，代替2)可以采用较弱的模式: 2‘)(A匀门A)”，A(部分归谬律)(bw of par-tjal代duetio ad absurd切m). 亦见蕴涵命题演算(如pli ca石ve propositionalcal-culus).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条