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

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

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

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

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

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

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

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

Investigated the programming model need to obtain planning and quality yield of crops. Its effective use as it has an impact on various aspects of industrial and economic activities and customer satisfaction.

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

In the article is formulated a mathematical model of heat and mass transfer and deformation of capillary-porous materials during drying. In the object-oriented approach developed algorithmic and software for numerical realization of the obtained model.

Здійснено класифікацію відомих програмних засобів тестування знань, наведено основні модулі розробленої системи iLaT.

The article makes a classification of known software testing knowledge, are the main modules of the developed system iLaT.