函数恒等的数值判定及其机器实现问题

本文主要介绍了一种判定函数恒等的方法。这种方法的基本思想是 ,对于给定集 X到 Y上的函数集 ,寻找定义域 X中的一点 x,使得对任意 f ,g∈ ,f≡ g当且仅当 f ( x) =g( x) ,从而把 f与g恒等判定问题归结为 f与 g是否在点 x相等的判定问题。本文证明了这种方法对于相当大的一类函数集都成立。同时 ,并对这种方法的失误概率进行了讨论。得出在通常情况下其失误概率为零。

用新截断法数值判定变分问题中Lavrentiev现象的存在性

Lavrentiev现象在变分问题中是广泛存在的,严格地证明其存在性并不容易.新截断法是求解具有Lavrentiev现象的变分问题的奇性解的一种数值方法.根据新截断法的数学原理,给出了数值判定变分问题是否具有Lavrentiev现象的过程,并举出三个一维变分问题作为算例,验证了数值判定的有效性.

矩阵Schur补的非奇异H矩阵判定算法

针对非奇异H矩阵的判定问题,提出了一种直接判定算法。该算法通过矩阵Schur补求逆,逐次降阶,判定低阶矩阵是否为非奇异H矩阵。数值算例表明,该算法是有效的。

钢管管体拉伸试验中屈强比的计算与判定探讨

通过对GB/T 9711-2017和API Spec 5L-2018,以及相关引用标准的对比分析,针对目前国内在钢管力学性能试验中存在的不一致情况,探讨了管体拉伸试验屈强比的计算步骤、试验数值的修约程序和极限数值的判定方法,同时评述了GB/T 8170-2008和ASTM E29-2004的实用性。

数值的修约

按照GB/T8170-2008《数值修约规则与极限数值的表示和判定》进行,其简明口诀为＂4舍6入5看齐,5后有数进上去,尾数为0向左看,左数奇进偶舍弃＂。例如：修约到一位小数,12.149修约为12.1;12.169修约为12.2;12.150修约为12.2,12.250修约为12.2。