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

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

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

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

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

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

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

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

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

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

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

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

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

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

大型转子—滑动轴承系统运动稳定性的研究

首次运用大系统稳定性理论及方法研究了大型转子－滑动轴承系统的稳定性问题。着重于刻划转子－轴承系统稳定性的定性性能及方法学；定义，引入并解释了描述系统稳定性的性能指标及其物理意义；探讨解决机械系统目前常用的一些传统稳定性分析方法难以解决的问题。     

纳米复合材料的光学非线性研究

综述了溶胶－凝胶方法制备的纳米复合材料光学非线性研究的最新结果，重点介绍非线性光学研究的几种主要方法和纳米复合材料的光学非线性性能，以及纳米复合材料的应用前景。最后指出纳米复合材料制备和光学非线性研究的未来发展方向和发展趋势。     

Y—3^#啤酒菌株快速发酵工业性试验结果

经诱变、筛选而得的Ｙ－３＾＃啤酒菌株，其小试，中试结果良好，为验证此菌株是否适应大生产。笔者进行了大生产试验，结果表明Ｙ－３＾＃啤酒菌株对扩大生产适应性强，具有发酵温度高，降糖快、还原双乙酰能力强，酵母凝集性好，发酵周期短，生产的啤酒品质优越等优点，有着良好的推广前景。