Пошук академічних текстів

Інформація × Реєстраційний номер 0225U002021, (0122U001882) , Науково-дослідна робота Назва роботи Моделювання та верифікація складних програмних систем Назва етапу роботи Моделювання та верифікація складних програмних систем Керівник роботи Супруненко Оксана Олександрівна, к.т.н. Дата реєстрації 14-02-2025 Організація виконавець Черкаський національний університет імені Богдана Хмельницького Опис роботи Підвищення якості проектування складних програмних систем шляхом вдосконалення методів аналізу динамічних властивостей їх моделей. Розробка методів і засобів моделювання та верифікації складних програмних систем. Опис етапу  При роботі за темою «Моделювання та верифікація складних програмних систем» кафедри програмного забезпечення автоматизованих систем (ПЗАС) Черкаського національного університету ім. Б. Хмельницького протягом 2022-2024 років опрацьовувались кілька проблем, що пов’язані з розробкою, вивченням властивостей програмних систем та їх супроводом. Традиційно у наукових дослідженнях аналізувалися проблеми, пов’язані з методологічні та інструментальні засобами імітаційного моделювання програмних систем з паралелізмом. Був запропонований спосіб підвищення ефективності дослідження динамічних властивостей PN-моделей програмних систем на основі вдосконалення архітектури комбінованого підходу до імітаційного моделювання систем з паралелізмом з використанням методу згортки. Засоби імітаційного моделювання програмних систем дозволяють досліджувати експлуатаційні характеристики програмних систем, такі як відсутність критичних помилок, керованість та якість супроводу. У дослідженнях кафедри велика увага приділялася розвитку теорії мультиагентних систем, які широко застосовуються у вивченні групової поведінки як соціальних груп людей, так і інтелектуальних агентів, які призначені для виконання технологічних операцій та задач локального керування технологічним обладнанням. Проводились дослідження з розвитку технологій віртуальної реальності для технологічних та навчальних задач, які дозволяють розширити їх використання у навчальних та інших сучасних задачах застосування програмних засобів. Окремою проблемою, яка опрацьовувалась у рамках даної теми були методи підвищення комунікаційної безпеки у комп’ютерних мережах використанням криптографічних методів. Ще одним напрямом наукової роботи кафедри було дослідження проблем алгоритмічної складності та методів підвищення ефективності алгоритмів. Опис продукції Автори роботи Гребенович Юлія Євгеніївна Гук Віталій Іванович Мисник Богдан Вікторович Онищенко Борис Олегович Порубльов Ілля Миколайович Супруненко Оксана Олександрівна Ярмілко Андрій Васильович Додано в НРАТ 2025-02-14 Закрити