Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://lib.kart.edu.ua/handle/123456789/12162| Назва: | Верифікація програмного забезпечення на основі рішення SAT-задачі |
| Автори: | Пархоменко, Олександр Олександрович |
| Дата публікації: | 2012 |
| Видавництво: | Українська державна академія залізничного транспорту |
| Бібліографічний опис: | Пархоменко О. О. Верифікація програмного забезпечення на основі рішення SAT-задачі / О. О. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 25-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (м. Харків, 2012 р.). – 2012. – № 4 (додаток). – С. 12. |
| Короткий огляд (реферат): | Для верифікації програмних продуктів використовується програмний комплекс Transalg призначений для зведення до булевого рівняння (і в тому числі до SAT-завдання) задач зведення полиномінальних обчислювальних дискретних функцій. З цією метою алгоритм обчислення функції записується на спеціальній Сподібній мові (ТА-мова), після чого відбувається трансляція отриманої ТА-програми в систему булевих рівнянь. На заключному етапі трансляції система приводиться до однієї з можливих нормальних форм («КНФ = 1», «ДНФ = 0», поліноміальні рівняння над полем GF ). Тому є актуальним розробка ефективних алгоритмів рішення SAT-задачі. Усі відомі алгоритми мають експоненціальну складність. У роботі розглядається можливість створення алгоритму субекспоненціальної складності для вирішення SATзадачі. |
| URI (Уніфікований ідентифікатор ресурсу): | http://lib.kart.edu.ua/handle/123456789/12162 |
| ISSN: | 1681-4886 (рrint); 2413-3833 (online) |
| Розташовується у зібраннях: | № 4 (додаток) |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| Пархоменко.pdf | 801.85 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.