不变拟凸性与多目标规划的一个问题

定义了Ⅰ类不变拟凸、Ⅰ类严格不变拟凸、KT－Ⅰ类严格不变拟凸的向量值函数，并在目标规划中，获得了每个驻点（或KT－T点）是有效点的等价条件。     

立式割台后转向二次切割装置试验研究

本文通过立式割台后转向二次切割的试验研究,提出了作物稳定转向和二次切刀合理的工作参数,为二次切割型立式割台小型联合收割机提供了理论与试验依据.     

co—H空间上自同伦等价群的若干结果

研究有关co H 空间上的自同伦等价.当co H 空间X是1 连通的有限CW 复形时,εSP(SX)是有限生成的群.另外本文还得到εco H(X)是有限群的一个充分条件.     

1次+3次平面多项式系统的代数分类

采用代数不变式和空间直和的理论,对1次 3次平面多项式系统在保证轨线走向不变的前提下进行代数分类,共分成40个等价类.     

图G_i~(S*)(P,2(sum form j=1 to n)mj)的伴随多项式因式分解的图论方法及应用

通过研究图的伴随多项式的因式分解 ,给出了证明非色唯一图的一种新方法 ,并且得到了若干图簇的色等价图的结构性质     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

居加猜想的一个等价命题

文章利用数论中的一些简单结果,建立了居加猜想的一个等价命题。     

有机化学中的弯曲键

该文根据弯键理论，讨论了σ－π型双键与弯曲键的等价性，并对多种键性规律进行了园满的解释。     

从π的古算法看中国传统数学

本文首先阐述了刘徽的割圆术。然后,在述评π的密率求法的基础上,认为祖冲之的求法实质上使用了连分数方法,并作了较为合乎情理的论证。最后,结合π的古算法,初步分析了中国传统数学内部固有的缺陷。