二维跨声速有旋流动反命题的赝势函数变分原理

本文以文献［３］所得正命题变分原理为基础，通过对边界项进行变域变分的详细分析，构造出了未知壁面的自然边界条件，推导出了求解反命题的变域变分原理，这些工作为采用有限元求解气动反命题奠定了完密的数学基础。

二维机翼非定常气动力学反命题的变分理论

非定常流动的反命题迄今在世界文献中尚属空白。本文首次对它进行探讨，就二维振荡机翼的非定常气动力学反命题的适当提法及其数学模型作了较深入的研究，利用变城变分工具成功地建立了相应的变分原理及广义变分原理。

跨声速平面叶栅多工况点反命题变分理论:人工来流振荡模型

本文首先提出一个新的‘人工来流振荡’模型，在此基础上建立了跨声速叶栅多工况点气动反命题的变域变分理论，可以保证叶栅在相当广阔的变工况范围内都能保持优良的运行特性。本理论的突出优点是可较直捷地推广到全三维流动和有旋流动中去，因而具有广阔的发展与应用前景。

离心叶轮的半反命题设计

针对准三元反命题设计方法中不易给出合理的rVθ子午流面分布问题，本文在用流线曲率法进行半反命题设计的基础上，考虑了一定的气动力学条件，通过求解方程得到rVθ子午流面分布的方法，编制了准三元反命题设计程序，并给出了一个离心叶轮气动设计算例，计算结果表明了本文程序的可行性和合理性．

求解流线曲率法反命题的一种新型有限差分方法

针对全三元离心叶轮流线曲率法反命题设计,提出了一种求解S2m流面速度梯度方程的新型有限差分解法。该方法将相对速度沿准正交线的方向导数采用前向差分格式,将相对速度沿流线的方向导数分解为两项,一项采用前向差分,另一项采用后向差分格式,其他各参量沿准正交线或流线的方向导数统一采用前向差分格式。这样便解决了简单采用前向差分格式或后向差分格式难以保证求解速度场的矩阵主对角线元素占优问题,使求解格式具有较强的稳定性和收敛性。新型有限差分求解方法应用于Krain叶轮的改型设计,经计算流体动力学(CFD)分析得,改型叶轮效率提高约0.3%,压比提高约0.2,表明利用新型有限差分法求解S2m流面速度梯度方程是可行的。

矩函数及其在旋成面叶栅气动反命题及杂交命题中的应用

本文首先对旋转的任意旋成面上的理想可压缩流动引入一新通用函数——矩函数,并论证它的主要性质,接着将它推广到粘性气体的情况。然后,提出一个基于矩函数的旋成面叶栅气动反命题及A型杂交命题的通用解法。研究表明,矩函数对求解杂交命题(反命题是其特例)和跨声速流动具有明显的优越性。

流体力学反命题变分有限元非线性规划法

本文在用有限元法求解变域问题时,利用变域变分公式将问题化为求泛函的驻值,但该驻值常常是一个鞍点,因此给计算带来不便,我们在这里利用最小二乘法将求驻值的问题转化为求另一泛函的极值问题,然后采用LMF方法和共轭梯度法求解极值问题。

轴流式叶轮机S_2流面半反命题不可压流动的局部线性化有限元法

为探索局部线性化的有限元法在轴流式叶轮机S2流面半反命题不可压气动流场中的应用,使用八节点曲四边形等参元,通过通常的变分有限元法,计算了轴流式叶轮机S2流面半反命题的气动流场,同样,使用局部线性化有限元法也计算了该流场.两种计算结果一致,并且和实验结果符合较好,但后者的计算时间明显减少,储存量有所增加,计算过程的收敛性是好的.

极限存在准则及其反命题

主要讨论了几种极限存在的准则及其反命题的用法,方便地解决了有关极限不存在问题的论证.

机翼跨声速非定常绕流I_A型反命题变域变分有限元解

以文 [1]提出的二维振荡机翼含激波跨声速非定常绕流IA 型反命题变分原理为基础 ,构建求解IA 型反命题的有限元解法。构造了三维时空可变节点有限元来捕获自由尾涡面和翼面几何形状 ,跨声速流中的激波用人工密度法捕获。在远场边界上采用简化的无反射边界条件 ,新型非定常Kutta条件被用于处理尾缘条件。用该方法 ,根据翼型跨声速非定常绕流翼面压力分布求解IA 型反命题 ,得到了NACA6 4A0 10翼型的几何形状 ,计算结果令人满意。

旋成面叶栅气动反命题的新解法（Ⅱ）

本文利用映象平面ξ－η的特点，将旋成面叶栅气动正命题的微分—积分解法与叶型修正的“喷气模型”结合，建立了一种适用于旋成面叶栅气动反命题的新解法。叶片表面给定的气动参数分布作为反命题的边界条件，在求解过程中直接得到满足。通过对一例实际透平叶型的计算验证了本文解法的可靠性和实用性。

轴流通风机的正反命题设计计算

从轴流通风机的反命题设计问题入手,提出了一种新型的叶片型面方程,由此建立了叶型结构与气动参数的相互关系;然后推导出基于实际工况下的轴流通风机气动计算公式,并应用于正命题计算。应用该方法,对大型变压器冷却风机进行了设计,设计计算结果符合设计要求,证实了正命题计算与反命题设计之间具有一致性。

适用于纯物质流体工质S_2流面半反命题和A型杂交命题的变分原理族

文献[2]建立了轴流式叶轮机S_2流面半反命题、A型杂交命题的变分原理族。文献[1]在此基础上提出混流式叶轮机S_2流面半反命题和A型杂交命题的变分原理族,避免混流式中可能出现解的不确定性及分区处理的麻烦。但这些文章中所提出的变分原理均只适用于完全气体工质,使这些变分原理的应用受到一定的限制。例如对水蒸汽及氟里昂等工质,在某些极限工况下,如果再以完全气体的模型求解,会与实际情况相差较大。本文提出可将以上各变分原理推广至纯物质流体工质,从而使这些变分原理具有较强的适应性。

混流式水力机械S_2流面半反命题的变分原理

为了对混流(包括轴流和径流)式水力机械转轮内的三元流动进行分析,本文用分区组合法和坐标旋转法分别建立了混流式S_2流面不可压缩流动半反命题的组合式变分原理和统一的变分原理。

用反命题解题

用反命题解题不仅是更好的理解命题的需要，而且是许多情况下解题的需要，本文给出了由正命题构造反命题的方法步骤，以及用反命题解题的注意事项和范例。

关于点对点的新式英语科学备考模式的反命题策略研究

本文提出了一种完全通过互联网大数据与人工智能技术实现的新式反命题英语科学备考模式。它主要通过教师端直接在线上发起,并将备考信息和资源以直播形式传输给学生端,中间不需要经过任何多余的环节。该模式主要依赖智能学习平台、智慧教育平台、线上直播平台这三种媒介,通过教师传授一系列反命题策略帮助学生完成备考,具有做题速度快、准确率高、记忆内容少等特点。同时,这一模式需要的基础设施投入成本较少,可以极大地压缩备考成本。

数学命题的否定及应用

命题的否定在数学概念的理解与学习、数学命题的证明与反驳中都有重要的应用,本文介绍了命题的否定的概念、法则,并举例说明其在数学分析学习中的应用。

理解与“命题主义”

"命题主义"指的是,所有的意向性的心理关系--所有的意向态度--都与命题或某种命题式的东西相关。它是近些年来在心灵哲学以及知识论中新出现的一个概念,并逐渐受到哲学家们越来越多的关注。对命题主义提出的质疑集中表现在认为并非所有的态度都是命题态度,并且所有态度的对象也并非都是命题性的。反命题主义者将"对象"与"命题"区分开来,使它们分别成为理解的不同对象。不过这样的可能性并不存在。虽然对于理解而言,它同"相信"一样也可以是"对象态度"的,亦即它可以仅仅涉及对象,而不必是命题。但不论是对于个别对象的理解,还是对于某个"主题"的理解,它们最终是需要展现为命题的,因而命题式的理解是理解的最终归宿。尽管深究起来,也存在着一些非命题性的理解,不过它们并非属于上述意义上的"对象性"的知识,而是由于它们的特殊表达方式使然,诸如庄子的寓言、禅宗的偈语等。

析取命题与制析命题

纯真值的析取命题与不相容析取命题的真值取决于其肢命题的真值,是其肢命题的真值的真值函数,都具有第一依赖性,其真值表就是铁证。而非纯真值的制析命题、反制析命题和不制析命题的真值不是其肢命题的真值的真值函数,可由非纯真值的充分条件假言联结(制约)词"若,则"来刻划,因而具有第一独立性,有时具有两个独立性。