总后面证明或算法

4视图(30天)

显示旧的评论

埃米尔穆罕默德 2017年3月8日

1
链接

这个问题直接联系

//www.tianjin-qmedu.com/matlabcentral/answers/328745-proof-or-algorithm-behind-isalways

回答: 乔治Herson2019年10月28日

我总用Matlab函数显示海赛矩阵的特征值总是正的。我试图寻找任何证明算法可以用来表达但我什么也没找到。

我的第一个问题:-我可以用总Matlab函数在我的研究吗?有任何证据背后的函数?算法背后吗?

特征值是相对较大的,我不知道其他的方式来证明他们总是正的。我有一些假设相关特征值的参数导致Matlab总输出“总是积极的“我的情况。

我的第二个问题:什么是替代品,可以帮助我证明是基于假设总是正的?如果使用Matlab总不合适。例子:

假设(x > 0)

assumeAlso(β> 0)

总(exp (x) +β> 0)

2的评论
显示1年长的评论藏1年长的评论

沃尔特·罗伯森 2017年12月12日

x > 0意味着x是真实的。exp()真正的总是非负的,0只有当值是负无穷排除的x > 0。β> 0意味着β是真实的和非负。非负+非负总是> 0。

登录置评。

在回答这个问题。

答案(1)

乔治Herson 2019年10月28日

1
链接

直接链接到这个答案

//www.tianjin-qmedu.com/matlabcentral/answers/328745-proof-or-algorithm-behind-isalways answer_398606

总()可以立即返回物品,如7 > 5是正确的,但那些需要它(一些)简化的两边。然后从lh减去,而零的区别。如果它们相等,真返回从一个方程,和假的 ≠ 关系。对待其他关系同样(lh - rhs)和相关的零,每relop他们指定。例如,一个大于关系问(lh - rhs) > 0,答案简单,如果一个布尔值,返回。如果没有布尔结果从这个挑战,结果是不可判定的结果是如何被处理的。