NaNs производятся в упаковке deSolve - PullRequest
0 голосов
/ 30 сентября 2018

У меня есть система из 8 дифференциальных уравнений, которую я пытаюсь решить, используя deSolve в R. Она просто возвращает NaN после первых нескольких шагов и не решает ее дальше.Я пробовал различные дифференциальные решатели, такие как lsoda (по умолчанию), bdf, adams, rk4 и т. Д., Но это не помогло.

Вот пример кода R:

library(deSolve)
daero = c(5.29,4.16,2.49,1.53,0.7,0.41,0.21)*10^-4
rho = rep(1.27,7)
dgeo = daero * sqrt(1/rho)
r0 = dgeo/2
Fr = c(0.188,0.297,0.274,0.181,0.032,0.013,0.015)
X0 = Fr*200*10^-6
N0 = X0*(3/(4*3.14*r0^3*rho))

func1 <- function(t,state,parameters){
with(as.list(c(state,parameters)),{
dX1 = -D/((3*X1/(4*3.14*rho[1]*N0[1]))^(1/3))*(N0[1]*4*3.14* 
((3*X1/(4*3.14*rho[1]*N0[1]))^(1/3))^2)*(Cs-S/V)
dX2 = -D/((3*X2/(4*3.14*rho[2]*N0[2]))^(1/3))*(N0[2]*4*3.14* 
((3*X2/(4*3.14*rho[2]*N0[2]))^(1/3))^2)*(Cs-S/V)
dX3 = -D/((3*X3/(4*3.14*rho[3]*N0[3]))^(1/3))*(N0[3]*4*3.14* 
((3*X3/(4*3.14*rho[3]*N0[3]))^(1/3))^2)*(Cs-S/V)
dX4 = -D/((3*X4/(4*3.14*rho[4]*N0[4]))^(1/3))*(N0[4]*4*3.14* 
((3*X4/(4*3.14*rho[4]*N0[4]))^(1/3))^2)*(Cs-S/V)
dX5 = -D/((3*X5/(4*3.14*rho[5]*N0[5]))^(1/3))*(N0[5]*4*3.14* 
((3*X5/(4*3.14*rho[5]*N0[5]))^(1/3))^2)*(Cs-S/V)
dX6 = -D/((3*X6/(4*3.14*rho[6]*N0[6]))^(1/3))*(N0[6]*4*3.14* 
((3*X6/(4*3.14*rho[6]*N0[6]))^(1/3))^2)*(Cs-S/V)
dX7 = -D/((3*X7/(4*3.14*rho[7]*N0[7]))^(1/3))*(N0[7]*4*3.14* 
((3*X7/(4*3.14*rho[7]*N0[7]))^(1/3))^2)*(Cs-S/V)
dS = -dX1-dX2-dX3-dX4-dX5-dX6-dX7
list(c(dX1,dX2,dX3,dX4,dX5,dX6,dX7,dS))
})
}

state <- c(X1=X0[1],X2=X0[2],X3=X0[3],X4=X0[4],X5=X0[5],
       X6=X0[6],X7=X0[7],S=0)
parameters <- c(D=6.19*60*10^-6,rho=rho,N=N0,Cs=17*10^-6,V=1000)
times <- seq(0,3,by=0.0005)

out <- ode(y = state, times = times,func = func1, parms = parameters)
Output:
> out[1:20,]
    time           X1           X2           X3           X4
  0.0000 3.760000e-05 5.940000e-05 5.480000e-05 3.620000e-05
  0.0005 3.759491e-05 5.938700e-05 5.476652e-05 3.614143e-05
  0.0010 3.758982e-05 5.937400e-05 5.473305e-05 3.608290e-05
  0.0015 3.758473e-05 5.936100e-05 5.469959e-05 3.602440e-05
  0.0020 3.757964e-05 5.934800e-05 5.466613e-05 3.596594e-05
  0.0025 3.757455e-05 5.933500e-05 5.463268e-05 3.590750e-05
  0.0030 3.756947e-05 5.932201e-05 5.459924e-05 3.584910e-05
  0.0035 3.756438e-05 5.930901e-05 5.456581e-05 3.579074e-05
  0.0040 3.755929e-05 5.929602e-05 5.453238e-05 3.573240e-05
  0.0045 3.755420e-05 5.928303e-05 5.449897e-05 3.567410e-05
  0.0050 3.754912e-05 5.927004e-05 5.446556e-05 3.561583e-05
  0.0055 3.754403e-05 5.925705e-05 5.443215e-05 3.555760e-05
  0.0060 3.753895e-05 5.924406e-05 5.439876e-05 3.549940e-05
  0.0065 3.753386e-05 5.923107e-05 5.436537e-05 3.544123e-05
  0.0070 3.752878e-05 5.921808e-05 5.433199e-05 3.538310e-05
  0.0075 3.752369e-05 5.920510e-05 5.429862e-05 3.532499e-05
  0.0080 3.751861e-05 5.919212e-05 5.426525e-05 3.526692e-05
  0.0085 3.751352e-05 5.917913e-05 5.423190e-05 3.520889e-05
  0.0090          NaN          NaN          NaN          NaN
  0.0095          NaN          NaN          NaN          NaN

Проблема / Вопрос

Я бы хотел, чтобы X решались хотя бы до тех пор, пока они не уменьшатся до 1% от первоначального значения.Но я вижу NaN значения слишком рано в симуляции.Я пытался изменить размер временного шага до 0,0005 и до 0,5 часа, но я все еще сталкиваюсь с той же проблемой.

1 Ответ

0 голосов
/ 01 октября 2018

Эти проблемы могут быть сложными для диагностики, но я начал с рефакторинга вашей функции - то есть я упростил кишки и убедился, что он дал достаточно близкие ответы (используя all.equal()), чтобыоригинал.

  • ваши первые 7 значений градиента используют идентичные формы и могут быть объединены в один векторизованный вызов.Это более эффективно, легче читать и легче отлаживать.
  • , чтобы было легче увидеть, где возникает проблема, я далее разбил выражение на ряд более простых выражений (некоторые из которых повторяются висходный вызов: см. № 1 о преимуществах уменьшения дублирования ...)
  • вычеркнул ненужное tmp3^2/tmp3 (== tmp3) в уравнении
  • Я поставил if(any(is.na(grad))) test и browser() вызывают функцию, чтобы мы могли остановиться при появлении первого значения NA/NaN и посмотреть, что происходит ...
func2 <- function(t,state,parameters, debug=TRUE){
    n <- length(state)
    v <- 1:(n-1)
    grad <- rep(NA,n)
    tmp1 <- (4*3.14*rho[v]*N0[v])
    tmp2 <- 3*state[v]/tmp1
    tmp3 <- tmp2^(1/3)
    grad[v] <- with(as.list(c(state,parameters)),{
        -D*(N0[v]*4*3.14*tmp3)*(Cs-S/V)
    })
    grad[n] <- -sum(grad[v])
    if (debug && any(is.na(grad))) browser()
    return(list(grad))
}
## test near-equality
all.equal(func1(0,state, parameters),func2(0,state, parameters)) ## TRUE

Теперь попробуйте запустить

out <- ode(y = state, times = times,func = func2, parms = parameters)

Это переводит нас в среду интерактивного браузера.

Первое промежуточное выражение выглядит нормально (большое, но конечное):

Browse[2]> tmp1
[1]     8724442    28341529   121926846   347177124   640918307  1295801866
[7] 11127053948

Второе выражение (3*state[v]/tmp1) выглядитХорошо, но обратите внимание последнее значение отрицательное - это, вероятно, потому что последняя (седьмая) переменная состояния стала слегка отрицательной.

 Browse[2]> tmp2
           X1            X2            X3            X4            X5 
 1.289771e-11  6.262837e-12  1.333549e-12  3.037421e-13  2.588684e-14 
           X6            X7 
 3.751315e-15 -4.992697e-18 

Теперь, когда мы пытаемся получить корень кубадела идут плохо: если ценность неоштрафованный как тип complex, дробные степени отрицательных чисел равны NaN в R

Browse[2]> tmp3
          X1           X2           X3           X4           X5           X6 
2.345151e-04 1.843276e-04 1.100702e-04 6.722049e-05 2.958192e-05 1.553798e-05 
          X7 
         NaN 

Это быстро распространится и испортит все состояние.

На этом этапе мымог бы попытаться отследить немного дальше и попытаться понять неточность с плавающей точкой, которая в первую очередь привела к отрицательному значению;однако может быть, а может и не быть легко (или даже возможно) переписать выражения таким образом, чтобы они были достаточно стабильными. В этом вопросе и в этом вопросе обсуждаются способы ограничения решений ОДУ неотрицательными значениями ... самое простое (если это имеет смысл для вашей проблемы) - это ввести pmax(tmp3,0) или pmax(tmp3,very_small_positive_number) вызов для предотвращения отрицательных значений ...

Незначительные комментарии:

  • являются ли коэффициенты 3,14 в ваших вопросах предполагаемыми пи?R имеет встроенное pi значение ...
  • для данного набора параметров, похоже, что tmp1 является постоянным во времени.Возможно, вы захотите предварительно вычислить его вне функции градиента для эффективности ...

Чтобы увидеть, что происходит, я добавил na.rm=TRUE к сумме, как вы и предлагали.Я переключился на method="euler";это менее эффективно, но проще, поскольку делает очень мало промежуточных вычислений между вычислениями градиента.

out <- ode(y = state, times = times,func = func2, parms = parameters,
           debug=FALSE,method="euler")
out <- out[rowSums(is.na(out))<9,]
png("SO_ode.png")
par(las=1)
matplot(out[,-1],type="l",lty=1,log="xy",col=1:8,
        xlab="time",ylab="")
dev.off()

enter image description here

Это показывает, что один компонент за другимпадение до очень маленьких значений (и становится NaN после того, как мы пытаемся получить корень куба отрицательного значения ...) В зависимости от того, что вы делали, может быть безопасным для установки градиентов, значения которых былиNaN до нуля ...

Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.
...