Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://lib.kart.edu.ua/handle/123456789/12083| Назва: | Сведения задачи проектирования ПЛИС к SAT задачи |
| Автори: | Пархоменко, Александр Александрович |
| Дата публікації: | 2013 |
| Видавництво: | Українська державна академія залізничного транспорту |
| Бібліографічний опис: | Пархоменко А. А. Сведения задачи проектирования ПЛИС к SAT задачи / А. А. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 26-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (м. Харків, 18-19 вересня 2013 р.). – 2013. – № 4 (додаток). – С. 15. |
| Короткий огляд (реферат): | Задача выполнимости представляет собой важнейшую проблему дискретной математики, которая имеет большое количество практических приложений в системах автоматизированного проектирования. Задача SAT это задача определения разрешимости булевой формулы. Формула называется разрешимой, если для нее существует выполняющий ее набор переменных, то есть набор значений всех входящих в формулу переменных, на которых формула истина. Данная задача имеет важное прикладное значение при проектировании программируемых логических интегральных схем (ПЛИС). |
| URI (Уніфікований ідентифікатор ресурсу): | http://lib.kart.edu.ua/handle/123456789/12083 |
| ISSN: | 1681-4886 |
| Розташовується у зібраннях: | № 4 (додаток) |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Пархоменко.pdf | 858.3 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.