На данном сайте представлена web-версия универсального решателя математических задач .
В решателе используется уникальная технология (недоопределённых вычислений), которая позволяет решать задачи, непосильные для прочих существующих алгоритмов. Подробнее о назначении и возможностях решателя , а также описание языка спецификации модели можно прочитать в соответствующих разделах сайта.
Для достижения максимального удобства работы с web-версией решателя рекомендуем использовать браузер версии 5.0 и выше; разрешение экрана — 1024 x 768 и выше.
Для запуска вычислений необходимо:
|
Предложенный набор примеров поможет в освоении различных конструкций языка спецификации модели.
— это множество возможных точных значений. Т.е. значение каждой переменной в системе не является точным, а представляется множеством (в текущей версии системы — целым или вещественным интервалом).
есть набор математических выражений, записанных через точку с запятой. Каждое такое выражение интерпретируется как ограничение на значения входящих в него переменных.
Режим — запуск алгоритма Н-вычислений — простое сжатие границ интервалов значений переменных на основе заданной системы ограничений.
Режим — запуск специального алгоритма поиска точных значений переменных модели, при которых данная система ограничений является совместной.
— это максимальная длина вещественного интервала, интерпретируемого системой как "точное значение".
— число, определяющее верхнюю границу для количества искомых корней. По достижении этой границы поиск корней прекращается.
— границы аргументов тригонометрических функций.
— специальный режим оптимизации модели (интервальный метод Гаусса). Рекомендуется включать для решения линейной системы ограничений.
— показ результатов вычислений в упрощённом виде (зависит от параметра ).
Web-версия представлена в двух вариантах — демонстрационном и полном. Полная версия требует авторизованного доступа.
Web-версия имеет ограничения по времени вычислений: 5 секунд для демонстрационной версии и 30 секунд для полной. Кроме того, демо-версия имеет ограничение на количество переменных в модели: 20. Ограничения на количество искомых корней: 5 для демонстрационной версии и 10 для полной.