Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://earchive.tpu.ru/handle/11683/4234
Название: Разработка метода бинарной декомпозиции функциональных предикатов
Авторы: Рудометкина, М. Н.
Ключевые слова: бинарная декомпозиция; предикаты; функциональные предикаты; декартова декомпозиция
Дата публикации: 2012
Издатель: Томский политехнический университет
Библиографическое описание: Рудометкина М. Н. Разработка метода бинарной декомпозиции функциональных предикатов / М. Н. Рудометкина // Известия Томского политехнического университета [Известия ТПУ]. — 2012. — Т. 320, № 5 : Управление, вычислительная техника и информатика. — [С. 5-11].
Аннотация: Проведен анализ единственного обоснованного метода бинарной декомпозиции конечных предикатов - метода декартовой декомпозиции. Впервые разработан и обоснован частный метод бинарной декомпозиции для функциональных предикатов, основанный на анализе зависимостей, при этом количество значений вспомогательной переменной сведено к минимуму. На основе предложенного метода создан алгоритм бинарной декомпозиции функциональных предикатов.
URI: http://earchive.tpu.ru/handle/11683/4234
ISSN: 1684-8519
Располагается в коллекциях:Известия ТПУ

Файлы этого ресурса:
Файл Описание РазмерФормат 
bulletin_tpu-2012-320-5-01.pdf108,27 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.