2 (37) т.9, 2018 - Программные системы: теория и приложения

Заметка об автоматическом решении квадратичных уравнений в словах

Непейвода Антонина Николаевна

Статья научная

При анализе программ, оперирующих строками, естественным образом возникает задача решения уравнений в словах. На практике часто встречаются такие уравнения, содержащие, самое большее, два вхождения каждой переменной, –- так называемые квадратичные уравнения. Для их решения Ю. И. Хмелевским в 1971 году предложен интуитивно ясный алгоритм, имеющий экспоненциальную сложность. В 1999 году В. Дьекертом показано, что задача решения квадратичного уравнения является NP-трудной. В данной заметке изложены и показаны на примерах способы упрощения классического алгоритма Хмелевского, позволяющие добиться лучшей его применимости в автоматическом анализе программ.

Бесплатно

Метод улучшения управления для неоднородных дискретных систем с промежуточными критериями

Расина Ирина Викторовна, Гусева Ирина Сергеевна

Статья научная

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

Бесплатно