Y（F4‘）条件与加强形式的停止定理

首次提出了Ｙ（Ｆ４＇）条件，给出了Ｙ（Ｆ４＇）条件的两个等价关系，得到了加强形式的停止定理和强鞅的一个等价关系。     

2~N—m计数器

计数器电路的分析讨论相当费时和麻烦。本文提出了一个分析此一问题的一般方法,总结且证明了同步2~N—m 进计数器定理。在此基础上构成了一系列各类计数器,使分析讨论简单明了。     

定积分中值定理的应用及推广

本文给出了曲线积分的中值公式，为解决有关问题提供新途径．     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

关于Herstein定理的逆问题研究

设R是一个环,如果存在n>1使f:x→xn为R的一个环同态,则映射f:R→R称为一个幂自同态。本文将完全刻划出无零因子环的所有幂自同态。     

凸域内单叶函数的导数

设函数f（w）为凸区域D内的单叶解析函数,对于2≤n≤8和所有w∈D,本文得到估计式|f（n）（w）/f＇（w）|的精确上界.这个结果推广了一些已知的结论.     

置换模,ρ置换模与Conlon比析

本文对特征P的基域F引入适当的Galois群T,讨论p置换模的Green环的Conlon比析在Galois群T作用下的动态,证明了在T作用下p置换模的Green环的不动点集重合于置换模的Green环。     

3-周期轨道蕴含6831726876986508个85-周期轨道——连续函数中周期轨道数目的下确界

对区间[0,1]上的任一个连续函数f及任m,n≥1,以N(n,f)表示f中的n-周期轨道的数目,令:f是[0,1]上的连续函数且N(m,f)≥1。著名的sarkovskii定理所断言的是:当时N(n,m)≥1。本文则进一步对所有的正整数m及n求出了N(n,m)的准确值的便于计算的分析表达式。     

关于周期环结构的几个定理

本文给出了有关周期环结构的一些结果,而使文献[1]中的所有定理都可以做为本文结果的直接结论。     

研究性学习教学实施一例——多面体欧拉定理的发现

近期教育部颁布的《全日制普通高级中学课程计划 (试验修订稿 )》里 ,新增了《研究性学习》课程 ,并对此课程的设置作了专门说明 :“研究性学习以学生的自主性、探索性学习为基础 ,通过亲身实践获得直接经验 ,养成科学精神和科学态度 ,掌握基本的科学方法 ,在研究性学习中 ,教师是组织者和指导者 .”本人利用数学教学大纲中的研究性参考课题 :多面体欧拉定理的发现 ,结合合情推理作了教学尝试 ,让学生自主研究知识的发生发展过程 ,通过情感体验与探索实践 ,扩大学习空间 ,探求解决问题的方法 ,培养创新精神和应用能力 .合情推理是一种可能性…