Как исправить ошибку решателя Python Gekko APMoniter: Уравнение без равенства - PullRequest
Новая
       8

Как исправить ошибку решателя Python Gekko APMoniter: Уравнение без равенства

1 голос
/ 20 сентября 2019

Я знаю, это звучит очень просто, но я пишу код для класса средней школы, который должен работать.По сути, я решаю довольно ограниченную систему уравнений, которые определяют пирамиду.Проблема в том, что решатель говорит, что одно из моих уравнений не имеет равенства, хотя кажется, что все они имеют.

Я попробовал почти все.Я перепечатал уравнения и дважды проверил весь синтаксис.У меня была та же ошибка в течение 2 дней, и я очень застрял 

#sorry that the equations are messy but, they all have only one equality.

from gekko import GEKKO
V = 20
S = 30
t1 = 0.1
t2 = 0.2
t3 = 0.3
t4 = 0.05
t5 = 0.6
t6 = 0.2
t7 = 0.1


m = GEKKO()
x1= m.Var(value = 0)
x2= m.Var(value = 0)
x3= m.Var(value = 0)
y1= m.Var(value = 0)
y2= m.Var(value = 0)
y3= m.Var(value = 0)
z1= m.Var(value = 0)
z2= m.Var(value = 0)
z3= m.Var(value = 0)
t8= m.Var(value = 0)
t9= m.Var(value = 0)
t10= m.Var(value = 0)
t11= m.Var(value = 0)
t12= m.Var(value = 0)
m.Equations([
            V == z3*(x1*y2 - x2*y1) + y3*(x2*z1 - x1*z3) + x3*(y1*z3 - y2*z1),\
            S == 0.5 * m.sqrt(((x1*y2-x2*y1)**2)+((x2*z1-x1*z2)**2)+((x1*y2-x2*y1)**2)) + 0.5 * m.sqrt(((x1*y3-x3*y1)**2)+((x3*z1-x1*z3)**2)+((y1*z3-y3*z1)**2))+ 0.5 * m.sqrt(((x1*y3-x3*y1)**2)+((x3*z1-x1*z3)**2)+((y1*z3-y3*z1)**2)),\
            t1 == [m.acos(x1*x2+y1*y2+z1*z2)/((m.sqrt((x1**2) +(y1**2) + (z1**2)))*(m.sqrt((x2**2) +(y2**2) + (z2**2))))],\
            t2 == [m.acos(x1*x3+y1*y3+z1*z3)/((m.sqrt((x1**2) +(y1**2) + (z1**2)))*(m.sqrt((x3**2) +(y3**2) + (z3**2))))],\
            t3 == [m.acos(x2*x3+y2*y3+z2*z3)/((m.sqrt((x2**2) +(y2**2) + (z2**2)))*(m.sqrt((x3**2) +(y3**2) + (z3**2))))],\
            t4 == [m.acos((x1*(x1-x3)) +(y1*(y1-y3)) +(z1*(z1-z3))/((m.sqrt((x1**2) + (y1**2)+(z1**2))) * (m.sqrt((x1-x3)**2  + (y1-y3)**2 + (z1-z3)**2))))],\
            t5 == [m.acos((x1*(x1-x2))+ (y1*(y1-y2))+(z1*(z1-z2))/((m.sqrt((x1**2) + (y1**2) + (z1**2)))*(m.sqrt((x1-x2)**2 + (y1-y2)**2 +(z1-z2)**2))))],\
            t6 == [m.acos((x2*(x1-x2))+ (y2*(y1-y2))+(z2*(z1-z2))/((m.sqrt((x2**2) +(y2**2) + (z2**2)))*(m.sqrt((x1-x2)**2 +(y1-y2)**2 +(z1-z2)**2))))],\
            t7 == [m.acos((x2*(x2-x3))+ (y2*(y2-y3))+(z2*(z2-z3))/((m.sqrt((x2**2) +(y2**2) + (z2**2)))*(m.sqrt((x2-x3)**2 +(y2-y3)**2 +(z2-z3)**2))))],\
            t8 == [m.acos((x3*(x2-x3))+ (y3*(y2-y3))+(z3*(z2-z3))/((m.sqrt((x3**2) +(y3**2) + (z3**2)))*(m.sqrt((x2-x3)**2 +(y2-y3)**2 +(z2-z3)**2))))],\
            t9 == [m.acos((x1*(x1-x3))+ (y1*(y1-y3))+(z1*(z1-z3))/((m.sqrt((x1**2) +(y1**2) + (z1**2)))*(m.sqrt((x1-x3)**2 +(y1-y3)**2 +(z1-z3)**2))))],\
            t10 == [m.acos(((x1-x3) * (x2-x3) + (y1-y3) * (y2-y3) + (z1-z3) * (z2-z3)) /(m.sqrt((x1-x3)**2 + (y1-y3)**2 + (z1-z3)**2) * m.sqrt((x2-x3)**2 +(y2-y3)**2 + (z2-z3)**2)))],\
            t11 == [m.acos(((x1-x3)* (x1-x2) + (y1-y3)*(y1-y2) +(z1-z3)*(z1-z2))/(m.sqrt((x1-x3)**2 + (y1-y3)**2 + (z1-z3)**2)* m.sqrt((x1-x2)**2 +(y1-y2)**2 +(z1-z2)**2)))],\
            t12 == [m.acos(((x1-x2) *(x2-x3)+(y1-y2)*(y2-y3) +(z1-z2)*(z2-z3))/(m.sqrt((x1-x2)**2 +(y1-y2)**2 + (z1-z2)**2)* m.sqrt((x2-x3)**2 +(y2-y3)**2 +(z2-z3)**2)))] ])
m.solve(disp = True)
print("vector a:",x1.value,y1.value,z1.value, " vector b:",x2.value,y2.value,z2.value," vector c:",x3.value,y4.value,z3.value,)

Ошибка: Исключение: @error: Уравнение Определение Уравнение без равенства (=) или неравенства (>, <) false</p>

Но я не знаю, какое уравнение не удовлетворяет требованиям.

1 Ответ

0 голосов
/ 20 сентября 2019

Проблема заключается в дополнительных скобках в ваших уравнениях: 

t1 == [m.acos(....)]

Вы можете устранить проблему, удалив скобки, определяющие список в правой части уравнения. 

t1 == m.acos(....)

Ниже приведен модифицированный скрипт, который по-прежнему возвращает недопустимое решение, но с несколькими дополнительными функциями, которые помогут вам диагностировать проблему.

  • Назовите переменные, чтобы файл infasabilities.txt был более читабельным.
  • Оберните уравнения \ так, чтобы они были более читабельными
  • Проверьте все уравнения, такие как второе уравнение, часть 3. Должно ли оно быть + 0.5 * m.sqrt(((x2*y3-x3*y2)**2)?В настоящее время он выглядит как копия части 2 этого уравнения.
  • Установите реалистичные границы для переменных с lb (нижняя граница) и ub (верхняя граница).Например, если это расстояние, то нижняя граница может составлять 0,01 или другое небольшое число.
  • Включите лучшие начальные значения угадывания.Начало с нуля может означать, что уравнения первоначально оцениваются в бесконечности или NaN. 
from gekko import GEKKO
V = 20
S = 30
t1 = 0.1
t2 = 0.2
t3 = 0.3
t4 = 0.05
t5 = 0.6
t6 = 0.2
t7 = 0.1

m = GEKKO(remote=False)
x1= m.Var(value = 0.11, lb=0.01, ub=2.0, name='x1')
x2= m.Var(value = 0.12, lb=0.01, ub=2.0, name='x2')
x3= m.Var(value = 0.13, lb=0.01, ub=2.0, name='x3')
y1= m.Var(value = 0.14, lb=0.01, ub=2.0, name='y1')
y2= m.Var(value = 0.15, lb=0.01, ub=2.0, name='y2')
y3= m.Var(value = 0.16, lb=0.01, ub=2.0, name='y3')
z1= m.Var(value = 0.17, lb=0.01, ub=2.0, name='z1')
z2= m.Var(value = 0.18, lb=0.01, ub=2.0, name='z2')
z3= m.Var(value = 0.19, lb=0.01, ub=2.0, name='z3')
t8= m.Var(value = 0.20, lb=0.01, ub=2.0, name='t8')
t9= m.Var(value = 0.21, lb=0.01, ub=2.0, name='t9')
t10= m.Var(value = 0.22, lb=0.01, ub=2.0, name='t10')
t11= m.Var(value = 0.23, lb=0.01, ub=2.0, name='t11')
t12= m.Var(value = 0.24, lb=0.01, ub=2.0, name='t12')
m.Equations([
            V == z3*(x1*y2 - x2*y1) + y3*(x2*z1 - x1*z3) + x3*(y1*z3 - y2*z1),\
            S == 0.5 * m.sqrt(((x1*y2-x2*y1)**2)+((x2*z1-x1*z2)**2)+((x1*y2-x2*y1)**2)) \
               + 0.5 * m.sqrt(((x1*y3-x3*y1)**2)+((x3*z1-x1*z3)**2)+((y1*z3-y3*z1)**2)) \
               + 0.5 * m.sqrt(((x1*y3-x3*y1)**2)+((x3*z1-x1*z3)**2)+((y1*z3-y3*z1)**2)),\
            t1 == m.acos(x1*x2+y1*y2+z1*z2)/((m.sqrt((x1**2) +(y1**2) \
                  + (z1**2)))*(m.sqrt((x2**2) +(y2**2) + (z2**2)))),\
            t2 == m.acos(x1*x3+y1*y3+z1*z3)/((m.sqrt((x1**2) +(y1**2) \
                  + (z1**2)))*(m.sqrt((x3**2) +(y3**2) + (z3**2)))),\
            t3 == m.acos(x2*x3+y2*y3+z2*z3)/((m.sqrt((x2**2) +(y2**2) \
                  + (z2**2)))*(m.sqrt((x3**2) +(y3**2) + (z3**2)))),\
            t4 == m.acos((x1*(x1-x3)) +(y1*(y1-y3)) +(z1*(z1-z3))/  \
                  ((m.sqrt((x1**2) + (y1**2)+(z1**2))) * (m.sqrt((x1-x3)**2  \
                  + (y1-y3)**2 + (z1-z3)**2)))),\
            t5 == m.acos((x1*(x1-x2))+ (y1*(y1-y2))+(z1*(z1-z2))/ \
                  ((m.sqrt((x1**2) + (y1**2) + (z1**2)))*(m.sqrt((x1-x2)**2 \
                  + (y1-y2)**2 +(z1-z2)**2)))),\
            t6 == m.acos((x2*(x1-x2))+ (y2*(y1-y2))+(z2*(z1-z2))/ \
                  ((m.sqrt((x2**2) +(y2**2) + (z2**2)))*(m.sqrt((x1-x2)**2 \
                  +(y1-y2)**2 +(z1-z2)**2)))),\
            t7 == m.acos((x2*(x2-x3))+ (y2*(y2-y3))+(z2*(z2-z3))/ \
                  ((m.sqrt((x2**2) +(y2**2) + (z2**2)))*(m.sqrt((x2-x3)**2 \
                  +(y2-y3)**2 +(z2-z3)**2)))),\
            t8 == m.acos((x3*(x2-x3))+ (y3*(y2-y3))+(z3*(z2-z3))/ \
                  ((m.sqrt((x3**2) +(y3**2) + (z3**2)))*(m.sqrt((x2-x3)**2 \
                  +(y2-y3)**2 +(z2-z3)**2)))),\
            t9 == m.acos((x1*(x1-x3))+ (y1*(y1-y3))+(z1*(z1-z3))/ \
                  ((m.sqrt((x1**2) +(y1**2) + (z1**2)))*(m.sqrt((x1-x3)**2 \
                  +(y1-y3)**2 +(z1-z3)**2)))),\
            t10 == m.acos(((x1-x3) * (x2-x3) + (y1-y3) * (y2-y3) + (z1-z3) * (z2-z3)) / \
                  (m.sqrt((x1-x3)**2 + (y1-y3)**2 + (z1-z3)**2) * m.sqrt((x2-x3)**2 \
                  +(y2-y3)**2 + (z2-z3)**2))),\
            t11 == m.acos(((x1-x3)* (x1-x2) + (y1-y3)*(y1-y2) +(z1-z3)*(z1-z2))/ \
                  (m.sqrt((x1-x3)**2 + (y1-y3)**2 + (z1-z3)**2)* \
                  m.sqrt((x1-x2)**2 +(y1-y2)**2 +(z1-z2)**2))),\
            t12 == m.acos(((x1-x2) *(x2-x3)+(y1-y2)*(y2-y3) +(z1-z2)*(z2-z3))/ \
                  (m.sqrt((x1-x2)**2 +(y1-y2)**2 + (z1-z2)**2)* \
                  m.sqrt((x2-x3)**2 +(y2-y3)**2 +(z2-z3)**2)))])
m.open_folder()
m.options.SOLVER = 1
m.solve(disp = True)
print("vector a:",x1.value,y1.value,z1.value, \
      " vector b:",x2.value,y2.value,z2.value, \
      " vector c:",x3.value,y4.value,z3.value,)

Команда m.open_folder() открывает каталог запуска, в котором вы можете найти файл infeasibilities.txt.Вы также можете открыть файл gk_model0.apm, чтобы увидеть ваши уравнения.

...