Normal view
MARC view
Использование двоичных диаграмм решений в задачах обращения дискретных функций (Record no. 565707)
[ view plain ]
| 000 -Маркер записи | |
|---|---|
| Контрольное поле постоянной длины | 02299nab a2200301 c 4500 |
| 001 - Контрольный номер | |
| Контрольное поле | koha000565707 |
| 005 - Дата корректировки | |
| Контрольное поле | 20230920115419.0 |
| 007 - Кодируемые данные (физ. описан.) | |
| Контрольное поле постоянной длины | cr | |
| 008 - Кодируемые данные | |
| Контрольное поле постоянной длины | 210528|2009 ru s c rus d |
| 035 ## - Системный контрольный номер | |
| Системный контрольный номер | koha000565707 |
| 040 ## - Источник каталогиз. | |
| Служба первич. каталог. | RU-ToGU |
| Код языка каталог. | rus |
| Служба, преобразующая запись | RU-ToGU |
| 100 1# - Автор | |
| Автор | Игнатьев, Алексей Сергеевич |
| 9 (RLIN) | 346168 |
| 245 10 - Заглавие | |
| Заглавие | Использование двоичных диаграмм решений в задачах обращения дискретных функций |
| Ответственность | А. С. Игнатьев, А. А. Семенов, А. Е. Хмельнов |
| 336 ## - Тип содержимого | |
| Тип содержимого | Текст |
| 337 ## - Средство доступа | |
| Средство доступа | электронный |
| 504 ## - Библиография | |
| Библиография | Библиогр.: 13 назв. |
| 520 3# - Аннотация | |
| Аннотация | Рассматривается возможность использования двоичных диаграмм решений (BDD) в задачах обращения дискретных функций из одного класса, известного своими многочисленными приложениями. Описывается метод решения систем логических уравнений, сочетающий элементы SAT-подхода и подхода, использующего ROBDD-представления характеристических функций рассматриваемых систем. Приводится описание архитектуры «типового» BDD-решателя систем логических уравнений. |
| 653 ## - Ключевые слова | |
| Ключевые слова | двоичные диаграммы решений |
| 653 ## - Ключевые слова | |
| Ключевые слова | адачи обращения дискретных функций |
| 655 #4 - Термин индексирования — жанр/форма | |
| Жанр/форма | статьи в журналах |
| 9 (RLIN) | 879358 |
| 700 1# - Другие авторы | |
| Другие авторы | Семенов, Александр Анатольевич |
| 9 (RLIN) | 344945 |
| 700 1# - Другие авторы | |
| Другие авторы | Хмельнов, Алексей Евгеньевич |
| 9 (RLIN) | 346169 |
| 773 0# - Источник информации | |
| Название источника | Вестник Томского государственного университета. Управление, вычислительная техника и информатика |
| Место и дата издания | 2009 |
| Прочая информация | № 1. С. 115-129 |
| ISSN | 1998-8605 |
| Контрольный № источника | 0210-40860 |
| 852 4# - Местонахождение единицы хранения | |
| Код организации-хранителя | RU-ToGU |
| 856 4# - Электронный адрес документа | |
| URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565707">http://vital.lib.tsu.ru/vital/access/manager/Repository/koha:000565707</a> |
| 908 ## - Параметр входа данных | |
| Параметр входа данных | статья |
| 999 ## - Системные контрольные номера (Koha) | |
| biblionumber (Koha) | 565707 |
No items available.