Публікації співробітників кафедри


2019 рік

2018 рік

2017 рік

  1. S.L. Kryvyi, Yu.V. Boyko, S.D. Pogorilyy, O.F. Boretskyi, M.M. Glibovets Design Grid Services for Running Virtual Machines as Computer Task Based on Transition Systems // Scientific Journal "Proceeding of İnstitute of Applied Mathematics". – 2017, – Vol. 6, – No. 1, – pp. 54-73.
  2. A.V. Palagin, V.M. Opanasenko, S.L. Kryvyi Resource and Energy Optimization Oriented Development of FPGA-Based Adaptive Logical Networks for Classification Problem // Green IT Engineering: Components, Networks and Systems Implementation, Volume 105 of Studies in Systems, Decision and Control, Springer, – 2017, – pp. 195-218.
  3. Крывый С.Л., Дарчук Н.П., Ясенова И.С., Головина А.Л., Соляр А.С. Методы и средства представления знаний // International Journal "Information Content and Processing". – 2017, – Vol. 4, – No. 1, – pp. 62-99.
  4. S.L. Kryvyi, Yu.V. Boyko, S.D. Pogorilyy, O.F. Boretskyi, M.M. Glybovets Design of Grid Structures on the Basis of Transition Systems with the Substantiation of the Correctness of Their Operation // Cybernetics and Systems Analysis, – 2017, – Volume 53, – Issue 1, – pp. 105-114.
  5. V.N. Opanasenko, S.L. Kryvyi Synthesis of Neural-Like Networks on the Basis of Conversion of Cyclic Hamming Codes // Cybernetics and Systems Analysis, – 2017, – Volume 53, – Issue 4, – pp. 627-635.
  6. Стецюк П.И. Субградиентные методы ralgb5 и ralgb4 для минимизации овражных выпуклых функций // Вычислительные технологии. – 2017. – № 2. – С. 127-149.
  7. Стецюк П.И., Стовба В.А., Мартынюк И.С. Алгоритмы метода эллипсоидов для нахождения Lp-решения системы линейных уравнений // Збірник наукових праць "Теорія оптимальних рішень". – 2017. – С. 139-146.
  8. Міца О.В., Пецко В.І., Стецюк П.І. Двоетапний метод для синтезу багатошарових оптичних систем // Збірник наукових праць "Ком'ютерна математика". – 2017. – № 1. – С. 126-133.
  9. Ліндер Є.О., Ліндер Я.М. Вплив кредитного ризику на прибутковість кредитно-депозитного портфелю банку // Збірник наукових праць "Економічний простір". – 2017. – № 118. – С. 153-162.

2016 рік

  1. Провотар О.І., Василенко О.В., Провотар О.О., Нечіткі ймовірності та нечіткі події. // Проблеми програмування. – 2016. – № 2-3. – С. 170-178.
  2. Кривий С.Л., Опанасенко В.М., Синтез многоуровневых структур со многими выходами. // Проблеми програмування. – 2016. – № 2-3. – С. 3-13.
  3. Кривий С.Л., Алгоритмы решения систем линейных уравнений в кольце вычетов. // Кібернетика і системний аналізз. – 2016. – № 5. – С. 149-160.
  4. Кривий С.Л., Линейные ограничения и методы их решения. // Information Theories & Applications. – 2016. – Vol. 23. – No. 2. – pp. 103-199.
  5. Кривий С.Л., Формализованные онтологические модели в научных исследованиях. // Управляющие системы и машины. – 2016. – № 4. – С. 3-16.
  6. Крывый С.Л., Ясенова И.С., Головина А.Л., Соляр А.С. Формализованные онтологические модели: представление и операции // Інженерія програмного забезпечення, – 2016, – Том 25, – № 1, – C. 5-16.
  7. V. Opanasenko, S. Kryvyi, Method synthesis of the configurable logical blocks on basis of universal logical elements. // Радіоелектронні і комп'ютерні системи. – 2016. – № 5. – С. 93-97.
  8. V. Opanasenko, S. Kryvyi, Algorithms Synthesis of the Adaptive Logical Network on Basis of Universal Logical Elements. // Proceedings of 13th International Conference "Pattern Recognition and Information Processing", October 3-5, 2016, Minsk, Belarus, pp. 16-20.
  9. P.I. Stetsyuk, T.E. Romanova, G. Scheithauer, On the global minimum in a balanced circular packing problem // Optimization Letters, 2016, Volume 10, Issue 6, pp. 1347-1360.
  10. P.I. Stetsyuk, Problem Statements for k-Node Shortest Path and k-Node Shortest Cycle in a Complete Graph* // Cybernetics and Systems Analysis, Volume 52, Issue 1, 2016, pp. 71-75.
  11. Стецюк П.І., Хіміч О.М., Сидорук В.О. Реалізація r-алгоритму на графічних процесорах // Збірник наукових праць "Комп'ютерна математика". – 2016. – № 2. – С. 100-109.
  12. Stoyan Yu., Romanova T., Pankratov A., Kovalenko A., Stetsyuk P. Balance Layout Problems: Mathematical Modeling and Nonlinear Optimization // Space Engineering, Volume 114 of Springer Optimization and Its Applications, Springer, 2016, pp. 369-400.
  13. Єршов С.В., Костукевич Ф.В., Технологія моделювання на основі нечітких об'єктно-орієнтованих байєсівських мереж довіри. // Проблеми програмування. – 2016. – № 2-3. – С. 179-187.
  14. Єршов С.В., Пономаренко Р.М., Методи організації паралельних обчислень для багаторівневих нечітких систем Такагі-Сугено. // Проблеми програмування. – 2016. – № 2-3. – С. 141-149.
  15. Огурцов М.І., Ходзінський О.М., Розробка алгоритмів розв'язання задачі маршрутизації транспортних засобів з часовими вікнами. // Комп'ютерна математика, 2016. – № 1. – С. 134-142.
  16. Лаврищева Е.М., Слабоспицкая О.А., Стеняшин А.Ю., Колесник А.Л., Объектно-компонентная разработка изменяемых программных систем. // Проблеми програмування. – 2016. – № 1. – C. 3-16.
  17. Андон П.І., Ігнатенко П.П., Сініцин І.П., Слабоспицька О.О., Методичні основи оцінювання витрат на розроблення та супровід прикладного програмного забезпечення комп’ютерних систем. // Проблеми програмування. – 2016. – № 2-3. – С. 264-273.
  18. Дорошенко А.Ю., Хаврюченко В.Д., Туліка Є.M., Жереб K.А., Перетворення успадкованого коду на Fortran до масштабованого паралелізму і хмарних обчислень. // Проблеми програмування. – 2016. – № 2-3. – С. 133-140.
  19. A. Chentsov, Many-sorted first-order composition-nominative logic as institution. // Computer Science Journal of Moldova, 2016, Vol. 24, No. 1(70), pp. 27-54.
  20. Шкільняк О.С., Відношення логічного наслідку в логіках квазіарних предикатів. // Проблеми програмування. – 2016. – № 1. – С. 29-43.
  21. Нікітченко М.С., Шкільняк О.С., Шкільняк С.С. Чисті першопорядкові логіки квазіарних предикатів. // Проблеми програмування. – 2016. – № 2-3. – C. 73-86.
  22. D.A. Terletskyi, A.I. Provotar, Fuzzy Object-Oriented Dynamic Networks. II // Cybernetics and Systems Analysis, 2016, Volume 52, Issue 1, pp. 38-45.

2015 рік

  1. V.N. Opanasenko, S.L. Kryvyi, Synthesis of Adaptive Logical Networks on the Basis of Zhegalkin Polynomials. // Cybernetics and Systems Analysis, 2015, Volume 51, Issue 6, pp. 969-977.
  2. Палагин А., Крывый С., Петренко Н., Разработка, иследование и представление функций и операций на онтологиях. // Information Theories & Applications. – 2015. – Vol. 22. – No. 2. – pp. 103-114.
  3. Палагин А.В., Петренко Н.Г., Крывый С.Л., К вопросу о построении знание-ориентированных компьютерных систем для научных исследований. // Управляющие системы и машины. – 2015. – № 2. – С. 64-73.
  4. A.A. Kovalenko, T.E. Romanova, P.I. Stetsyuk, Balance Layout Problem for 3D-Objects: Mathematical Model and Solution Methods // Cybernetics and Systems Analysis, 2015, Volume 51, Issue 4, pp. 556-565.
  5. V.I. Zorkaltsev, S.M. Perzhabinsky, P.I. Stetsyuk, Using the Interior Point Method to Find Normal Solutions to a System of Linear Algebraic Equations with Bilateral Constraints on Variables // Cybernetics and Systems Analysis, 2015, Volume 51, Issue 6, pp. 896-904.
  6. Слабоспицкая О.А., Портфельная модель процесса принятия решений по управлению изменениями в организации. // Проблеми програмування. – 2015. – № 1. – C. 72-80.
  7. Слабоспицька О.О., Технологічна модель процесу побудови та використання адаптивної композиції Web-сервісів. // Проблеми програмування. – 2015. – № 2. – C. 52-62.
  8. Галкін О.В., Верес М.М., Поляченко А.І., Застосування кусково-лінійних моделей в задачах пргнозування. // Вісник Київського Національного Університету імені Тараса Шевченка. Серія Фізико-математичні науки. – 2015. – № 3. – С. 66-71.
  9. Шкільняк О.С., Модальні логіки немонотонних часткових предикатів. // Вісник Київського національного університету імені Тараса Шевченка. Серія: Фізико-математичні науки. – 2015. – № 3. – С. 141-147.
  10. D.A. Terletskyi, A.I. Provotar, Fuzzy Object-Oriented Dynamic Networks. I // Cybernetics and Systems Analysis, 2015, Volume 51, Issue 1, pp. 34-40.
  11. D. Terletskyi, Exploiters-Based Knowledge Extraction in Object-Oriented Knowledge Representation // Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015, Volume 2, pp. 211-221.
  12. D. Terletskyi, Inheritance in Object-Oriented Knowledge Representation // Information and Software Technologies, Volume 538 of Communications in Computer and Information Science, Springer, 2015, pp. 293-305.