一个多解定理的新证明

利用一种新方法证明了属于Ａｍｂｅｒｏｓｅｔｔｉ和Ｒａｂｉｎｏｗｉｔｚ的一个著名定理，已有文献的证明利用的是指标理论，新方法和证明使用的是Ｍｏｒｓｅ理论。     

Walsh变换核矩阵递推性的研究

通过理论证明，得出了Ｗａｌｓｈ变换核矩阵具有递推性的结论，给出了从低阶Ｗａｌｓｈ矩阵导出高阶Ｗａｌｓｈ矩阵的递推关系，从而，可以借助于递推性研究快速Ｗａｌｓｈ变换的新方法和并行算法。     

用 Rough Sets 理论研究烟草品质与其化学成分的关系

概述了ＲｏｕｇｈＳｅｔｓ理论，并用该理论研究了烟草品质与其主要化学成分的关系．同时，提出了一种研究烟草品质的新方法．     

计算微分方程(组)古典和非古典对称的Ritt-吴-微分特征列集算法理论

给出计算（偏）微分方程（组）（ＰＤＥｓ）对称的Ｒｉｔ－吴－微分特征列集（消元）算法理论．把古典和非古典ＰＤＥｓ对称的计算问题统一在Ｒｉｔ－吴－微分特征列理论框架之下．给出了产生ＰＤＥｓ对称的无穷小方程和验证已知向量场为ＰＤＥｓ对称向量的机械化证明原理．为计算ＰＤＥｓ对称提供了有效的新的算法理论．     

矿井粉尘直接测定方法

提出了采用粘尘剂、多面空心球、二氯甲烷实现一次多点采样,用 Ｍａｓｙｅｒｓｉｚｅｒ Ｘ分散度仅直接测定粒度分布的新方法,并用它测定了矿井巷道粉尘浓度和粒度情况．对漳村矿某一回风巷道断面的粉尘分布情况分析证明此方法可靠．     

Newton－Cotes求积公式代数精确度新证

本文给出了证明Ｎｅｗｔｏｎ－Ｃｏｔｅｓ求积公式代数精确度的一个新方法。     

Weierstrass定理的一个应用

利用Weierstrass定理给出证明闭区间上的连续函数的集合具有连续统的势的一个新方法．     

生态学研究中的若干新理论和新方法

生态学研究中的若干新理论和新方法ＮｅｗＴｈｅｏｒｉｅｓａｎｄＭｅｔｈｏｄｓｉｎＥｃｏｌｏｇｉｃａｌＲｅｓｅａｒｃｈ￥／／李典谟，郭中伟，周立阳（中国科学院动物研究所北京１０００８０）一、理论生态学和生态建模１．时空动态的建模生态系统在时间和空间上都显...     

DISCHARGING FUNCTION AND THE THREE COLOUR PROBLEM

由于Ｇｒｏｔｚｓｃｈ，下面的构形是三色可约的：一个五边形连接４个３度的顶点．在Ｇｒｏｔｚｓｃｈ三色定理和Ｇｒｕｎｂａｕｍ三色定理的证明过程中，证明上述构形的存在性是关键的一步．本文运用ｄｉｓｃｈａｒｇｉｎｇ函数加以证明．     

自由模型下单因子检验的判别准则

试图提供并完善一套对自由模型下单因子试验进行设计与分析的新方法,并对其进行严格的理论推导和证明．作为系列论文的第二篇,给出了自由模型下单因子试验的方差分解定理,并利用贡献率指标（也称为全局敏感性指标）得到了自由模型下单因子检验的判别准则．     

一种新型的D／A转换器

多值逻辑是计算机科学的一个新分支．本文首次将多值逻辑的概念应用于Ｄ／Ａ转换器，提出了通用多值Ｔ型电阻解码网络电路形式与计算方法。并由此设计出一种新型的多值Ｄ／Ａ转换器。分析和实验证明：多值Ｄ／Ａ转换器在灵敏度、转换精度方面优于二值ＴＴＬＤ／Ａ转换器。     

Gorenstin环的一个刻画

主要证明了如下结果：诺特局部环（Ａ，ｍ）是Ｇｏｒｅｎｓｔｅｉｎ环当且仅当对其上任何非零有限生成模Ｍ，有ｉｎｊｄｉｍＭ＝ｐｒｏｊｄｉｍＭ＋ｄｅｐｔｈＭ，当且仅当对任何非零的深度为０的有限生成模Ｍ，有ｉｎｊｄｉｍＭ＝ｐｒｏｊｄｉｍＭ。给出了Ｇｏｒｅｎｓｔｅｉｎ整环的一个刻画。     

有关连通度一定理证明方法的探讨

有关图的连通度结论k(G)≤λ(G)≤δ(G),在图论中是一个很重要的定理,下面用一种与传统证明方法不同的新方法对此定理进行了证明.     

一个非线性规划问题的注记

给出了不可行稳定点的充要条件及不可行稳定点与Ｆｒｉｔｚ Ｊｏｈｎ稳定点之间的关系，还给出了奇民稳定点的必要条件。     

单群A11的一个特征性质

设G是一群.πe（G）表示群G的元素阶的集合,mi：=｜{g∈G｜g的阶为i}｜表示群G中i阶元个数,nse（G）={mi｜i∈πe（G）}表示群G中同阶元的长度的集合.本文对单群A11给出了新的刻画,即证明了：GA11,当且仅当下面条件成立：（1）｜G｜=｜A11｜,（2）nse（G）=nse（A11）.     

一种新型PNP晶体管的数值分析

从基本半导体方程出发，用数值模拟方法得到了一种新型晶体管内部的电场分布，载流子浓度分布和输出特性．晶体管的有效基区宽度约为50nm．证明了这种晶体管有效基区中的电场是载流子输运的主要机制，它的输出特性与MOS场效应管的输出特性相似．这种晶体管有望用作数字电路中的高速器件．     

FT—1600型红外光谱仪与计算机的数据通讯

本文介绍了PE FT—1600红外光谱仪与微机RS232接口的通讯、控制、数据实时采集的实现方法,旨在给出常用分析仪器与微机间数据传递的一般方法.     

k-因子的Hamiltonian

我们给出一个猜想的简短证明:如果2-连通的图G含有k-因子,且满足σ2(G)≥n-k,图G是Hamiltonian的.     

关于一类不等式的简化证明

用更为简洁的反向归纳法证明了对称函数的一类不等式。     

关于Chidume一个定理的简单证明

使用新的分析技巧,给了了Ｃｈｉｄｕｍｅ的一个定理之简单证明,并且去掉了Ｃｈｉｄｕｍｅ的定理中的一个条件,从而改进了Ｃｈｉｄｕｍｅ相应的结果。