Разработка метода бинарной декомпозиции функциональных предикатов; Известия Томского политехнического университета [Известия ТПУ]; Т. 320, № 5 : Управление, вычислительная техника и информатика
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 320, № 5 : Управление, вычислительная техника и информатика.— 2012.— [С. 5-11] |
|---|---|
| Autor principal: | |
| Sumari: | Заглавие с титульного листа Электронная версия печатной публикации Проведен анализ единственного обоснованного метода бинарной декомпозиции конечных предикатов - метода декартовой декомпозиции. Впервые разработан и обоснован частный метод бинарной декомпозиции для функциональных предикатов, основанный на анализе зависимостей, при этом количество значений вспомогательной переменной сведено к минимуму. На основе предложенного метода создан алгоритм бинарной декомпозиции функциональных предикатов. |
| Idioma: | rus |
| Publicat: |
2012
|
| Col·lecció: | Управление, вычислительная техника и информатика |
| Matèries: | |
| Accés en línia: | http://earchive.tpu.ru/bitstream/11683/4234/1/bulletin_tpu-2012-320-5-01.pdf |
| Format: | Electrònic Capítol de llibre |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=220530 |
| Descripció física: | 1 файл (101 Кб) |
|---|---|
| Sumari: | Заглавие с титульного листа Электронная версия печатной публикации Проведен анализ единственного обоснованного метода бинарной декомпозиции конечных предикатов - метода декартовой декомпозиции. Впервые разработан и обоснован частный метод бинарной декомпозиции для функциональных предикатов, основанный на анализе зависимостей, при этом количество значений вспомогательной переменной сведено к минимуму. На основе предложенного метода создан алгоритм бинарной декомпозиции функциональных предикатов. |