Brown定理的一个组合证明

QUILLEN利用代数拓扑的方法证明了Brown定理,BACLAWSKI也是用代数拓扑理论得到公式μ（P）＝μ（Q）∑y∈Qμ（y/f)μ（y/f)μ(o,y) ,作者先给出了μ（P）＝μ（Q）－∑y∈μ（y/f)μ(0,y)的组合证明,然后利用该方法给出了Brown定理的组合证明。     

一种新的奇阶幻方的公式构造法

用公式的方法构造了一种新的奇阶幻方，并且给出了构造２ｎ＋１阶幻方（ｎ〉１）的严密证明，最后给出了９阶幻方的实例。     

基于遗传算法的SCGM(1,1,α)优化模型

在SCGM（1,1）模型的基础上,对系统云灰色预测模型作进一步推广,建立了更具一般性的SCGM（1,1,α）模型,并给出了求解最优SCGM（1,1,α）模型的遗传算法,实例证明用SCGM（1,1,α）优化模型进行预测能取得很好的预测精度。     

级数(1k+2k+3k+4k+…+nk)(k∈z+)的和的两种求法

中学数学中级数（1^k＋2^k＋3^k＋4^k＋…＋n^k）（k∈z^＋）的和是先给出结论,然后用数学归纳法证明,在这里给出不同于归纳法的两种解法求该级数的和。     

On the Gracefulness of Graph P（6k＋2）^3∪Pn^3

讨论了形如P（6k＋2）^3∪Pn^3非连通并图的优美性,用构造性的方法给出P（6k＋2）^3∪Pn^3的优美标号,并证明P（6k＋2）^3∪Pn^3是交错图。     

关于人工约束法寻找对偶初始可行解的一个注记

用对偶单纯形法求解线性规划问题,在无法直接求得对偶问题的可行解时,引入人工约束法寻找对偶问题初始可行解．讨论了原问题（LP）与新规划（LPM）解之间的关系,并给出了证明．     

用N—P形式证明Taub定理

用Ｎｅｗｍａｎ－Ｐｅｎｒｏｓｅ（简记Ｎ－Ｐ）形式对修正后的Ｔａｕｂ定理给出一个不含原证明弊病，简单得多的证明，并为Ｎ－Ｐ形式的初学者提供一个应用实例。     

用N－P形式证明Taub定理

用Ｎｅｗｍａｎ－Ｐｅｎｒｏｓｅ（简记Ｎ－Ｐ）形式对修正后的Ｔａｕｂ定理给出一个不含原证明弊病、简单得多的证明，并为Ｎ－Ｐ形式的初学者提供一个应用实例．     

泛圈图的一个充分条件

在文[1]中给出定理,设G是一个n-阶2-连通图且δ（G）≥t,若对于G的任意两个不相邻的点u和v,均有｜N（u）∪N（v）｜≥n-t成立,则G是一个泛圈图或G≌Kn/2,n/2.本文的目的在于将此定理的条件减弱,只对图中距离为2的点进行讨论,得出了泛圈图的一个充分条件.文中主要用数学归纳法对定理进行证明,先在引理中给出了几种特殊情况的证明,接着在定理的证明中讨论了一般情形.     

曲面上曲线的测地挠率公式的一个简单证明

本文用τｇ＝ｄφ／ｄｓ＋τ来证明测地挠率公式，而是在τｇ＝－（ｄｎ＾→／ｄｓ，Ｖ＾→）的基础上，给出测地挠率公式的一个简单证明。     

《K—严格凸与K—UR空间》文中一个定理的补证

在文（１）中，作者给出一个重要定理，但在其证明中有不妥之处，本文给出补充证明。     

关于单变量系统模型参考自适应控制的稳定性和最优性的证明（Ⅱ）

解学军（2000）给出了一种模型参考自适应控制的设计方案，该文给出了其稳定性及最优性的详细证明。     

一类双曲型偏微分布方程解的存在性与惟一性的非标准证明

研究了一类双曲型偏微分方程解的存在性与惟一性，在分析的非标准模型中，用无穷小分析方法，给出了带有特征初值条件ｕ（ｘ，０）＝σ（ｘ），ｕ（０，ｙ）＝τ（ｙ）（σ（０）＝τ（０）的双曲型偏微分方程ｕｘｙ＝ｆ（ｘ，ｙ，ｕ，ｕｘ，ｕｙ）解的存在性及惟一性的较为直接的构造性证明。     

关于Jordan—Dedekind链定理的注记

首先推出（１）中关于有限长半模偏序集满足Ｊｏｒｄａｎ－Ｄｅｄｅｋｉｎｄ链条件定理证明中仅假定两定点间存在一个有限极大链γ〃，而对γ〃的存在性并未给出严格证明，本文给出一种新的更为严密的证明方法，并指出完善（１）中证明的途径。     

一类双曲型偏微分方程解的存在性与惟一性的非标准证明

研究了一类双曲型偏微分方程解的存在性与惟一性．在分析的非标准模型中,用无穷小分析方法,给出了带有特征初值条件 ｕ （ｘ,０）＝ σ（ｘ ）,ｕ（０,ｙ）＝ τ（ｙ）（σ（０） ＝ τ（０））的双曲型偏微分方程 ｕｘｙ ＝ ｆ （ｘ ,ｙ,ｕ,ｕｘ ,ｕｙ ）解的存在性及惟一性的较为直接的构造性证明     

关于Negoitǎ-Ralescu表现定理的改进与扩充一文的注记

研究了Ｌ模糊幂集ＬＬ（Ｕ）分别与四种Ｌ晕集集合ＬｉＬ（Ｕ）（ｉ＝１，２，３，４）之间的一一对应关系．给出了ｉ＝３，４情况的新的证明．改进了已有的证明．     

关于Negoita—Ralescu表现定理的改进与扩充一文的注记

研究了Ｌ模糊幂集Ｌ（Ｕ）分别与四种Ｌ晕集集合Ｌ（Ｕ）（ｉ＝１，２，３，４）之间的一一一对应关系，给出了ｉ＝３，４，情况的新的证明，改进了已有的证明。     

对流方程的分组显式方法

用显式及隐式迎风格式给出了求解对流方程ａｕ／ａｔ－ａｕ／ａｘ＝０的分组显式方法，证明其相容性及（弱）稳定性，数值例子表明该方法是有效的。     

关于李普希兹函数极小化方法（1）

给出了解决有关极小化问题ｍｉｎｆ（ｘ）的一种概念性算法，其中ｆ（ｘ）是局部李普希兹函数，并给出了该算法的几个注释。为以后证明该算法的全局收敛性作基础。     

无穷个紧致空间的乘积仍然是紧致空间──超限归纳法的一个应用

任意个紧致空间的乘积（用积拓扑）仍然是紧致空间，这是个拓朴学上已知的定理．本文使用超限归纳法给出了这个重要的定理的一个较简单且较易于记忆的证明．