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

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

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

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

бинарная декомпозиция, предикаты, функциональные предикаты, декартова декомпозиция, труды учёных ТПУ, электронный ресурс,

Авторы:

Скачать PDF