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


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.