Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://biblio.umsf.dp.ua/jspui/handle/123456789/3546
Назва: | Контролепридатність ієрархічних переходів у поведінковому контролі |
Інші назви: | Checkability of hierarchical transmitions for behavioral check |
Автори: | Мартинюк, О. М. Тамім, Ахмеш Дрозд, О. В. Степова, Г. С. Martynyuk, O. N. Tamim, Ahmesh Drozd, O. V. Stepova, H. S. |
Ключові слова: | робочий поведінковий контроль контролепридатність ієрархічна модель розпізнавання поведінки ієрархічні мережі Петрі on-line testing checkability hierarchical model behavior recognition Petri hierarchical networks |
Дата публікації: | 29-лип-2019 |
Видавництво: | Університет митної справи та фінансів |
Бібліографічний опис: | Мартинюк О. М. Контролепридатність ієрархічних переходів у поведінковому контролі / О. М. Мартинюк, Ахмеш Тамім, О. В. Дрозд, Г. С. Степова // Системи та технології. – 2018. – № 1 (56). - С. 30 – 40 |
Серія/номер: | Системи та технології;2018. – № 1 (56) |
Короткий огляд (реферат): | Засоби робочого контролю складних розподілених інформаційних систем (РІС), що часто володіють властивостями критичності застосування, мають забезпечувати їх повну перевірку в реальному часі. Контроль слід викону-вати не тільки для статичних апаратної, програмної та інформаційної складових РІС, але й для динамічних інформаційно-керуючих потоків, що відповідають основним функціям і сценаріям роботи та встановлюють поведінку РІС. Розглянуто спадкування контролепридатності для переходів ієрархічних поведінкових моделей РІС, суттєвої у часовій декомпозиції робочого контро-лю. Спадкування ґрунтується на використанні в ієрархічних переходах відносин сумісності та квазіпорядку для умов, подій, дій, функцій, відповідних їм вхідних-вихідних сигналів у процесі організації фонового розпізнавання поведінки ієрархічних мереж Петрі. |
URI (Уніфікований ідентифікатор ресурсу): | http://biblio.umsf.dp.ua/jspui/handle/123456789/3546 |
ISSN: | 2521-6643 |
Розташовується у зібраннях: | 2018/1(56) |
Файли цього матеріалу:
Файл | Опис | Розмір | Формат | |
---|---|---|---|---|
3 Мартинюк О.М..pdf | електронне видання | 415,79 kB | Adobe PDF | Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.