Публікації у наукових виданнях кафедри комп’ютерних інформаційних технологій

Permanent URI for this collectionhttp://er.nau.edu.ua/handle/NAU/18237

Browse

Browsing Публікації у наукових виданнях кафедри комп’ютерних інформаційних технологій by Title

Filter results by typing the first few letters
Now showing 1 - 20 of 89
  • Thumbnail Image
    Item
    A Vector Optimization Approach to Allocation of Limited Resources
    (Research and Applications in Economics Vol. 2 Iss. 1, January 2014, 2014-01) Воронін, Альберт Миколайович; Зіатдінов, Юрій Кашафович
    The problem of allocation of the resource under constraints is considered. It is shown, that the problem lies in constructing an adequate objective function for optimization of the resources distribution under their limitations. To solve the considered problem, the multicriteria optimization approach is undertaken with the nonlinear trade-off scheme
  • Thumbnail Image
    Item
    An Optimal Trade-off Solution of the Software Architecture Choice Problem
    (England, UK Journal of Information and Computing Science Vol. 11, No. 4, 2016, pp.281-290. Англія, Великобританія журнал інформатики та обчислювальної техніки, 2016-09-20) Харченко, Олександр; Боднарчук, Ігор; Галай, Ірина; Яцишин, Василь
    The problems of a multi-criteria decision making model of software system architecture dealing with definition of criterion function and formalization of the trade-off estimation procedure are discussed. Taking into account the domain requirements and criteria values limitations, the universal scalar convolution is proposed where the weights of the quality criterion depends on its proximity to the limitation. An optimization model of "replacement-compensation" was used for solution of reengineering problems and directed selecting of software architecture.
  • Thumbnail Image
    Item
    Ananalysis of singularity of the matrices of priorities and sensitibility of decisions as key performance indicators of the analytic hierarchies process
    (Journal of Qafqaz University Mathematics and Computer Science, 2011) Savchenko, Alina; Vinogradov, Nick; Drovovozov, Vladimir; Kudzinovskaya, Inna
    Рассматриваются ключевые параметры эффективности метода многокритериальной оптимизации - метода анализа иерархий. Одно из главных свойств матрицы предпочтений, которая применяется в методе анализа иерархий - это ее обратная симметричность в случае строгой согласованности предпочтений. Доказано, что детерминант строго обратно-симметричной матрицы тождественно равен нулю для любого порядка матрицы. Исследована чувствительность решения проблемы собственных значений для матрицы приори¬тетов. Показано, что спектральный радиус матрицы - это достаточный ключевой параметр для оценивания чувствительности решения и риска перескока от правильного решения к ложному. Для уменьшения чувствительности решения и разработки вариантов реализации метода анализа иерархий, толерантных к возмущениям и ошибкам в суждениях, предложено применять зашумлегие элементов матрицы приоритетов. Разработано метод анализа чувствительности решения в "большом", который основан на оценках отношения между спектральным радиусом матрицы и величиной круга Гершгорина. Результаты, полученные в этой работе, будут полезны для широкого ряда научных и технических приложений
  • Thumbnail Image
    Item
    Computer networks monitoring and management methods
    (Національний авіаційний університет, 2018-10-31) Savchenko, Alina; Vasylenko, Valeryi; Kolisnyk, Olena; Holiavkina, Tatyana
    The distributed architecture of monitoring and management systems based on the SNMP protocol, the MIB databases and the centralized architecture based on the SDN network concept and the Openflow protocol are considered. The advantage of centralized monitoring and control is the ability to form a holistic view of the network status, respectively, to calculate the global optimum control and load balancing. The disadvantage is the low resiliency of the network, the complexity of managing a large system. Monitoring and management of such a complex system is possible with the help of decentralization, the creation of a hierarchical structure, the use of heuristic or metaheuristic methods for optimizing large systems. A method with sliding a posteriori optimization, which allows to achieve the optimal number of hierarchy levels and the optimal number of devices on the same level, is proposed
  • Thumbnail Image
    Item
    Decision Support System for Software Architect
    (Видавництво Львівської політехніки, 2013-04-20) Харченко, Олександр; Боднарчук, Ігор; Галай, Ірина
    Використання запропонованої системи при проектуванні програмного забезпечення використання запропонованої системи при проектуванні програмного забезпечення дозволить використовувати формальні моделі, репозиторій, готові архітектурні схеми, а також методи оптимізації для підвищення якості програмних продуктів, скорочення часу розробки і зниження витрат.
  • Thumbnail Image
    Item
    Decision Support System of Software Architect
    (Берлінський технологічний фонд TSB, 2013-09-14) Харченко, Олександр; Боднарчук, Ігор; Галай, Ірина
    Розробка модемних програмних продуктів вимагає від проектувальників обліку значного обсягу даних, знань, факторів для прийняття ефективних рішень. Програмні системи є високоінтелектуальними продуктами, що ускладнює процес формалізації їх проектування, а це, в свою чергу, не дозволяє розробляти і використовувати засоби автоматизації цих процесів. Таким чином, в даний час актуально застосування формальних методів математичного моделювання, оптимізації, теорії підтримки прийняття рішень для побудови моделей процесів проектування та створення на їх основі засобів автоматизації підтримки прийняття рішень.
  • Thumbnail Image
    Item
    Development of the method to control telecommunication network congestion based on a neural model
    (Eastern-European Journal of Enterprise Technologies, 2019-04-18) Savchenko, Alina; Vinogradov, Nikolay; Stepanov, Mikhailo; Toroshanko, Yaroslav; Cherevyk, Vyacheslav; Hladkykh, Valerii; Toroshanko, Oleksandr; Uvarova, Tetiana
    Розглянута схема контролю перевантажень з використанням зворотного зв’язку по знаку функції чутливості продуктивності телекомунікаційної мережі. Для визначення даної функції запропоновано використання простої нейронної мережної моделі динамічної системи. Контроль наявності або загрози перевантаження здійснюється на основі аналізу довжини черги на стороні приймача інформації. Для аналізу системи визначена функція вартості як цільова функція наявності перевантаження. Запропонований алгоритм оптимального управління забезпечує формування керуючого сигналу таким чином, щоб вихід системи відповідав як можна ближче заздалегідь встановленим характеристикам – ключовим показникам ефективності мережі. Розроблена схема контролю перевантаження зі зворотним зв’язком по знаку чутливості функції продуктивності системи. Знак чутливості продуктивності надає оптимальний напрям для налаштування швидкості джерела даних. Запропонована нейронна модель для багатокрокового передбачення стану черги на стороні приймача телекомунікаційної мережі. Якщо нейронна мережа налаштована на відслідковування динаміки системи і показує, що квадратична помилка є незначною, вважається, що виконаний крок відповідає наперед передбаченому виходу системи. Запропонований алгоритм адитивного збільшення/множинного зменшення, який визначає зміну швидкості джерела даних в залежності від знаку функції чутливості показника продуктивності. Даний алгоритм є альтернативою системи прогнозування перевантаження і керування потоком, заснованої на пороговому заповненні черги. Проведено порівняльний аналіз ефективності керуючих схем виявлення перевантаження на основі черг і на основі функції чутливості продуктивності телекомунікаційної мережі. Показано, що величина черги і коливання швидкості джерела менші для схеми на основі чутливості, ніж для схеми на основіРезультати моделювання продуктивності запропонованої схеми показують, що схема на основі функції чутливості має кращі ключові показники ефективності в порівнянні зі звичайною схемою вибору порога черги.
  • Thumbnail Image
    Item
    Hierarchical Structure of Multicriteria Problems.
    (Intelligent Control and Automation, 2014, 5, **-** Published Online February 2014 (http://www.scirp.org/journal/ica), 2014-02) Воронін, Альберт Миколайович; Зіатдінов, Юрій Кашафович
    It is shown that any multicriteria problem can be represented by a hierarchical system of criteria. Individual properties of the object (alternative) are evaluated at the bottom level of the system, using a criteria vector. A composition mechanism is used to evaluate the object as a whole at the top level. The problem is solved by the method of nested scalar convolutions of vector-valued criteria. The methodology of the problem solving is based on the complementarity principle by N. Bohr and the theorem of incompleteness by K. Gödel. An example is presented that helps the reader digest some of the intricacies in the methodology.
  • Thumbnail Image
    Item
    The Modeling and Optimization of Software Engineering Processes
    (Національний авіаційний університет, 2012-02-24) Харченко, Олександр Григорович; Боднарчук, Ігор Орестович; Яцишин, Василь Володимирович
    To formalize and optimize software engineering processes, the use of the insert programming method and the Saaty Analytical Hierarchy (AHP) process is described. The procedure of formalized presentation of the specification of requirements to the software system (SOFTWARE) is shown, and also the algorithm of an optimum choice of architecture at a large number of quality parameters is presented.
  • Thumbnail Image
    Item
    Multicriteria Evaluation and Optimization Nonlinear Trade-off Scheme
    (Computer Communication & Collaboration (Vol. 2, Issue 1, 2014) Submitted on 25/November/2013, 2014) Воронін, Альберт Миколайович; Зіатдінов, Юрій Кашафович
    Finding a multicriteria solution is inherently a compromise and is based on using subjective information.Given this information and a compromise scheme selected, it is possible to pass fromthe general vector expression to the scalar convolution of partial criteria, which provides a basis for a constructive apparatus to solve multicriteria problems. Solving the problem is based on the hypothesis that there exists a utility function [1] appearing in the DM’s brain during the solution of a specific multicriteria problem. We may state that virtually all the approaches to determining the scalar convolution of criteria are reduced to constructing one mathematical model or another of the DM’s utility function. The problem is to approximate correctly the utility function and to construct a substantial mathematical model as a scalar convolution, adequate to the given situation, to solve different multicriteria problems.
  • Thumbnail Image
    Item
    Optimization of Software Architecture Selection for the System Under Design and Reengineering
    (Національний університет "Львівська політехніка", 2018-02-24) Kharchenko, Olexandr; Raichev, Ihor; Bodnarchuk, Ihor; Zagorodna, Natalia
    The problem of optimization of software system architecture choice is considered taking into account changes of requirements in iterative technologies of design and reengineering. The solution is offered on the base of correction of alternatives’ characteristics which were accounted on previous iteration or modification of existing software system during reengineering. This method prevents recalculations for evaluation and selection process. The method of pairwise substitution is applied for alternatives’ characteristics correction. Its concept lies in compensation on supremacy of criterion change. Multicriteria optimization of substitution is carried out using nonlinear scalar convolution what improves validity of selected decision.
  • Thumbnail Image
    Item
    The Method of Assessment Correction for Software Architectures when Quality
    (Львівська політехніка, 2014-06-06) Харченко Олександр Григорович; Боднарчук, Ігор Орестович; Галай, Ірина Олександрівна
    Розглянуто завдання оптимальної корекції показників якості при виборі архітектури програмного забезпечення на основі вирішення задачі ієрархічної оптимізації Сааті. Для цього використовується процедура заміщення, компенсації і модель оптимізації заміщення. Необхідність коригування оцінок обумовлена зміною вимог до якості, що призводить до необхідності зміни архітектури програмного забезпечення.
  • Thumbnail Image
    Item
    The Method of Software Architecture Design Accounting the Quality Requirements Change
    (Національний університет "Львівська політехніка", Видавництво Львівської політехніки, 2014-11-22) Kharchenko, Аlexander; Bodnarchuk, Ihor; Raichev, Ihor; Morar, Yulia
    The adaptive method for selecting of architecture project of software system is discussed in the article under changeable quality requirements. The method includes the calculation of comparative assessment for alternatives and operative correction of assessments for taking into account the change the quality requirements. Comparative assessment for alternatives are obtained with modified Analytical Hierarchic Process (MAHP).
  • Thumbnail Image
    Item
    The Modeling and Optimization of Software Engineering Processes
    (Львівської політехніки, 2012, 2012-02-24) Харченко, Олександр; Боднарчук, Ігор; Яцишин, Василь
    Для формалізації та оптимізації процесів програмної інженерії описано використання методу вставочного програмування і процесу аналітичної ієрархії Saaty (AHP). Показана процедура формалізованого подання специфікації вимог до програмної системи (ПО), а також представлено алгоритм оптимального вибору архітектури при великій кількості параметрів якості. Ключові слова-програмний комплекс, специфікація вимог, формалізація, процес аналізу ієрархії, базові протоколи, архітектура.
  • Thumbnail Image
    Item
    The Tool for Design of Software Systems Architecture
    (Львівська політехніка, 2013-02-23) Харченко, Олександр; Боднарчук, Ігор; Галай, Ірина; Яцишин, Василь
    Вдосконалення технологій проектування програмного забезпечення відбувається шляхом упровадження формальних методів та інструментів, що реалізують ці методи. У представленому інформаційно-програмному комплексі реалізовані класифікаційні та комунікаційні функції вимог до якості. Тут же пропонується композиція альтернативних архітектур і вибір оптимальної. Програмний комплекс є функціонально системою підтримки прийняття рішень (DSS) для архітектора. Висока складність сучасних програмних систем і зростання вимог до їх якості вимагають модернізації технологій їх проектування та розробки засобів їх виконання. Реалізація формальних методів, таких як математичне моделювання, оптимізація, теорія прийняття рішень, що дозволяє формалізувати такі процеси: класифікація та комунікація вимог, проектування архітектури. Для виконання зазначених процесів найчастіше використовуються евристичні процедури, засновані на досвіді проектувальників. Отримані формалізовані моделі дозволяють розробляти засоби автоматизації цих процесів.
  • Thumbnail Image
    Item
    Trade-off Optimization in the Problem of Software System Architecture Choice
    (Національний університет "Львівська політехніка", Видавництво Львівської політехніки, 2016-04-24) Kharchenko, Аlexandr; Bodnarchuk, Ihor; Raichev, Ihor; Zagorodna, Natalia
    The problems of multi-criteria choice of software system architecture are discussed, connected with definition of criterion function. For this the universal scalar convolution is offered to apply, where the priority of quality criteria depends on its proximity to the limitation. Optimization model application for problem of reengineering or directed choice of software architecture is discussed too
  • Thumbnail Image
    Item
    Адаптація процесів організації запитів до бази даних.
    (Український науково-дослідний інститут зв’язку, 2006-06-29) Холявкіна, Тетяна Володимирівна
    Описана розподілена інформаційно-обчислювальна система аналізу і обробки інформації про безпеку польотів. Задача оптимального розподілу запитів зведена до задачі квадратичного програмування з обмеженнями типу нерівностей.
  • Thumbnail Image
    Item
    Адаптація процесів організації запитів до бази даних. Наукові записки українського науково-дослідного інституту зв’язку . Науково-виробничий збірник.
    (Державне підприємство. «Український науково-дослідний інститут зв’язку», 2013) Холявкіна, Тетяна Володимирівна
    Описана розподілена інформаційно-обчислювальна система аналізу і обробки інформації про безпеку польотів. Задача оптимального розподілу запитів зведена до задачі квадратичного програмування з обмеженнями типу нерівностей.
  • Thumbnail Image
    Item
    Анализ асимптотической устойчивости системы управления телекоммуникационной сетью
    (Національний авіаційний університет, 2013-05-31) Холявкина, Татьяна Владимировна; Савченко, Алина Станиславовна
    В современных телекоммуникационных сетях развитость механизма управления сетью опре¬деляет качество предоставляемых услуг. Сложность управления такими сетями заключается в отсутствии полной и достоверной информации о состоянии объекта. Распределенность систем приводит к задержкам доставки служебной информации, которые носят случайный характер. В таких условиях особенно актуальным является вопрос устойчивости системы управления.
  • Thumbnail Image
    Item
    Анализ возможных путей прогнозирования безопасности полетов с использованием данных объективного контроля
    (Національний авіаційний університет, 2006-11-22) Холявкина, Татьяна Владимировна
    В статье сделан обзор существующих концепций безопасности полетов. Выполнен срав¬нительный анализ различных концепций. Обоснованы требования к системам объективного контроля как к неотъемлемой части общей системы авиационной безопасности. Намечены пути использования данных объективного контроля для прогнозирования уровня безопасности полетов и минимизации риска летных происшествий.