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

ПЕРЕДАЧА ДАНИХ В БЕЗДРОТОВИХ МЕРЕЖАХ СТАНДАРТІВ 802.11N/AC/AX ЗА ДОПОМОГОЮ ТЕХНОЛОГІЙ MU-MIMO ТА ТЕХНІК ПОКРАЩЕННЯ ПЕРЕДАЧІ СИГНАЛІВ

Проведено теоретичний аналіз та досліджено практичний вплив різних технологій стандартів 802.11n, 802.11ac на основні показники якості передачі даних в бездротових мережах. Побудовано графічні залежності, що відображають співвідношення основних параметрів передачі даних для MIMO та SISO. Отримані результати демонструють перевагу MIMO над SISO, а також вплив STBC на якість та швидкість передачі сигналу. Описані підходи, що дозволять підвищити якість передачі даних по бездротовим мережам завдяки технологіям, які мало використовуються, але актуальні. Використання результатів досліджень дозволить підвищити пропускну здатність каналу на магістральних або звичайних з’єднаннях без заміни обладнання.

РОЗРОБКА ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ З ВИКОРИСТАННЯМ КАРТОГРАФІЧНИХ ДАНИХ

Любов Олещенко, Дарина Лапчук

У статті розглянуті основні засоби для розробки Android-застосунків з використанням даних картографічних сервісів мережі Інтернет. Отримана інформація систематизована для визначення інструментів, що використовуються при розробці програмної системи для збору та аналізу даних про переміщення користувачів мобільних пристроїв. Розглянуто мови програмування та системи керування базами даних, які доцільно використовувати для вирішення даної задачі. Наведено опис взаємодії з базою даних та аналізу даних про користувачів розроблюваного додатку за допомогою Firebase Analytics і BigQuery. Описано архітектуру DBaaS, наведено перелік та опис модулів розроблюваного Android-застосунку, що спрощують роботу з обробки даних та полегшують масштабованість коду та забезпечують належну не надлишкову зв’язність компонентів коду. Наведено алгоритм згладжування геотреків, який використовується в додатку. Розглянуті основні переваги використання технології Firebase Authentication для реєстрації та авторизації користувачів розроблюваної системи.

ПОБУДОВА АРХІТЕКТУРИ ПРОГРАМНОЇ СИСТЕМИ ІДЕНТИФІКАЦІЇ ДИКТОРА

Яна Андріївна Бєлозьорова

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

РОЗРОБКА АЛГОРИТМІВ ЗАХИСТУ ІНФОРМАЦІЇ ДЛЯ СПЕЦІАЛЬНИХ МЕРЕЖ

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

СУЧАСНІ ІНТЕГРАЦІЙНІ МОДЕЛІ МЕРЕЖЕВОЇ БЕЗПЕКИ ДЕРЖАВНИХ ІНФОРМАЦІЙНИХ РЕСУРСІВ

Олександр Костянтинович Юдін, Ольга Михайлівна Весельська

Проаналізовано традиційні підходи захисту інформаційних ресурсів і існуючі засоби для забезпечення інформаційної безпеки. Наведено класифікацію методів захисту інформаційної безпеки. Запропоновано новий підхід підключення засобів системи безпеки до інформаційних та телекомунікаційних мереж. Досліджено особливості і умови для впровадження нового підходу для підключення системи захисту і контролю трафіку.

ПІДХІД ДО ВЕРИФІКАЦІЇ АРХІТЕКТУРИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Олена Вікторінв Чебанюк, Поваляєв Дмитро

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

У роботі запропоновано аналітичні основи верифікації діаграм класів на основі предикатної логіки. Це дослідження продовжується тут, пропонуючи запити LINQ для визначення взаємозв’язку між елементами діаграми класів.

Підхід, запропонований у цій роботі, заснований на автоматичному синтаксичному аналізі файлу діаграми класів XMI, використовуючи запропоновані запити LINQ для кожного принципу проектування SOLID.

АВТОМАТИЗАЦІЯ ДІЯЛЬНОСТІ МЕДИЧНИХ ЗАКЛАДІВ

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

РОЗРОБКА АВТОМАТИЗОВАНОЇ СИСТЕМИ ПРИЙНЯТТЯ РІШЕНЬ ДЛЯ ПРОФЕСІЙНОГО ВІДБОРУ ОПЕРАТОРІВ ЕКСТРЕМАЛЬНИХ ВИДІВ ДІЯЛЬНОСТІ

Сучасна медицина орієнтована на впровадження неінвазійних засобів діагностики та прогнозування дизфункцій організму операторів екстремальних видів діяльності (ОЕВД). Для професійного відбору ОЕВД створюються спеціальні програмні системи оцінювання їх психофізіологічного стану. Проте, дослідження показали, що існуючі системи професійного відбору ОЕВД мають ряд недоліків, основні з яких є наступними: обмежене використання гнучких спеціалізованих баз даних та програмних систем з графічним інтерфейсом призначеним для медика-спеціаліста, що призводить до зниження ефективності професійного відбору ОЕВД; суб’єктивізм експертного рішення щодо професійного відбору ОЕВД; нерозроблені методики практичної реалізації комплексних досліджень психофізіологічного стану організму ОЕВД.

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

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

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

СЕМАНТИЧНИЙ ПОШУК СКЛАДНИХ ІНФОРМАЦІЙНИХ ОБ’ЄКТІВ З ВИКОРИСТАННЯМ ОНТОЛОГІЧНИХ ЗНАНЬ

Юлія Віталіївна Рогушина

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

ОНТОЛОГІЧНИЙ ПОМІЧНИК СТИЛЮ ПРОГРАМУВАННЯ

Ніка Миколаївна Сидорова

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

БАГАТОКРИТЕРІАЛЬНИЙ ВИБІР АРХІТЕКТУРИ ПРОГРАММНОГО ЗАБЕЗПЕЧЕННЯ СИСТЕМИ ДЛЯ ПРОЕКТУВАННЯ ТА РЕЇНЖЕНЕРІЇ

Олександр Григорович Харченко

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

АВТОМАТИЗОВАНА ІНФОРМАЦІЙНА ТЕХНОЛОГІЯ ПІДТРИМКИ ПРИЙНЯТТЯ РІШЕНЬ ПРИ УПРАВЛІННІ ФІЗИЧНИМ ЗДОРОВ’ЯМ ЛЮДИНИ

Валентина Володимирівна Кравченко

Стаття присвячена опису алгоритму роботи комп'ютерної програми і методологічних аспектів оцінки стану фізичного здоров'я. Представлене коло показників стану фізичного статусу, їх вербальні шкали оцінок та уніфікація.

ОРГАНІЗАЦІЯ РОБОЧИХ МІСЦЬ В РЕЖИМІ БЕЗДИСКОВИХ РОБОЧИХ СТАНЦІЙ НА ОСНОВІ ПРОГРАМИ LTSP. НАЛАШТУВАННЯ СЕРВЕРА, ТЕСТУВАННЯ СУМІСНОСТІ І ШВИДКОДІЇ

Експериментально перевірено стабільну роботу програмного комплексу, сформованого з операційної системи Linux Debian x86 з встановленим термінальним сервером LTSP і системою управління віртуальними машинами Oracle VirtualBox. Продемонстровано можливість одночасного з'єднання з сервером великої кількості бездискових робочих станцій і виконання в операційних системах Windows XP, що працюють як віртуальні машини програми VirtualBox, різнопланових інженерських і офісних програм. В статті сформульовано необхідну послідовновність дій по налаштуванню термінального сервера LTSP, зокрема вперше розглянуто випадок прив'язки служби SSH до довільного порта протокола TCP. Наведені основні параметри споживання ресурсів і швидкодії програмного комплексу.

МЕРЕЖЕВЕ ЗАСТОСУВАННЯ ДО СИСТЕМИ ПОПЕРЕДНЬОГО БРОНЮВАННЯ АВІАКВИТКІВ

Максим Володимирович Куклінський, Галина Головня, Максим Лукаш

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

ОНТОЛОГІЧНИЙ МЕТОД ВИКОРИСТАННЯ СТИЛІВ ПРОГРАМУВАННЯ

Ніка Миколаївна Сидорова

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

МЕТОД ІДЕНТИФІКАЦІЇ ВТРАТ У БЕРЕЖЛИВІЙ РОЗРОБЦІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Євген Миколайович Сидоров

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

УДОСКОНАЛЕНА ПРОЦЕДУРА ПРОГНОЗУВАННЯ ВІДМОВ ПРОГРАМНИХ ЗАСОБІВ НА ОСНОВІ МОДЕЛІ НАДІЙНОСТІ З ІНДЕКСОМ СКЛАДНОСТІ

Віталій Степанович Яковина, Дмитро Васильович Федасюк

Робота присвячена дослідженню шляхів удосконалення процесу прийняття рішення стосовно досягнення заданого рівня надійності програмних засобів за рахунок підвищення точності побудови кумулятивного профілю відмов програмного засобу на ранніх стадіях тестування. Показано, що використання регресійного аналізу на основі функції заданого вигляду дає можливість підвищити точність прогнозу відмов на 3–5%, або ж скоротити процес тестування програмного засобу (зі збереженням точності прогнозу відмов) на 20–40%.

ЗВУК ТА МУЗИКА В КУРСІ ПРОГРАМУВАННЯ

Євген Олександрович Гаєв, Олександр Рожок, Назарій Овчарчин

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

ВИСОКОПРОДУКТИВНІ JAVA-СОКЕТИ ДЛЯ ЗДОРОВ’Я

Комп’ютерні нагромадження даних використовуються в області охорони здоров’я для зберігання даних осіб, їх маніпуляції і забезпечення потреб безпечного обміну. Характер розподілу подібних нагромаджень даних може бути розроблений для застосування в наукових додатках, які розроблені для формування оцінки даних охорони здоров’я. Такі наукові програми як медична візуалізація, генетичні і протеїнові заключення, лікувально-профілактична терапія та клінічнісистеми підтримки прийняття рішень (CDSS) вимагають бібліотек швидкого обміну повідомленнями з мінімальнимикомп’ютерними і комунікаційними затратами та ефективним розшаруванням ресурсів. Високопродуктивні Java-сокети(HPJS) інкапсулюють потреби високопродуктивного обміну повідомленнями між науковими додатками для cloud-платформ та ефективно використовують Java-сокетну реалізацію для утворення високоефективного зв’язку міжпроцесами. З єдиною копією протоколу при повторному використанні ниток та зменшенні накладних витрат зв’язку високопродуктивні Java-сокети можуть виконувати обмін повідомленнями в два рази швидше із звичайними буферизованими бібліотеками зв’язку.

ЗАСІБ ПОПЕРЕДЖЕННЯ НЕСАНКЦІОНОВАНОГО ПРОНИКНЕННЯ ДО МЕРЕЖІ ПЕРЕДАЧІ ДАНИХ

Максим Володимирович Куклінський, Микола Лукаш, Галина Головня

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

ОЗЕЛЕНЕННЯ ІНФОРМАЦІЙНИХ ТЕХНОЛОГІЙ

Євген Миколайович Сидоров, Сергій Васильович Котла

Концепція сталого розвитку є реалізація ідеї, яка в даний час і в найближчому майбутньому буде відігравати ключову роль у розвитку світової спільноти. Практичне впровадження сталого розвитку в житті людини виробляється за допомогою інформаційних технологій. Озеленення знань і досвіду, пов'язаних з розповсюдженням в області інформаційнихтехнологій загальні принципи та вимоги екологічних застосувань, виробництва і використання технічних об'єктів сталого розвитку. Такі інформаційні технології називають зеленим. Проблеми Green IT складається з трьох компонентів: організація «зеленого» підприємства, в тому числі оптимізації харчування, поліпшення виробничого циклу, використовуючи відео-конференції та мобільні пристрої для того, щоб зменшити потребу в русі персоналу; мінімізація фізичної забруднення навколишнього середовища; мінімізація енергетичних витрат центрів обробки даних і персональних комп'ютерних систем.

Це необхідно зробити процедуру «озеленення» для всієї ІТ-індустрії. Процес посадки повинно бути зроблено шляхом створення інноваційних рішень для технології. Одним з таких рішень є спосіб озеленення, який пропонується в статті. Озеленення інформаційних технологій складається з чотирьох етапів: моніторинг – здійснюється вивчення навколишнього середовища для озеленення, визначається елементами, що не зелені; планування - заплановані заходи для озеленення. Засоби для усунення дефектів обрані адреси, видане які були визначені в попередньому кроці; реалізація – проведення заходів, які були заплановані; оцінка – оцінка результатів методів озеленення.

Наступні висновки можуть бути зроблені. Є два типи стимулів для озеленення. По-перше, озеленення для репутації. Репутація відіграє важливу роль для них. Тому, в таких компаніях зелені та економії енергії може бути використаний як засіб поліпшення іміджу компанії. По-друге, ставлення зусиль. Здається, що рахунки за електрику в компанії малі порівняно з іншими витратами. Що стосується інших методів озеленення, важливі для компаній, які зусилля і гроші, витрачені на озеленення є виправданим.

ЛЕКСИЧНИЙ АНАЛІЗАТОР ДЛЯ РОЗРОБКИ СТИЛЮ ЕФЕКТИВНОГО ПРОГРАМУВАННЯ

Мілана Миколаївна Костів

У статті розглянута задача створення лексичного аналізатору для розробки стилю ефективного програмування, наведені результати експериментів з вибору задач, які найчастіше виникають у веб-програмуванні, виконаний аналіз проектів з відкритим кодом, реалізована архітектура засобу і діаграма класів. На основі таблиць та гістограм, які отримані за допомогою «Лексичного аналізатору» створена таблиця з лексемами, які можуть бути використані в конструкціях для реалізації вирішення задач і підтверджувати їхпопулярність на основі значної частоти появи у коді. Після виконання лексичного аналізу і обрання найпопулярніших задач виникає можливість аналізу варіантів їх вирішення, які представлені у вигляді конструкцій і порівняння їх ефективності для створення стилю. Для дослідження коду мови програмування PHP з метою отримання на виході послідовності символів лексем використаний «Zend Engine PHPLexer». Інструмент створений без роботи з мовною специфікацією на лексичному рівніза допомогою використання лексичних функцій, які вбудовані у «Zend Engine PHPLexer».

ПІДХІД ДО ОЦІНКИ ЯКОСТІ ПРОГРАМНИХ ЗАСОБІВ

Євгеній Іванович Клюєв, Олена Олександрівна Гріненко

У статті розглянута оцінка якості параметрівпрограмних засобів (ПЗ) на основі положень стандарту(Гост 28195-89), методу прийняття рішень в умовах наявності інформації, що не має певного характеру, і нейронних мереж.

Основне завдання даної роботи пов'язане з демонстрацією можливості використання нейронних мереж і методу прийняття рішення для оцінки якості параметрів програмних засобів, а також розглянуті основні положення стандарту (ГОСТ 28195-89) оцінки якості ПЗ, номенклатуру показників якості та основні положення методики оцінки якості ПЗ. Практично показана можливість використання пакета «Статистика» для оцінки якості параметрів ПЗ за допомогою нейронних мереж на основі вміння використовувати експертні та розрахункові методи оцінки якості ПЗ та знаходження загальної оцінки якості ПЗ по набору отриманих оцінок факторів якості.

ІНЖЕНЕРІЯ ОНТОЛОГІЙ

Інна Сергіївна Чистякова

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

ОНТОЛОГІЯ ПУЛЬТІВ ІНСТРУКТОРА АВІАЦІЙНИХ ТРЕНАЖЕРІВ

Юлія Миколаївна Рябокінь

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

ПІДХОДИ ДО ВИРІШЕННЯ ПРОБЛЕМИ ЕФЕКТИВНОСТІ ВИЯВЛЕННЯ СЕМАНТИЧНИХ ВЕБ-СЕРВІСІВ НА ФУНКЦІОНАЛЬНОМУ РІВНІ

Ольга Вікторівна Захарова

Метою дослідження є аналіз можливих підходів до автоматичного виявлення сервісів, що задовольняли б пошуковому запиту. Опис запиту по суті є описом сервісу, що запитується. Наша ціль – за допомогою кон’юнкцій описів існуючих сервісів побудувати такий сервіс, що запитується. Малоймовірно, що можливо побудувати сервіс, еквівалентний до запиту, тому необхідно побудувати його найкраще покриття, де під «найкращим» розуміється «найменше». Розглянута в роботі задача найкращого покриття є одним з екземплярів задач рерайтингу, де в якості відношення між запитом та покриттям використовується семантична різниця між концептами замість включення або еквівалентності. Точніше, задача зводиться до того, щоб переформулювати запит Q в опис, що містить якнайбільше інформації, загальної з Q. Це переформулювання і є покриттям Q.

МЕТОДИ І ЗАСОБИ СТВОРЕННЯ І СУПРОВОДЖЕННЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ ВЕЛИКИХ РОЗПОДІЛЕНИХ КОМП’ЮТЕРИЗОВАНИХ ІНФОРМАЦІЙНИХ СИСТЕМ

Микола Олександрович Сидоров

Розглядається розв’язання актуального науково-практичного завдання створення і супроводження програмного забезпечення великих розподілених комп’ютеризованих інформаційних систем, в тому числі авіаційного призначення. Концепція системи систем спрямована на застосування успадкованих систем на основі високопродуктивної ІТ – інфраструктури, а відрізняється від традиційних монолітних систем як загальними властивостями (динамічне адаптування до несподіваних ситуацій, продовження розвитку і функціонування шляхом еволюції), так і властивостями, які характеризують системи систем (експлуатаційна незалежність, незалежність за керуванням, несподівана поведінка, географічна розподіленність). Застосування концепції системи систем забезпечує високу оперативність реалізації програмного забезпечення великої комп’ютеризованої системі завдяки застосуванню успадкованих систем, а використання концепції ІТ – інфраструктури – застосування існуючої комп’ютерно-телекомунікаційної структури. Таким чином створюються умови щодо збереження накопиченого досвіду шляхом об’єднання, розвитку та комплексного застосування успадкованих комп’ютеризованих систем і технологій як в апаратному так і в інформаційно-програмному аспектах та надається поштовх створенню нових систем, які забезпечать ефективне управління. Представлені методи та засоби, які протягом декількох років створювалися на кафедрі інженерії програмного забезпечення Національного авіаційного університету і спрямовані на конструктивне створення і супроводження програмного забезпечення великих розподілених комп’ютеризованих інформаційних систем.

АНАЛІЗ ЗВ’ЯЗКІВ МІЖ ЗРУЧНІСТЮ ВИКОРИСТАННЯ ТА ЯКІСТЮ У ВИКОРИСТАННІ ПРОГРАМНИХ ПРОДУКТІВ НА ОСНОВІ СТАНДАРТІВ СЕРІЇ SQuaRE

Інна Володимирівна Гученко

Стаття присвячена дослідженню взаємозв’язків між поняттями «зручність використання» та «якість у використанні». Спираючись на серію стандартів SQuaRE,проаналізовано моделі якості, зокрема, зручність використання розглянуто у двох моделях: безпосередньо – у моделі якості програмного продукту (product quality model); опосередковано – у моделі якості у використанні (quality in use model). Побудовано онтологію моделей якості програмного продукту. Зроблено висновок, що зручність використання є підмножиною якості у використанні. При аналізі зв’язків між зручністю використання та якістю у використанні побудовано відповідні моделі вимірювання з урахуванням мір, запропонованих у робочих версіях стандартів ISO/IEC 25022 та ISO/IEC 25023. Підкреслено необхідність уточнення переліку мір зручності використання, які найбільш тісно пов’язані з такими підхарактеристиками якості у використанні як економічність, ефективність та задоволеність. Запропоновано застосувати розроблену автором ієрархічну структуру зручності використання програмних продуктів.

ОЦІНЮВАННЯ ЯКОСТІ ЕЛЕКТРОННИХ БІБЛІОТЕК В ВЕБ-СЕРЕДОВИЩІ

В статті розглядається проблема оцінювання якості електронних бібліотек. За основу наборі критеріїв для оцінки ЕБ взята модель DELOS DLRM. Для більшості параметрів якості запропоновано метрики, які дозволяють дати кількісну оцінку. Вибір метрик був запропонований виходячи з того, що ЕБ функціонує в веб-середовищі. Цей підхід є новим стосовно DELOS DLRM, оскільки в цій моделі не робиться акцентів, щодо функціонування ЕБ в веб-середовищі. В роботі запропонована формальна модель для оцінки зручності використання, яка базується відображення поведінки користувача на сайті через зміну станів системи. Запропонована нами методика дозволяє проводити таку оцінку більш незалежно, при цьому використовуються статистичні показники. Окрім цього запропоновані метрики для оцінювання параметрів безпеки ЕБ в веб-середовищі.

ВИКОРИСТАННЯ МОБІЛЬНИХ ПРИСТРОЇВ ДЛЯ ДОСТУПУ І ПОДАННЯ НАВЧАЛЬНИХ МАТЕРІАЛІВ РЕПОЗИТАРІЇВ СИСТЕМ ПІДТРИМКИ ЕЛЕКТРОННОГО НАВЧАННЯ

Олексій Володимирович Конюшенко

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

РОЗРОБКА МЕТОДІВ ФОРМУВАННЯ ТА ПОПОВНЕННЯ ОНТОЛОГІЧНОЇ МОДЕЛІ СЕМАНТИЧНОЇ ПОШУКОВО–РЕКОМЕНДУЮЧОЇ СИСТЕМИ

Юлія Віталіївна Рогушина

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

СТВОРЕННЯ БІБЛІОТЕКИ ЕФЕКТИВНОГО ПРОГРАМУВАННЯ

Мілана Миколаївна Костів, Ніка Миколаївна Сидорова

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

КОМП'ЮТЕРИЗАЦІЯ ФОРСАЙТ-МЕТОДОЛОГІЇ В ЧАСТИНІ ВИБОРУ ПРІОРИТЕТІВ ПРИ ПРОГНОЗУВАННІ НАУКОВО-ТЕХНІЧНОГО РОЗВИТКУ

Ігор Борисович Туркін, Ігор Володимирович Шостак, Марія Олександрівна Данова

У статті відображена актуальність проблеми автоматизації форсайт - проектів по вибору пріоритетів при прогнозуванні науково-технічного розвитку великомасштабних об'єктів. Обговорено особливості комп'ютеризації кожного з чотирьох етапів технології Форсайт. Показано, що найбільш проблемним для автоматизації є етап «Оцінка та уточнення переліків тематичних напрямів», оскільки передбачені існуючою методикою процедури і методи погано формалізовані і засновані на використанні експертної інформації. Сформульовано задачу синтезу інформаційної технології підтримки прийняття рішень учасниками форсайт - проекту.

УПРАВЛІННЯ ЗРУЧНІСТЮ ВИКОРИСТАННЯ В КОНТЕКСТІ АРХІТЕКТУРИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Інна Володимирівна Гученко

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

АЛГОРИТМИ РОЗВ'ЯЗАННЯ СИСТЕМ ЛІНІЙНИХ ДІОФАНТОВИХ РІВНЯНЬ В КОНТЕКСТІ ПРОБЛЕМИ ВИКОНУВАНОСТІ ОБМЕЖЕНЬ. Ч. 2

Сергій Лук'янович Кривий

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

ТЕМПОРАЛЬНИЙ SQL:2011

Валерій Анатолійович Резніченко

Розглядається коротка історія включення темпорального SQL в стандарт ISO, а також темпоральні типи даних в SQL і можливості мови SQL: 2011 по підтримці темпоральной моделі баз даних.

ТЕНДЕНЦІЯ РОЗВИТКУ ПОПУЛЯРНОСТІ БРАУЗЕРНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ НА СВІТОВОМУ РИНКУ

Максим Володимирович Куклінський, Марія Володимирівна Свинцицька

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

ОНТОЛОГІЯ ДИСЦИПЛІНИ СИСТЕМНА ІНЖЕНЕРІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Євгеній Іванович Романов, Ніка Миколаївна Сидорова

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

ПРОЕКТУВАННЯ ОНТОЛОГІЇ ДОМЕНУ ЗАСТОСУВАННЯ "ДАНІ ПЕРЕХІДНИХ ПРОЦЕСІВ В МЕРЕЖАХ"

Олена Вікторівна Чебанюк

У роботі представлено процес проектування онтології проблемного домену «Передача даних у мережах». Спроектовані елементи онтології можуть використовуватися для визначення повторно використовуваних компонентів [1], при виконанні завдань управління вимогами [2], уточнення поведінкових моделей програмного забезпечення [2] та багатьох інших завдань у різних процесах розробки програмного забезпечення. Також для уточнення характеру взаємозв’язків між сутностями проблемного домена спроектовано поведінкові моделі бізнес-процесів, що ілюструють механізми передачі даних у різних мережах.

МЕТОД СТВОРЕННЯ СТИЛЮ ЕФЕКТИВНОГО ПРОГРАМУВАННЯ

Микола Олександрович Сидоров, Мілана Миколаївна Костів

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

АПАРАТНО- ПРОГРАМНА АРХІТЕКТУРА УСПАДКОВАНОГО АВІАЦІЙНОГО ТРЕНАЖЕРА

Руслан Анатолійович Колісніченко

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

РОЛЬ ОНТОЛОГІЙ В ІНТЕГРАЦІЇ ДАНИХ У СЕМАНТИЧНОМУ ВЕБІ

Інна Сергіївна Чистякова

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

МЕТОДИКА РОЗРОБКИ ТЕРМІНОЛОГІЇ ІНФОРМАЦІЙНИХ РЕСУРСІВ ЯК БАЗИСУ ФОРМУВАННЯ ОНТОЛОГІЙ ТА ТЕЗАУРУСІВ ДЛЯ СЕМАНТИЧНОГО ПОШУКУ

Юлія Віталіївна Рогушина, Анатолій Ясонович Гладун

Сьогодні виникає потреба в засобах та методах створення тезаурусів та онтологій – інтероперабельних моделей подання знань предметної області, що використовуються розподіленими Web-застосуваннями. Щоб коректно визначити відношення між різними термінами тезаурусу, пропонується використовувати елементи онтологічного аналізу та основи мереологічного підходу. Крім того, в роботі пропонуються застосовні правила створення визначень термінів тезаурусу, які дозволяють формувати більш якісні знання про предметну область. Розглянуто використання такого тезаурусу для семантичного пошуку.

ОПТИМІЗАЦІЯ КОДА ПОШТОВОГО ПРОГРАМНОГО ЗАСТОСУВАННЯ НА ПЛАТФОРМІ APPLE IOS ЗА КРИТЕРІЄМ МІНІМУМУ ЕНЕРГОСПОЖИВАННЯ

Ігор Борисович Туркін, Олександр Валерійович Вдовитченко

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

ІНСТРУМЕНТ ДЛЯ СТВОРЕННЯ СТИЛЮ ЕФЕКТИВНОГО ПРОГРАМУВАННЯ

Мілана Миколаївна Костів, Юлія Михайлівна Крамар

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

АЛГЕБРИЧНЕ АНАЛІЗУВАННЯ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Юрій Семенович Манжос

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

АЛГОРИТМИ РОЗВ'ЯЗАННЯ СИСТЕМ ЛІНІЙНИХ ДІОФАНТОВИХ РІВНЯНЬ В КОНТЕКСТІ ПРОБЛЕМИ ВИКОНУВАНОСТІ ОБМЕЖЕНЬ. Ч. 1

Сергій Лук'янович Кривий

МОДУЛЬ АНАЛІТИЧНОЇ ОБРОБКИ ДАНИХ ПРОГРАМНИХ ЗАСОБІВ ПІДТРИМКИ ПРОЦЕСУ ОПТИМІЗАЦІЇ ПОКРИТТЯ ОПЕРАТОРА МОБІЛЬНОГО ЗВ’ЯЗКУ

Марина Анатоліївна Максимчук

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

РОЗПІЗНАВАННЯ РУКОПИСНОГО ТЕКСТУ НА ОСНОВІ РУХУ ВЕКТОРІВ

Дмитро Анатолійович Долотов

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

АЛГОРИТМ АВТОМАТИЗОВАНОГО ВИЗНАЧЕННЯ ЕМОЦІЙНОГО ЗАБАРВЛЕННЯ ТЕКСТОВИХ ДАНИХ

Андрій Борисович Бєгунов

Дана стаття присвячена рішенню питання розробки алгоритму автоматизованого визначення емоційного забарвлення природномовних текстів. При цьому використано комбінований підхід з використанням класи-фікатора текстових даних і аналізу синтаксичних зв'язків між словами в тексті. Це дозволяє враховувати не тільки емоційне забарвлення (тональність) окремих слів, але і тональність груп синтаксично пов'язаних слів. Такі групи складаються зі слів, що мають емоційне забарвлення і безпосередньо беруть участь у формуванні тональності тексту, та слів, що підсилюють або послаблюють тональність інших слів в межах групи. Такий підхід передбачає ранжирування текстових даних за категоріями емоцій, а також розширюваність за рахунок можливості додавання нових категорій емоційного забарвлення текстових даних. На основі даного подходу ррозроблено алгоритм автоматизованого визначення эмоційного забарвлення природномовних текстових даних.