Please use this identifier to cite or link to this item: http://lib.kart.edu.ua/handle/123456789/12162
Title: Верифікація програмного забезпечення на основі рішення SAT-задачі
Authors: Пархоменко, Олександр Олександрович
Issue Date: 2012
Publisher: Українська державна академія залізничного транспорту
Citation: Пархоменко О. О. Верифікація програмного забезпечення на основі рішення SAT-задачі / О. О. Пархоменко // Інформаційно-керуючі системи на залізничному транспорті : матеріали стендових доповідей та виступів учасників 25-ї міжнародної науково-практичної конференції "Інформаційно-керуючі системи на залізничному транспорті" (м. Харків, 2012 р.). – 2012. – № 4 (додаток). – С. 12.
Abstract: Для верифікації програмних продуктів використовується програмний комплекс Transalg призначений для зведення до булевого рівняння (і в тому числі до SAT-завдання) задач зведення полиномінальних обчислювальних дискретних функцій. З цією метою алгоритм обчислення функції записується на спеціальній Сподібній мові (ТА-мова), після чого відбувається трансляція отриманої ТА-програми в систему булевих рівнянь. На заключному етапі трансляції система приводиться до однієї з можливих нормальних форм («КНФ = 1», «ДНФ = 0», поліноміальні рівняння над полем GF ). Тому є актуальним розробка ефективних алгоритмів рішення SAT-задачі. Усі відомі алгоритми мають експоненціальну складність. У роботі розглядається можливість створення алгоритму субекспоненціальної складності для вирішення SATзадачі.
URI: http://lib.kart.edu.ua/handle/123456789/12162
ISSN: 1681-4886 (рrint); 2413-3833 (online)
Appears in Collections:№ 4 (додаток)

Files in This Item:
File Description SizeFormat 
Пархоменко.pdf801.85 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.