食饵有常数放养率的广义Roseeenzweig—Macarthur系统

本文运用Ｌｉａｐｕｎｏｖ第二方法,研究了食饵有常数放养率的广义Ｒｏｓｅｎｚｗｅｉｇ－Ｍａｃａｒｔｈｕｒ系统｛ｘ＾&;#183;＝ｆ（ｘ）－ｙψ（ｘ）＋Ｈ,ｙ＾&;#183;＝ｈ（ｙ）「－ｅ＋Ｋψ（ｘ）」唯一正平衡点的稳定性。并利用Ｐｏｉｎｃａｒｅ－Ｂｅｎｄｉｘｏｎ环域定理及张芷芬唯一性定理,论证了在Ｒ＾＋２＝｛（ｘ,ｙ）：ｘ〉０,ｙ〉０｝内极限环的存在唯一性及其稳定性。     

广义集值拟变分不等式

本文研究了一类广义集值拟变分不等式,得到了这类广义集值拟变分不等式解存在的一个充分条件,并给出了近似解的迭代算法.     

BCK-代数的Ω-模糊正定关联理想

给定一个集合Ω,引入了BCK-代数的Ω-模糊正定关联理想的概念,给出了一些恰当的例子,讨论了BCK-代数的Ω-模糊理想与Ω-模糊正定关联理想的关系.利用模糊正定关联理想,刻画了Ω-模糊正定关联理想.反之,模糊正定关联理想通过Ω-模糊正定关联理想来构造.证明了Ω-模糊正定关联理想(Ω-模糊理想)的同态原象仍是Ω-模糊理想(Ω-模糊理想).     

Navier-Stokes方程的一种等阶稳定化亏量校正有限元法

本文对粘性不可压缩Navier-Stokes方程提出了一种等阶稳定化亏量校正有限元法.将通常的压力投影稳定化方法与亏量校正思想相结合,建立了一种稳定的有限元格式,绕开了inf-sup条件的限制,并且克服了当粘性系数很小时造成的不稳定性.对速度/压力采用等阶多项式空间,证明了解的存在唯一性,给出了误差估计.误差估计的结果表明,每校正一步误差的精度提高一阶.     

函数方程$f^{[m]}={1}/{f}$的实解

研究了函数方程$f^{[m]}=1/f$，分析了逐段连续解的特点，构造性地得到了所有逐段连续的实解．结果推广了[Amer. Math. Monthly 1998, 105(8): 704-717]上的结果，而且得到了不满足Babbage方程的函数没有实的循环迭代根．     

一道不等式题的多种解法及推广

题目:实数a,b,满足a2+b2=1,若c>a+b恒成立,求c的取值范围.解法1:三角换元法设a=cosα,b=sina,a∈[0,2π],则a+b=cosα+sinα=√2sin(a+π/4)……     

Fuzzy HX环

引入Fuzzy HX环、正则Fuzzy HX环和一致Fuzzy HX环概念，讨论了它们结构和性质及其有关同态与同构关系。     

分配格中模糊理想诱导的模糊幂格

在模糊幂格讨论基础上,给出了由分配格中模糊理想诱导的两种模糊幂格.     

基于三Ι算法的模糊系统及其响应性能

给出了基于三Ⅰ算法和α-三Ⅰ算法的几种典型模糊系统的插值表达式．指出,基于三Ⅰ算法和α-三Ⅰ算法的模糊系统对于某些蕴涵算子具有函数逼近的泛性,而对于不少蕴涵算子只具有阶跃输出能力,而不具有函数逼近的泛性．此外,证明了基于三Ⅰ算法的模糊系统在一定条件下对于模糊逻辑系统中推理与聚合的次序交换无关．     

"0=1"错在哪里?

在微积分教材中 ,凡分部积分后可以循环的不定积分 ,通常认为是用解方程的方法解出不定积分的 ,这常常给学生以误导 .例如 ,用分部积分法计算如下不定积分∫ｃｏｓｘｓｉｎｘｄｘ =∫1ｓｉｎｘｄｓｉｎｘ =1ｓｉｎｘ·ｓｉｎｘ - ∫ｓｉｎｘｄ 1ｓｉｎｘｄｘ =1 - ∫ｓｉｎｘ ·- ｃｏｓｘｓｉｎ2 ｘ ｄｘ=1 +∫ｃｏｓｘｓｉｎｘｄｘ ,①所以有 0 =1 . ②如果①式继续计算下去 ,∫ｃｏｓｘｓｉｎｘｄｘ=1 +∫ｃｏｓｘｓｉｎｘｄｘ=2 +∫ｃｏｓｘｓｉｎｘｄｘ… =ｎ+∫ｃｏｓｘｓｉｎｘｄｘ ,③于是有 0 =1 =2 =… =ｎ . ④用同样的方法计算…