耦合Gross-Pitaevskii方程的高效保质量守恒格式

该文为耦合Gross-Pitaevskii方程提出了一个新的保质量守恒格式.首先对空间导数利用高阶紧致格式离散得到半离散格式;然后在时间方向上利用基于外推的Crank-Nicolson格式离散,得到一个半显式的数值格式,然而此格式不能保持GP方程固有的质量守恒,因此,对格式得到的数值解利用投影方法进行修正,使其满足离散质量守恒;最后通过数值实验验证了该格式具有高精度以及保持质量守恒.     

活动边界抛物型方程迎风差分格式

对在一给定的依赖于时间的区域上的三维线性抛物型方程,给出显式和隐式迎风差分格式及修正的迎风格式,证明了差分格式在最大模意义下的稳定性和收敛性。     

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

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

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

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

线性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网格法(单过渡点法)的收敛阶．