Комп'ютерні науки та інформаційні технології. – 2017. – №864

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/40999

Вісник Національного університету «Львівська політехніка»

Вісник Національного університету «Львівська політехніка» «Комп’ютерні науки та інформаційні технології» входить до переліку видань ВАК, в яких друкуються матеріали дисертаційних робіт у галузі технічних наук. У віснику публікуються статті за результатами досліджень з актуальних питань комп’ютерних наук та інформаційних технологій, виконаних професорсько-викладацьким складом Національного університету «Львівська політехніка» та провідними вченими України і зарубіжними вченими в галузі проектування архітектури і компонентів комп’ютерних систем, моделювання складних об’єктів, процесів і систем та розробки і використання новітніх інформаційних технологій. Для науковців, викладачів вищих закладів освіти, інженерів, що спеціалізуються у сфері новітніх обчислювальних систем, мереж, комп’ютеризованих засобів розв’язання задач цифрового опрацювання сигналів і зображень, автоматизованого проектування та керування, а також докторантів, аспірантів та cтудентів старших курсів відповідних спеціальностей.

Вісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології : збірник наукових праць / Міністерство освіти і науки України, Національний університет «Львівська політехніка» ; голова Редакційно-видавничої ради Н. І. Чухрай. – Львів : Видавництво Львівської політехніки, 2017. – № 864. – 324 с. : іл.

Вісник Національного університету «Львівська політехніка». Серія: Комп’ютерні науки та інформаційні технології

Зміст


1
3
7
20
24
37
42
49
63
68
77
83
90
97
102
111
119
130
140
146
151
157
168
179
186
192
201
210
221
239
250
257
263
268
277
286
291
299
307
314
320

Content


1
3
7
20
24
37
42
49
63
68
77
83
90
97
102
111
119
130
140
146
151
157
168
179
186
192
201
210
221
239
250
257
263
268
277
286
291
299
307
314
320

Browse

Search Results

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення
    (Видавництво Львівської політехніки, 2017-03-28) Федасюк, Д.; Волочій, С.; Національний університет “Львівська політехніка”
    У технології розроблення дискретно-неперервних стохастичних моделей відмово- стійких систем важливим етапом є розроблення графу станів і переходів. Є відомою методика розроблення графу станів і переходів, в основу якої покладено структурно- автоматну модель відмовостійкої системи. Ступінь формалізації методики побудови графу станів дав змогу її автоматизувати в програмному засобі ASNA. Якщо в струк- турно-автоматній моделі відсутні помилки, то граф станів будується безпомилково. Але актуальною залишається задача безпомилкового розроблення структурно-автоматної моделі. Наведено методику розроблення структурно-автоматних моделей відмовостій- ких систем з альтернативними продовженнями випадкових процесів після закінчення процедур контролю, перемикання і відновлення, яка забезпечує безпомилкову їх побудову і в якій трудомісткі процедури піддаються автоматизації.