求解方程式系数从E13到E-18的线性系统时,提高精度

时间:2018-10-21 11:17:57

标签: python sympy floating-accuracy equation-solving

我正在使用python进行一些科学的计算。我在求解线性方程时遇到麻烦,其中一些系数很大〜E13,有些系数很小〜E-69。这给了我一个不准确的解决方案。

正如代码中所遵循的那样,方程非常简单,就像rate[0]=rate[1]=...=rate[6] rate[7]=0。我使用slove来获得解,但是rate[0]!=rate[1]=rate[2]=...虽然最正确,但是物理意义是完全错误的,这是不可接受的。rate[0]〜rate [6]必须相等。

我尝试了一些方法来提高准确性。

#convert float to symbols
kf_ = [symbols(str(k)) for k in kf_]
kb_= [symbols(str(k)) for k in kb_]

#convert float to decimal
kf_ = [Decimal(str(k)) for k in kf_]
kb_ = [Decimal(str(k)) for k in kb_]

但是它们都不起作用。 我在{{1}中使用matlabsolve中的vpasolve尝试了相同的代码。解决方案是正确的。但是由于某些原因,必须使用python来完成。 所以我的问题是如何提高准确性?

symbolic math tool box

rate [0]〜rate [7]的结果:

from sympy import symbols , solve
from decimal import Decimal

#coeffcients   Some are very large ~ E13 , some are very small ~E-69
kf_= [804970533.1611289,
1.5474657692374676e-13,
64055206.72863516,
43027484.879109934,
239.58564380236825,
43027484.879109934,
0.6887097015872349,
43027484.879109934]

kb_=[51156022807606.22,
4.46863981338889e-18,
9.17599257631182,
8.862701377525092e-43,
4.203415587017237e-20,
2180151.4516747626,
5.590961781720337e-69,
0.011036598954049947]

#convert float to symbols , it takes quite a long time
#kf_ = [symbols(str(k)) for k in kf_]
#kb_= [symbols(str(k)) for k in kb_]
#or
#convert float to decimal
#kf_ = [Decimal(str(k)) for k in kf_]
#kb_ = [Decimal(str(k)) for k in kb_]

# define unkown
theta = list(symbols('theta1:%s' % (8 + 1)))

#define some expressions
rate=[0]*8
rate[0] = kf_[0] * theta[0] - kb_[0] * theta[1]
rate[1] = kf_[1] * theta[1] - kb_[1] * theta[2]
rate[2] = kf_[2] * theta[2] - kb_[2] * theta[3]
rate[3] = kf_[3] * theta[3] - kb_[3] * theta[4]
rate[4] = kf_[4] * theta[4] - kb_[4] * theta[5]
rate[5] = kf_[5] * theta[5] - kb_[5] * theta[6]
rate[6] = kf_[6] * theta[6] - kb_[6] * theta[0]
rate[7] = kf_[7] * theta[0] - kb_[7] * theta[7]

print('\n'.join(str(r) for r in rate))

#euqations
fun=[0]*8
fun[0]=sum(theta)-1
fun[1]=rate[0]-rate[1]# The coefficients kb[0] (~E13 )and kf[1] (~E-13) are merged
fun[2] = rate[1] - rate[2]
fun[3] = rate[2] - rate[3]
fun[4] = rate[3] - rate[4]
fun[5] = rate[4] - rate[5]
fun[6] = rate[5] - rate[6]
fun[7] = rate[7]

#solve
solThetaT=solve(fun,theta)
#print(solThetaT)
theta_=[solThetaT[t]  for t in theta]
#print(theta_)
rate_=[0]*8
for i in range(len(rate)):
    rate_[i]=rate[i].subs(solThetaT)

print('\n'.join(str(r) for r in rate_))

#when convert float to symbols
#for r in rate_:
    #print(eval(str(r)))

最严重的是rate [0]为负,rate [6]假定为零,具有最大的吸收值。

以及matlab中正确的解决方案

-1.11022302462516e-16
6.24587893889839e-28
6.24587893889839e-28
6.24587893889840e-28
6.24587893889840e-28
6.24587893222751e-28
6.24587895329296e-28
-3.81639164714898e-17

1 个答案:

答案 0 :(得分:0)

为避免浮点运算的精度损失,请将给定的系数重铸为有理数。假设from sympy import Rational是通过

完成的
kf_ = [Rational(x) for x in kf_]
kb_ = [Rational(x) for x in kb_]

然后使用您必须的代码来求解系统并计算费率。要显示浮点数而不是庞大的有理数,请使用evalf方法:

print('\n'.join(str(r.evalf()) for r in rate_))

打印

6.24587893889840e-28
6.24587893889840e-28
6.24587893889840e-28
6.24587893889840e-28
6.24587893889840e-28
6.24587893889840e-28
6.24587893889840e-28
0

注意:SymPy文档建议将linsolve用于线性系统,但是您需要调整代码以处理linsolve的不同返回类型。

此外,具有数字系数的线性系统可以直接通过mpmath进行求解,该decodeURIComponent可以设置任意大的浮点计算精度。