用于可压缩Navier-Stokes方程的多速度级与多能级

构造了用于可压缩Navier Stokes方程的25 bit格子Boltzmann模型, 它具有3个速度级和3个能级. 令其局部平衡态分布函数具有质量、 动量和能量守恒, 同时假设平衡态分布函数满足高阶矩条件, 得到了具有二阶截断误差的可压缩Navier Stokes方程. 数值模拟表明, 所得结果比一阶模型的结果有较高的精度与分辨率.     

一类多点边值问题的算法研究

针对一类拉普拉斯方程多点边值问题的数学计算方法进行了研究,构造出了一类差分格式。对该差分方法进行了误差分析,并给出了数值实验结果。     

Reconstruction of Temperature Field in 3-D, Absorbing, Emitting, and Anisotropically Scattering Medium

IntroductionRecently ,theinvestigation on numerical radiative heattransfer has been focused onthe reconstruction of temperatureprofile in target space according to its boundary heat fluxgained by detectors[1 8], whichis a kind of inverse problemofradiation. Among these investigation, Li HY[1 4]hasresearched on one-di mension or two-di mension rectangular ,spherical or cylindrical medium which is absorbing ,emitting , and isotropically scattering ; Liu LH[5,6]hasresearched on the semitranspar…     

一类矩阵反问题的最小二乘解

讨论了反对称正交对称矩阵反问题的最小二乘解,给出了最小二乘解的一般表达式.作为最小二乘问题的特殊情况-矩阵反问题,得到了有解的充分必要条件,在解存在时给出了解的一般形式.     

一类可分离的非线性0-1背包问题的分枝定界算法

构造出了一类可分离非线性0-1背包问题的分枝定界算法．分枝的过程是酱通的0-1变量分枝，用简单的取整启发式法确定更好的可行解；而在每个分枝结点处用线性松弛技术确定了它的子问题的一个线性规划松弛逼近。由此得到最优值的一个下界．数值结果表明所提出的算法是有效的．可以求解中等规模的问题．     

一类二阶常微分方程边值问题解的存在性

设f:[0,1]×R2→R满足Caratheodory条件,a,b∈L1[0,1],a(·)≥0,b(t)≥0满足0≤∫10a(t)dt＜1,0≤∫10b(t)dt＜1,运用Leray-Schauder原理考虑了边值问题x″(t)=f(t,x(t),x′(t)) e(t),t∈[0,1],x′(0)=∫10b(t)x′(t)dt,x(1)=∫10a(t)x(t)dt解的存在性.     

明代文人书信体文论探究

书信体文论是中国文学批评史上一种重要的文论形式。明代文人书信体文论数量多,内容涉及面广,问题意识突出,形式灵活多变,成为明代众多文学流派传播文学观点的重要途径。对明代文人书信体文论的探究,有助于我们全面把握明代文学理论的发展情况,也是研究中国古代书信体文论发展的重要环节。     

一类非线性抛物方程解的熄灭

讨论了非线性抛物方程初边值问题ut=△u+λ|u|γ-1u-βup,(x,t)∈Ω×(0,+∞),u(x,t)|Ω×(0,+∞)=0,u(x,0)=u0(x),x∈Ω解的渐近性态,给出了解在有限时间熄灭的充分条件.     

全平方数集中的除数问题

令δ(n)表示全平方数的特征函数,d(n)为n的所有除数的个数, θ(n)为n的无平方因子的除数个数.对于和式∑nxδ(n)d(n),∑nxδ(n)θ(n),给出了它们的渐近公式, 进一步改进了前人的结果.     

汽车内部布置概念设计建模

用面向对象分析方法给出了汽车内部布置概念设计对象的层次结构,建立了对象之间面向舒适坐姿的连接依赖关系,并用动态约束网络描述了对象之间的动态约束关系,采用约束满足问题求解策略求得满足约束条件的布置参数.