Партнерка на США и Канаду по недвижимости, выплаты в крипто

  • 30% recurring commission
  • Выплаты в USDT
  • Вывод каждую неделю
  • Комиссия до 5 лет за каждого referral

Ю. В. КОСТОВ, Е. С. ПЕТРОВ, А. С. ТУМАШОВ

Российский НИИ искусственного интеллекта, Новосибирский филиал

НОВЫЕ ВОЗМОЖНОСТИ РЕШАТЕЛЯ UniCalc

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

Решатель UniCalc реализует метода недоопределённых вычислений (н-вычислений) [1], который является наиболее общим из всех известных методов распространения ограничений. Метод н-вычислений позволяет описать задачу в виде, максимально приближенном к исходной её постановке. Задача может быть специфицирована в виде произвольного набора уравнений, неравенств, логических выражений с произвольным набором параметров. Некоторые (или все) параметры задачи могут быть заданы неточно — в виде интервалов целых или вещественных чисел, зависимости задаются композициями стандартных математических операций.

Текущая версия решателя UniCalc имеет следующие новые возможности.

1. Обеспечение математической корректности результатов.

Как известно, числа с плавающей точкой представляются в памяти ЭВМ в формате m*2e, где m и e — целые числа, лежащие в определённых диапазонах. Вещественные числа, которые не могут быть представлены в таком виде (например, число 0.6), в машинной арифметике представляются с ошибкой (это касается также и промежуточных результатов вычислений). Такие ошибки называются ошибками округления.

НЕ нашли? Не то? Что вы ищете?

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

2. Поддержка перечислимых значений параметров.

Теперь можно задавать параметры задачи с помощью прямого перечисления возможных точных их значений. Например: x = {1, 25, 184}; color = {magenta, red, orange, yellow}.

3. Визуализация результатов н-вычислений.

Создан макет графической подсистемы для отображения результатов вычислений, зависимостей между параметрами задачи. Основные возможности: визуализация массивов, функций от одного или двух аргументов (в 2- и 3-мерном пространстве соответственно), н-значений произвольного множества параметров в едином масштабе, неявных зависимостей 2-х или 3-х параметров в виде графиков функций или поверхностей. Имеется также возможность «наложения» нескольких графиков и поверхностей, отображающих зависимости параметров задачи; вращение 3-мерного пространства, изменение масштаба отображения.

4. Очереди элементарных ограничений.

На этапе вычислений все ограничения модели (зависимости между параметрами задачи) распадаются на набор элементарных ограничений, которые выполняются последовательно до тех пор, пока значения параметров не перестанут изменяться. При этом, как показано в [2]: a) результат н-вычислений не зависит от порядка вычислений элементарных ограничений; b) вычисления завершаются за конечное число шагов. Однако, скорость работы весьма чувствительна к порядку вычислений элементарных ограничений.

В текущей версии решателя повышена производительность за счёт перестройки порядка элементарных ограничений на основе набора статических и динамических общезначимых эвристик.

Дальнейшее развитие решателя UniCalc в основном будет нацелено на повышение уровня средств спецификации задач, что, таким образом, расширит область применимости решателя. Кроме того, планируются работы по введению дополнительных средств для повышения удобства работы с решателем, в частности:

-  Введение округляемого вещественного типа данных — для финансовых расчётов.

-  Добавление возможности описывать табличные ограничения.

-  Диагностика причин возникновения противоречий.

-  Введение в язык спецификации модели управляющих директив.

-  Визуализация динамики вычислений — возможность проследить изменение выбранных параметров.

-  Введение элементов императивности для управления процессом вычислений.

Работа выполнялась при финансовой поддержке РФФИ, проект № .

Список литературы

1.  Нариньяни в системах представления и обработки знаний // Изв. АН СССР. Техн. кибернетика. – 1986, №5. – С. 3-28.

2.  Ushakov D. Some Formal Aspects of Subdefinite Models. - Novosibirsk, 19p. - (Prepr. / Siberian Division of Russian Acad. Sci. IIS; № 49).