програмне забезпечення

The research focuses on creating software for an interactive map that displays the air environment based on data collected from a distributed system of acoustic sensors. This development aims to enhance Ukraine's defense capabilities in wartime and opens prospects for further research in this field. The map allows operators to analyze information about the movement of air targets in real time, which is important for making quick and informed decisions in the field of defense and security.

Дослідження присвячене розв’язанню науково-прикладної задачі позиціонування об’єктів комплексної підтримки програмного забезпечення в межах існуючого поліфак- торного мультисуб’єктного середовища підтримки. Розроблено модель на базі спіралі Архімеда для поліфакторного позиціонування об’єктів комплексної підтримки програм- ного забезпечення, що дає змогу розв’язувати задекларовану науково-прикладну задачу.

У статті досліджено процеси формування технічної документації ІТ проєктів з розроблення програмного забезпечення із урахуванням особливостей методології Agile та DevOps. Запропоновано формалізми побудови системи документування як інтегрованої складової життєвого циклу ІТ-проєкту. Розглянуто етапи трансформації користувацької історії у структуровані документи, роль безпекових шаблонів, прототипування та програмного коду як інформаційних джерел для генерації специфікацій.

У здійсненому дослідженні розглянуто науково-прикладну проблему балансування мультисуб’єктних  поліфакторних середовищ комплексної підтримки програмних продуктів у контексті глобальнішої науково- прикладної проблематики автоматизації й інтелектуалізації комплексної підтримки програмних продуктів та  людино-машинної взаємодії. Об’єкт дослідження у цій роботі – процес балансування мультисуб’єктних полі- факторних середовищ комплексної підтримки програмних продуктів.

На сьогодні зі стрімким розвитком сучасних технологій в галузі розробки програмного забезпечення, активною цифровізацією та міграцією багатьох послуг в онлайн як ніколи постає питання забезпечення безпеки сервісів, які надають такі послуги в контексті цілісності, конфіденційності та доступності інформації. Рівень захищеності додатків прямо залежить від інвестицій в безпеку в процесі розробки додатків, тому важливо щоб пріоритетом розробників була не тільки реалізація функціональних вимог, а й активна робота над нефункціональними вимогами в контексті безпеки додатків.

Проведено огляд публікацій, присвячених математичному моделюванню процесу нанофільтрації, встановлено переваги, обмеження та сфери застосування різних підходів до моделювання. Виявлено, що найефективніші підходи ґрунтуються на розширеному рівняння Нернста-Планка, рівновазі Доннана, а також методах обчислювальної гідродинаміки та молекулярної динаміки. Розглянуто використання програмного забезпечення для вирішення завдань моделювання нанофільтрації.

організації, автоматизація тестування безпеки програмного забезпечення стає як ніколи важливою. Успіх додатку напряму залежить від його стабільності, надійності та безпеки, тому належне впровадження механізмів контролю додатку є вкрай необхідними. Збільшення кількості кіберзагроз та зростання складності програмних систем надають цій темі ще більшої актуальності.

Проаналізовано літературні джерела, в яких досліджено існуючі методи та засоби розрахунку показників надійності складних технічних (зокрема, програмних) систем. Модель надійності сучасної комплексної технічної системи часто зображають у вигляді блок-схеми надійності (reliability block diagram, RBD), вона може містити декілька тисяч елементів, які почергово перебувають у різних станах (наприклад, робочий, відмовлений, відновлюваний). Це призводить до значного простору можливих станів у відповідній марковській моделі.

Запропоновано на математичному рівні оригінальний підхід до створення багатоцільових моделей якості програмних систем (ПС). Основа дослідження – вивчення та узагальнення тенденцій моделювання якості ПС та потреб користувачів з метою визначення оптимальних принципів побудови таких моделей. У статті подано математичні пояснення, які відіграють ключову роль у виявленні та формалізації принципів створення багатоцільових моделей якості програмного забезпечення (ПЗ).