Наукова періодика України | Вісник Національного університету "Львівська політехніка" | ||
Федасюк Д. Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення / Д. Федасюк, С. Волочій // Вісник Національного університету "Львівська політехніка". Комп’ютерні науки та інформаційні технології. - 2017. - № 864. - С. 49-62. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKNIT_2017_864_9 Під час використання технології побудови аналітичних моделей поведінки відмовостійких програмно-апаратних систем у вигляді систем диференціальних рівнянь Колмогорова - Чепмена треба здійснити безпомилкове розроблення графа станів і переходів. Існує технологія побудови аналітичних моделей поведінки, в якій розроблення графа станів і переходів здійснюється на основі формалізованого представлення об'єкта дослідження у вигляді структурно-автоматної моделі. Наведено методику розроблення структурно-автоматних моделей, яка надає змогу автоматизувати цей процес.У технології розроблення дискретно-неперервних стохастичних моделей відмовостійких систем важливим етапом є розроблення графу станів і переходів. Є відомою методика розроблення графу станів і переходів, в основу якої покладено структурно-автоматну модель (САМ) відмовостійкої системи. Ступінь формалізації методики побудови графу станів надав змогу її автоматизувати в програмному засобі ASNA. Якщо в САМ відсутні помилки, то граф станів будується безпомилково. Але актуальною залишається задача безпомилкового розроблення САМ. Наведено методику розроблення САМ відмовостійких систем з альтернативними продовженнями випадкових процесів після закінчення процедур контролю, перемикання і відновлення, яка забезпечує безпомилкову їх побудову і в якій трудомісткі процедури піддаються автоматизації. Цитованість авторів публікації: Бібліографічний опис для цитування: Федасюк Д. Методика розроблення структурно-автоматних моделей відмовостійких систем з альтернативними продовженнями випадкових процесів після процедур контролю, перемикання і відновлення / Д. Федасюк, С. Волочій // Вісник Національного університету "Львівська політехніка". Комп’ютерні науки та інформаційні технології. - 2017. - № 864. - С. 49-62. - Режим доступу: http://nbuv.gov.ua/UJRN/VNULPKNIT_2017_864_9.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |