Please use this identifier to cite or link to this item: http://lib.kart.edu.ua/handle/123456789/4745
Full metadata record
DC FieldValueLanguage
dc.contributor.authorМирошник, Марина Анатольевна-
dc.contributor.authorКлименко, Любовь Анатольевна-
dc.contributor.authorГерман, Эдуард Евгеньевич-
dc.contributor.authorMiroshnyk, Maryna А.-
dc.contributor.authorKlymenko, Lubov А.-
dc.contributor.authorGerman, Eduard E.-
dc.date.accessioned2020-12-03T10:49:34Z-
dc.date.available2020-12-03T10:49:34Z-
dc.date.issued2016-
dc.identifier.citationМирошник М. А. Методы параллельного решения SAT-задач для реализации процедур прогнозирования трудоемкости / М. А. Мирошник, Л. А. Клименко, Э. Е. Герман // Інформаційно-керуючі системи на залізничному транспорті. - 2016. - № 3. - С. 23-29.uk_UA
dc.identifier.issn1681-4886 (рrint); 2413-3833 (online)-
dc.identifier.urihttp://lib.kart.edu.ua/handle/123456789/4745-
dc.description.abstractUA: У статті розроблена і реалізована великоблочна паралельна технологія рішення SAT-задач у вигляді MPI-програми в розподілених комп'ютерних системах. У даній технології використовується декомпозиція вихідної SAT- задачі на безліч підзадач. В роботі використовується процедура статистичного прогнозування трудомісткості паралельного розв’язання SAT-задач, яка дозволяє визначити оптимальні прогнозовані параметри декомпозиції. Показано, що використання параметрів декомпозиції, знайдених за допомогою процедур прогнозування, дозволяє успішно вирішувати SAT-задачі, які кодують задачі звернення ряду криптографічних дискретних функцій.uk_UA
dc.description.abstractEN: The large-block parallel technology of SAT-tasks solutions as MPI-programs in distributed computing systems was designed and implemented in the paper. The decomposition of the original SAT-tasks into multiple subtasks was used in this technology. The statistical procedure for the parallel SAT-solving tasks complexity predicting, which allows to determine the optimal prediction parameters of decomposition was used in the work. It was shown that the use of decomposition parameters that was found using the prediction procedures allows solving successfully the SAT-encoding task handling cryptographic number of discrete functions. The realization of large-block parallel technology of SAT-tasks solution as PD-SAT MPI-program was presented in the paper. This program allows predicting the complexity of solving SAT-problems and their immediate solution within any distributed computing environment with an installed MPI-communication environment. The successful use of PD-SAT in solving the problems of logical cryptanalysis of stream encrypting systems, in respect of which sequential logic cryptanalysis did not give acceptable results was demonstrated in the series of numerical experiments. Further development of presented technology and its application in parallel logical cryptanalysis in other encryption systems was assumed.-
dc.publisherУкраїнський державний університет залізничного транспортуuk_UA
dc.subjectрозподілені комп'ютерні системиuk_UA
dc.subjectSAT-завданняuk_UA
dc.subjectSAT-вирішувачuk_UA
dc.subjectпаралельна технологіяuk_UA
dc.subjectMPI-програмаuk_UA
dc.subjectпрогнозуванняuk_UA
dc.subjectщо кодують задачіuk_UA
dc.subjectкриптографічна дискретна функціяuk_UA
dc.subjectКНФuk_UA
dc.subjectкриптоаналізuk_UA
dc.subjectdistributed computing systemuk_UA
dc.subjectSAT-problemuk_UA
dc.subjectthe SAT-solveruk_UA
dc.subjectparallel technologyuk_UA
dc.subjectMPI-programuk_UA
dc.subjectprediction encoding tasks cryptographic discrete functionuk_UA
dc.subjectCNFuk_UA
dc.subjectcryptanalysisuk_UA
dc.titleМетоды параллельного решения SAT-задач для реализации процедур прогнозирования трудоемкостиuk_UA
dc.title.alternativeSAT-tasks parallel solutions method for realization of procedures complexity predictinguk_UA
dc.typeArticleuk_UA
Appears in Collections:№ 3

Files in This Item:
File Description SizeFormat 
Miroshnyk.pdf178.18 kBAdobe PDFView/Open


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