解色散方程的二层隐式差分格式

解色散方程的二层隐式差分格式李小平（数学系）不少科技问题涉及波的输运,色散是输运过程中重要的物理现象．文［１］指出,在构造其差分格式时,在一定程度上可将描述孤波的ｋｄｖ方程ｕｔ＋ｕｕｘ＋ｕｘｘｘ＝０看成是拟线性双曲型方程ｕｔ＋ｂｕｕｘ＝０与色散方程ｕ...     

抛物型方程的一个新的高精度显格式

本文给出了解抛物型方程的一个新的显式差分格式,截断误差达０（Δｔ３＋Δｘ４）,是同类的显格式中精度最高的．     

线性Sobolev方程的半离散H1-Galerkin混合有限元分析

给出了线性Sobolev方程初边值问题的半离散H^1-Galerkin混合有限元格式，通过误差分析，得到了未知函数的L^2模和梯度函数的散度空间模的最优阶误差估计。     

Cache中TLB的设计及优化

当今微处理器的设计中，为了加快虚拟地址向物理地址转换的速度，通常使用地址转换后备缓冲器TLB(translation lookaside buffer)来加快地址转化的速度．本论基于逆向设计，提出了一种可行的TLB结构，可完成地址转换的功能，并从硬件上支持了不同大小的页表格式．此外，通过引入DVS技术将TLB存储单元中的漏电功耗减少90％以上．     

基于提升格式的双正交小波构造

介绍了提升格式的基本原理，采用插值细分方法设计了提升格式的预测算子，根据信号变换前后消失矩保持不变的要求设计更新算子，构造了一组不同消失矩的双正交小波的尺度函数和等消失矩的小波函数。通过设计不同的预测算子和更新算子，可以得到具有不同的正则性、光滑性、消失矩等特性的小波函数，这为根据被处理信号的特征灵活地构造相应的小波函数及提高信号处理的质量和效率提供了一种简单实用的方法。     

复杂外形火箭导弹三维绕流与喷流干扰流场的数值模拟

该文基于雷诺平均三维Navier-Stokees方程及k—ε模型，采用高精度的有限体积TVD格式以及多重网格Runge-Kutta时间推进算法对在超声速有攻角条件下带尾翼／弹翼的弹箭绕流与喷流干扰流场进行了数值模拟。获得了绕流和喷流相互干扰的波系结构，以及弹翼与尾翼、弹翼／尾翼与弹体相互作用的复杂流场，分析其流动现象，揭示了流动规律，为火箭导弹合理的气动布局提供依据。     

带有小参数和不连续源项的反应--扩散问题的多过渡点格式

在许多应用领域常出现带有小参数和不连续源项的反应一扩散问题．这类问题在边界层和内部层附近都出现剧烈振荡现象，解析解根本无法求出．因此人们常采用关于摄动参数为一致收敛的数值方法．本介绍了多过渡点方法，此方法根据边界层和内部层的特点，选择合适的过渡点．在内部层和边界层附近加细了网格点。它很好地拟合了边界层和内部层的性质．证明了新的格式关于小参数一阶一致收敛．提高了Shishkin网格法(单过渡点法)的收敛阶．     

求解二维扩散方程的加权平均隐式多重网格方法

提出了数值求解二维扩散方程两种精度分别为O(τ^2 h^2)和O(τ^2 h^4)的无条件稳定的加权平均隐格式，并采用多重网格方法进行求解，从而克服了传统迭代法在求解隐格式时收敛速度慢的缺陷，提高了求解效率．数值实验验证了该方法的精确性和可靠性．     

三维水动力学模型高精度差分格式和解法研究

采用高精度差分格式对三维水动力学问题的时均化Navier-Stokes方程进行了数值模拟，进而采用广义共轭剩余法（GCR方法）求解压力泊松方程，并采用显式三级二阶Runge-Kutts格式模拟了时间步进过程。傅立叶分析表明，文中所采用的三阶迎风紧致差分格式具有较高的精度，数值实验进一步验证了上述数值模型的准确性和有效性。     

抛物型方程差分格式的稳定性分析

分析了判别抛物型方程差分格式稳定性的方法 ,并对一维热传导方程差分格式的稳定性进行探讨。