Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
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.pdf | 108,27 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.