Соломко Михайло Тимофійович
Біографія
Освіта і професійний шлях
1983 р. – Закінчив навчання у Київському політехнічному інституті де здобув спеціальність «напівпровідники і діелектрики», отримав диплом інженера та спеціалізацію інженера електронної техніки.
1983 - 1986 р.р. – Робота на посаді технолога на заводі напівпровідникових приладів «Кварц» м. Чернівці.
1986 - 1989 р.р – Інженер лабораторії з підтримки виробництва фотошаблонів для виготовлення інтегральних схем на Костопільському склозаводі Рівненської області.
1989 р. – 1995 р.р. Начальник дільниці з виготовлення голограм на Костопільському склозаводі Рівненської області.
1996 р. – Директор приватного підприємства, що спеціалізується на створенні комп’ютерних програм з автоматизації економічної, облікової роботи; видавничій справі; освітянській діяльності та ін.
2000 р. – Захистив кандидатську дисертацію у Львівському політехнічному інституті «Львівська політехніка» після чого було присвоєно науковий ступінь кандидат технічних наук, отримав диплом кандидата технічних наук за спеціальністю «математичне моделювання та обчислювальні методи»
2005 - 2006 р.р – Завідувач кафедри «Менеджмент організацій» міжрегіональної академії управління персоналом (МАУП) м. Рівне.
2006 - 2010 р.р – Доцент кафедри «Інформаційних систем і математики» Єіропейського університету м. Рівне.
2008 р. – Старший викладач кафедри «Інформаційних систем та мереж», за сумісництвом, Відкритого міжнародного університету розвитку людини «Україна» Дубенської філії м. Дубно.
2010 - 2015 р.р – Доцент кафедри «Інформаційно-комунікаційних технологій та методики викладання інформатики» Рівненського державного гуманітарного університету м. Рівне.
2015 р – Перейшов на постійну роботу на кафедру «Обчислювальної техніки» Національного університету водного господарства та природокористування м. Рівне.
Педагогічна діяльність
Для студентів за спеціальністю «Комп’ютерні науки» та «Комп’ютерна інженерія» викладає такі дисципліни: комп’ютерна логіка, комп’ютерні мережі, моделювання електронних схем, надійність комп’ютерних систем, об’єктно-орієнтоване програмування.
Наукова діяльність
Захистив кандидатську дисертації на тему «Синтез комбінаторних конфігурацій на рівні блок-схем за допомогою числових в’язанок». Основні наукові напрямки: електронні схеми арифметичного обчислення, моделі комунікації та обороту знань, програмування дидактики. Автор понад 50 друкованих праць, з яких – 34 опубліковані у фахових виданнях з автоматизації вимірів, комп’ютерних наук та у виданнях, що індексуються у міжнародних науковометричних базах. Отримав свідоцтво про реєстрацію авторського права на твір (№ 24813 від 23.06.2008).
Наукові статті
Solomko M., Khomiuk N., Ivashchuk Y., Nazaruk V., Reinska V., Zubik L., Popova A. Implementayion of the method of transformation for image minimizing the Sheffer functions / Eastern - European Journal of Enterprise Technologies.- Vol. 5, No 4(107). 2020. - Mathematics and cybernetics – applied aspects. pp. 19 - 34.
Різник В.В., Соломко М.Т., Тадеєв П.О, Назарук В.Д., Зубик Л.В., Волошин В.С. Алгоритм мінімізації булевих функцій методом оптимального комбінування послідовності образних перетворень / Східно-Європейський журнал передових технологій.- Vol. 3, No 4(105). 2020. - Математика та кібернетика - прикладні аспекти. ст. 43 - 60.
Соломко M.Т., Замрій Б.А. Оптимальне чергування логічних операцій при мінімізація булевих функцій / Двадцять другий Міжнародний науково-практичний семінар «Комбінаторні конфігурації та їх застосування». - Запоріжжя-Кропивницький, 15-16 травня 2020 року. – ст. 161 – 169.
Solomko M., Tadeyev P, Nazaruk V, Khariv N. Optimal performance of 16-bit Acyclic adders of binary codes / Eastern-European Journal of Enterprise Technologies.- Vol. 3, No 4(99). 2019. - pp 21 - 36.
Solomko M., Tadeyev P, Zubyk Y, Hladka O. Reduction and is optimal of speed of acyclic adders of binary codes / Eastern-European Journal of Enterprise Technologies.- Vol. 1, No 4(97). 2019. - pp 40 - 53.
Solomko M. T. Boolean functions minimization by the method of figurative transformations / Technology transfer: fundamental principles and innovative technical solutions: materials of the scientific conference. Thalin, Estonia, EU, November 2018. Р. 62–68.
Дубич Л.Ю., Соломко M.Т. Мінімізація булевих функцій методом образних перетворень / VІI Міжнародна науково-практична конференція Фізико-технологічні проблеми передавання, оброблення та зберігання інформації в інфокомунікаційних системах 8-10 листопада 2018 року м. Чернівці, Україна
Riznyk V., Solomko M. Minimize of conjustable normal forms of boolean functions combinatorial method / Technology audit and production reserves.- Vol 5/2 (43), 2018. - pp 42 - 55.
Riznyk V., Solomko M. Research of 5-bit boolean functions minimization protocols by combinatorial method / Technology audit and production reserves.- Vol 4/2 (42), 2018. - pp 41 - 52.
Solomko M. Optimization of the acyclic adders of binary codes / Technology audit and production reserves.- Vol 3/2 (41), 2018. - pp 55 - 65.
Соломко M.Т. Мінімізація 5-розрядних булевих функцій комбінаторним методом / Двадцятий Міжнародний науково-практичний семінар «Комбінаторні конфігурації та їх застосування». - Кропивницький, 13-14 квітня 2018 року. – ст. 120 – 127.
Riznyk V., Solomko M. Application of super-sticking algebraic operation of variables for boolean functions minimization by combinatopial method / Technology audit and production reserves.- Vol 6/2 (38), 2017. - Kharkov, Ukraine, pp 60 - 76.
Різник В.В., Соломко M.Т. Комбінаторний метод мінімізації булевих функцій / Науковий часопис національного університету «Львівська політехніка» Комп’ютерні системи та мережі, Львів. Вид-во НУ «Львівська політехніка», 2017, Випуск 881. – 135 - 152.
Riznyk V., Solomko M. Minimization of boolean functions by combinatorial method / Technology audit and production reserves.- Vol 4/2 (36), 2017. – Kharkov, Ukraine, pp 49 - 64.
Соломко М.Т. Комбінаторний метод мінімізації булевих функцій / ІІІ Всеукраїнська науково-практичної конференція “Комп’ютерне моделювання та програмне забезпечення інформаційних систем і технологій” (КМПЗ−2017) ст. 28−30.
Соломко М.Т. Рекурсивні бінарні коди / X Всеукраїнська науково-практична конференція «Комп’ютерні технології: наука і освіта» 30-31 березня 2017 р., м. Київ ст. 72 - 75.
Ольшанський П. В., Соломко М.Т. Побудова комплексного алгоритму захисту програмного забезпечення від несанкціонованого використання та декодування / X Всеукраїнська науково-практична конференція «Комп’ютерні технології: наука і освіта» 30-31 березня 2017 р., м. Київ ст. 56 - 59.
Solomko М.Т., Olshanskyi P.V. The Parallel Acyclic Adder / CADSM'2017, February 21 – 25, 2017, Lviv-Slavske, Ukraine, pp 125 - 129.
Соломко М. Т., Круліковський Б. Б. Оптимізація перенесення при додаванні двійкових чисел у теоретико-числовому базисі Радемахера / Науковий часопис національного університету «Львівська політехніка» Комп’ютерні системи та мережі, Львів. Вид-во НУ «Львівська політехніка», 2016, Випуск 857. – 88 - 102.
Solomko М.Т. Summation of binary codes without carry / Eastern-European Journal of Enterprise Technologies.- Vol 4, No 4(82) (2016). - Kharkov, Ukraine, pp 28 - 41.
Solomko М.Т., Кrulykovskyi B. B. Study of carry optimization while adding binary numbers in the rademacher number-theoretic basis / Eastern-European Journal of Enterprise Technologies.- Vol 3, No 4(81) (2016). - Kharkov, Ukraine, pp 56 - 63.
Solomko М.Т.The Tabular Transfer Mode in the Rademacher NTB Adders / TCSET'2016, February 23 – 26, 2016, Lviv-Slavske, Ukraine, pp 483 - 487.
Соломко М. Т., Круліковський Б. Б., Николайчук Я. М. Паралельний суматор без перенесення на логічних елементах XAND / Вісник Національного університету "Львівська політехніка" Комп’ютерні системи та мережі, Львів. Вид-во НУ «Львівська політехніка», 2015, Випуск 830. – 145 - 159.