Контролепридатність ієрархічних переходів у поведінковому контролі

Мартинюк, О. М.; Тамім, Ахмеш; Дрозд, О. В.; Степова, Г. С.; Martynyuk, O. N.; Tamim, Ahmesh; Drozd, O. V.; Stepova, H. S.

dc.contributor.author	Мартинюк, О. М.
dc.contributor.author	Тамім, Ахмеш
dc.contributor.author	Дрозд, О. В.
dc.contributor.author	Степова, Г. С.
dc.contributor.author	Martynyuk, O. N.
dc.contributor.author	Tamim, Ahmesh
dc.contributor.author	Drozd, O. V.
dc.contributor.author	Stepova, H. S.
dc.date.accessioned	2019-07-29T08:21:27Z
dc.date.available	2019-07-29T08:21:27Z
dc.date.issued	2019-07-29
dc.identifier.citation	Мартинюк О. М. Контролепридатність ієрархічних переходів у поведінковому контролі / О. М. Мартинюк, Ахмеш Тамім, О. В. Дрозд, Г. С. Степова // Системи та технології. – 2018. – № 1 (56). - С. 30 – 40	uk_UA
dc.identifier.issn	2521-6643
dc.identifier.uri	http://biblio.umsf.dp.ua/jspui/handle/123456789/3546
dc.description.abstract	Засоби робочого контролю складних розподілених інформаційних систем (РІС), що часто володіють властивостями критичності застосування, мають забезпечувати їх повну перевірку в реальному часі. Контроль слід викону-вати не тільки для статичних апаратної, програмної та інформаційної складових РІС, але й для динамічних інформаційно-керуючих потоків, що відповідають основним функціям і сценаріям роботи та встановлюють поведінку РІС. Розглянуто спадкування контролепридатності для переходів ієрархічних поведінкових моделей РІС, суттєвої у часовій декомпозиції робочого контро-лю. Спадкування ґрунтується на використанні в ієрархічних переходах відносин сумісності та квазіпорядку для умов, подій, дій, функцій, відповідних їм вхідних-вихідних сигналів у процесі організації фонового розпізнавання поведінки ієрархічних мереж Петрі.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Університет митної справи та фінансів	uk_UA
dc.relation.ispartofseries	Системи та технології;2018. – № 1 (56)
dc.subject	робочий поведінковий контроль	uk_UA
dc.subject	контролепридатність	uk_UA
dc.subject	ієрархічна модель	uk_UA
dc.subject	розпізнавання поведінки	uk_UA
dc.subject	ієрархічні мережі Петрі	uk_UA
dc.subject	on-line testing	uk_UA
dc.subject	checkability	uk_UA
dc.subject	hierarchical model	uk_UA
dc.subject	behavior recognition	uk_UA
dc.subject	Petri hierarchical networks	uk_UA
dc.title	Контролепридатність ієрархічних переходів у поведінковому контролі	uk_UA
dc.title.alternative	Checkability of hierarchical transmitions for behavioral check	uk_UA
dc.type	Article	uk_UA