Метод паралельного рішення SAT-задач для реалізації процедур прогнозування трудомісткості.

Автор(и)

  • М. A. МИРОШНИК Украинский государственный университет железнодорожного транспорта, Ukraine
  • Л. А. КЛИМЕНКО Украинский государственный университет железнодорожного транспорта,
  • Э. Е. ГЕРМАН Национальный технический университет «Харьковский политехнический институт»,

DOI:

https://doi.org/10.18664/ikszt.v0i3.76327

Ключові слова:

розподілені комп'ютерні системи, SAT-завдання, SAT-вирішувач, паралельна технологія, MPI-програма, прогнозування, що кодують задачі, криптографічна дискретна функція, КНФ

Анотація

У статті розроблена і реалізована великоблочна паралельна технологія рішення SAT-задач у вигляді MPI-програми в розподілених комп'ютерних системах. У даній технології використовується декомпозиція вихідної SAT- задачі на безліч підзадач. В роботі використовується процедура статистичного прогнозування трудомісткості паралельного розв’язання SAT-задач, яка дозволяє визначити оптимальні прогнозовані параметри декомпозиції. Показано, що використання параметрів декомпозиції, знайдених за допомогою процедур прогнозування, дозволяє успішно вирішувати SAT-задачі, які кодують задачі звернення ряду криптографічних дискретних функцій.

Біографії авторів

М. A. МИРОШНИК, Украинский государственный университет железнодорожного транспорта

доктор технических наук, профессор

Л. А. КЛИМЕНКО, Украинский государственный университет железнодорожного транспорта

кандидат технических наук, доцент

Э. Е. ГЕРМАН, Национальный технический университет «Харьковский политехнический институт»

кандидат технических наук, доцент

Посилання

Мирошник, М.А. Разработка средств защиты информации в распределенных компьютерных системах и сетях [Текст] / М.А. Мирошник // Інформаційно-керуючі системи на залізничному транспорті: наук.-техн. журнал. – Харків: УкрДУЗТ, 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##

Опубліковано

2016-06-29