Відмінності між версіями «Соломко Михайло Тимофійович»

Матеріал з Wikiситет
Перейти до навігації Перейти до пошуку
 
(Не показано 46 проміжних версій цього користувача)
Рядок 14: Рядок 14:
2000 р. –  Захистив кандидатську дисертацію у Львівському політехнічному інституті «Львівська політехніка» після чого було присвоєно науковий ступінь кандидат технічних наук, отримав диплом кандидата технічних наук за спеціальністю «математичне моделювання та обчислювальні методи»   
2000 р. –  Захистив кандидатську дисертацію у Львівському політехнічному інституті «Львівська політехніка» після чого було присвоєно науковий ступінь кандидат технічних наук, отримав диплом кандидата технічних наук за спеціальністю «математичне моделювання та обчислювальні методи»   


2005 - 2006 р.р – Завідувач кафедри «Менеджмент організацій» міжрегіональної академії управління персоналом (МАУП) м. Рівне.
2005 - 2006 р.р – Завідувач кафедри менеджмент організацій міжрегіональної академії управління персоналом (МАУП) м. Рівне.


2006 - 2010 р.р – Доцент кафедри «Інформаційних систем і математики» Єіропейського університету м. Рівне.
2006 - 2010 р.р – Доцент кафедри інформаційних систем і математики Єіропейського університету м. Рівне.


2008 р. – Старший викладач кафедри «Інформаційних систем та мереж», за сумісництвом, Відкритого міжнародного університету розвитку людини «Україна» Дубенської філії м. Дубно.
2008 р. – Старший викладач кафедри інформаційних систем та мереж, за сумісництвом, Відкритого міжнародного університету розвитку людини «Україна» Дубенської філії м. Дубно.


2010 - 2015 р.р – Доцент кафедри «Інформаційно-комунікаційних технологій та методики викладання інформатики» Рівненського державного гуманітарного університету м. Рівне.
2010 - 2015 р.р – Доцент кафедри інформаційно-комунікаційних технологій та методики викладання інформатики Рівненського державного гуманітарного університету м. Рівне.


2015 р – Перейшов на постійну роботу на кафедру «Обчислювальної техніки» Національного університету водного господарства та природокористування м. Рівне.
2015 р – Перейшов на постійну роботу до кафедри обчислювальної техніки Національного університету водного господарства та природокористування м. Рівне.


   
   
===Педагогічна діяльність===
===Педагогічна діяльність===
   
   
Для студентів за спеціальністю «Комп’ютерні науки» та «Комп’ютерна інженерія» викладає такі дисципліни: комп’ютерна логіка, комп’ютерні мережі, моделювання електронних схем, надійність комп’ютерних систем, об’єктно-орієнтоване програмування.
Для студентів за спеціальністю 123 «Комп’ютерна інженерія» викладає такі дисципліни: комп’ютерна логіка, комп’ютерні мережі, об’єктно-орієнтоване програмування, мережеві алгоритми оптимізації, управління інноваційними проектами, проектування комп'ютерно-інтегрованих інформаційних систем.
   
   
===Наукова діяльність===
===Наукова діяльність===
   
   
Захистив кандидатську дисертації на тему «Синтез комбінаторних конфігурацій на рівні блок-схем за допомогою числових в’язанок».
Захистив кандидатську дисертації на тему «Синтез комбінаторних конфігурацій на рівні блок-схем за допомогою числових в’язанок».
Основні наукові напрямки: електронні схеми арифметичного обчислення, моделі комунікації та обороту знань, програмування дидактики.
 
Автор понад 50 друкованих праць, з яких – 34 опубліковані у фахових виданнях з автоматизації вимірів, комп’ютерних наук та у виданнях, що індексуються у міжнародних науковометричних базах.
 
Основні наукові напрямки:
 
дáзайн-аналіз нестандартної системи спрощення булевих функцій, ейдос (герменевтика) логічних операцій на 2-вимірних бінарних матрицях, логіка арифметичних операцій, моделі ациклічного суматора та ациклічного помножувача бінарних кодів, моделі комунікації та обороту знань, програмування дидактики.
 
 
Автор понад 60 друкованих праць, з яких 23 статті опубліковано у спеціалізованих фахових виданнях, згідно з переліком ВАК України, 11 статтей у періодичних виданнях, що включено до науково метричної бази Scopus.
Отримав свідоцтво про реєстрацію авторського права на твір (№ 24813 від 23.06.2008).
Отримав свідоцтво про реєстрацію авторського права на твір (№ 24813 від 23.06.2008).
===Профіль===
ResearchGate:
https://www.researchgate.net/profile/Mykhailo_Solomko
zenodo:
https://zenodo.org/records/3947628
https://zenodo.org/search?q=%20%20Mykhailo%20Solomko&l=list&p=1&s=10&sort=bestmatch
SSRN:
https://papers.ssrn.com/sol3/cf_dev/AbsByAuth.cfm?per_id=4630037
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3807464
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3718728
https://papers.ssrn.com/sol3/cf_dev/AbsByAuth.cfm?per_id=4446836
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3920826
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3728081
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3759669
Microsoft Academic:
http://surl.li/pootih
http://surl.li/mpqif
pubdoc:
https://pubdoc.co/document/yd7x99dj-implementation-method-figurative-transformations-minimizing-symmetric-boolean-functions.html
CEMANTIC SCHOLAR:
https://www.semanticscholar.org/paper/Developing-the-minimization-of-a-polynomial-normal-Solomko-Batyshkina/02a27ba441a318bdc557051393d758f9824f3c17
OPEN ACCESS DISCOVERY:
https://openaccess.library.uitm.edu.my/Record/doaj-97a1fbf1ffab4acfb68f4d9bf50d1af0
https://discovery.researcher.life/topic/boolean-functions/13744458?page=1&topic_name=Boolean%20Functions
OUCI:
http://surl.li/mpqkn


===Наукові статті===
===Наукові статті===
Mykhailo Solomko, Petro Tadeyev, Mykola Antoniuk, Yuliia Mala, Stepaniia Babych, Yakiv Ivashchuk. Implementation of a non-standard system for simplifying Peirce-Webb functions // Eastern - European Journal of Enterprise Technologies. - Vol. 5, No 4(131). 2024. - Mathematics and cybernetics – applied aspects. pp. 6 - 32.
Соломко M.Т. Нестандартне починання спрощення булевих функцій аналітичним методом / Двадцять шостий Міжнародний науково-практичний семінар «Комбінаторні конфігурації та їх застосування». - Запоріжжя-Кропивницький, 13-15 червня 2024 року. – ст. 170 – 179.
Mykhaylo Solomko. Development of a non-standard system for simplifying boolean functions // Eastern - European Journal of Enterprise Technologies. - Vol. 3, No 4(129). 2024. - Mathematics and cybernetics – applied aspects. pp. 6 - 34.
Соломко M.Т. Мінімізація частково визначених булевих функцій методом образних перетворень / Двадцять п'ятий Міжнародний науково-практичний семінар «Комбінаторні конфігурації та їх застосування». - Запоріжжя-Кропивницький, 14-16 червня 2023 року. – ст. 183 – 190.
Mykhaylo Solomko, Mykola Antoniuk, Ihor Voitovych, Yuliia Ulianovska, Nataliia Pavlova, Viacheslav Biletskyi. Implementation of the method of figurative transformations to minimizing partially defined boolean functions // Eastern - European Journal of Enterprise Technologies. - Vol. 1, No 4(121). 2023. - Mathematics and cybernetics – applied aspects. pp. 6 - 25.
Volodymyr Riznyk, Ivan Demydov, Mykola Medykovskyy, Vasyl Tesluyk, Mykhaylo Solomko. Models of Intelligent Systems as the Toroidal Combinatorial Configurations / 2021 IEEE 16th International Conference on Computer Sciences and Information Technologies (CSIT). - Lviv, Ukraine, 22-25 September, 2021.
Mykhaylo Solomko, Petro Tadeyev, Liudmyla  Zubyk, Stepaniia  Babych, Yuliia Mala, Oksana Voitovych. Implementation of the method of figurative transformations to minimizing symmetric boolean functions // Eastern - European Journal of Enterprise Technologies. - Vol. 4, No 4(112). 2021. - Mathematics and cybernetics – applied aspects. pp. 23 - 39.
Соломко M.Т. Мінімізація булевих функцій у поліномному та змішаному базисах методом образних перетворень / Двадцять третій Міжнародний науково-практичний семінар «Комбінаторні конфігурації та їх застосування». - Запоріжжя-Кропивницький, 13-15 травня 2021 року. – ст. 153 – 159.
Solomko M., Batyshkina Iu., Khomiuk N., Ivashchuk Ya., Shevtsova N. Developing the minimization of a polynomial normal form of Boolean functions by the method of figurative transformations // Eastern - European Journal of Enterprise Technologies. - Vol. 2, No 4(109). 2021. - Mathematics and cybernetics – applied aspects. pp. 22 - 37.
Solomko M. Developing  an algorithm  to minimize  boolean  functions  for the  visual-matrix  form of the  analytical  method // Eastern - European Journal of Enterprise Technologies. - Vol. 1, No 4(109). 2021. - Mathematics and cybernetics – applied aspects. pp. 6 - 21.
Volodymyr Riznyk, Mykhaylo Solomko, Yuriy Tsymbal, Oleg Riznyk, Daniel Skrybailo-Leskiv and Roman Sydorenko. Combinatorial Optimization of CAD Systems / 2021 IEEE 16-th International Conference on the Experience of Designing and Application of CAD Systems (CADSM). - Lviv, Ukraine, 22-26 February, 2021.
Solomko M., Batyshkina Iu., Voitovych I., Zubyk L., Babych S., Muzychuk K. Devising a method of figurative transformation for minimizing boolean functions in the implicative basis // Eastern - European Journal of Enterprise Technologies. - Vol. 6, No 4(108). 2020. - Mathematics and cybernetics – applied aspects. pp. 32 - 47.
Попович В. І., Соломко М. Т. Мінімізація повного суматора бінарних кодів за допомогою фіктивної змінної / IX Наукова конференція «НАУКОВІ ПІДСУМКИ 2020 РОКУ». Збірка наукових праць. – Харків, ІХ.: Технологічний Центр, 2020. – 70 с.
Solomko M., Zubyk L., Zubyk Y., Ivanytska A. Modified Algorithm for Transformation of Boolean Functions / VII INTERNATIONAL CONFERENCE "Information Technology and Interactions (Satellite)" 04 December, 2020. Conference Proceedings. Taras Shevchenko National University of Kyiv: Stylos, 2020. 388 p.
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.
Соломко 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, 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., 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.
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 року м. Чернівці, Україна
Дубич Л.Ю., Соломко 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.
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.
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.
Соломко 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. 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.


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.  
Соломко М.Т. Комбінаторний метод мінімізації булевих функцій / ІІІ Всеукраїнська науково-практичної конференція “Комп’ютерне моделювання  та програмне  забезпечення інформаційних систем і технологій” (КМПЗ−2017) ст. 28−30.  


Соломко М.Т. Рекурсивні бінарні коди / X Всеукраїнська науково-практична конференція «Комп’ютерні  технології: наука і освіта» 30-31 березня 2017 р., м. Київ ст. 72 - 75.
Соломко М.Т. Рекурсивні бінарні коди / X Всеукраїнська науково-практична конференція «Комп’ютерні  технології: наука і освіта» 30-31 березня 2017 р., м. Київ ст. 72 - 75.


Ольшанський П. В., Соломко М.Т. Побудова комплексного алгоритму захисту програмного забезпечення від несанкціонованого використання та декодування / X Всеукраїнська науково-практична конференція «Комп’ютерні  технології: наука і освіта» 30-31 березня 2017 р., м. Київ ст. 56 - 59.
Ольшанський П. В., Соломко М.Т. Побудова комплексного алгоритму захисту програмного забезпечення від несанкціонованого використання та декодування / 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.
Solomko М.Т., Olshanskyi P.V. The Parallel Acyclic Adder / CADSM'2017, February 21 – 25, 2017, Lviv-Slavske, Ukraine, pp 125 - 129.


Соломко М. Т., Круліковський Б. Б. Оптимізація перенесення при додаванні двійкових чисел у теоретико-числовому базисі Радемахера / Науковий часопис національного  університету «Львівська політехніка» Комп’ютерні системи та мережі, Львів. Вид-во НУ «Львівська політехніка», 2016, Випуск 857. – 88 - 102.
 
Соломко М. Т., Круліковський Б. Б. Оптимізація перенесення при додаванні двійкових чисел у теоретико-числовому базисі Радемахера // Науковий часопис національного  університету «Львівська політехніка» Комп’ютерні системи та мережі, Львів. Вид-во НУ «Львівська політехніка», 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 М., Zubyk L., Olshansky P., Nazaruk V. 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.
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.
 
Соломко М. Т., Круліковський Б. Б., Николайчук Я. М. Паралельний суматор без перенесення на логічних елементах XAND // Вісник Національного університету "Львівська політехніка" Комп’ютерні системи та мережі, Львів. Вид-во НУ «Львівська політехніка», 2015, Випуск 830. – 145 - 159.

Поточна версія на 14:55, 31 жовтня 2024

Біографія

Соломко Михайло Тимофійович

Освіта і професійний шлях

1983 р. – Закінчив навчання у Київському політехнічному інституті де здобув спеціальність «напівпровідники і діелектрики», отримав диплом інженера та спеціалізацію інженера електронної техніки.

1983 - 1986 р.р. – Робота на посаді технолога на заводі напівпровідникових приладів «Кварц» м. Чернівці.

1986 - 1989 р.р – Інженер лабораторії з підтримки виробництва фотошаблонів для виготовлення інтегральних схем на Костопільському склозаводі Рівненської області.

1989 р. – 1995 р.р. Начальник дільниці з виготовлення голограм на Костопільському склозаводі Рівненської області.

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

2000 р. – Захистив кандидатську дисертацію у Львівському політехнічному інституті «Львівська політехніка» після чого було присвоєно науковий ступінь кандидат технічних наук, отримав диплом кандидата технічних наук за спеціальністю «математичне моделювання та обчислювальні методи»

2005 - 2006 р.р – Завідувач кафедри менеджмент організацій міжрегіональної академії управління персоналом (МАУП) м. Рівне.

2006 - 2010 р.р – Доцент кафедри інформаційних систем і математики Єіропейського університету м. Рівне.

2008 р. – Старший викладач кафедри інформаційних систем та мереж, за сумісництвом, Відкритого міжнародного університету розвитку людини «Україна» Дубенської філії м. Дубно.

2010 - 2015 р.р – Доцент кафедри інформаційно-комунікаційних технологій та методики викладання інформатики Рівненського державного гуманітарного університету м. Рівне.

2015 р – Перейшов на постійну роботу до кафедри обчислювальної техніки Національного університету водного господарства та природокористування м. Рівне.


Педагогічна діяльність

Для студентів за спеціальністю 123 «Комп’ютерна інженерія» викладає такі дисципліни: комп’ютерна логіка, комп’ютерні мережі, об’єктно-орієнтоване програмування, мережеві алгоритми оптимізації, управління інноваційними проектами, проектування комп'ютерно-інтегрованих інформаційних систем.

Наукова діяльність

Захистив кандидатську дисертації на тему «Синтез комбінаторних конфігурацій на рівні блок-схем за допомогою числових в’язанок».


Основні наукові напрямки:

дáзайн-аналіз нестандартної системи спрощення булевих функцій, ейдос (герменевтика) логічних операцій на 2-вимірних бінарних матрицях, логіка арифметичних операцій, моделі ациклічного суматора та ациклічного помножувача бінарних кодів, моделі комунікації та обороту знань, програмування дидактики.


Автор понад 60 друкованих праць, з яких 23 статті опубліковано у спеціалізованих фахових виданнях, згідно з переліком ВАК України, 11 статтей у періодичних виданнях, що включено до науково метричної бази Scopus. Отримав свідоцтво про реєстрацію авторського права на твір (№ 24813 від 23.06.2008).


Профіль

ResearchGate:

https://www.researchgate.net/profile/Mykhailo_Solomko


zenodo:

https://zenodo.org/records/3947628

https://zenodo.org/search?q=%20%20Mykhailo%20Solomko&l=list&p=1&s=10&sort=bestmatch


SSRN:

https://papers.ssrn.com/sol3/cf_dev/AbsByAuth.cfm?per_id=4630037

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3807464

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3718728

https://papers.ssrn.com/sol3/cf_dev/AbsByAuth.cfm?per_id=4446836

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3920826

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3728081

https://papers.ssrn.com/sol3/papers.cfm?abstract_id=3759669


Microsoft Academic:

http://surl.li/pootih

http://surl.li/mpqif


pubdoc:

https://pubdoc.co/document/yd7x99dj-implementation-method-figurative-transformations-minimizing-symmetric-boolean-functions.html


CEMANTIC SCHOLAR:

https://www.semanticscholar.org/paper/Developing-the-minimization-of-a-polynomial-normal-Solomko-Batyshkina/02a27ba441a318bdc557051393d758f9824f3c17


OPEN ACCESS DISCOVERY:

https://openaccess.library.uitm.edu.my/Record/doaj-97a1fbf1ffab4acfb68f4d9bf50d1af0

https://discovery.researcher.life/topic/boolean-functions/13744458?page=1&topic_name=Boolean%20Functions


OUCI:

http://surl.li/mpqkn


Наукові статті

Mykhailo Solomko, Petro Tadeyev, Mykola Antoniuk, Yuliia Mala, Stepaniia Babych, Yakiv Ivashchuk. Implementation of a non-standard system for simplifying Peirce-Webb functions // Eastern - European Journal of Enterprise Technologies. - Vol. 5, No 4(131). 2024. - Mathematics and cybernetics – applied aspects. pp. 6 - 32.


Соломко M.Т. Нестандартне починання спрощення булевих функцій аналітичним методом / Двадцять шостий Міжнародний науково-практичний семінар «Комбінаторні конфігурації та їх застосування». - Запоріжжя-Кропивницький, 13-15 червня 2024 року. – ст. 170 – 179.


Mykhaylo Solomko. Development of a non-standard system for simplifying boolean functions // Eastern - European Journal of Enterprise Technologies. - Vol. 3, No 4(129). 2024. - Mathematics and cybernetics – applied aspects. pp. 6 - 34.


Соломко M.Т. Мінімізація частково визначених булевих функцій методом образних перетворень / Двадцять п'ятий Міжнародний науково-практичний семінар «Комбінаторні конфігурації та їх застосування». - Запоріжжя-Кропивницький, 14-16 червня 2023 року. – ст. 183 – 190.


Mykhaylo Solomko, Mykola Antoniuk, Ihor Voitovych, Yuliia Ulianovska, Nataliia Pavlova, Viacheslav Biletskyi. Implementation of the method of figurative transformations to minimizing partially defined boolean functions // Eastern - European Journal of Enterprise Technologies. - Vol. 1, No 4(121). 2023. - Mathematics and cybernetics – applied aspects. pp. 6 - 25.


Volodymyr Riznyk, Ivan Demydov, Mykola Medykovskyy, Vasyl Tesluyk, Mykhaylo Solomko. Models of Intelligent Systems as the Toroidal Combinatorial Configurations / 2021 IEEE 16th International Conference on Computer Sciences and Information Technologies (CSIT). - Lviv, Ukraine, 22-25 September, 2021.


Mykhaylo Solomko, Petro Tadeyev, Liudmyla Zubyk, Stepaniia Babych, Yuliia Mala, Oksana Voitovych. Implementation of the method of figurative transformations to minimizing symmetric boolean functions // Eastern - European Journal of Enterprise Technologies. - Vol. 4, No 4(112). 2021. - Mathematics and cybernetics – applied aspects. pp. 23 - 39.


Соломко M.Т. Мінімізація булевих функцій у поліномному та змішаному базисах методом образних перетворень / Двадцять третій Міжнародний науково-практичний семінар «Комбінаторні конфігурації та їх застосування». - Запоріжжя-Кропивницький, 13-15 травня 2021 року. – ст. 153 – 159.


Solomko M., Batyshkina Iu., Khomiuk N., Ivashchuk Ya., Shevtsova N. Developing the minimization of a polynomial normal form of Boolean functions by the method of figurative transformations // Eastern - European Journal of Enterprise Technologies. - Vol. 2, No 4(109). 2021. - Mathematics and cybernetics – applied aspects. pp. 22 - 37.


Solomko M. Developing an algorithm to minimize boolean functions for the visual-matrix form of the analytical method // Eastern - European Journal of Enterprise Technologies. - Vol. 1, No 4(109). 2021. - Mathematics and cybernetics – applied aspects. pp. 6 - 21.


Volodymyr Riznyk, Mykhaylo Solomko, Yuriy Tsymbal, Oleg Riznyk, Daniel Skrybailo-Leskiv and Roman Sydorenko. Combinatorial Optimization of CAD Systems / 2021 IEEE 16-th International Conference on the Experience of Designing and Application of CAD Systems (CADSM). - Lviv, Ukraine, 22-26 February, 2021.


Solomko M., Batyshkina Iu., Voitovych I., Zubyk L., Babych S., Muzychuk K. Devising a method of figurative transformation for minimizing boolean functions in the implicative basis // Eastern - European Journal of Enterprise Technologies. - Vol. 6, No 4(108). 2020. - Mathematics and cybernetics – applied aspects. pp. 32 - 47.


Попович В. І., Соломко М. Т. Мінімізація повного суматора бінарних кодів за допомогою фіктивної змінної / IX Наукова конференція «НАУКОВІ ПІДСУМКИ 2020 РОКУ». Збірка наукових праць. – Харків, ІХ.: Технологічний Центр, 2020. – 70 с.


Solomko M., Zubyk L., Zubyk Y., Ivanytska A. Modified Algorithm for Transformation of Boolean Functions / VII INTERNATIONAL CONFERENCE "Information Technology and Interactions (Satellite)" 04 December, 2020. Conference Proceedings. Taras Shevchenko National University of Kyiv: Stylos, 2020. 388 p.


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 М., Zubyk L., Olshansky P., Nazaruk V. 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.