共查询到20条相似文献,搜索用时 46 毫秒
1.
本文讨论了空洞探测问题:针对确定误差限问题,提出了若干定义,同时阐述了一个判定空洞存在性的定理,根据这个定理,提出了对空洞位置判定的方法,并结合具体实例予以说明。 相似文献
2.
张文燕 《重庆师范学院学报》2002,19(3):17-19
利用线性方程组解的理论得到了矩阵广义对角占优的又一判定定理,对于用此方法判定的广义对角占优矩阵A,可具体给出正对角阵∧,使A∧为对角占优阵。作为应用还得到了矩阵非奇异的判定定理。最后给出了应用实例。 相似文献
3.
4.
5.
王磊 《广西民族大学学报》2005,11(4):35-39
介绍了哥德尔不完备定理如何使希尔伯特定理判定问题研究陷入困境.评价了塔斯基在理论上给出了定理判定的方法意义.特别指出是王浩首次在计算机上实现了高效证明定理的方法,并明确提出“迈向数学机械化”. 相似文献
6.
讨论了曲线拐点的三个充分性定理之间的关系,并通过具体例子说明了在这三个定理中选择判定拐点的最佳方法,从而为判定曲线拐点提供了方便,也表明了教材中所采用定理的理由。 相似文献
7.
在常数项级数中,经常运用积分准则及检根法来判定正项级数的敛散性,而使用积分准则判定正项级数的敛散性,首先要判定无穷积分的敛散性,有时不太方便,因此,为了使正项级数敛散性的判定更加灵活,我们想直接用正项级数通项来判定其敛散性,所以,运用无穷小比较的方法给出了积分准则的等价定理;又根据lim(n→m)lnαn/n的符号给出了检根法的等价定理;并给予证明,从而使正项级数敛散性的判定更加灵活自如。 相似文献
8.
为了寻找新的判定分量函数矩阵定号性的方法扣技巧,在给出类二元分量函数矩阵及分量函数为分量正(负)定的定义后,证明了三个新的关于类二元分量函数矩阵定号性的定理,同时还举例说明了这些新定理在分量函数矩阵定号性的判定与广义二次型方法中的应用。理论扣实例表明,对类二元分量函数矩阵定号性的判定,这些新结果比Svlvester判据更加方便、有效。 相似文献
9.
具时滞的细胞神经网络的全局稳定性的新定理 总被引:1,自引:0,他引:1
提出了判定具有时滞的细胞神经网络渐近稳定性的一条新定理,可以证明,该定理的结论使得直到目前为止的所有全局渐近稳定性定理或推论均为其特例,并且证明简单,条件判定也较容易实现。 相似文献
10.
给出并证明了用平均值方法判定系统定态解稳定性的判定定理,并对具有多个定态解的系统进行了分析。 相似文献
11.
脉冲微分系统基于两种测度的稳定性分析 总被引:2,自引:0,他引:2
利用变异Lyapunov方法,讨论了脉冲微分系统依照两种测度的稳定性判定定理,在脉冲时刻为固定的情形下,得到了关于用常微分系统的稳定性来判定脉冲微分系统稳定性的若干判定定理,并改进了已有的多个结果。 相似文献
12.
考虑基于不连续函数的价值性定理、微分中值定理及积分中值定理,得到若干判定准则,并给出了有关的应用实例。 相似文献
13.
14.
研究了一类卷积型积分微分方程,利用李雅普诺夫方法,给出了判定n维系统中卷积型积分微分方程的零解一致渐近稳定性的定理以及其Volterra方程的零解渐近稳定性的定理,推广了已有的结果。 相似文献
15.
定理1和推论给出抛物线切线的判定及用尺规作图作出抛物线上任一点的切线的方法,定理2给出用尺规作图作出抛物线的方法。 相似文献
16.
非奇M-矩阵的判定准则 总被引:2,自引:2,他引:0
给出了非奇M -矩阵新的判定定理.利用矩阵B=A +AT 满足新的判定定理的条件 ,得出矩阵A为非奇M矩阵的结论 ,推广了已有的判定定理.实例说明 ,采用该定理可以较为容易地得出判定结果 相似文献
17.
给出对任意阶非奇异M-矩阵进行简便判定定理,设计了一种降阶判定算法以实现对任意阶矩阵是否为非奇异M-矩阵的快速判定,每次只要进行数的加、减、乘、除简单运算及对其结果判定符号,并对一个已有的逆M-矩阵的性质定理的结论进行修正. 相似文献
18.
图的同构问题由来已久,并且它的应用十分广泛。例如:确定一个图的自同构群的构造的问题和它有紧密联系;在有机化学上我们可以利用图的同构判定方法来确定同分异构物。因此,寻求图同构的判定方法是一项引人入胜的工作。提出了一个新的判定方法(定理1)可以方便的确定两个图是否同构。此外,还得到了某一类图的同构判定的一个较强的条件(定理2)。 相似文献
19.
给出了任意体F上非齐次左线性方程组相容的一个充要条件和求解的简便方法,利用此法还能同时求出其导出组的基础解系,而且顺便讨论了F上一般左线性方程组的解,给出了其有解判定定理及解的结构定理。 相似文献
20.
对一类二阶非线性差分方程的解给出了几个振动或非振动的判定定理,并举例说明了定理的应用。 相似文献