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

Bibliographic Details
Parent link:Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000-
Т. 320, № 5 : Управление, вычислительная техника и информатика.— 2012.— [С. 5-11]
Main Author: Рудометкина М. Н.
Summary:Заглавие с титульного листа
Электронная версия печатной публикации
Проведен анализ единственного обоснованного метода бинарной декомпозиции конечных предикатов - метода декартовой декомпозиции. Впервые разработан и обоснован частный метод бинарной декомпозиции для функциональных предикатов, основанный на анализе зависимостей, при этом количество значений вспомогательной переменной сведено к минимуму. На основе предложенного метода создан алгоритм бинарной декомпозиции функциональных предикатов.
Language:Russian
Published: 2012
Series:Управление, вычислительная техника и информатика
Subjects:
Online Access:http://earchive.tpu.ru/bitstream/11683/4234/1/bulletin_tpu-2012-320-5-01.pdf
Format: Electronic Book Chapter
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=220530

Similar Items