Кафедра комп’ютерної інженерії та інформаційних систем

Постійне посилання зібрання

Переглянути

Нові надходження

Зараз показуємо 1 - 40 з 108
  • Документ
    Метод обчислення кількості розпізнаних структурних об’єктів певного класу
    (2022-09) Мельниченко, Олександр
    У роботі розглядається наукова задача з виявлення та обчислення кількості структурних об’єктів певного класу. Для досягнення поставлених завдань було використано глибоке машинне навчання. Результатом роботи є розроблений удосконалений метод відстеження та обчислення кількості струкутрних об’єктів певного класу. Реалізацію здійснено на прикладі виявлення та обчислення кількості плодів на деревах, використовуючи відеоряди.
  • Документ
    Самоорганізована система управління декількома БПЛА для динамічного отримання зображень в тривимірному просторі
    (Дніпровський національний університет імені Олеся Гончара, 2022-11) Мельниченко, Олександр
    Для розв’язання задачі, де група БПЛА має виконувати розпізнавання структурних об’єктів в режимі реального часу, потрібно використовувати більш точніші засоби та засоби, які суттєво автоматизовуватимуть сам процес. Тому, перспективним напрямом для дослідження є використання самоорганізованих систем. Для створення самоорганізованої системи управління групою БПЛА використано технологію отримання вхідних даних для побудови маршрутів Real Time Kinematic (RTK).
  • Документ
    Метод та підсистема самовідновлення після критичних збоїв
    (Хмельницький національний університет, 2023) Мельниченко, Олександр
    Система самовідновлювання після критичних збоїв є комплексним врахуванням вимог розподіленості, децентралізованості та багаторівневості до розробленої архітектури інформаційної системи. Впровадження системи самовідновлювання на основі цих вимог дає змогу створити розподілені системні компоненти, які функціонують автономно і самостійно приймають рішення про самовідновлення після критичного збою. Ключовою характеристикою, яка впливає на рівень функціювання програмної системи загалом є час перебування в критичних станах. Події перебування частини програмних модулів в одному й тому ж системному стані є сумісними подіями. Водночас перехід різних програмних компонентів системи до одного стану всієї системи не змінює функціоналу цих компонентів, що свідчить про їхню незалежність один від одного. Результатом є запропонований механізм самовідновлення після критичних збоїв. Де одним із основних принципів досягнення ефективності під час роботи інформаційної програмної системи є побудова розподілених та самоорганізованих компонентів.
  • Документ
    Методи розпізнавання та обробки зображень за модифікованою YOLOv5-v1
    (Information Technology: Computer Science, Software Engineering and Cyber Security, 2023) Мельниченко, О.
    У поданій роботі запропоновано новий підхід згідно глибокого навчання до виявлення, розпізнавання, обробки зображень та обчислення кількості об’єктів, зокрема на прикладі обробки зображень яблук. Відому модель YOLOv5 було взято за основу через її високу точність та швидкість часу обробки даних. YOLOv5 було модифіковано, відповідно до вимог завдання виявлення яблук у робочому середовищі фруктового саду. Запропонований підхід складається із двох етапів: виявлення яблук і обчислення їхньої кількості. На етапі виявлення нова модель YOLOv5-v1 була навчена на створеному вручну наборі даних із зображень яблук для виявлення ознак, які відрізняють яблука від зовнішнього фону. Модель містить нові рівні для модуля BottleneckCSP-v4, замінюючи модуль BottleneckCSP в оригінальній магістральній архітектурі YOLOv5. На етапі обрахування модуль SENet інтегрується в розширену магістральну мережу, щоб краще ідентифікувати ознаки плодів середнього та великого розміру в різних умовах. Початковий розмір прив’язувального блоку початкової мережі було скориговано, щоб запобігти помилковій ідентифікації малих об’єктів на фоні зображення та, таким чином, підвищити точність обчислення кількості. Ефективність підходу було оцінено в результаті проведених обчислювальних експериментів із набором даних зображень яблук. Експериментальні результати на тестовому наборі даних продемонстрували, що вдосконалена модель може ефективно розпізнавати та обчислювати фрукти, зняті відеокамерою безпілотного літального апарату, із показниками recall, precision, mAP та F1 92,13 %, 84,59 %, 87,94 % та 89,02 %. відповідно. Запропонований підхід також було порівняно з іншими сучасними методами, такими як YOLOv5, YOLOv3, YOLOv4 та EfficientDet-D0, і встановлено, що запропонована модель перевершила аналоги за точністю та швидкістю. Середня швидкість розпізнавання запропонованої мережі склала 0,015 секунди на 1 кадр відеоряду (66,7 кадрів/с), що у 2,53, 1,13 та 3,53 рази вище, ніж у мережах EfficientDet-D0, YOLOv4 і YOLOv3, відповідно. Отримані результати мають декілька потенційних застосувань у садівництві, де їх можна використовувати для моніторингу посівів, оцінювання врожайності та контролю якості продукції. Подальші дослідження, також, можуть бути проведені для включення додаткових ознак, таких як форма фрукта, використовуючи більший набір даних для навчання моделі.
  • Документ
    A self-organized automated system to control unmanned aerial vehicles for object detection
    (CEUR-Workshop Proceedings, 2023) Melnychenko, O.; Savenko, O.
    Dynamic acquisition of an image in three-dimensional space in dynamic mode with its subsequent processing in recognizing structural objects of the exact nature is an urgent task. It needs to ensure the high accuracy of the recognition result and the correct, complete definition of an image. Further calculation of the number of such objects is required. Moreover, it is essential to ensure detection functions inside such a self-organized system in case of classifying input data. In this work, we propose a novel self-organized automated system in which one or several UAVs are controlled and monitored to acquire images of detected objects, considering one object at a time. The outcome of this study serves as the basis for the creation of new means that can launch and monitor unmanned aerial vehicles over subsets of the studied space area according to the given initial data. The architecture designed in this way allows for achieving the appropriate level of organization when determining the next steps in functioning subsystems and components. The conducted experiments confirm the possibility of practical implementation of the proposed architectural solutions.
  • Документ
    Метод керування та самоорганізована система планування маршрутів БПЛА
    (Прикарпатський національний університет імені Василя Стефаника, 2022) Мельниченко, Олександр
    Розвиток технологій із використанням БПЛА (безпілотних літальних апаратів), потребує стандартизації методів управління як для наземних комплексів, так і для літальних апаратів та платформ. Збільшення кількості літальних апаратів потребує пошуку методів автономної навігації, способів утворення груп та мереж. Тому, питання впровадження нових методів керування є актуальним. Експериментальні дослідження підтвердили можливість реалізації запропонованих рішень. Отримана самоорганізована система має достатній рівень стійкості для забезпечення її функціонування і виконання впроваджених в неї методів управління.
  • Документ
    Метод формування інформаційного портрету користувача в мережі Інтернет
    (Національний університет «Львівська політехніка», 2018) Говорущенко, Тетяна Олександрівна; Медзатий, Дмитро Миколайович; Семенюк, Віктор Сергійович
    Дослідження присвячено розробленню методу формування інформаційного портрету користувача в мережі Інтернет, який дає можливість визначити характеристики, які формують інформаційний портрет користувача, орієнтований на вдосконалення таргетингу інформації або на формування іміджу веб-особистості у мережі Інтернет.
  • Документ
    Методологія оцінювання достатності інформації для визначення якості програмного забезпечення
    (Хмельницький національний університет, 2017) Говорущенко, Тетяна Олександрівна
    У монографії розроблено методологію оцінювання достатності інформації специфікації вимог для визначення якості програмного забезпечення (ПЗ). Розроблена методологія на основі порівняльного аналізу онтологій дає можливість: сформувати висновок про достатність інформації специфікації вимог для визначення якості ПЗ; визначити достовірність оцінювання якості ПЗ; підвищити достовірність оцінок якості ПЗ; підвищити якість ПЗ на ранніх етапах життєвого циклу. Монографія розрахована на наукових та інженерно-технічних працівників, які займаються проектуванням та розробленням програмного забезпечення, а також на аспірантів та студентів вищих навчальних закладів.
  • Документ
    Основні принципи методологій розроблення програмного забезпечення
    (ПП Вишемирський В. С., 2016) Малярчук, Роман Андрійович; Говорущенко, Тетяна Олександрівна
    Застосування саме коректно підібраної методології розроблення ПЗ дозволяє в типовому циклі розроблення ПЗ усувати розбіжності та відсутність зв’язків між членами команди розробників і кінцевими користувачами., підключати нових людей до проекту на будь-якій стадії розроблення, створювати пакет документації, який надалі спрощує супровід і доповнення програмного продукту, зводити до мінімуму витрати на доопрацювання, модифікацію та супровід ПЗ. Наразі вибір методології розроблення сьогодні залежить від: масштабу проекту; критичності проекту; кількості учасників проекту; ступеня новизни проекту; очікуваної тривалості проекту; вимог замовника; стандартів, прийнятих в компанії-розробника; знань і досвіду проектної команди; уподобань або вимог замовника; складності проекту; стабільності та зрілості процесів у компанії; особистих якостей співробітників. Отже, зараз до проблеми вибору методології розроблення ПЗ підходять без врахування специфіки софтверної компанії та програмного проекту. Але саме застосування методології, яка найкращим чином відповідає проектній задачі та колективу розробників, дозволить усувати розбіжності між розробниками та замовниками, зводити до мінімуму витрати на супровід ПЗ. На основі аналізу фахової літератури було визначено основні принципи методологій розроблення ПЗ.
  • Документ
    Трансфер знань та технологій на прикладі підтримки реалізації студентських стартапів
    (Одеський національний політехнічний університет, 2016) Поморова, Оксана Вікторівна; Говорущенко, Тетяна Олександрівна; Побережний, Сергій Юрійович; Магдін, Віктор Вадимович; Pomorova, O.V.; Hovorushchenko, T.O.; Poberezhnyi, S.Y.; Mahdin, V.V.
    Запропоновано підхід щодо покращення підготовки, розвитку творчого мислення та формування креативності в студентів ІТ-спеціальностей за рахунок підтримки реалізації студентських стартапів Центром трансферу знань та технологій (заснованим в рамках Міжнародного проекту TEMPUS KTU (№ 544031-TEMPUS-1-2013-1-AT-TEMPUS-JPHES). Представлено імплементацію запропонованого підходу на прикладі успішного студентського стартапу «Аутсорсинг «зайвих» справ, або Обміняй час на гроші!».
  • Документ
    Evaluation of Mutual Influences of Software Quality Characteristics Based ISO 25010:2011
    (Національний університет «Львівська політехніка», 2016) Hovorushchenko, Tetiana; Pomorova, Oksana
    This work is devoted to determining the degree of cross-correlation of software quality subcharacteristics and characteristics for joint measures. In the paper the weights of measures are calculated. The weights of measures represent mutual influences of quality characteristics, subcharacteristics and their mutual correlation The weights of measures are necessary for further evaluation of current software quality characteristics (for ISO 25010).
  • Документ
    Ontological Approach to the Assessment of Information Sufficiency for Software Quality Determination
    (CEUR-WS, 2016) Hovorushchenko, Tetiana; Pomorova, Oksana
    The aim of this study is the development of approach to the assessment of information sufficiency for software quality determination (according to ISO 25010: 2011). The proposed approach to assessment of information sufficiency is based on the comparative analysis of fragments of ontology of the subject domain "Software Engineering" and ontologies, that are developed on the basis of software requirements and system specification of the developed software. The approach provides the improvement the specifications for the presence of measures, that are necessary to the determination of software quality subcharacteristics and characteristics. The work of developed approach is illustrated by the assessment of information sufficiency for software quality determination of automated system for large-format photo print.
  • Документ
    Розвиток інноваційної діяльності у шкільній освіті за рахунок формування культури та навичок «свідомого» використання мобільної електроніки школярами
    (КДАВТ, 2016) Говорущенко, Тетяна Олександрівна
    Враховуючи актуальність використання мобільної електроніки у шкільній освіті, з’явилась ідея створити на базі кафедри системного програмування Хмельницького національного університету ІТ-клуб для школярів (модернізований центр навчання, інноваційна освітня модель) з метою формування культури та навичок «свідомого» використання мобільної електроніки. Практичне значення описаного ІТ-Клубу полягає у: навчанні учнів середнього шкільного віку навичкам роботи з інформацією та створення цифрового контенту; формуванні STEM-компетентностей, творчого мислення, креативності, допитливості, ініціативності у школярів; збільшенні мотивації, інтересу до шкільних предметів та навчанні учнів спілкуватись між собою завдяки концепції edutainment (edutainment=education+entertainment).
  • Документ
    Information Technology of Predicting the Characteristics and Evaluating the Success of Software Projects Implementation
    (CEUR-WS, 2016) Krasiy, Andriy; Hovorushchenko, Tetiana
    The aim of this research is the development of the information technology (model, method and tools) of predicting the characteristics and evaluating the success of the software projects implementation based on the analysis of the software requirements specification (ITPCES). ITPCES structure was first time proposed. One of the non-realized components of ITPCES is the intelligent system of predicting the characteristics and evaluating the success of the software projects implementation (SPCES). This research is devoted to design of SPCES and experiments with it. SPCES gives the conclusion about probably category of success of the software project implementation by analyzing the software requirements specification (at the early stages of the life cycle). The SPCES conclusions provide to the customer the ability of the comparing the proposed software projects and provide to the customer the data for the grounded and informed choice of the most successful software project
  • Документ
    Концепція компенсаторного моделювання якості програмного забезпечення
    (Чернівецький факультет Національного технічного університету «Харківський політехнічний інститут», 2016) Павлова, Ольга Олександрівна; Говорущенко, Тетяна Олександрівна
    Актуальність проблем підвищення якості ПЗ обумовлює необхідність розроблення моделей оцінювання якості ПЗ, які б враховували вплив та важливість різних факторів при управлінні якістю.Подальшою перспективою є забезпечення повноти та цілісності показників і характеристик якості ПЗ, для чого необхідно: 1) розробити компенсаторну модель, яка надаватиме коректні кількісні оцінки характеристик якості, враховуючи важливість та взаємовпливи показників якості ПЗ; 2) розробити компенсаторну модель, яка надаватиме коректну та достовірну кількісну оцінку якості ПЗ з врахуванням важливості та взаємовпливів характеристик якості ПЗ; 3) розробити метод, який враховуватиме важливість та взаємовпливи показників при оцінюванні характеристик якості і важливість та взаємовпливи характеристик при комплексному оцінюванні якості ПЗ.
  • Документ
    Множинні представлення типів та методологій розроблення програмного забезпечення
    (Національний аерокосмічний університет ім. М. Є. Жуковського "Харківський авіаційний інститут", 2016) Малярчук, Роман Андрійович; Говорущенко, Тетяна Олександрівна; Malyarchuk, R.A.; Hovorushchenko, T.O.
    Дана робота присвячена побудові множинних представлень типів програмного забезпечення (ПЗ) з врахуванням їх основних сутнісних та показникових характеристик та методологій розроблення ПЗ з врахуванням їх основних принципів. Розроблені множинні представлення надають замовнику та розробнику можливість підбору необхідної методології для поставленої задачі шляхом порівняння множини необхідних характеристик ПЗ розроблюваного типу з множинами принципів, які забезпечуються різними методологіями. Множинні представлення типів та методологій розроблення ПЗ використовуватимуться надалі при моделюванні та реалізації процесу вибору методології розроблення ПЗ, для чого слід встановити важливість (вагові коефіцієнти) характеристик для кожного типу ПЗ та принципів для кожної методології розроблення ПЗ.
  • Документ
    Метод оцінки достатності інформації для визначення складності та якості програмного забезпечення на основі порівняльного аналізу онтологій
    (Національний аерокосмічний університет ім. М. Є. Жуковського "Харківський авіаційний інститут", 2016) Говорущенко, Тетяна Олександрівна; Поморова, Оксана Вікторівна; Hovorushcnenko, T.A.; Pomorova, O.V.
    Наявність взаємної кореляції метрик ПЗ є фактором, що негативно впливає на достовірність визначення характеристик ПЗ та погіршує їх точність. Тому варто проводити аналіз системних специфікацій ПЗ, що розробляється вперше, на предмет достатності інформації для визначення характеристик ПЗ. Пропонований метод оцінки достатності інформації для визначення складності та якості програмного забезпечення базується на порівняльному аналізі фрагментів онтології предметної галузі «Інженерія ПЗ» та онтологій, побудованих на основі системної специфікації розроблюваного ПЗ. Метод забезпечує можливість покращення специфікації вимог до ПЗ на предмет наявності показників, необхідних для визначення характеристик програмного проекту, що проілюстровано на прикладі визначення показників якості та складності ПЗ автоматизованої системи (АС) широкоформатного фотодруку.
  • Документ
    Реалізація нечіткої нейронної мережі для розпізнавання надзвичайних ситуацій у пакеті matlab
    (Кіровоград: ПП «Центр оперативної поліграфії «Авангард»», 2014-12) Тітова, Віра Юріївна
    Використання запропонованої у тезах доповіді нейронної мережі забезпечує інформаційно-аналітичну підтримку прийняття рішень диспетчеру служби швидкого реагування та дозволяє підвищити якість розпізнавання надзвичайних ситуацій.
  • Документ
    Підтримка прийняття рішень для диспетчера служб швидкого реагування за допомогою формалізованої моделі задачі класифікації надзвичайних ситуацій
    (Інститут проблем штучного інтелекту, 2015) Тітова, Віра Юріївна
    У статті розглядається задача класифікації надзвичайних ситуацій. Визначено, що ця задача є важкоформалізованою. Для її вирішення запропоновано використання інтелектуальних методів, зокрема нечіткої нейронної мережі.
  • Документ
    Method of Evaluating the Success of Software Project Implementation Based on Analysis of Specification Using Neuronet Information Technologies
    (2015) Говорущенко, Тетяна Олександрівна; Красій, Андрій Валерійович
    The actuality and importance of skill to evaluate the possible success of software project based on SRS were showed in this paper. The aim of research is prediction of characteristics and evaluating the success of software project implementation based on analysis of SRS. Method of evaluating the success of software project implementation based on analysis of SRS using neuronet information technologies was first proposed. This method provides the prediction of success of software projects implementation, comparison of software projects on the basis of SRS and choice of the best SRS of project.
  • Документ
    The Way to Detection of Software Emergent Properties
    (2015) Pomorova, Oksana; Hovorushchenko, Tetiana
    The paper deals with the problem of detection of imperfections of software quality evaluation. Existing currently models and methods of the software quality evaluation weakly take into account the systemic aspect of modern software, including they pay insufficient attention to emergent properties of software. Analysis of the known approaches of software emergent properties detection showed that nowadays these approaches are theoretical and only explain the nature of emergent properties. But these appoaches don't provide the prediction of the emergence and evaluation of the influence of emergent properties in the software system. So the methodologies of software quality evaluation require the significant development in part of detection, evaluation and prediction of emergent properties, and also in the part of full consideration of the subject domain information at the different stages of the software life cycle.
  • Документ
    Realization of the Neural Network Model of Prediction of the Software Project Characteristics for Evaluating the Success of Its Implementation
    (2015) Hovorushchenko, Tetiana; Krasiy, Andriy
    This paper proves the dependence of successful of software project implementation on the software requirements specification (SRS), the actuality and importance of the skill to evaluate the possible success of software project based on the specifications. The neural network model of prediction of the software project characteristics for evaluating the success of its implementation based on analysis of specifications is first time proposed and implemented in Matlab.
  • Документ
    Exploitation and Sustainability Plan of Knowledge Transfer Unit of Khmelnitsky National University
    (2015) Hovorushchenko, Tetiana
    У презентації висвітлено концепцію сталого розвитку Центру трансферу технологій та знань (ЦТТЗ) Факультету програмування та комп’ютерних і телекомунікаційних систем (ФПКТС) Хмельницького національного університету (ХНУ). Визначено задачі, які слід вирішити для забезпечення сталого розвитку центру, серед яких основну увагу приділено аналізу інноваційної галузі, фінансового забезпечення Центру та залученню якомога більшої кількості партнерів до діяльності ЦТТЗ.
  • Документ
    Концепція сталого розвитку Центру трансферу знань та технологій факультету програмування та комп’ютерних і телекомунікаційних систем Хмельницького національного університету
    (ПП Гонта А.С., 2015) Говорущенко, Тетяна Олександрівна; Медзатий, Дмитро Миколайович
    У статті висвітлено концепцію сталого розвитку Центру трансферу технологій та знань (ЦТТЗ) Факультету програмування та комп’ютерних і телекомунікаційних систем (ФПКТС) Хмельницького національного університету (ХНУ). Визначено задачі, які слід вирішити для забезпечення сталого розвитку центру, серед яких основну увагу приділено аналізу інноваційної галузі, фінансового забезпечення Центру та залученню якомога більшої кількості партнерів до діяльності ЦТТЗ.
  • Документ
    Метод управління ризиками при розробленні програмного забезпечення
    (ПП Гонта А.С., 2015) Островий, Михайло Володимирович; Красовський, Микола Віталійович; Грибинчук, Владислав Ігорович; Говорущенко, Тетяна Олександрівна
    У статті запропоновано метод управління ризиками при розробленні ПЗ, який дає можливість ідентифікувати джерела ризиків та можливі ризики для будь-якого програмного проекту, а також оцінити ризики, визначити їх пріоритет та заходи із зменшення або усунення ризиків. Крім цього, метод дозволяє провести оцінку ризиків після застосування обраних заходів із зменшення або усунення ризиків, що робить можливим підібрати найкращий захід для максимального зменшення величини кожного ризику.
  • Документ
    Метод оцінювання трудомісткості розроблення програмного забезпечення підходу
    (ПП Гонта А.С., 2015) Кикоть, Олег Петрович; Козак, Сергій Вікторович; Денисюк, Дмитро Олександрович; Говорущенко, Тетяна Олександрівна
    У статті запропоновано метод оцінювання трудомісткості розроблення програмного забезпечення на основі функційних точок, який дає можливість визначити кількість функційних точок для програмного проекту, а також дозволяє на ранніх етапах життєвого циклу оцінити розмір програмного проекту (LOC-оцінка) при його потенційній реалізації різними мовами програмування. Розроблений метод усуває залежність оцінки від суб’єктів, залучених до процесу оцінювання.
  • Документ
    Метод стратегічного планування при проектуванні програмного забезпечення на основі використання backcasting-підходу
    (ПП Гонта А.С., 2015) Смолінський, В'ячеслав Володимирович; Криськов, Віталій Анатолійович; Лаврінчук, Вадим Володимирович; Говорущенко, Тетяна Олександрівна
    У статті експериментально доведено, що backcasting-підхід є застосовним для галузі проектування ПЗ. Авторами вперше розроблено метод стратегічного планування при проектуванні ПЗ на основі backcasting-підходу та сформовано математичне підґрунтя розробленого методу. Даний метод використовується для оцінювання, прогнозування результатів та вибору програмного проекту на ранніх етапах життєвого циклу і дозволяє прийняти обґрунтовані, легітимні, якісні рішення при виборі програмних проектів.
  • Документ
    The Software Emergent Properties and them Reflection in the Non-Functional Requirements and Quality Models
    (Національний університет «Львівська політехніка», 2015) Hovorushchenko, Tetiana
    In this paper the analysis of the known approaches to detection of emergent properties of software system in the context of involvement for this of the software quality models was done. The attempt of evaluation of share of the non-functional requirements in the software quality models was done.
  • Документ
    Method of Evaluating the Success of Software Project Implementation Based on Analysis of Specification Using Neuronet Information Technologies
    (CEUR-WS, 2015) Hovorushchenko, Tetiana; Krasiy, Andriy
    The actuality and importance of skill to evaluate the possible success of software project based on SRS were showed in this paper. The aim of research is prediction of characteristics and evaluating the success of software project implementation based on analysis of SRS. Method of evaluating the success of software project implementation based on analysis of SRS using neuronet information technologies was first proposed. This method provides the prediction of success of software projects implementation, comparison of software projects on the basis of SRS and choice of the best SRS of project.
  • Документ
    Метод прогнозування успішності програмних проектів на основі аналізу прогнозованих значень характеристик програмного забезпечення
    (Запорізький національний технічний університет, 2015) Красій, Андрій Валерійович; Говорущенко, Тетяна Олександрівна
    Вирішено завдання розроблення методологічного забезпечення для прогнозування успішності програмних проектів. Об’єктом дослідження є процес прогнозування успішності програмних проектів на ранніх етапах життєвого циклу. Предметом дослідження є метод прогнозування успішності програмних проектів на основі аналізу прогнозованих значень характеристик програмного забезпечення. Мета роботи – підвищити достовірність вибору програмних проектів та успішність програмних проектів. Запропоновано інтелектуальний метод прогнозування успішності програмних проектів, який дозволяє обчислювати інтегративні показники успішності різних програмних проектів на основі прогнозованих (штучною нейронною мережею) значень характеристик розроблюваного за проектом програмного забезпечення, а також обчислювати ймовірності успішності цих програмних проектів. Метод відрізняється від відомих тим, що дозволяє прогнозувати успішність програмних проектів, порівнювати програмні проекти комплексно за основними характеристиками проекту і розроблюваного програмного забезпечення та прогнозованим значенням ймовірності успішності (а не тільки за вартістю та тривалістю, як відбувається наразі) та виконувати обґрунтований вибір програмного проекту замовником і розробником для подальшої реалізації. Проведені експерименти з дослідження роботоздатності методу. Результати експериментів дозволяють рекомендувати запропонований метод для використання на практиці.
  • Документ
    Концепція оцінювання ефективності технологій проектування, методологій та середовищ розроблення для програмного забезпечення різних типів
    (2014) Малярчук, Роман Андрійович; Говорущенко, Тетяна Олександрівна
    Вирішення задачі оцінювання ефективності конкретної технології проектування, методології та середовища розроблення для ПЗ певного типу допоможе розробнику оцінити, чи варто йому братись за той чи інший програмний проект за наявної технології/методології/ середовища (і не витрачати часу та коштів на неуспішні програмні проекти), а замовнику – оцінити, на скільки вдалим буде програмний проект, якщо його реалізовуватиме конкретна софтверна фірма, тобто дозволить зробити обґрунтований висновок про підходящість або непідходящість технології/методології/середовища, а відтак і софтверної компанії, яка їх використовує, для розроблення конкретного ПЗ або ПЗ певного типу на основі отриманого значення ефективності.
  • Документ
    The Concept of Prediction of Software Characteristics and Software Projects Success Based on the Analysis of Software Requirements Specifications
    (Національний університет «Львівська політехніка», 2014) Krasiy, Andriy; Hovorushchenko, Tetiana
    The article shows the importance and the ability to predict the characteristics of software by analyzing the software requirements specification and shows the ability to predict the success of software projects in the early stages of the life cycle.
  • Документ
    Software Quality Assurance at the Design Stage Based on Backcasting
    (Національний університет «Львівська політехніка», 2014) Hovorushchenko, Tetiana
    In this paper the applicability of the backcasting at the design stage to software quality assurance is grounded on the basis of experiments with real projects and real actors. It is experimentally shown that backcasting helps to make informed, fundamental, grounded, legitimate, quality decision when software projects choosing. In addition, backcasting can improve overall responsibility and eliminate conflicts of goals and interests of stakeholders at the expense of active participation of all stakeholders at all stages of the approach.
  • Документ
    Процес діагностування комп’ютерних систем на наявність ботнер-мереж на основі мультиагентних технологій
    (Лулький національний технічний університет, 2013) Лисенко, Сергій Миколайович; Савенко, Олег Станіславович; Крищук, Андрій Федорович; Lysenko, S.M.; Savenko, O.S.; Kryshchuk, A.F.
    В роботі запропонований новий метод діагностування комп’ютерних систем на наявність ботнет-мереж з використанням мультиагентних систем. Виявлення здійснюється на основі проявів ботів в кількох комп’ютерних системах, які належать корпоративній мережі.
  • Документ
    Multi-agent based approach of botnet detection
    (Национальный аэрокосмический университет им. Н. Е. Жуковского, 2012) Савенко, Олег Станіславович; Лисенко, Сергій Миколайович; Крищук, Андрій Федорович; Savenko, O.S.; Lysenko, S.M.; Kryshchuk, A.F.
    A new approach for the botnet detection based on multi-agent system is proposed. The structure and main principles of antiviral agents’ functioning within multi-agent system is developed. The principles of communication between the agent’s units before and after attack on the computer system were developed.
  • Документ
    Адаптивна інформаційна технологія виявлення троянських програм в комп’ютерних системах
    (Тернопільський національний економічний університет, 2011) Савенко, Олег Станіславович; Лисенко, Сергій Миколайович
    Розроблено адаптивну інформаційну технологію виявлення троянських програм в комп’ютерних системах, суть якої полягає у використанні поведінкових моделей класів троянських програм, відмінністю якої від відомих є те, що процес виявлення не потребує побудови баз сигнатур, дає змогу виявляти нові невідомі троянські програми та підвищує достовірність і ефективність процесу виявлення.
  • Документ
    Software for Computer Systems Trojans Detection as a Safety-Case Tool
    (2012) Савенко, Олег Станіславович; Savenko, O.; Лисенко, Сергій Миколайович; Lysenko, S.
    A behavioral model of Trojans which formalizes the features of Trojans functioning in computer systems is proposed. Software for computer systems Trojans diagnosis was developed. It is based on methods of diagnosing computer systems in monitor and scanner modes and allows improving reliability and efficiency. Trojan diagnosis software makes it possible to detect the new Trojans with high reliability and efficiency.
  • Документ
    Примітивна поведінкова модель та алгоритми очищення території автономним мобільним роботом
    (Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут", 2013) Поморова, Оксана Вікторівна; Медзатий, Дмитро Миколайович
    Розглянуто структуру системи керування автономним мобільним роботом, що вирішує задачу очищення території. Досліджено особливості цієї задачі та запропоновано примітивну поведінкову модель і алгоритми поведінки мобільного робота для різних варіантів розміщення статичних об’єктів на території.
  • Документ
    Нейромережа для оцінювання якості програмного забепезчення критичного застосування
    (Донецьк:ІПШІ, 2012) Тітова, Віра Юріївна
    В статті було проведено формалізацію умов, які характеризують модель якості ПЗ критичного застосування. На основі формалізації було розроблено формалізовану модель якості та запропоновано структуру нейромережі для її вирішення. Розроблена нейромережа є основою для створення системи оцінювання відповідності ПЗ критичного застосування нефункційним вимогам за результатами тестування.
  • Документ
    Інформаційна технологія та засоби підтримки прийняття рішень для оперативно-чергових служб
    (Хмельницький національний університет, 2008) Тітова, Віра Юріївна; Локазюк, Віктор Миколайович
    Метою дослідження є забезпечення інформаційно-аналітичної підтримки прийняття рішень оперативному черговому оперативно-чергової служби. Для досягнення мети було деталізовано задачі, які постають перед оперативним черговим після надходження інформації про виникнення ситуації, проведено розмежування цих задач та перенесено виконання більшої їх частини на систему підтримки прийняття рішень для оперативно-чергових служб. Функціонування зазначеної системи базується на використанні штучних нейронних мереж та удосконаленому методі оцінювання ефективності рішень.