三维热传导型半导体器件瞬态模拟问题的Crank—Nicolson差分—流线扩散有限元法及其数值分析

本文研究三维热传导型半导体器件瞬态模拟问题的数值方法。针对数学模型中各方程不同的特点，分别提出不同的有限元格式。特别针对浓度方程组是对流为主扩散问题的特点，使用Crank-Nicolson差分-流线扩散计算格式，提高了数值解的稳定性。得到的L^2误差估计关于空间剖分步长是拟最优的，关于时间步长具有二阶精度。     

周期势场中定向扩散流的蒙特卡罗计算

提出一种稳定和精确的坐标变换和闭合积分方法，用以求解描述周期势场中布朗粒子作定向运动的乘性朗之万方程。     

浅水中污染物扩散的自适应有限元分析法

介绍浅水中污染物扩散分析中的有限元法.分析包括两个部分:1)流场速度、水面高度的计算;2)根据扩散模型计算污染物浓度场.联合使用了自适应网格技术以期提高解的精度,同时减少计算时间和计算机内存的消耗.通过几个有已知解的实例验证了有限元公式和计算机程序.最后,使用这种联合方法分析泰国Chao Phraya河附近海湾中的污染物扩散.     

三种群食物链交错扩散模型的整体

本文应用能量估计方法和Gagliardo-Nirenberg型不等式证明了一类强耦合反应扩散系统整体解的存在性和一致有界性，该系统是带自扩散和交错扩散项的三种群Lotka-Volterra食物链模型．通过构造Lyapunov函数给出了该模型正平衡点全局渐近稳定的充分条件．     

一类广义Bent型S-Box的构造

S-box是密码理论与实践中十分重要的一种装置 ,它的密码性能由其分量函数所决定 .于是 ,选择适当的分量函数来构造 S-box就成了一个重要的研究课题 .在一定意义上 ,Bent函数是最优良的密码函数 .本文通过函数序列半群和置换群来构造其任何非零线性组合为 Bent函数与线性函数之和的函数组 ,从而可由 Bent函数构造出具有高度非线性度和其他良好性状的 S-box     

斜孔气膜冷却数值模拟分析

本文通过数值模拟分析圆柱孔和扩散孔的单斜孔气膜冷却特性,考察复合角、孔型和吹风比对流场和气膜冷却效果的影响。结果表明,复合角的引入使气膜侧向分布更宽,但冷却效果沿主流方向衰减更快。适中吹风比得到的气膜能更有效的保护壁面。在相同吹风比和复合角条件下,扩散孔的气膜冷却效率比圆柱孔更好,且冷却更为均匀持久。     

一类非牛顿渗流方程爆破界的估计

本文利用拟线性常微分方程解的非存在性定理得到了一类拟线性反应扩散方程(非牛顿渗流方程)爆破界的估计,从而推广了半线性反应扩散方程(牛顿渗流方程)相应结果.     

一类非定常对流占优扩散问题差分-流线扩散法的后处理

讨论了一类非定常对流占优扩散方程的差分-流线扩散格式(FDSD),利用插值后处理技术,提高了特殊网格下该FDSD格式在双线性元空间的精度,从而按L∞(L2(Ω) 模达到最优．