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

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

Hadamard不等式的几种新证明

本利用几何算术不等式，矩阵的分解，行列式的性质给出Hadamard不等式几种新颖，简洁的证明。     

虚二次域上不可分的正定Hermite型的构作

本文给出了构作虚二次域ＩＱ（－ｍ）上不可分的正定整Ｈｅｒｍｉｔｅ型的方法．对任意给定的自然数ｎ，ｄ和无平方因子的ｍ，当ｍ３（ｍｏｄ４），除了ｍ＝１时ｎ＝２，ｄ＝１；ｎ＝３，ｄ＝１，３；ｎ＝５，ｄ＝１和ｍ＝２时ｎ＝３，ｄ＝１这５个例外，证明了存在ＩＱ（－ｍ）上不可分的正定整Ｈｅｒｍｉｔｅ格，其秩为ｎ且判别式为ｄ，并给出它们的明确结构．在上述５个例外情形下，不存在具有上述性质的格．     

Y（F4‘）条件与加强形式的停止定理

首次提出了Ｙ（Ｆ４＇）条件，给出了Ｙ（Ｆ４＇）条件的两个等价关系，得到了加强形式的停止定理和强鞅的一个等价关系。     

微球动态涂敷状态实时监测光学系统的设计

 介绍了一种可用于实时监测直径0.2～1.0 mm激光核聚变靶球涂敷状态的光学系统的设计，系统采用环形LED照明系统以适合特殊的照明要求，用Petzval型物镜使500 mm处的微球清晰成像于CCD像面上，CCD输出的图像电信号经图像采集卡转换成数字信号，最后该数字信号由计算机进行处理，实现了系统对靶球膜层涂敷作业的自动监控，大大提高了涂敷效率。所设计的系统轴上点最大弥散斑直径为12.6 mm,轴外最大弥散斑直径为15.8 mm，整个视场的像质比较均匀,分辨率较高，对于波长522 nm的光线，场曲和畸变分别小于15 mm和0.012%，像质优良。     

凸域内单叶函数的导数

设函数f（w）为凸区域D内的单叶解析函数,对于2≤n≤8和所有w∈D,本文得到估计式|f（n）（w）/f＇（w）|的精确上界.这个结果推广了一些已知的结论.     

模型论中的拓扑学方法

本文利用拓扑学方法研究了ω-范畴理论的性质,并对模型个数问题进行了讨论.     

叠压缩型映照不动点迭代算法的收敛速度

本文给出叠压缩型映照不动点迭代算法的四种收敛速度。在(1)和(2)中首次研究了叠收缩映照的不动点定理(本质上是甲φ(t)=af的情况),并用它得到Newton法的半局部收敛性,本文     

3-周期轨道蕴含6831726876986508个85-周期轨道——连续函数中周期轨道数目的下确界

对区间[0,1]上的任一个连续函数f及任m,n≥1,以N(n,f)表示f中的n-周期轨道的数目,令:f是[0,1]上的连续函数且N(m,f)≥1。著名的sarkovskii定理所断言的是:当时N(n,m)≥1。本文则进一步对所有的正整数m及n求出了N(n,m)的准确值的便于计算的分析表达式。