有限链上逻辑算子的分配性方程求解

主要讨论有限链L上的分配性方程F（ G1（ x，y），z）＝G2（ F（ x，z），F（ y，z））。分别针对以下情况对上述分配性方程的解进行特征刻画：（a） F为光滑三角模，G1＝G2为光滑三角余模（F为光滑三角余模，G1＝G2为光滑三角模）；（b）F为S-蕴涵（或R-蕴涵），G1为光滑三角模且G2为光滑三角余模；（c） F为S-蕴涵（或R-蕴涵），G1为光滑三角余模且G2为光滑三角模；（d） F为S-蕴涵（或R-蕴涵），G1和G2均为光滑三角模；（e） F为S-蕴涵（或R-蕴涵），G1和G2均为光滑三角余模。     

高k栅MOSFET栅–源/漏寄生电容的半解析模型

文章针对高k栅MOSFET的栅介质层及其侧壁掩蔽层提出了一个二维定解问题,求出了二维电势和电荷分布.文章根据栅极电荷与栅源及栅漏电压关系,提出了MOSFET的栅极和源极/漏极之间的寄生电容的模型,用半解析法计算了这些寄生电容,得到了寄生电容与几何尺寸之间的关系.文章的计算结果表明改变栅极电介质常数可以得到一个寄生电容的最小值,计算结果与CST仿真结果能够很好地符合.     

基于微观PNP多离子运移模型的多孔介质曲率系数分析

采用数值分析研究多孔介质的曲率系数.应用微观Poisson-Nernst-Planck多离子运移模型描述离子在微观多孔介质孔隙中的运移,通过空间体积平均获得曲率系数.以NaCl盐溶液在黏土中的扩散试验为例,建立数值分析模型,分析了微观结构、离子种类、背景浓度、颗粒表面电荷密度等对曲率系数的影响.研究表明:不考虑电场作用...     

电子封装热应力数值分析

针对目前电子封装的封装密度越来越高、封装厚度越来越薄、封装体在基板上所占面积越来越大,发热引起的失效越来越严重等问题,以晶体管瞬态热应力分析为例,建立热力耦合力学模型.利用ansys研究电子封装热失效问题,得到温度场、应力场和变彤场的分布规律.温度和应力的主要规律包括两点,一是温度和应力都在角点处变化明显,应力比较集中.温度从上到下逐层变化,逐渐减小,并且层与层之间温度变化不大,模型中间部分温度层厚度几乎相同,下半部分同一温度层有规律的变化.二是当温度较高时,在受约束面上和角点处应力值较大,并且在模型的角点和中部出现应力集中现象.     

一类非线性拟双曲方程Hermite型有限元分析

利用有限元方法研究一类广泛的非线性广义神经传播方程.首先,讨论其在半离散格式下解的收敛性;其次,利用插值算子与Ritz-Volterra投影相一致的特殊性质得到了解的超逼近性质;最后,通过构造一个插值后处理算子导出了解的整体超收敛结果.     

求解广义混合平衡问题组的迭代算法

在实Hilbert空间中引入和研究了包含非单调集值映象的一类新的广义混合平衡问题组的迭代算法,研究了广义Wiener-Hopf方程问题组,证明了它与广义混合平衡问题组的等价性.利用广义Wiener-Hopf方程问题组的不动点形式,提出和分析了求解广义混合平衡问题组的新的迭代算法.在此基础上,还证明了由算法生成的迭代序列强收敛于广义混合平衡问题组的解.得到的结果是新的,并且统一和推广了这一领域的最近结果.     

渗流方程反问题解的存在唯一性及稳定性

讨论渗流方程反演未知系数的反问题.利用正则化方法证明常系数反问题解的存在唯一性及其关于初始条件和附加条件的稳定性,并利用变分迭代法证明变系数反问题解的存在性.     

线性Schrdinger方程的两个时间分裂差分格式

针对物理问题中常常需要求解一类线性Schrdinger方程的问题,本文中提出两个构造简单、精度高、便于计算的时间分裂差分格式.用方程的平面波解证明两个格式的精度都为O(τ2+h2),并用线性化的分析方法证明两个格式的稳定性和收敛性.数值实验表明,在计算量较大的情况下,要保证相当的精度,提出的两个格式可以有效地节省计算时间.     

一维等熵Navier-Stokes方程的泛函分离变量解

研究了刻画一维空间中等熵可压流体运动规律的Navier-Stokes方程的泛函分离变量解.利用微分及分裂的方法把泛函微分方程简化为标准的双线性泛函方程并求解此泛函方程,建立了一维等熵Navier-Stokes方程的几类泛函分离变量解.     

Poisson方程各向异性一阶混合元格式

研究了Poisson方程在各向异性网格下的一阶混合元格式，在不引入传统投影算子的情况下，直接利用插值技巧得到了与以往文献相同的误差估计．