Пошуковий запит: (<.>A=Яковина В$<.>) |
Загальна кількість знайдених документів : 19
Представлено документи з 1 до 19
|
| 1. |
Яковина В. Огляд та аналіз метрик оцінювання якості машинного перекладу [Електронний ресурс] / В. Яковина, В. Масюкевич // Вісник Національного університету "Львівська політехніка". Комп’ютерні науки та інформаційні технології. - 2013. - № 771. - С. 101-107. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKNIT_2013_771_17 Наведено огляд основних підходів до машинного перекладу. Проаналізовано існуючі метрики оцінювання якості машинного перекладу, виявлено їх переваги та недоліки.
|
| 2. |
Яковина В. Використання марковських ланцюгів вищого порядку в задачах моделювання надійності програмного забезпечення [Електронний ресурс] / В. Яковина, П. Сердюк, О. Нитребич, Д. Федасюк // Вісник Національного університету "Львівська політехніка". Комп’ютерні науки та інформаційні технології. - 2013. - № 771. - С. 209-213. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKNIT_2013_771_32 Зазначено, що у моделях прогнозування надійності програмного забезпечення (ПЗ) засобами архітектурного підходу припущення про незалежність виконання компонент є спрощенням реального процесу роботи програмного забезпечення. Вдосконалено модель Гокаля з використанням Марковських ланцюгів вищого порядку, що надає змогу врахувати залежності виконання ПЗ у прогнозуванні його надійності.
|
| 3. |
Яковина В. С. Використання засобів UML для прогнозування надійності програмного забезпечення на етапі його проектування [Електронний ресурс] / В. С. Яковина, Ю. І. Парфенюк // Вісник Національного університету "Львівська політехніка". Комп’ютерні системи та мережі. - 2013. - № 773. - С. 151-156. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKSM_2013_773_26 Зазначено, що перевірка відповідності вимогам на ранніх стадіях є критичним етапом у процесі розробки програмного забезпечення (ПЗ). Для перевірки функціональних вимог існує багато досліджень і рішень, проте для визначення надійності ПЗ на ранніх етапах розробки немає чітко сформованих підходів. Оскільки виявлення відхилень від вимог на ранніх етапах надасть змогу уникнути значних витрат для виправлення помилок на пізніших етапах, необхідно реалізувати можливість визначення показників надійності ПЗ на етапі збору вимог і раннього проектування системи. Запропоновано підходи оцінювання показників надійності на етапі проектування ПЗ на базі UML-діаграм.
|
| 4. |
Федасюк Д. В. Метод побудови сценаріїв тестування програмного забезпечення на основі аналізу його змінних [Електронний ресурс] / Д. В. Федасюк, В. С. Яковина, П. В. Сердюк, О. О. Нитребич // Інформаційні технології та комп'ютерна інженерія. - 2014. - № 2. - С. 50-58. - Режим доступу: http://nbuv.gov.ua/UJRN/Itki_2014_2_9
|
| 5. |
Жежнич П. І. Архітектура віртуального інноваційного простору для ІТ-студентів [Електронний ресурс] / П. І. Жежнич, Т. І. Завалій, В. С. Яковина, П. Сердюк // Вісник Національного університету "Львівська політехніка". Інформатизація вищого навчального закладу. - 2014. - № 803. - С. 90-94. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPIVNZ_2014_803_17 Побудовано компоненту та програмну архітектуру Віртуального інноваційного простору як спеціалізованої Веб-спільноти для ІТ-студентів. Обгрунтовано необхідність ведення високорівневої розробки VIS за допомогою системи керування контентом Drupal. Для побудови програмної платформи VIS вибрано типовий набір Apache, PHP, MySQL.
|
| 6. |
Яковина В. С. Моделювання параметра потоку відмов програмного забезпечення та визначення діапазонів показника його складності [Електронний ресурс] / В. С. Яковина // Вісник Національного університету "Львівська політехніка". Комп’ютерні системи та мережі. - 2014. - № 806. - С. 296-302. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKSM_2014_806_47 Проведено моделювання поведінки параметра потоку відмов програмного забезпечення у випадку моделі надійності програмного забезпечення з індексом складності, що надало змогу встановити діапазони значень цього індексу та пояснити поведінку функції виявлення помилок залежно від складності програмного продукту.
|
| 7. |
Яковина В. С. Компонентні моделі надійності програмного забезпечення вищого порядку [Електронний ресурс] / В. С. Яковина // Электротехнические и компьютерные системы. - 2015. - № 19. - С. 252-256. - Режим доступу: http://nbuv.gov.ua/UJRN/etks_2015_19_56 Представлено дві моделі надійності програмного забезпечення на основі ланцюгів Маркова вищого порядку з неперервним часом. Одна з моделей враховує не тільки відмови компонент програмного продукту, але й імовірності відмови інтерфейсів при передачі потоку управління в програмній системі.Two software reliability models based on high-order continuous-time Markov chains are presented in the paper. One of the models takes into account not only components failures, but also the probabilities of components interfaces failures during control flow process within software system.Представлены две модели надежности программного обеспечения с использованием цепей Маркова высших порядков с непрерывным временем. Одна из моделей учитывает не только отказы компонент программного продукта, но и вероятности отказов интерфейсов при передаче потока управления в программной системе.
|
| 8. |
Муляк О. В. Вплив моделей надійності програмних засобів на показники надійності програмно-апаратних систем [Електронний ресурс] / О. В. Муляк, В. С. Яковина, Б. Ю. Волочій // Восточно-Европейский журнал передовых технологий. - 2015. - № 4(9). - С. 53-57. - Режим доступу: http://nbuv.gov.ua/UJRN/Vejpte_2015_4(9)__10 Досліджено вплив вибору моделі надійності програмних засобів на оцінку показників надійності програмно-апаратних систем. Розглянуто модель надійності програмних засобів з показником їх складності. Показано, що це надає змогу підвищити достовірність оцінки функції готовності програмно-апаратних систем.
|
| 9. |
Яковина В. С. Метод аналізу надійності програмних засобів з урахуванням їх складності [Електронний ресурс] / В. С. Яковина // Радіоелектронні і комп’ютерні системи. - 2015. - № 2. - С. 127–133. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2015_2_20 Розглянуто метод аналізу надійності програмних засобів з урахуванням їх складності на різних етапах життєвого циклу. Метод включає використання моделей надійності як на основі неоднорідного пуассонового процесу, так і марковського процесу вищого порядку з дискретним та неперервним часом. Використання запропонованого методу дає можливість розробникам програмного забезпечення обрати відповідну модель надійності, виходячи з особливостей процесу розробки та складності програмних засобів, і оцінити значення показників надійності досліджуваного програмного засобу. Запропонований метод аналізу надійності програмних засобів включає настанови та рекомендації щодо одержання вхідних параметрів відповідних моделей надійності.
|
| 10. |
Яковина В. С. Аналіз математичних моделей розподілу зусиль тестування для оцінювання надійності ПЗ з урахуванням недосконалого відлагодження [Електронний ресурс] / В. С. Яковина, В. А. Мацелюх, О. О. Нитребич // Радіоелектронні і комп’ютерні системи. - 2016. - № 3. - С. 93–99. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2016_3_13 Зазначено, що ряд моделей надійності програмного забезпечення у урахуванням недосконалого відлагодження базуються на функції розподілу зусиль тестування. Здійснено огляд найвідоміших математичних моделей розподілу зусиль тестування та проведено їх порівняльний аналіз з використанням двох емпіричних наборів даних. Показано, що математична модель, що описує зусилля тестування у вигляді логарифм логістичної функції розподілу не поступається своїм аналогам в точності опису емпіричних даних тестування і краще описує програмне забезпечення на етапі підтримки та супроводу.
|
| 11. |
Мандзій Б. Програмна реалізація удосконаленої моделі надійності технічної резервованої системи з обмеженою кількістю відновлень [Електронний ресурс] / Б. Мандзій, М. Сенів, В. Яковина, Н. Мосьондз // Вісник Національного університету "Львівська політехніка". Комп’ютерні науки та інформаційні технології. - 2015. - № 826. - С. 43-51. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKNIT_2015_826_9 Описано алгоритм і програмну реалізацію вдосконаленої моделі надійності технічної резервованої системи з обмеженою кількістю відновлень. Досліджено взаємозв'язок між кількістю елементів, допустимою кількістю їх відновлень, кількістю станів системи та часом, потрібним на формування моделі та обчислення результатів.
|
| 12. |
Яковина В. Огляд і аналіз моделей надійності програмного забезпечення [Електронний ресурс] / В. Яковина, В. Мацелюх // Вісник Національного університету "Львівська політехніка". Комп’ютерні науки та інформаційні технології. - 2017. - № 864. - С. 130-140. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKNIT_2017_864_19 Оглянуто та проаналізовано моделі надійності програмного забезпечення (ПЗ). Наведено класифікацію моделей за різними критеріями. Увагу зосереджено на моделях надійності, що враховують явище недосконалого відлагодження, зокрема на моделях на базі неоднорідного пуассонового процесу з використанням функцій розподілу зусиль тестування (ФРЗТ). Розглянуто основні ФРЗТ та проаналізовано їх інтеграцію з моделями надійності ПЗ.
|
| 13. |
Яковина В. С. Аналіз використання інформаційних критеріїв у моделях оцінки надійності програмного забезпечення [Електронний ресурс] / В. С. Яковина, Д. В. Федасюк, О. О. Нитребич // Вісник Національного технічного університету "ХПІ". Серія : Нові рішення в сучасних технологіях. - 2014. - № 26. - С. 108-115. - Режим доступу: http://nbuv.gov.ua/UJRN/vcpinrct_2014_26_16
|
| 14. |
Яковина В. С. Старіння програмного забезпечення в контексті його надійності: огляд проблематики [Електронний ресурс] / В. С. Яковина, Б. В. Угриновський // Науковий вісник НЛТУ України. - 2019. - Т. 29, № 5. - С. 123-128. - Режим доступу: http://nbuv.gov.ua/UJRN/nvnltu_2019_29_5_27
|
| 15. |
Яковина В. С. Програмний модуль розв'язування систем диференціальних рівнянь Колмогорова-Чепмена для автоматизації надійнісного проектування [Електронний ресурс] / В. С. Яковина, М. М. Сенів, В. В. Литвин, І. І. Симець // Науковий вісник НЛТУ України. - 2019. - Т. 29, № 5. - С. 141-146. - Режим доступу: http://nbuv.gov.ua/UJRN/nvnltu_2019_29_5_30
|
| 16. |
Яковина В. С. Засоби автоматизованого формулювання умов працездатності складних технічних систем [Електронний ресурс] / В. С. Яковина, М. М. Сенів, І. І. Симець // Науковий вісник НЛТУ України. - 2019. - Т. 29, № 9. - С. 136-141. - Режим доступу: http://nbuv.gov.ua/UJRN/nvnltu_2019_29_9_26
|
| 17. |
Яковина В. С. Старіння програмного забезпечення мобільних додатків: аналіз проблематики [Електронний ресурс] / В. С. Яковина, Б. В. Угриновський // Науковий вісник НЛТУ України. - 2020. - Т. 30, № 2. - С. 107-112. - Режим доступу: http://nbuv.gov.ua/UJRN/nvnltu_2020_30_2_21
|
| 18. |
Яковина В. С. Прогнозування відмов програмного забезпечення з використанням нейронної мережі на основі радіально-базисних функцій [Електронний ресурс] / В. С. Яковина // Вісник Національного університету "Львівська політехніка". Інформаційні системи та мережі. - 2014. - № 805. - С. 230-236. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPICM_2014_805_27 Використано радіально-базисну нейронну мережу (НМ) для прогнозування відмов програмних продуктів. Досліджено вплив функції активації такої НМ на ефективність навчання та прогнозування відмов програмного забезпечення. Показано, що оптимальною функцією активації для цієї задачі є Inverse Multiquadric з 10 нейронами у вхідному шарі та 30 - у прихованому (квадрат коефіцієнта кореляції між прогнозованими та експериментальними даними становить 0,997, а середнє квадратичне відхилення - 14,4).
|
| 19. |
Яковина В. Розроблення алгоритму прогнозування дефектів програмного забезпечення на основі карт кохонена та ієрархічної кластеризації [Електронний ресурс] / В. Яковина, Н. Шаховська, Я. Матвійчук, Є. Засоба // Вісник Хмельницького національного університету. Технічні науки. - 2021. - № 1. - С. 78-82. - Режим доступу: http://nbuv.gov.ua/UJRN/Vchnu_tekh_2021_1_15
|