半环及其强半模

提出半环、半模、余关系等概念，给出了半模的子半模关系之间的对应关系，并由余关系导出强半模和单半模的概念，得到半环和，研究半模的同构及余关系对应定理、Schur引理以及半模是单半模和半模的子半模是单半模的充分必要条件。     

可满足性问题的充分必要条件

可满足性问题是计算机和人工智能领域内的一个重要的问题,是第一个被证明是NPC的问题。本文主要把子句集进行分类,给出翻转定义、简单集定义,翻转同构定义,并且证明翻转同构不改变子句集的可满足性。论文证明了可满足子句集的三个充要条件。并且这些充要条件可以用于判断可满足问题的完全搜索和不完全搜索算法。     

Lebesgue积分的各种等价定义

本文收集了国内外有关著作中Lebesguc积分的九种定义方式,并证明了它们彼此的等价性。     

参变量三次自然样条插值

本文提出三次自然样条插值问题的参变量形式,导出其表达式及计算格式,并给出四个数值算例.此算法简单,稳定,在微型电脑上容易实现.     

寻边问题

本文的目的是求有限、简单、非定向图的复杂性,即寻找图中一条未知边所必须的检查次数。文章给出了求复杂性的一般公式,从而大大简化了求复杂性的计算。     

高斯整数环Z[i]关于主理想(p+qi)剩余类环Z[i]/(p+qi)

本文讨论了高斯整数环关于某主理想的剩余类环,得到了这种剩余类环全部不相等元的个数,从而它的结构已完全清楚。     

中国古代历法中之朔望月常数的选择

考查了历史上各部现存古历的日法，分析并归纳了它们的特征，结果表明，在诸多前人富有意义的研究成果当中，均不能完全吻合日法的这些特征。根据日法的这种特殊现象，设计了一种新的算法，通过求解一个同余式，将各个日法逐一解出。由此推断，此一算法应是中国古代历算家曾经用来选择其历取朔望月常数的普遍法则。     

元素周期表录像片的设计和制作

运用多媒体电化教学手段，借助Ｓ－ＶＨＳ型摄像机，ＢＶＥ－８００编辑机及带编辑功能的ＢＶＵ－８５０Ｐ录像机等先进的设备，拍摄了实物元素周期表录像片，将元素周期表中元素的单质，存在于自然界的矿物以及它们的主要物理、化学性质、通过清晰的画面，生动的演示实验形象逼真地表现出来，使学生在学习化学时能贴近社会，寓学习于兴趣之中。     

矩阵的一种简单形及其应用

矩阵的初等行变换是线性代数最基本的计算方法，特别在解方程、矩阵求逆、求秩、向量组相关性分析中都是不可缺少的．本文介绍矩阵的简单形及其在向量组的线性相关性的分析和应用及整可逆阵的求法．