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

简介：讨论了一种求不变因子的方法，利用不变因子与初等因子之间的关系，给出了一种求矩阵Jordan标准形的新方法．

简介：在微积分学中,极限是一个非常基础而重要的概念,是研究函数的一个基本工具.但较抽象,尤其多元函数的情形.目前,在有关微积分的教材中,一元函数极限的概念相对标准且统一,但多元情形较乱,甚至自相矛盾.本文试图就此问题进行研究,并以一元函数极限的概念为标准,给出多元情形一个标准定义.

简介：本文研究了k-非常极凸空间的问题,利用k维体积定义了k-非常极凸空间,使用k-非常极凸的概念,得到了k-非常极凸空间的性质和一些特征,推广了k-drop凸空间.

简介：递推数列是近年来高考中常见的压轴题,有很大一部分最终可以转化为形如an＋1=pan＋f（n）的递推数列，其中f（n）可以是常数列、等差数列、等比数列等等形式．本文就f（n）的这几种情形，举例说明如何求解这一类型的数列的通项公式．

简介：文章利用正规对偶映射的定义，给出了任意Banach空间Lipschitz强伪压缩映射不动点的Ishikawa迭代收敛定理．该定理不仅推广了已知结果，而且还简化了目前相应结果的证明．

简介：新课标要求积极倡导学生自主合作探究的学习方式，“教学案一体化”为此提供了很好的途径．“教学案一体化”是指从受教育者的实际出发，以培养学生的能力为目标，教师在设计教学活动时，精心设计学生的学习活动，要把教师的教和学生的学有机的融为一体，在教案与学案的有机融合中真正做到“教为主导，学为主体”．“教学案一体化”把教师的“教”与学生的“学”有机地融为一体，

简介：为了确认王和陈提出的一个没有平衡点的混沌系统的混沌行为，我们依靠庞加莱映射和拓扑马蹄理论呈现出一个严格的马蹄混沌的计算机辅助证明。与简单的利用仿真或李亚普罗夫指数判定混沌性相比有较强的理论依据和更高的可靠性。

简介：借助勒贝格积分理论证明勒贝格定理和阿尔采拉定理,继而利用它们解决数学分析中一些以黎曼积分理论不能或不易解决的问题.

简介：第一类弱奇异核Fredholm积分方程由于奇异及本质的不适定性，给求解带来很大难度．本文首先利用克雷斯变换将方程转化，并对转化后的方程进行高斯一勒让德离散，得到一离散不适定的线性方程组，结合正则化方法对该类问题进行数值求解．最后给出了数值模拟，验证了本文方法的可行性及有效性．

简介：利用解的先验估计和极值原理，研究了一类具有Riemann-Stieltjes积分边值问题正解的存在唯一性．

简介：基于解的充分必要条件,提出一类广义变分不等式问题的神经网络模型.通过构造Lyapunov函数,在适当的条件下证明了新模型是Lyapunov稳定的,并且全局收敛和指数收敛于原问题的解.数值试验表明,该神经网络模型是有效的和可行的.

简介：设m为正整数，n=2m，p为一奇素数，令d=pm＋1/2,elm，其中a∈Fpn,γ是Fpn中的一非平方元．本文研究了有限域Fpn上的函数F（x）=Tr1（axpm＋e＋1-γdxpm＋1），利用有限域上的二次型理论，证明了在role为奇数的条件下或role为偶数但a（pn-1）/pe＋1）≠1的条件下，F（x）为P元弱正则Bent函数．

简介：利用临界点理论研究具有部分周期位势的非自治常p-Laplace系统周期解的存在性．在具有p-线性增长非线性项时，根据广义鞍点定理，得到了系统多重周期解存在的充分条件．

简介：针对2013年第五届全国大学生数学竞赛中非数学类的一道预赛题,本文进行了深入地剖析,并探讨了一般情形下求解此类问题的方法及相关结论.

简介：利用临界点理论中的山路引理,研究一类分数阶Kirchhoff型方程在次临界增长条件下非平凡解的存在性,进一步统一和丰富了已有文献的相关结果.

简介：近似邻近点算法是求解单调变分不等式的一个有效方法,该算法通过解决一系列强单调子问题,产生近似邻近点序列来逼近变分不等式的解,而外梯度算法则通过每次迭代中增加一个投影来克服一般投影算法限制太强的缺点,但它们均未能改变迭代步骤中不规则闭凸区域上投影难计算的问题.于是,本文结合外梯度算法的迭代格式,构造包含原投影区域的半空间,将投影建立在半空间上,简化了投影的求解过程,并对新的邻近点序列作相应限制,使得改进的算法具有较好的收敛性.

简介：

简介：圆锥曲线是高中数学的重要内容，也是高考考查的重难点之一．一般来讲这类题解题思路比较简单，规律性较强，但运算过程往往比较复杂：所以很多情况下学生会觉得入手容易，但做对难．这里不仅要求学生能及时有效地利用已知的相关条件去建立一系列关系式，而且对学生的代数运算能力有较高的要求．运算不同于计算，它要求学生能够根据法则、公式进行运算及变形；能够根据问题的条件寻找合理、简捷的运算途径．这也是《考试说明》中对运算能力的考查要求．有时学生如果运算不当，就有可能陷入有始无终的困境．因此如何采用合理的手段简化运算对于顺利解决这类问题至关重要．

简介：根据非线性项的不同,用两个不动点定理研究一类分数阶微分方程正解的存在性及唯一性,且其解可找到迭代序列逼近.最后列举两个例子说明其结果的应用.