简介：考虑了以数理逻辑中的等值演算为工具对一个结构较为复杂的定理的逻辑结构做了分析.这为我们常用的分析命题结构的方法如逆否命题等提供了一个新思路.

简介：本文利用一个凸函数的凸性，并结合Jensen加权不等式，导出一个含和、积、幂结构的新不等式，它包含了一些著名不等式。

简介：利用局部化环，给出了环为唯一分解整环的充要条件，推广了Auslander等人的结果。

简介：讨论动态Ｍ／Ｍ／１排队模型，运用半群理论证明了该模型存在唯一的正解，并研究了相应算子的谱特征．

简介：对于特征为零的域上的有限维线性空间的子空间的并,我们知道下述性质：有限个互不包含的非平凡子空间的并不是原来的线性空间.一方面,本文通过介绍有限维线性空间中任一子空间与齐次线性方程组解子空间的关系,及商空间的维数公式,给出了上述性质的一个改进证明.另一方面,本文把仿射簇的概念和子空间联系起来,并根据仿射簇的一个简单性质,给出了上述性质的另一个更为简洁的证法.

简介：根据结核病的传染特征，建立了一个具有年龄结构的结核病微分方程模型，对模型的性态进行了分析，得到了该模型平衡解唯一存在的条件。

简介：设R=＋n∈N0Rn（R=R0[R1]）是分次Noether交换环，（R0，m0）是一个局部环，R＋=＋n∈NRn；设N是一个有限生成Z-分次R-模，这里N、N0、Z分别表示全体正整数、全体非负整数和全体格致所构成的集合．令h=sup{i∈Z｜HR＋^i（N）不是Artin模}．Dibaei和Nazari证明了HR＋^h（N）是tame模．我们将该结果推广到了广义分次局部上同调模的情形．

简介：

简介：对一个积分定理的改进朱宗俭（西安石油学院）高等学校工科数学课程教学指导委员会本科组编写的《高等数学释疑解难》的内容丰富，说理清楚，是一本能引导学生深入学习本课程的好参考书。本人在使用时也有受益。但是发现第１２４页有一个定理２的叙述与证明似乎应该修正和...

简介：《普通高中数学课程标准（实验稿）》的基本理念之一：倡导积极主动、勇于探索的学习方式．《标准》指出：学生的数学学习活动不应只限于接受、记忆、模仿和练习，还应倡导自主探索、动手实践、合作交流、阅读自学等学习方式．在教师引导下有创造性地学习，课本中的数学探究、数学建模等学习活动为学生形成积极主动的，多样的学习方式创造了有利的条件．

简介：我们给出关于黎曼流形上的扩散方程θtu=Δu-▽φ·▽u（这里φ是一个C^2函数）的一些梯度估计。这推广了R.Hamilton和QiS.Zhang关于热方程的一些梯度估计。

简介：在这篇论文，在概括凸的空格的KKM类型定理的另一种形式被获得，vonNeumann扇子类型的问题啜inf啜不平等和变化不平等为他们的应用被讨论。主要结果在以前的报纸改进并且概括相应结果。

简介：应用解析鞅的不等式及其收敛性给出了Ｂａｎａｃｈ空间的型和余型的刻划．

简介：设（M^3，90）是非紧三维Riemann流形，其Ricci曲率非负，单射半径有正的下界，且当x→∞时数量曲率R（x）→0。则以（M^3，go）为初始值的Ricci流在M^3×[0，∞）上有长期解。这推广了马和朱最近的一个结果．在高维情形我们也有相应的结果，并且我们给Chau，Tam和Yu在Ktihler情形的类似定理一个新的证明。

简介：给出了不变子空间的一个性质.应用此性质推广了文[1]中的定理1,并给出了几个推论.

简介：给出了一般形式的Ekeland变分原理,并根据新得到的结论讨论了泛函强制性条件与一般性弱PS条件之间的关系.

简介：就两人绕正三角形的追逐问题建立起了两个数学模型：一个充分应用运动的周期性首先给出了两人共边的充要条件，然后直接给出在一个周期内两人共边的次数及起止时刻；另一个则利用初等数论的方法给出了两人共边的另一个充要条件．利用matlab长于计算和强大的绘图功能，分别给出了求解两个模型的matlab程序，通过动画仿真演示两个绕正三角形的追逐模型，并给出了二者同边的时间起止点和同边的次数．

简介：现实中很多复杂网络是由完全子图通过公共的节点连接而成的．本文提出了一个复杂网络中完全子图的搜索算法，并通过实例说明了所提算法的有效性．

简介：本文研究一个可靠机器、一个不可靠机器与只容纳一个部件的缓冲库构成的系统的时间依赖解的渐近行为．首先在我们已有的工作基础上指出该模型的主算子生成的C0-半群的本质增长界小于一个负数，由此推出0是该主算子的一级极点．然后用残数定理求该系统研究中出现的投影算子的表达式．最后证明该模型的时间依赖解指数收敛于其稳态解．本文的思想和方法适用于一个可靠机器、一个不可靠机器与容纳有限个部件的缓冲库构成的系统．

简介：本文提出一个复合函数的极限的定理。为使定理的叙述和证明简化,特作如下规定:若limf(x)=A,A为有限或∞,则称limf(x)广义存在。