Результаты поиска по запросу "solver"

1 ответ

SOCP Solver Ошибка для fPortoflio с использованием solveRsocp

1 ответ

Решатель булевых выражений / упрощитель

Я ищу решение булевых выражений для очень большой (но не сложной) алгебры, такой как:Boolsche Ausdrücke vereinfachen (Аксиома) [http://www.elektroniker-bu.de/boolesche.htm]Я хотел бы иметь некоторый код (c ++ или java [или библиотеки]), чтобы ...

4 ответа

Как решить систему неравенств?

Я свел свою проблему (алгоритм разметки таблицы) к следующей проблеме: Представьте, у меня есть N переменных X1, ИКС2, ..., ИКСN, У меня также есть некоторое (неопределенное) количество неравенств, например: X1 > = 2 x2$6, ..., ИКС7$ и ...

ТОП публикаций

2 ответа

Решатели Matlab ода: изменение состояния и заданного времени

Я решаю набор ODE (dy / dt) при t = 0, все начальные условия t = 0 y_0 = (0,0,0). Могу ли я добавить некоторое число к значениям y в разное время (например, при t = 10 к этому числу следует добавить y1; при t = 20 к этому числу следует добавить ...

2 ответа

Симпи зависает при попытке решить простое алгебраическое уравнение

4 ответа

SymPy: ограничить символ / переменную интервалом

Используя SymPy, возможно ли ограничить возможные значения символа / переменной определенным диапазоном? Теперь я могу установить некоторые свойства при опре...

2 ответа

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

у проверить формулу формы: Exists p . ForAll x != 0 . f(x, p) > 0Реализация (которая не работает) следующая: def f0(x0, x1, x, y): return x1 ** 2 * y + x0 ** 2 * x s = Solver() x0, x1 = Reals('x0 x1') p0, p1 = Reals('p0 p1') s.add(Exists([p0, ...

1 ответ

Использовать решатель в VBA с циклом в строках

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

2 ответа

Симпи зависает при попытке решить простое алгебраическое уравнение

Недавно я переустановил свою среду Python, и код, который раньше работал очень быстро, теперь работает в лучшем случае (обычно просто зависает, занимая все больше и больше памяти). Точка, в которой висит код: solve(exp(-alpha * x**2) - 0.01, ...

3 ответа

Как установить glpk-solver вместе с pyomo в Winpython?

Я хочу использовать «pyomo» для учебы. Я установил Pyomo черезeasy_install инструкции по установке Coopr [https://software.sandia.gov/trac/coopr/downloader/download/file/64/CooprInstallGuide.pdf] , Pyomo нужен решатель для работы, поэтому я ...