关于S—可分空间和S—局部可分空间

本文引进了S－可分空间和S－局部可分空间，并讨论了它们之间的关系及其有关性质。     

高职建筑力学基本知识点、基本能力的定位和评价--兼谈建筑力学教学改革

探讨了具有高职教育特点的建筑力学课程体系的基本知识点和基本能力，并提出了评价原则和方法，同时提供了这种改革的实践过程和初步结果。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

拓扑分子格的弱分离公理

本文是文［１］的继续，我们以Ｑ－远域为工具，首先引入和研究了拓扑分子格的ＳＴｉ分离公理（ｉ＝－１，０，１，２，３，４）。其次我们引入了Ｓ－不定序同态和Ｓ－同胚序同态等概念，给出了它们的若干特征性质。最后我们得到了各种ＳＴｉ分离公理是Ｓ－同胚序同态下保持不变的性质。     

网的收敛与分离公理

用Ｍｏｏｒｅ－Ｓｍｉｔｈ收敛给出了一个拓扑空间分别是Ｔ０，Ｔ１，正则，正规空间的充要条件．     

一类理性化选择函数的展示偏好描述

研究了理性选择函数的展示偏好描述,通过定义局部严格展示偏好,给出了拟传递理性选择函数的展示偏好描述公理,并证明了该公理是选择函数拟传递理性的充要条件,将选择函数的展示偏好描述由完全理性推广到拟传递理性。     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

Planck粒子、磁单极子和亚夸克超对称伴子的相互关联

 用亚规范理论和焦-官亚夸克模型、Nambu模型,唯象地算出亚夸克的质量,发现亚夸克的超对称伴子质量与宇宙大爆炸后磁单极子的质量相等,经强作用修正后,所得结果与Plarck粒子质量仅差一个量级,现时粒子的超对称伴子大质量标度将从m_T≈175 GeV一举延伸到m_pl≈1.22×10¹⁹GeV广大空白区,深化了对宇宙早期物理规律的认识.     

软件测试的一种数学优化方法──由Fokker Planck方程得到的Markov链算法

从数学优化角度对软件测试问题进行探索性研究，将软件测试中的结构测试问题转化为一个组合最优化问题，然后利用Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程的离散形式而得到的Ｍａｒｋｏｖ链为基础的一个算法求解．最后给出了几个测试实例的部分数值结果。