一类具有三角形周期环域的Hamilton系统的Poincare分支

讨论一类具有三角形周期环域的Hamilton系统在三次多项式扰动下的Poincare分支问题，证明了其Poincare分支可以产生一个极限环。．     

线性代数：研究生必备，第二版

本书是一本高级线性代数教材。线性代数是充满活力的经典数学分支之一，无论在纯粹或应用数学、物理和工程、计算机科学及社会科学中都有广泛应用。由于现在流行的线性代数教材在理论深度和取材范围上的局限，一些专业的研究生在对理论证明和数值算法的理解上都存在某些不足。     

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

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

论一种直观的思维模式——用运动的观点分析立体几何点滴

初等数学研究的数和形总是循着“运动变化”的轨迹走向纵深，渗透了辩证思想，把人们带进逻辑思维深奥而幽美的花园。如函数解析式：Y=f（X）中Y随着X的变化而变化，而连续函数的图象正是由点按某一规则运动而成的，即所谓轨迹。数与形的结合生动地描述了一种运动的变化，一种对立统一的思想方法，它已成为数学的重要思维模式和基本的理论知识。但学生较难在各数学分支中真正掌握这种思维方法；尤其是立体几何，它作为专门的一个数学分支把学生引向另一个似乎与此种思维方法无关的广阔天地去了。     

计算机专业离散数学教学侧重点的转变

离散数学是现代数学的一个重要分支，是伴随计算机科学的发展而逐步建立起来的新兴的基础性学科，是研究计算机科学的基础和应用工具．随着计算机技术运用层次的不断加深，离散数学在计算机专业中的地位也发生了变化．针对计算机学科的特点与发展趋势，提出面向计算机专业离散数学教学改革的几点意见．     

一类余维2系统的极限环分支

讨论了关于中心对称余维2系统的极限环分支，证明了至多存在三个极限环，并有七种不同的相对位置。     

一类具反馈控制单种群时滞模型的Hopf分支

研究了一类具有Logistic增长的单种群时滞模型，该系统受到反馈控制的影响，利用Laplace变换和其他分析技巧，得到了系统唯一正平衡态局部稳定和产生Hopf分支的充分条件。     

体心立方铁中裂纹扩展的结构演化研究

用分子动力学模拟的方法研究了bcc-Fe中Ⅰ型裂纹在应力及温度场下裂尖区的结构演化问题.做了两组模拟.基于各向同性线弹性力学的平面应变条件得到初始裂纹.(1)第一组模拟选取初始温度T=5 K、应力强度因子KI=1.0 KIC(KIC是临界应力强度因子),设在所对应的外载下存在初始裂纹,随后温度增加到100,300,和500 K,外载增加到KI=2.8 KIC.在这组模拟中,显示出堆垛层错.裂纹形状尖锐,且扩展速度较快.(2)第二组模拟选取初始温度T=100 K,应力场条件同于第一组,温度加到300和500 K,外载加到KI=2.8 KIC.在这组模拟中,显示出了堆垛层错、位错发射、裂尖钝化和分枝,以及孪晶带;该组裂纹的扩展速度慢于第一组.计算表明,裂纹在扩展过程中结构演化的特点与初始裂纹的工作条件有关.此外,计算了裂纹扩展过程中体系的能量,结果显示相应于发射位错状态,体系趋向于稳定态过渡.     

带有扩散和时滞的捕食与被捕食模型的稳定性与Hopf分支

本文考虑一类带有扩散和时滞的捕食与被捕食模型,分析了系统的非负不变性,边界平衡点性质及全局稳定性.在这一系统中,当时滞τ=τ1 τ2适当小时,正平衡点是局部渐近稳定的,随着时滞的增加,正平衡点由稳定变为不稳定,系统在平衡点附近发生Hopf分支.     

具有两性的捕食者-食饵模型的渐近性态

研究具有Holling Ⅱ功能反应的捕食者食饵模型. 得到了食饵两性具有不同的出生率和死亡率时, 边界平衡点全局稳定的条件及食饵和捕食者一致持续生存的条件. 数值模拟表明, 捕食者的存在最终不会改变食饵的性别比例.