有效介质理论与金属—陶瓷复合材料PTC效应

用有效介质理论对金属－陶瓷复合材料的ＰＴＣ效应进行定量分析。通过将ＧＥＭ方程应用于金属－陶瓷二相复合系统的电导率分析，发现所得到的方程与实验结果及有关工作基本相符。从而探明了提高金属－陶瓷复合材料的ＰＴＣ效应的有效途径。     

多孔介质微波冷冻干燥的升华—冷凝理论

本文分析了非饱和含湿多孔介质微波冷冻干燥的物理过程，提出了一个更适合于实际情况的升华－冷凝物理模型，导出了相应的传热传质微分方程组。模型中考虑了升华冷凝区内由于蒸汽迁移造成的含湿量重新分布及其对热质传递的影响。     

lω1ω的一个子逻辑系统及其特征

给出了ｌω１ω的一个子逻辑系统ｌ＇ω１ω，并在其上初步讨论了一些重要的模型论性质，给出了ｌ＇ω１ω的一个特征。主要结果是：如果ｌ是一强于ｌ＇ω１ω的可有限分离的正规逻辑系统，且在ｌ上ＬＳＴ定理和ω１－紧致性定理成立，则ｌ与ｌ＇ω１ω等价。     

序列空间lp（Xn）中的两个提升问题

主要讨论了序列空间ｌｐ（Ｘｎ）中的性质提升问题。证明了：（１）性质（ｕ）可以提升到ｌｐ（Ｘ）（１≤ｐ〈＋∞）上；（２）弱Ｂａｎａｃｈ－Ｓａｋｓ性质可以提升到Ｌ１（Ｘｎ）上。     

寻求离散变量结构优化设计0—1规划可行集的差商向量法

利用相对差商向量法寻求离散变量结构优化设计０－１规划模型原变量可行集。本法是按各设计变量相对差商的负方向搜索设计变量的”可行基点“，依此求得与０－１规划盯对应的原设计变量的可行集；目的是使”可行基点“更好地逼近最优解，以减少优化过程的迭代次数，提高计算效率。     

结合2—分次环的模及Jacobson根

定义了结合２－分次环的模，并由模定义了结合２－分次环的Ｊａｃｏｂｓｏｎ根，证明了这个Ｊａｃｏｂｓｏｎ根和Ａ．Ｓｕｌｉｎｓｋｉ的定义是一致的，并且给出了Ｊａｃｏｂｓｏｎ半单的结合２－分次环的结构及Ｊａｃｏｂｓｏｎ根的模论特征。     

SrTiO3基多功能陶瓷的晶界结构与晶界能

用高分辨透射电子显微镜（ＨＲＥＭ）观察和分析了ＳｒＴｉＯ３陶瓷中洁净晶界的结构，提出了晶界处原子排布模型，用弹性位错理论推出了描述晶界能与晶粒间失配角关系的方程。晶界能由晶界核心能和伴有晶界应变场的弹性位错能组成，通过对［郾１］和［１１０］倾斜晶界晶界能的模拟，证实了该模型的可行性。     

Navier—Stokes方程的非线性Galerkin方法和Crank—Nicolson逼近

研究二维非定常的Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的初边值问题，并且给出了数值求解Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的一种新的全离散化格式，这种格式在于将空间变量离散的非线性Ｇａｌｅｒｋｉｎ有限元方法和时间变量离散的Ｃｒａｎｋ－Ｎｉｃｏｌｓｏｎ逼近结合起来，此外，对应于这种格式的逼近解的收敛精度给予了证明。     

不可压缩流体的区域分裂算法

给出了定常不可压Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的区域分裂算法；并借助于一个等价问题的泛函的严格凸性质以及无散度Ｈｉｌｂｅｒｔ空间和分解等技巧，证明了算法的收敛性。有关数值算例表明该算法是有效的。