Разработка метода бинарной декомпозиции функциональных предикатов
| Parent link: | Известия Томского политехнического университета [Известия ТПУ]/ Томский политехнический университет (ТПУ).— , 2000- Т. 320, № 5 : Управление, вычислительная техника и информатика.— 2012.— [С. 5-11] |
|---|---|
| Κύριος συγγραφέας: | |
| Περίληψη: | Заглавие с титульного листа Электронная версия печатной публикации Проведен анализ единственного обоснованного метода бинарной декомпозиции конечных предикатов - метода декартовой декомпозиции. Впервые разработан и обоснован частный метод бинарной декомпозиции для функциональных предикатов, основанный на анализе зависимостей, при этом количество значений вспомогательной переменной сведено к минимуму. На основе предложенного метода создан алгоритм бинарной декомпозиции функциональных предикатов. |
| Γλώσσα: | Ρωσικά |
| Έκδοση: |
2012
|
| Σειρά: | Управление, вычислительная техника и информатика |
| Θέματα: | |
| Διαθέσιμο Online: | http://earchive.tpu.ru/bitstream/11683/4234/1/bulletin_tpu-2012-320-5-01.pdf |
| Μορφή: | Ηλεκτρονική πηγή Κεφάλαιο βιβλίου |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=220530 |
| Φυσική περιγραφή: | 1 файл (101 Кб) |
|---|---|
| Περίληψη: | Заглавие с титульного листа Электронная версия печатной публикации Проведен анализ единственного обоснованного метода бинарной декомпозиции конечных предикатов - метода декартовой декомпозиции. Впервые разработан и обоснован частный метод бинарной декомпозиции для функциональных предикатов, основанный на анализе зависимостей, при этом количество значений вспомогательной переменной сведено к минимуму. На основе предложенного метода создан алгоритм бинарной декомпозиции функциональных предикатов. |