РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»


Бази даних


Реферативна база даних - результати пошуку


Вид пошуку
Пошуковий запит: (<.>ID=REF-0000703443<.>)
Загальна кількість знайдених документів : 1

Skalozub V. 
Ontological support formation for constructive-synthesizing modeling of information systems development processes / V. Skalozub, V. Ilman, V. Shynkarenko // Вост.-Европ. журн. передовых технологий. - 2018. - № 5/4. - С. 55-63. - Бібліогр.: 26 назв. - англ.

Глобалізація інформаційних систем (ІС) у процесі постійної експлуатації та модернізації породжує нові проблеми, виявляє особливості представлення завдань розвитку ІС. Такою складною галузевою ІС, що вимагає відповідної онтологічної підтримки, є автоматизована система управління вантажними перевезеннями (АСК ВП УЗ-Є). Розвиток інформаційних підсистем інфраструктури, рухомого та тягового складу, управління рухом, фінансів, кадрів і ряду інших вимагають взаємопов'язаного розвитку онтологічного забезпечення. З урахуванням цього розроблено методи та засоби онтологічного забезпечення конструктивно-продукційного моделювання (ОКПМ), призначені для підтримки процесів багатоетапного створення, тривалого періоду функціонування і постійного розвитку АСК ВП УЗ-Є. Отримані результати характеризуються універсалізмом, забезпечують можливості подання еволюції об'єкта (ІС) і змісту онтологій в ОКПМ. Побудову моделей і методів ОКПМ отримано шляхом розширення відносин і відображень, а також за рахунок створення нових структур породження, доповнення класів сигнатур новими відносинами з конструювання. При цьому отримала розвиток модель єдиної, універсальної та такої, що налаштовується на різні предметні області онтологічної конструктивної структури (ОКС). ОКС враховує вимоги щодо поданням процесів розширення предметної області, а також уніфікації знань. Для завдань КПМ створені методи та засоби моделювання процесів концептуалізації об'єктів, що розвиваються, побудовано конструктивну обчислення класу відображень погоджування, а також методи конструювання онтологічних об'єктів вищого порядку. Для онтологічної підтримки процесів КПМ за умов розширення предметних областей вдосконалено методи виведення в моделі конструктивної структурі ОКПМ, запропоновано процедури змістовної, структурної та пов'язаної виводимості, а також багаторівневі методи виведення. Наведено приклади реалізації діючих в даний час у автоматизованій системі АСК ВП УЗ-Е процедур створення нових додатків, з використанням запропонованих засобів КПМ. Приклади демонструють достатність розроблених моделей і засобів ОКПМ щодо реалізації діючих процедур розвитку і супроводу складних залізничних АСУ.


Індекс рубрикатора НБУВ: О184 + О17

Рубрики:

Шифр НБУВ: Ж24320 Пошук видання у каталогах НБУВ 
Повний текст  Наукова періодика України 
Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського