叶栅全三维粘性反问题的数值解

本文发展了一种解叶栅全三维粘性反问题的新的数值方法.基于非正交曲线坐标与相应的非正交速度分量下完全守恒型的Navier－Stokes方程,全三维反问题规定叶片表面的无量纲压力分布反求叶型。计算中叶片表面的边界条件采用一种特殊的方式来处理，即一方面强加给定的压力分布条件,另方面叶面的几何位置在迭代过程中又是可移动的，其移动速度将与Navier—Stokes方程在当地的解联系起来，从而形成一种解定常问题的新的不定常过程.试算证明了本文方法的可行性。     

一类具有奇异系数的弱双曲型方程的解的可微性及渐近性

本文讨论如下形式的方程((?)/(?)~t-it~ρD_x)(?)/(?)~t+it~ρD_x+(α+β)/t~α)u+α/t~α-(?)/(?)~t+α(α+β)/t~(2α)u=f(t,x) (1)x∈R~n,00,α≥1的常数。α及β也是常数。方程在 t=O 有重特征。而低阶项的系数正好在 t=0 有奇异性。我们在方程的低阶项符合一定条件,且方程的特征根的重数与低阶项的奇异性的阶数满足一定关系时,给出了方程(1)的解的唯一性与可微性定理。并讨论了当 t→+0 时,解的渐近性态。     

一组积分方程的准确解

本文求出了其核含有参数及任意函数的一组积分方程的准确解,并初步讨论了解的性质。     

线性规划问题的矩阵求解方法

单纯形法是求解线性规划问题的基本方法。它的解题思路是,先求一个可行解,经过检验如果不是最优解,则从这个可行解转换到另一个可行解。若后者仍不是最优解,再重复上述     

一般两速离散lllner模型的1＋1维精确解

ｌｌｌｎｅｒ模型是最一般的Ｂｏｌｔｚｍａｎｎ方程的两速模型，它包括Ｃａｒｌｅｍａｎ模型和ＭｃＫｅａｎ模型作为两种特殊情形。离散ｌｌｌｎｅｒ模型１＋１维精确能够以一种简洁的方式进行研究，前人的结论需要修正。我们得到了一类新的１＋１维精确解，这给出了研究类似的离散Ｂｏｌｚｍａｎｎ方程精确行波解的一般方法。     

93型精密控温煮解电炉介绍

93型精密控温煮解电炉,采用了大型集成化电路设计方法,对化学分析加热控温煮解过程进行数字直观显示。它集于国内外化学分析不同加热煮解类设备功能于一体,填补了化学分析由室温～600℃加热连续自动精密控温煮解技术一项空白。和分析方法密切配合,为实现化学分析质量登上准、稳、快、省全新台阶和分析技术工作效率长足发展提供了一个理想的工具。     

一类常微分方程组的紧支撑样条小波方法探讨

应用三次紧支撑样条小波插值函数得到了求一类常微分方程组数值解的隐式公式,并求得到其局部截断误差为O(-h5).在此基础上给出1个显式校正求解公式,并讨论得到其局部截断误差为O(-h4).     

广义分解定理与两个不等式

本文给出了Banach空间广义分解定理的一个初等证明,并利用它来证明两个对称不等式.这是首次在Banach空间获得这样的不等式.     

一类两点边值问题的多重非负解

该文考虑两点边值问题[1/q(t)][q(t)y′(t)]′+p(t)f(y(t))= 0,λ_1 y(α)-λ_2y′(α)=0 and y(β)=B非负解的存在性, 其中p(t)可能在t=α或t=β附近具有奇异性, f(0)≥0, lim_(y→+∞)f(y)/y=+∞, 并且存在y>0, 使得f(y)<0.      

非线性椭圆方程自由边值问题球对称解的存在性

给出了如下的非线性椭圆方程自由边值问题-Δu=λu+(1+ε)u+p,x∈B Rn,u|Ω=μ,∫Ωnu=-M(1)在C[0,1]中的球对称解的存在性.并得到比上述问题更一般的非线性椭圆方程自由边值问题-Δu=h(u),x∈B Rn,u|Ω=μ,∫Ωun=-M,在C[0,1]中的球对称解的存在性,其中B为Rn中的单位球,p>1,λ>0,μ<0,M>0,ε>0;λ,μ,M,ε均为常数,n为正整数.