粘性／非粘性方程有限元和谱方法混合逼近

讨论有粘性和无粘性Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程有限元和谱方法混合逼近问题，弱交面匹配关系被应用。收敛估计显示有限元精度和谱精度可在各自的子区域中得到。     

600吨级深V型多功能警备船概念设计

由于深Ｖ型的船体特征，耐波怀明显优于一般船型、使船艇在较高海况下，可使用武器系统，增强了船艇在恶劣海况的战斗力。由于可提供较大的甲板面积，同时相上层建筑的面积，使隐蔽性更民备直升机、导弹、火炮、可使该船明显增强，作战手段同铎舰增至空对舰，使该船成为多功能船艇，小型舰艇具备了中型船艇的功能，通过以深Ｖ船型的概念设计，本文对其主要要素、船型、航海性能和战斗性能作了分析和计算。     

关于Y.Yajima的一个定理

本定义了次ｐｒｅｏｒｔｈｏ－紧性，证明了一个空间Ｘ是次亚紧的当且仅当乘积Ｘ×βＸ是次ｐｒｅｏｒｇｈｏ－紧 的，这改进了Ｙ．Ｙａｊｉｍａ近来的一个定理。     

判别线性不等式组相容性的ALN法

本文将ＡＢＳ算法应用到线性不等式组上．给出了一种判别ＡＸ＜０的相容性的方法．     

Krylov子空间投影法研究进展

Ｋｒｙｌｏｖ子空间投影法是一类非常有效的大型稀疏线性代数方程组解法，已被广泛应用于各种领域，随着左右空间Ｌｍ，Ｋｍ的不同取法可以得到许多人们熟知的方法．本文按矩阵Ｈｍ的不同类型，即为上Ｈｅｓｓｅｎｂｅｒｙ阵还是三对角阵将Ｋｒｙｌｏｖ子空间投影法分成两大类，从每步迭代是否具有最优性和方法的存储量、计算量等方面对Ｋｒｙｌｏｖ子空间法及其最新进展进行评述，指出Ｋｒｙｌｏｖ子空间法的局限及今后的研究方向．     

BCK—代数的原子与极大元

本文给出了BCK一代数X存在非零原子及存在极大元的充要条件，同时利用子代数aX及高截段H（a)，给出了有限BCK-代数的乘法表的结构。