论数学中的公理化方法

本文介绍了公理化方法的发展历程,并就公理化方法所表现的形式及存在的优劣性进行了比 较研究。     

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

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

浅谈提高企业员工素质

该文从提高员工的素质是面对新世纪的客观要求、提高员工素质与煤矿企业的、工作机制、社会环境及经济效益的关系、提高员工的素质,要加强对职工的培训、加强对人才工作的管理,防止人才流失四个方面阐述了如何提高企业员工素质,具有一定借鉴意义。     

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

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

从太极拳运动对神经系统的生理效应谈其健身作用

本文通过介绍太极拳运动对神经系统的生理效应，说明了它的健身作用。     

从序列到演化──天体演化学的重要研究方法

提出了从序列到演化方法是天体演化学的一种重要的研究方法．笔者认为该方法不仅适用于天体演化学领域研究天体演化问题，而且可以移植、推广到地质演化学、生物进化论等领域研究地质演化、生物进化等问题．     

拓扑分子格的弱T*分离公理

利用强半开邻域引入和研究了拓扑分子格的弱Ti^*分离公理，这是Ti^*分离公理的推广(i=1，2，3，4)．     

论《致他羞涩的情人》中的“陌生化”

安德鲁·马维尔是玄学派中杰出的代表人物之一,他通过在《致他羞涩的情人》结构上和语言上的"陌生化"手段,成功地为诗歌注入了新鲜血液。"陌生化"是俄国形式主义中的一个概念,是通过不同的文学技巧将熟悉的文学事实变得陌生,唤醒读者去感受生活的生动性和丰富性。马维尔在《致他羞涩的情人》中糅合古典派诗人的说理与浪漫派诗人的言情元素,大胆运用奇思妙喻,在诗歌的结构和语言上打破了传统爱情诗的桎梏,完美地呈现了诗歌主题,极大地丰富了读者的阅读体验。     

LF拓扑空间中T21/2分离公理的几个性质

给出LF拓扑空间中T212分离公理的三条重要性质,即弱同胚不变性、相对可积性和可和性.     

Q-紧性与强T_2分离性

在不分明拓扑学中,紧性是被普遍关心的问题,而且作了较为深入的研究,得到了一系列较好的结果,如文献[1—5],本文目的是在文献[6]中提出的拓扑分子格理论的框架下,首先是借助于完全分配格中元的成分概念把不分明拓扑空间中的Q-紧性概念推广到拓扑分子格中;其次是对于完全分配格中的不可比分子在拓扑分子格中引入了强T_2分离性概念。