Результаты поиска по запросу "solver"
решает свою собственную маленькую матрицу. Циклическая обработка потока по одной матрице - плохая идея. Если не что-то иное, производительность, получаемая при асинхронном чтении, огромна.
асть более крупной проблемы, мне нужно решить небольшие линейные системы (т.е. NxN, где N ~ 10), поэтому использование соответствующих библиотек cuda не имеет никакого смысла с точки зрения скорости. К сожалению, еще кое-что неясно, как решить ...
Как решить систему неравенств?
Я свел свою проблему (алгоритм разметки таблицы) к следующей проблеме: Представьте, у меня есть N переменных X1, ИКС2, ..., ИКСN, У меня также есть некоторое (неопределенное) количество неравенств, например: X1 > = 2 x2$6, ..., ИКС7$ и ...
Есть ли какое-либо программное обеспечение, кроме Simple Solver, которое будет решать цифровые схемы с учетом входов / выходов?
Все - Я нашел что-то под названием «Простой решатель», расположенный здесь: http://home.roadrunner.com/~ssolver/syn.html [http://home.roadrunner.com/~ssolver/syn.html] и вы можете скачать его ...
Решатели уравнений для линейных математических уравнений
Мне нужно решить несколько математических уравнений в моем приложении. Вот'Типичный пример такого уравнения:
Решатели уравнений для линейных математических уравнений
Мне нужно решить несколько математических уравнений в моем приложении. Вот типичный пример такого уравнения: a + b * c - d / e = aДополнительные правила: b% 10 = 0b> = 0б <= 100Каждое число должно быть целым...Я хотел бы получить возможные ...
Как только вы используете квантификаторы, все ставки отключаются, так как логика становится полуразрешимой. 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, ...
SymPy: ограничить символ / переменную интервалом
Используя SymPy, возможно ли ограничить возможные значения символа / переменной определенным диапазоном? Теперь я могу установить некоторые свойства при определении символов, таких какpositive=True, но мне нужно больше контроля, т.е. мне нужно ...