Метод паралельного рішення SAT-задач для реалізації процедур прогнозування трудомісткості.
DOI:
https://doi.org/10.18664/ikszt.v0i3.76327Ключові слова:
розподілені комп'ютерні системи, SAT-завдання, SAT-вирішувач, паралельна технологія, MPI-програма, прогнозування, що кодують задачі, криптографічна дискретна функція, КНФАнотація
У статті розроблена і реалізована великоблочна паралельна технологія рішення SAT-задач у вигляді MPI-програми в розподілених комп'ютерних системах. У даній технології використовується декомпозиція вихідної SAT- задачі на безліч підзадач. В роботі використовується процедура статистичного прогнозування трудомісткості паралельного розв’язання SAT-задач, яка дозволяє визначити оптимальні прогнозовані параметри декомпозиції. Показано, що використання параметрів декомпозиції, знайдених за допомогою процедур прогнозування, дозволяє успішно вирішувати SAT-задачі, які кодують задачі звернення ряду криптографічних дискретних функцій.
Посилання
Мирошник, М.А. Разработка средств защиты информации в распределенных компьютерных системах и сетях [Текст] / М.А. Мирошник // Інформаційно-керуючі системи на залізничному транспорті: наук.-техн. журнал. – Харків: УкрДУЗТ, 2015. – №1. – С. 18-25.,
Miroshnik, M. Implementation of cryptographic algorithms on FPGA-based digital distributed systems [Тext] / M. Miroshnik // Інформаційно-керуючі системи на залізничному транспорті: наук.-техн. журнал. – Харків: УкрДУЗТ, 2015. – № 2 (111). – С. 25-30.
Мирошник, М.А. Разработка интеллектуальной диагностической инфраструктуры в распределенных компьютерных системах [Текст] / М.А. Мирошник // Інформаційно-керуючі системи на залізничному транспорті: наук.-техн. журнал. – Харків: УкрДУЗТ, 2015. №3. С. 3-9.
Мирошник, М.А. Проектирование компьютерных систем с интеллектуальной диагностической инфраструктурой [Текст] / М.А. Мирошник // Радіотехніка: Всеукр. міжвід. наук.-техн. зб. – 2015. – Вип. 180. – С. 64–67.
Miroshnik, M.A. Application of software complex for query processing in the database management system with a view of dispatching problem solving in Grid systems [Тext] / M.A. Miroshnik, V.G. Kotukh, S.N. Selevko // Telecommunications and radio engineering. – 2013. – Vol.27, № 10. –P. 875-891.
Мирошник, М.А. Синтез распределенных компьютерных сред на базе компьютерных сетей [Текст] / М.А. Мирошник // Системи обробки інформації. – 2013. – №7 (114). – С. 86-89.
Miroshnik, M.A. Uses of programmable logic integrated circuits for implementations of data encryption standard and its experimental linear cryptanalysis [Тext] / M.A. Miroshnik, M.A. Kovalenko // Інформаційно-керуючі системи на залізничному транспорті: наук.-техн. журнал. – Харків: УкрДАЗТ, 2013. – №6. – С. 36-45.,
Мирошник, M.А. Методы защиты цифровой информации в распределенных компьютерных сетях [Текст] / М.А. Мирошник // Інформаційно-керуючі системи на залізничному транспорті: наук.-техн. журнал. – Харків: УкрДАЗТ, 2014. – №5. – С. 66-70.
Крылова, В.А. Разработка методов оценки эффективности систем защиты информации в распределенных компьютерных системах [Текст] / В.А. Крылова, А.H. Мирошник // Інформаційно-керуючі системи на залізничному транспорті: наук.-техн. журнал. – Харків: УкрДУЗТ, 2015. – № 2 (111). – С. 43-51.
Мірошник, М.А. Розробка методів оцінки ефективності захисту інформації в розподілених комп'ютерних системах [Текст] / M.А. Мірошник // Інформаційно-керуючі системи на залізничному транспорті: наук.-техн. журнал. – Харків: УкрДУЗТ, 2015. – № 4 (113). – С. 39-43.
Мирошник, M.А. Проектирование систем искусственного интеллекта с использованием нечеткой логики [Текст] / M.А. Мирошник, В.Г. Котух, Э.Е. Герман // Радиотехника: Всеукр. межвед. науч.-техн. сборник. – Харьков: ХНУРЭ, 2015. – Вып. 182. – С. 42–50.
Мирошник, M.А. Применение интеллектуальной диагностической инфраструктуры для управления кибербезопасностью. Часть 1 Интеллектуализация механизмов защиты [Текст] / M.А. Мирошник, В.А. Крылова, А.И. Демичев // Інформаційно-керуючі системи на залізничному транспорті: наук.-техн. журнал. – Харків: УкрДУЗТ, 2015. – № 6 (115). – С. 25-32.
Мирошник, M.А. Применение интеллектуальной диагностической инфраструктуры для управления кибербезопасностью. Часть 2 Поддержка жизненного цикла системы киберзащиты [Текст] / M.А. Мирошник, В.А. Крылова, А.И. Демичев // Інформаційно-керуючі системи на залізничному транспорті: наук.-техн. журнал. – Харків: УкрДУЗТ, 2016. – № 1 (116). – С. 16-25.
##submission.downloads##
Опубліковано
Номер
Розділ
Ліцензія
Авторське право (c) 2016 М. A. МИРОШНИК, Л. А. КЛИМЕНКО, Э. Е. ГЕРМАН
Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
