微分中值问题中辅助函数的构造程式

给出解决微分中值问题时，所需辅助函数的构造程式，并通过实例加以详细解释．所给程式具有一定的可操作性，可帮助学生掌握同类问题解决方案中的规律性．     

基于变分有限元方法的S809翼型的改进设计

翼氆的升力和阻力特性直接影响到叶轮机或机翼的性能,传统风力机翼型的外形是基于经验和半经验的方法得到,本文采用变域变分有限元方法,以NREL S809翼型为原形,通过改进其叶片表面的目标压力分布,进行该翼型的改进设计,并对新设计出的翼型在0°～20°攻角范围内进行CFD数值模拟,得到的结果与原始S809翼型在升阻力系数,...     

具有5个不同素因子的Nicol数数数

通过计算机辅助,利用元素的阶、欧拉函数、因子和函数等数论函数的性质,继续研究了具有5个不同素因子的Nicol数,证明了具有5个不同素因子的Nicol数只能是3-Nicol数和4-Nicol数.     

基于公式真度的公式集约简

基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。     

Lebesgue积分的产生和意义

论述Lebesgue积分产生的背景和思想形成过程，重点介绍直观、想象、类比、猜测等思维形式在Lebesgue积分产生过程中所发挥的作用．     

《一类三角形中的最值问题》的一点修正

文[1]讨论了一类三角形中的6个最值问题,其中的第5个问题是: 设a>0,b>0,即点P(a,b)是第一象限内的一点.过P的直线与x轴的正半轴,y轴的正半轴分别交于点A,B,试问:△AOB的所有内切圆中,有没有直径最大(小)的内切圆?     

复合函数极限的应用

利用复合函数极限的运算法则给出收敛数列与其子列的关系、海涅定理以及数列重排的另一种证明,把三个重要的定理归结为复合函数极限的应用,将大学数学里三个重要但理解起来相对困难的定理纳入统一简单的框架.     

解析二次函数的零点分布问题

已知二次函数的零点分布，求参数范围问题是函数与方程的重要应用问题，也是高考中的热点题型．一般情况下，可通过画函数图象、判断特殊点的函数值的情况，布列不等式（组）来解决问题，请看题例分析．     

SUPERCONVERGENCE OF A DISCONTINUOUS GALERKIN METHOD FOR FIRST-ORDER LINEAR DELAY DIFFERENTIAL EQUATIONS

This paper deals with the discontinuous Galerkin (DG) methods for delay differential equations.By an orthogonal analysis in each element,the superconvergence re...     

On almost sure max-limit theorems of complete and incomplete samples from stationary sequences

Let M _n denote the partial maximum of a strictly stationary sequence (X _n ). Suppose that some of the random variables of (X _n ) can be observed and let [(M)\tilde]_n\tilde M_n stand for the maximum of observed random variables from the set {X ₁, ..., X _n }. In this paper, the almost sure limit theorems related to random vector ([(M)\tilde]_n\tilde M_n , M _n ) are considered in terms of i.i.d. case. The related results are also extended to weakly dependent stationary Gaussian sequence as its covariance function satisfies some regular conditions.