Том 320 № 5 (2012): Управление, вычислительная техника и информатика

Разработка метода бинарной декомпозиции функциональных предикатов

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

Ключевые слова:

бинарная декомпозиция, предикаты, функциональные предикаты, декартова декомпозиция

Авторы:

М. Н. Рудометкина

Скачать bulletin_tpu-2012-320-5-01.pdf