以yn=xn+1-xn为不变曲线的二次系统

证明了以yn=xn 1-xn,n∈Z为不变曲线的二次系统当n≥3或n≤1时至多存在一个极限环,结合文[1]的结论,说明了以yn=xn 1-xn,n∈Z为不变曲线的二次系统至多有一个极限环.     

关于方阵的约当标准形的变换矩阵的计算

讨论了既约不变子空间,在复数域上有限维线性空间可分解成线性变换的不变子空间的直和及每个复方阵都可以相似一个约当标准形矩阵的基础上,得出复方阵的约当标准形的变换矩阵的具体计算方法。     

数学"核心思想"代数思维教学研究

全美数学教师理事会关于“为每个人的代数”的报告,促使了越来越多的数学教育专家开始关注代数思维的教学研究,提出了代数核心思想作为贯穿整个中小学代数教学的主线.代数思维的教学主要涉及两个方面:发展数学思维工具和基本代数思想的学习.代数核心思想包括:数、运算方法和关系、性质、比例、等价、比较、变量、模式、关系和函数、方程和不等式.     

图K_(3,3)的Zarankiewicz数和Bipartite Ramsey数

在对完全二部图Kn,n进行k-边着色中,记brk(Kt,t)为能够诱导出单色Kt,t的最小的正整数n,另外,记z(n;t)为Kn,n中不含子图Kt,t最大的边数。对t=2,3情形,分别证明了以下两个渐近公式:brk(Kt,t)■kt(k→∞),z(n;t)■n2-1/t(k→∞)。     

关于3-素近环的求导

本文证明了如下结果：设N是零对称3-素近环，U是N的一个非零不变子近环，d1d2为N的求导，2N≠0．（1）如果d1d2（U）＝0，那么d1＝0或者d2＝0；（2）如果对所有x，y∈U有d1（x）d2（y）＝－d2（x）d1（y），那么d1＝0或者d2＝0．     

n阶行列式的三种等价定义

本文主要是用三种不同的方法分别给出了n阶行列式的定义,并论证了这三种定义是等价的.     

带求导近环的一个交换性定理

本文证明了如下如果:设N是零对称3—素近环,U是N的一个非零不变子近环,d是N的一个非平凡求导,如果且,那么以下条件等价:(1)对每个是N的乘法中心元,(2)对所有有是一个无零因子交换环。     

安全协议形式化分析的不变式生成技术

给出了应用于不同系统的不变式的概述,分析了彼此之间的关系,进行了分类,并探讨了其未来发展趋势.密码协议的形式化分析日渐引起人们的广泛关注.这导致了不变式生成与描述技术的发展.不变式是对入侵者可知和不可知消息的定义,可用于协议认证和秘密性的证明,从而成为许多协议形式化分析工具和技术的核心     

试论空间几何基本量的计算方法

经线段的长度和二相交直线所成角为空间几何基本量,论述了处理空间两大类复杂量（空间角和空间距离）的基本方法－最终归结为基本量的计算;并给出了复杂量向基本量转化的数学思想和计算方法。     

Riccati方程可积性的系列研究成果及应用

利用Ricati方程的不变量,给出R氏方程的可积条件及可积类型,并应用结果解决其它微分方程