№1(84), 2019

УДК 004.7:519.87 (043)

Оцінка рівня доступності інформаційно-телекомунікаційних систем із використанням нечітких множин / І.О. Мачалін, І.Є. Терентьєва // Радіоелектроніка та інформатика. 2019. № 1. С. 4-9.

Запропоновано метод побудови нечіткої моделі з використанням логіко-лінгвістичного підходу та теорії нечітких множин. На основі розробленого методу та класифікації за рівнем доступності проведено оцінку рівня надійності та доступності інформаційно-телекомунікаційної системи. Показано, що даний метод доцільно використовувати на етапах проектування та експлуатації інформаційно-телекомунікаційних систем, коли немає достатньої статистичної інформації для отримання імовірнісних показників оцінки їхньої доступності. Ключові слова: доступність інформаційно-телекомунікаційних систем, нечітка модель, логіко-лінгвистичний підхід.

Табл. 5. Іл. 1. Бібліогр.: 10 назв.

UDC 004.7:519.87 (043)

Estimation of an accessability of the information and telecommunication systems using fuzzy sets / I.O. Machalin, I.Ye. Terentieva // Radioelectronics & Informatics. 2019. No. 1. P. 4-9.

The method of constructing a fuzzy model using the logical-linguistic approach and the theory of fuzzy sets was proposed. On the basis of the developed method and accessibility level classification the level of reliability and accessability of the information and telecommunication system was estimated. It was shown that this method should be used during designing and operating of information and telecommunication systems when there is not enough statistical information to obtain probabilistic indexes for assessing their accessibility. Key words: infotelecommunication systems accessability, fuzzy model, logical-linguistic approach.

Tabl. 5. Fig. 1. Ref.: 10 items.

УДК 004.7:519.87 (043)

Оценка уровня доступности информационно-телекоммуникационных систем с использованием нечетких множеств / И. А. Мачалин, И. Е. Терентьева // Радиоэлектроника и информатика. 2019. № 1. С. 4-9.

Предложен метод построения нечеткой модели с использованием логико-лингвистического подхода и теории нечетких множеств. На основе разработанного метода и классификации по уровню доступности проведена оценка уровня надежности и доступности информационно-телекоммуникационной системы. Показано, что данный метод целесообразно использовать на этапах проектирования и эксплуатации информационно-телекоммуникационных систем, когда нет достаточной статистической информации для получения вероятностных показателей оценки их доступности.

Табл. 5. Ил. 1. Библиогр.: 10 назв.

Література:

1. Ulansky V., Terentyeva I., Availability modeling of a digital electronic system with intermittent failures and continuous testing. Engineering Letters. 2017. V. 25, № 2. P. 104-111.

2. Уланський В. В., Терентьєва І. Є., Мачалін І. О. Оцінка готовності телекомунікаційних систем з різними видами відмов. Наукоємні технології. 2019. № 1 (41), 2019. С. 95–100.

3. Prasad V. B. “Computer networks reliability evaluations and intermittent faults”, in Proc. of 1990 IEEE 33^th Midwest Symp on Circuits and Systems, vol. 1 Calgary, Alta, 1990, pp. 327-330.

4. Prasad V. B., “Digital systems with intermittent faults and Markovian models”, in Proc. of 1992 IEEE 35^th Midwest Symp on Circuits and Systems, vol. 1, Washington, 1992, pp. 195-198.

5. Nakagava T. Advanced reliability models and maintenance policies. London: Springer, 2008, 234 p.

6. Документ SP-3-0092: (Стандарт TIA-942, редакция 7.0, февраль 2005). – NY. 230 c.

7. Заде Л. Понятие лингвистической переменной и ее применение к принятию приближенных решений. М. Мир, 1976. 166 с.

8. Корченко А. Построение систем защиты информации на нечетких множествах. Теория и практические решения. К. МК-Прогресс. 2006. 320 с.

9. Саати Т. Принятие решений. Метод анализа иерархий. М. Радио и связь. 1993. 320 с.

10. Bussmann J., Schmidt T., Bauer A. Proactive event management in the supply chain of aircraft spare parts. Strategies and Tactics in Supply Chain Event Management. Berlin: Springer Berlin Heidelberg. 2007. P. 65–82.

Транслітерований список літератури:

1. Ulansky V., Terentyeva I., Availability modeling of a digital electronic system with intermittent failures and continuous testing. Engineering Letters. 2017. Vol. 25, № 2. P. 104-111.
2. Ulans'kyj V. V., Terent'jeva I. Je., Machalin I. O. Ocinka gotovnosti telekomunikacijnyh system z riznymy vydamy vidmov. Naukojemni tehnologii'. 2019. № 1 (41), 2019. S. 95–100.
3. Prasad V. B. Computer networks reliability evaluations and intermittent faults // Proc. of 1990 IEEE 33^th Midwest Symp. on Circuits and Systems, vol. 1 Calgary, Alta, 1990, pp. 327-330.
4. V. B. Prasad, “Digital systems with intermittent faults and Markovian models”, in Proc. of 1992 IEEE 35^th Midwest Symp on Circuits and Systems, vol. 1, Washington, 1992, pp. 195-198.
5. Nakagava T. Advanced reliability models and maintenance policies. London: Springer, 2008, 234 p.
6. Dokument SP-3-0092: (Standart TIA-942, redakcyja 7.0, fevral' 2005). NY. 230 c.
7. Zade L. Ponjatye lyngvystycheskoj peremennoj y ee prymenenye k prynjatyju pryblyzhennыh reshenyj. M. Myr, 1976. 166 s.
8. Korchenko A. Postroenye system zashhytы ynformacyy na nechetkyh mnozhestvah. Teoryja y praktycheskye reshenyja. K. MK-Progress. 2006. 320 s.
9. Saaty T. Prynjatye reshenyj. Metod analyza yerarhyj. M. Radyo y svjaz'. 1993. 320 s
10. Bussmann J., Schmidt T., Bauer A. Proactive event management in the supply chain of aircraft spare parts. Strategies and Tactics in Supply Chain Event Management. Berlin: Springer Berlin Heidelberg. 2007. P. 65–82.

Мачалін Ігор Олексійович, д-р техн. наук, проф., декан Факультету аеронавігаціі, електроніки та телекомунікацій Національного авіаційного університету. Наукові інтереси: експлуатація та проектування інформаційно-телекомунікаційних систем. Хобі: музика. Адреса: Україна, 03054, Київ, пр. Космонавта Комарова, 1, e-mail: igor.machalin@ukr.net

Терентьєва Ірина Євгенівна, канд. техн. наук, доцент кафедри телекомунікаційних систем Факультету аеронавігаціі, електроніки та телекомунікацій Національного авіаційного університету. Наукові інтереси: моделювання експлуатаційної надійності інформаційно-телекомунікаційних та радіотехнічних систем. Хобі: музика, бадмінтон, більярд. Адреса: Україна, 03054, Київ, пр. Космонавта Комарова, 1,e-mail: i.terentyeva@ukr.net

Machalin Igor Alekseevich, DSc (Eng), Prof., Dean of the Faculty of Aeronavigation, Electronics and Telecommunications at the National Aviation University. Research interests: operation and design of information and telecommunication systems. Hobby: music. Address: Ukraine, 03054, Kyiv, Cosmonaut Komarov Ave., 1, e-mail: igor.machalin@ukr.net

Terentieva Iryna Yevhenivna, PhD, Associate Professor of the Department of Telecommunication Systems of the the Faculty of Aeronavigation, Electronics and Telecommunications at the National Aviation University. Research interests: operation and maintenance modeling of information, telecommunication and radio engineering systems. Hobby: music, badminton, billiards. Address: Ukraine, 03054, Kyiv, Cosmonaut Komarov Ave., 1, e-mail: i.terentyeva@ukr.net

 

УДК 517.977.57

Пошук оптимального закону керування процесами обробки сировини за критерієм максимальної ефективності / І.С. Конох, Н.М. Істоміна, А.П. Оксанич // Радіоелектроніка та інформатика. 2019. № 1. С.  10–19.

Досліджено питання оптимізації простих технологічних операцій обробки сировинного продукту на основі верифікованого показника ефективності, який комплексно враховує вартість вихідного продукту, матеріальні та тимчасові витрати. Доведено, що формування оптимального закону керування можливо при використанні адитивного критерію оптимальності, вагові коефіцієнти якого розраховуються на основі показника ефективності. Описаний метод оптимізації закону управління у функції якісного показника продукту та наведені експериментальні докази його працездатності на прикладі порційного нагріву рідини.

Табл. 8. Іл. 4. Бібліогр.: 8 назв.

UDC 517.977.57

The search for the optimal control law of processing raw materials by the maximum efficiency criterion / I.S. Konokh, N.N. Istomina, A.P. Oksanich // Radioelectronics & Informatics. 2019. N. 1. P. 10-19.

The question of optimizing of simple technological operations for raw product processing on the basis of verified efficiency factor is researched. The efficiency factor takes into account comprehensively the cost of the output product, material and time costs. The formation of an optimal control law using an additive optimality criterion with weight coefficients calculated basing on the efficiency factor is proved. The method for optimizing the control law as a function of a product’s quality factor is described. The experimental evidence of the method efficiency using the example of liquid batch heating is given. Key words: phase trajectory, economic justification, model studies, method of control law optimization.

Tab. 8. Fig. 4. Ref.: 8 items.

УДК 517.977.57

ПОИСК ОПТИМАЛЬНОГО ЗАКОНА УПРАВЛЕНИЯ ПРОЦЕССАМИ ОБРАБОТКИ СЫРЬЯ ПО КРИТЕРИЮ МАКСИМАЛЬНОЙ ЭФФЕКТИВНОСТИ

КОНОХ И.С., ИСТОМИНА Н.Н., ОКСАНИЧ А.П.

Исследуется вопрос оптимизации простых технологических операций обработки сырьевого продукта на основе верифицированного показателя эффективности, который комплексно учитывает стоимость выходного продукта, материальные и временные затраты. Доказывается, что формирование оптимального закона управления возможно при использовании аддитивного критерия оптимальности, весовые коэффициенты которого рассчитываются на основе показателя эффективности. Описывается метод оптимизации закона управления в функции качественного показателя продукта и приведены экспериментальные доказательства его работоспособности на примере порционного нагрева жидкости. Ключевые слова: фазовая траектория, экономическое обоснование, модельные исследования, метод оптимизация закона управления.

Литература:

1. Lutsenko I. Identification of target system operations. development of global efficiency criterion of target operations // Eastern-European Journal of Enterprise Technologies, 2015, 2 (2 (74)), P. 35–40.

2. Lutsenko I., Vihrova E., Fomovskaya E., Serdiuk O. Development of the method for testing of efficiency criterion of models of simple target operations // Eastern-European Journal of Enterprise Technologies, 2016, 2 (4 (80)). P. 42–50.

3. Конох И. Экстремальное эффективное управление процессом непрерывной обработки сырья // Вісник КрНУ імені Михайла Остроградського, 2018, Вип. 5(112), С. 30–38.

4. Lutsenko I., Fomovskaya O., Konokh I., Oksanych I. Development of a method for the accelerated two-stage search for an optimal control trajectory in periodical processes // Eastern-European Journal of Enterprise Technologies. 2017. Vol. 3, no 2 (87), P. 47-55.

5. Bellman R. E. Dynamic Programming. Princeton University Press. 2003. 401 p.

6. Löber J. Analytical Approximations for Optimal Trajectory Tracking // Bulletin of Volcanology, 2017, vol. 78, issue 10, P. 119–193.

7. Ляхомский А.В., Вахрушев С.В., Петров M.Г. Моделирование поверхности показателей энергоэффективности обогатительных производств горных предприятий // Горный информационно-аналитический бюллетень, 2006, № 10, С. 313–316.

8. Головицына М. Задачи оптимизации как основа для управления качеством промышленной продукции. URL: https://www.intuit.ru/ studies/ courses/ 650/ 506/lecture/11497?page=3 (дата обращения 10.01.2019).

Transliterated bibliography:

1. Lutsenko I. Identification of target system operations. development of global efficiency criterion of target operations // Eastern-European Journal of Enterprise Technologies. 2015. 2 (2 (74)), P. 35–40.

2. Lutsenko I., Vihrova E., Fomovskaya E., Serdiuk O. Development of the method for testing of efficiency criterion of models of simple target operations // Eastern-European Journal of Enterprise Technologies. 2016. 2 (4 (80)). 42–50.

3. Konokh I. Extreme effective control of continuous raw material processing // Transactions of Kremenchuk Mykhailo Ostrohradskyi National University, 2018, Iss. 5(112), P. 30–38.

4.  Lutsenko I., Fomovskaya O., Konokh I., Oksanych I. Development of a method for the accelerated two-stage search for an optimal control trajectory in periodical processes // Eastern-European Journal of Enterprise Technologies. 2017. 3, no 2 (87), P. 47-55.

5. Bellman R. E. Dynamic Programming. Princeton University Press. 2003. 401 p.

6.Löber J. Analytical Approximations for Optimal Trajectory Tracking // Bulletin of Volcanology, 2017, vol. 78, issue 10, P. 119–193.

7. Liakhomskii A.V., Vakhrushev S.V., Petrov M.G. Modelirovanie poverkhnosti pokazatelei energoeffektivnosti obogatitelnykh proizvodstv gornykh predpriiatii // Mining Informational and Analytical Bulletin, 2006, no. 10, P. 313–316.

8. Golovitcyna M. Zadachi optimizatcii kak osnova dlia upravleniia kachestvom promyshlennoi produktcii. URL: https://www.intuit.ru/studies/courses/650/506/lecture/11497?page=3 .

Конох Игорь Сергеевич, канд. техн. наук, доц. кафедры автоматизации и информационных систем, КрНУ. Научные интересы: автоматизированные системы контроля и управления производством. Адрес: Украина, 39600, Кременчуг, ул. Первомайская, 20, тел.: (05366)30157. E-mail: icegun.ik@gmail.com

Истомина Наталия Николаевна, ст. преп. кафедры автоматизации и информационных систем, КрНУ. Научные интересы: автоматизация процессов управления производством. Адрес: Украина, 39600, Кременчуг, ул. Первомайская, 20, тел.: (05366) 30157. E-mail: nmistomina@gmail.com

Оксанич Анатолий Петрович, д-р. техн. наук, профессор, директор НИИ технологии полупроводников и информационно-управляющих систем КрНУ, заведующий кафедрой автоматизации и информационных систем. Научные интересы: методы и аппаратура контроля структурно-совершенных полупроводниковых монокристаллов, пористые полупроводники. Адрес: Украина, 39600, Кременчуг, ул. Первомайская, 20, тел.: (05366)30157. E-mail: oksanich@kdu.edu.ua

Konokh Ihor Sergeevich, Cand. Tech. Sciences, Associate Professor, Department of Information and Control Systems, KrNU, Research interests: automated control systems and production management. Address: Ukraine, 39600, Kremenchug, Pervomayskaya Str, 20, tel.: (05366)30157. E-mail: icegun.ik@gmail.com

Istomina Nataliia Nikolaevna, Senior Lecturer, Department of Information and Control Systems, KrNU, Research interests: automation of production management processes. Address: Ukraine, 39600, Kremenchug, Pervomayskaya Str, 20, tel.: (05366)30157. E-mail: nmistomina@gmail.com

Oksanich Anatolii Petrovich, Dr. Tech. Sciences, Professor, Director of the Institute of Semiconductor Technology and Information Management Systems, KrNU, Head of Department of Information and Control Systems. Research interests: methods and equipment for the control of structurally perfect semiconductor single crystals, porous semiconductors. Address: Ukraine, 39600, Kremenchug, Pervomaiskaya Str, 20, tel.: (05366)30157. E-mail: oksanich@kdu.edu.ua

УДК 519.6

Система комп’ютерного моделювання для розв’язку тривимірних задач теплопровідності в анізотропному середовищі / Д.О. Протектор, Д.О. Лісін, О.Ю. Лісіна // Радіоелектроніка та інформатика. 2019. № 1. С. 20-27.

Описана розроблена система комп’ютерного моделювання «AnisotropicHeatTransfer3D», яка призначена для числового розв’язку тривимірних нестаціонарних задач теплопровідності в анізотропному середовищі. Представлені результати числового розв’язку тестової крайової задачі, які були отримані з використанням розробленої СКМ. Для оцінки точності апроксимації, пораховані середня відносна, середня абсолютна та максимальна похибки розв’язку тестової крайової задачі.

Табл. 1. Іл. 19. Бібліогр.: 6 назв.

UDC 519.6

Computer modeling system for solving three-dimensional heat conduction problems in an anisotropic environment / D.O. Protektor, D.O. Lisin, O.Yu. Lisina // Radioelectronics & Informatics. 2019. No. 1. P. 20-27.

The article deals with the developing of the computer modeling system called «AnisotropicHeatTransfer3D», designed for the numerical solution of three-dimensional non-stationary heat conduction problems in an anisotropic environment. The paper contains the results of numerical solution of the test boundary-value problem, which were obtained using the computer modeling system. To measure the accuracy of the approximation average relative error, average absolute error and maximum error of the solution of the test boundary-value problem were calculated.

Tab. 1. Fig. 19. Ref.: 6 items.

УДК 519.6

Система компьютерного моделирования для решения трехмерных задач теплопроводности в анизотропной среде / Д.О. Протектор, Д.А. Лисин, О.Ю. Лисина // Радиоэлектроника и информатика. 2019. № 2. С. 20-27.

В статье описывается разработанная система компьютерного моделирования «AnisotropicHeatTransfer3D», предназначенная для численного решения трехмерных нестационарных задач теплопроводности в анизотропной среде. Решение краевой задачи в системе компьютерного моделирования реализуется по бессеточной схеме на основе комбинации метода двойного замещения с использованием анизотропных радиальных базисных функций и метода фундаментальных решений. Метод фундаментальных решений используется для получения однородного решения, а метод двойного замещения с использованием анизотропных радиальных базисных функций – для получения частного решения. Представлены результаты численного решения тестовой краевой задачи, которые были получены с использованием разработанной СКМ. Для оценки точности аппроксимации, посчитаны средняя относительная, средняя абсолютная и максимальная погрешности решения тестовой краевой задачи.

Табл. 1. Ил. 19. Библиогр.: 6 наим.

Література:

1. Belytschko T., Lu Y.Y., Gu L. Element-free Galerkin methods // International Journal for Numerical Methods in Engineering. 1994. Vol. 37, Issue 2. Р. 229-256.
2. Belytschko T., Rongauz Y., Organ D. Meshless methods: an overview and recently developments // Computer Methods in Applied Mechanics and Engineering. 1996. Vol. 139. Р. 3-47.
3. Belytschko T., Rongauz Y., Doblaw J. On the completeness of the meshfree particle methods // International Journal for Numerical Methods in Engineering. 1998. Vol. 43, Issue 5. Р. 785-819.
4. Kolodyazhny V.M., Lisin D.O. Meshless method to solve nonstationary heat conduction problems using atomic radial basis functions // Cybernetics and Systems Analysis. 2013. Vol 49, Issue 3. Р. 434-440.
5. Ingber M.S., Chen C.S., Tanski J.A. A mesh free approach using radial basis functions and parallel domain decomposition for solving three-dimensional diffusion equations // International Journal for Numerical Methods in Engineering. 2004. Vol. 60, Issue 13. Р. 2183-2201.
6. Bogomolny A. Fundamental solutions method for elliptic boundary value problems // SIAM Journal on Numerical Analysis. 1985. Vol. 22, Issue 4. Р. 644-669.

Протектор Денис Олегович, аспірант кафедри інформаційних технологій в фізико-енергетичних системах Харківського національного університету імені В.Н. Каразіна. Наукові інтереси: безсіткові методи, математичне та комп’ютерне моделювання. Адреса: Україна, 61022, Харків, майдан Свободи 4, E-mail: d.protector@karazin.ua.

Лісін Денис Олександрович, канд. техн. наук, доцент  кафедри інформаційних технологій в фізико-енергетичних системах Харківського національного університету імені В.Н. Каразіна. Наукові інтереси: теорія обчислюваності, безсіткові методи, атомарні радіальні базисні функції. Адреса: Україна, 61022, Харків, майдан Свободи 4, E-mail: d.lisin@karazin.ua.

Лісіна Ольга Юлієвна, канд. фіз.-мат. наук, доцент кафедри теплофізики, молекулярної фізики та енергоефективності Харківського національного університету імені В.Н. Каразіна. Наукові інтереси: безсіткові методи, атомарні радіальні базисні функції. Адреса: Україна, 61022, Харків, майдан Свободи 4, E-mail: o.lisina@karazin.ua.

Protektor Denys Olegovych, Post Graduate of the Department of Information Technologies in Power Systems, V.N. Karazin Kharkiv National University. Scientific interests:  meshless methods, mathematical and computer design. Address: Ukraine, 61022, Kharkiv, 4 Svobody Sq., E-mail: d.protector@karazin.ua.

Lisin Denys Oleksandrovych, Candidate of Technical Sciences, Associate Professor of the Department of Information Technologies in Power Systems, V.N. Karazin Kharkiv National University. Scientific interests: computability theory, meshless methods, atomic radial basis functions. Address: Ukraine, 61022, Kharkiv, 4 Svobody Sq., E-mail: d.lisin@karazin.ua.

Lisina Olga Yulievna, Candidate of Physico-Mathematical Sciences, Associate Professor of the Department of Thermal Physics, Molecular Physics and Energy Efficiency, V.N. Karazin Kharkiv National University. Scientific interests:  meshless methods, atomic radial basis functions. Address: Ukraine, 61022, Kharkiv, 4 Svobody Sq., E-mail: o.lisina@karazin.ua.

УДК 681.326

Аналіз коректності графів переходів керуючих автоматів при побудові HDL-моделей для автоматизованого синтезу / О.С. Шкіль, Е.М. Кулак, І.В. Філіппенко, О.Г. Шакура, В.В. Фоменко // Радіоелектроніка та інформатика. 2019. № 1. С. 28-34.

Робота присвячена аналізу коректності умов переходів у графових моделях керуючих автоматів, представлених у вигляді HDL-моделей, з точки зору подальшого автоматизованого синтезу. Запропо­новано метод аналізу графа переходів, що дозволяє отримати ненадлишкову та коректну в запам'ятовуючий частині схемну реалізацію при синтезі HDL-моделі кінцевого автомата. Ключові слова: кінцевий автомат, граф переходів, HDL-модель, автоматизований синтез, ортогональна
булева функція.

Іл. 15. Бібліогр.: 8 назв.

UDC 681.326

Finite state machines state diagrams correctness analysis  for HDL-models automatic synthesis / А.S. Shkil, E.N. Kulak, I.V. Filippenko, A.G. Shakura, V.V. Fomenko  // Radioelectronics & Informatics. 2019. No. 1. P. 28-34.

The article is concerned with analysis of the transition condition correctness in graph models of finite state machines presented by HDL-models from further automatic synthesis perspective. The method of state diagrams analysis that obtain non redundant and correct storage unit after finite state machine HDL-model synthesis is suggested. Key words: finite state machine, state diagram, HDLmodel, automatic synthesis, orthogonal Boolean function.

Fig. 15. Ref.: 8 items.

Литература:

1. Шкіль А.С. Автоматизированное проектирование систем логического управления с использованием шаблонов автоматного программирования / А.С. Шкиль, Э.Н. Кулак, И.В. Филиппенко, Д.Е. Кучеренко, М.В. Гога // Радіоелектроніка та інформатика. 2018. №3. С. 75-81.
2. Рябинин И.А. Надежность и безопасность структурно-сложных систем / И.А. Рябинин. СПб.: Изд-во С.-Петерб. ун-та, 2007. 276 с.

3. Бибило П.Н. Синтез логических схем с использованием языка VHDL / П.Н. Бибило. М.: СОЛОН-Р, 2009. 384 с.

4. Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления / А.А. Шалыто. СПб.: Наука, 1998. 628 с.

5. Баранов С.И. Синтез микропрограммных автоматов (граф схемы и автоматы) / С.И.Баранов. Л.:Энергия, 1979. –
232 с.

6. Закревский А.Д. Логические основы проектирования дискретных устройств / А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова. М.: ФИЗМАТЛИТ, 2007. 592 с.

7. Шалыто А.А. Новый метод вычисления булевых формул / А.С.Ковалев, А.П.Лукьянова, А.А.Шалыто. [Электронный ресурс] Движение за открытую проектную документацию – Режим доступа: www / URL: http://is.ifmo.ru/download/lbgmx.pdf. – Загл. с экрана.

8. Хаханов В.И. Техническая дивгностика элементов и узлов персональных компьютеров / В.И. Хаханов – К.:
ІЗМН, 1997. 308 с.

Transliterates bibliography:
1. Shkіl A.S. Avtomatizirovannoe proektirovanie sistem logicheskogo upravlenija s ispol'zovaniem shablonov avtomatnogo programmirovanija / A.S. Shkil', Je.N. Kulak, I.V. Filippenko, D.E. Kucherenko, M.V. Goga // Radіoelektronіka ta іnformatika. 2018. №3. S. 75-81.
2. Rjabinin I.A. Nadezhnost' i bezopasnost' strukturnoslozhnyh sistem / I.A. Rjabinin. SPb.: Izd-vo S.-Peterb. un-ta, 2007. 276s.

3. Bibilo P.N. Sintez logicheskih shem s ispol'zovaniem jazyka VHDL / P.N. Bibilo. M.: SOLON-R, 2009. 384 s.:

4. Shalyto A.A. SWITCH-tehnologija. Algoritmizacija i programmirovanie zadach logicheskogo upravlenija /
A.A. Shalyto. SPb.: Nauka, 1998. 628 s.

5. Baranov S.I. Sintez mikroprogrammnyh avtomatov (graf shemy i avtomaty) / S.I.Baranov. L.:Jenergija, 1979. 232 s.

6. Zakrevskij A.D. Logicheskie osnovy proektirovanija diskretnyh ustrojstv / A.D. Zakrevskij, Ju.V. Pottosin, L.D. Cheremisinova. – M.: FIZMATLIT, 2007. 592 s.

7. Shalyto A.A. Novyj metod vychislenija bulevyh formul / A.S.Kovalev, A.P.Luk'janova, A.A.Shalyto [Jelektronnyj resurs] Dvizhenie za otkrytuju proektnuju dokumentaciju – Rezhim dostupa: www / URL:http://is.ifmo.ru/download/lbgmx.pdf.

8. Hahanov V.I. Tehnicheskaja divgnostika jelementov i uzlov personal'nyh komp'juterov / V.I. Hahanov. K.: ІZMN, 1997. 308 s.

Шкіль Олександр Сергійович, канд. техн. наук, доцент кафедри АПОТ ХНУРЕ. Наукові інтереси: діагностика цифрових систем, дистанційна освіта. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. 702-13-26.

Кулак Ельвіра Миколаївна, канд. техн. наук, доцент кафедри АПОТ ХНУРЕ. Наукові інтереси: автоматизоване проектування цифрових автоматів, тестопридатне проектування. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. 702-13-26.

Філіппенко Інна Вікторівна, канд. техн. наук, доцент кафедри АПОТ ХНУРЕ. Наукові інтереси: проектування цифрових пристроїв на базі мікроконтролерів, цифрові фільтри. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. 702-13-26.

Шакура Олексій Геннадійович, студент ХНУРЕ. Наукові інтереси: автоматизоване проектування цифрових автоматів. Адрес: Україна, 61166, Харків, пр. Науки, 14, тел. 702-13-26.

Фоменко Владислав Володимирович, студент ХНУРЕ. Наукові інтереси: верифікація моделей цифрових автоматів Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. 702-13-26.

Shkil Alexander Sergeevich, PhD, Associate Professor, Design Automation Department, KNURE. Scientific
interests: diagnostics of digital systems, distance education. Address: Ukraine, 61166, Kharkiv, Nauka
Avenue, 14, tel. 702-13-26.

Kulak Elvira Nikolaevna, PhD, Associate Professor, Design Automation Department, KNURE. Scientific interests: automated design of digital machines, HDL. Address: Ukraine, 61166, Kharkiv, Nauka Avenue, 14, tel. 702-13-26.

Filippenko Inna Victorovna, PhD, Associate Professor, Design Automation Department, KNURE. Scientific interests: design based on microcontrollers, digital filters. Address: Ukraine, 61166, Kharkiv, Nauka Avenue, 14, tel. 702-13-26.

Shakura Alexey Gennadievich, student, KNURE. Scientific interests: automated design of digital machines. Address: Ukraine, 61166, Kharkiv, Nauka Avenue, 14, tel. 702-13-26.

Fomenko Vladislav Vladimirovich, student, KNURE. Scientific interests: verification of FSM models. Address: Ukraine, 61166, Kharkiv, Nauka Avenue, 14, tel. 702-13-26.

УДК 658.512.011: 681.326: 519.713

Cигнатурно-кубітні методи розпізнавання  деструктивних кодів / О.С. Адамов, В.І. Хаханов // Радіоелектроніка та інформатика. 2019. № 1. С. 35-53.

Пропонуються унітарно кодовані кубітно-матричні моделі, структури даних, обчислювальні архітектури і методи паралельного логічного аналізу деструктивних кодів у кіберфізичному просторі. Вводяться кубітні векторні структури даних для опису параметрів змінних, що беруть участь у формуванні еталонних зразків (паттернів) деструктивних вихідних кодів. Пропонується паралельний сигнатурно-кубітний метод моделювання malware даних для визначення їх належності до існуючих деструктивних компонентів malware library. Пропонується сигнатурно-кубітний метод синтезу еталонних логічних схем malware-функціональностей, який відрізняється від аналогів унітарним кодуванням сигнатур для кодів деструктивних компонентів і формуванням кубітних матриць. Вводиться сигнатурно-кубітний процесор активного online кіберфізичного cyber security комп'ютинга (CSC) на основі моніторингу вхідних malware-даних і їх моделювання на еталонних логічних схемах malware-функціональностей з метою подальшого актюаторного управління процесом видалення деструктивних компонентів. Ключові слова: кубітно-матричні моделі, кіберфізичний простір, обчислювальні архітектури, паралельний логічний аналіз, деструктивний код.

Табл. 3. Іл. 13. Бібліогр.: 23 назв.

UDC 658.512.011: 681.326: 519.713

Signature-qubit methods for recognizing malware codes / А.S. Adamov, V.I. Khakhanov // Radioelectronics & Informatics. 2019. No. 1. P. 35-53.

Unitary coded qubit-matrix models, data structures, computing architectures and methods for parallel logical analysis of malware codes in cyber-physical space are proposed. Qubit vector data structures are introduced to describe the parameters of variables involved in the formation of reference samples (patterns) of malware source codes. A parallel signature-qubit method for simulating malware data is proposed to determine whether they belong to the existing malware library. A signature-qubit method for the synthesis of reference logic circuits of malware functionalities, which differs from analogs by the unitary coding of signatures of malware component codes and forming qubit matrices, is proposed. A signature-qubit processor of active online cyber-physical cyber-security computing (CSC) is introduced; it is based on monitoring incoming malware and simulating them using the reference logic circuits of malware functionalities in order to further actuative control of the removal process of destructive components. Key words: qubit-matrix models, cyber-physics space, computational architecture, parallel logical analysis, malware.

Tab. 3. Fig. 13. Ref.: 23 items.

Література:

1. Lehto, Martti, Neittaanmäki, Pekka Cyber Security: Analytics, Technology and Automation, Springer, 2015. 269 p.]
2. Orojloo Hamed, Mohammad Abdollahi Azgomi. Modelling and evaluation of the security of cyber-physical systems using stochastic Petri nets.  IET Cyber-Physical Systems: Theory & Applications (2019), 4 (1), P. 50-57.]
3. https://www.gartner.com/smarterwithgartner/5-trends-emerge-in-gartner-hype-cycle-for-emerging-technologies-2018/
4. https://www.gartner.com/doc/3891569?src Id=1-7251599992&cm_sp=swg-_-gi-_-dynamic
5. Gupta A.and Jha RK, "A Survey of 5G Network: Architecture and Emerging Technologies," in IEEE Access. Vol. 3. 2015.P. 1206-1232.
6. Zhu C., Leung VCM, Shu L. and ECH Ngai, "Green Internet of Things for Smart World," in IEEE Access, Vol. 3. 2015. P. 2151-2162.
7. Christidis K. and Devetsikiotis M., "Blockchains and Smart Contracts for the Internet of Things," in IEEE Access. Vol. 4. 2016. P. 2292-2303.
8. Blockchains: How They Work and Why They'll Change the World IEEE Spectrum. October 2017.
9. Zanella A., Bui N., Castellani A., Vangelista L. and Zorzi M., "Internet of Things for Smart Cities," in IEEE IoT Journalю Vol. 1, no. 1. Feb. 2014.P. 22-32.
10. Frahim J. Securing the Internet of Things: A Proposed Framework / J. Frahim // Cisco White Paper.- 2015.
11. Kharchenko V. Green IT Engineering: Concepts, Models, Complex Systems Architectures / V. Kharchenko, Y. Kondratenko, J. Kacprzyk (Eds.) // In the book series "Studies in Systems, Decision and Control" (SSDC). Vol. 1. 2017.Berlin, Heidelberg: Springer International Publishing.
12. Kharchenko V. Green IT Engineering: Components, Networks and Systems Implementation / V. Kharchenko, Y. Kondratenko, J. Kacprzyk (Eds.) // In the book series "Studies in Systems, Decision and Control" (SSDC). 2017.Vol. 2. Berlin, Heidelberg: Springer International Publishing.
13. Memory-Driven Computing. [Online]. Available: https://www.labs.hpe.com/next-next/mdc
14. Benenti G., Casati G., Strini G. Principles of Quantum Computation and Information. Volume 1: Basic Concepts.-World Scientific.- 2004.- 256 p.
15. Imai Hiroshi, Hayashi Masahito. Quantum Computation and Information. From Theory to Experiment.- Springer. 2006. 234 p.
16. Nielsen MA, Chuang IL Quantum Computation and Quantum Information. Cambridge University Press. 2010. 710 p.
17. Abramovici M. Digital System Testing and Testable Design / M. Abramovici, MA Breuer and AD Friedman. Comp. Sc. Press. 1998. 652 р.
18. Benso A. Control-flow checking via regular expressions / A. Benso, S. Di Carlo, G. Di Natale, P. Prinetto, L. Tagliaferri // Proceedings 10th Asian Int. Test Symposium. Kyoto. 2001. P. 299-303. [Online]. Available: http://dl.acm.org/citation.cfm?id= 872025.872649
19. Vladimir Hahanov. Cyber Physical Computing for IoT-driven Services. New York. Springer. 2018. 279p.
20. Hahanov V.I. Qubit technologies for analysis and diagnosis of digital devices / V.I. Hahanov, T. Bani Amer, S.V. Chumachenko, E.I. Litvinova // Electronic Modeling. Vol. 37, no. 3. 2015. P. 17-40.
21. Хаханов В.И. Кубитные структуры данных вычислительных устройств / В. И. Хаханов, В. Гариби, Е. И. Литвинова, А. С. Шкиль // Электронное моделирование. - 2015. - Т. 37, № 1. - С. 76-99.
22. Hahanov V. Cloud-driven Cyber Managing Resources / V. Hahanov, S. Chumachenko, E. Litvinova, O. Mishchenko, I. Yemelyanov, Bani Amer Tamer // Australian Journal of Scientific Reseach. № 1(5). 2014. C. 202-215.
23. Hahanov I. QuaSim – Cloud Service for Digital Circuits Simulation / I. Hahanov, W. Gharibi, I. Iemelianov, T. Bani Amer // Proceedings of IEEE East-West Design & Test Symposium. 2016. Yerevan, Armenia. P. 363-370.

Адамов Олександр Семенович, старший викладач кафедри АПОТ ХНУРЕ. Наукові інтереси: кібербезпека. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. 70-21-326. E-mail: oleksandr.adamov@nure.ua.

Хаханов Володимир Іванович, д-р техн. наук, професор кафедри АПОТ ХНУРЕ. Наукові інтереси: технічна діагностика цифрових систем, мереж і програмних продуктів. Захоплення: баскетбол, футбол, гірські лижі. Адреса: Україна, 61166, Харків, пр. Науки, 14, тел. 70-21-326. E-mail: hahanov@nure.ua.

Adamov Aleksandr Semenovich, Senior Lecturer, Design Automation Department, NURE. Scientific interests: cybersecurity. Address: Ukraine, 61166, Kharkiv, Nauki Avenue, 14, tel. 70-21-326. E-mail: oleksandr.adamov@nure.ua.

Hahanov Vladimir Ivanovich, Dr. Tech. Sciences, professor, Design Automation Department, NURE. Scientific interests: technical diagnosis of digital systems, networks and software products. Hobbies: basketball, football, mountain skiing. Address: Ukraine, 61166, Kharkiv, Nauki Avenue, 14, tel. 70-21-326. E-mail: hahanov@nure.ua.