350 руб
Журнал «Информационно-измерительные и управляющие системы» №11 за 2015 г.
Статья в номере:
Способ верификации моделей технических систем на основе интеллектуального анализа процессов
Авторы:
Н.Н. Акимов - гл. конструктор по АСУ объектами АЭ и ТЭК - зам. директора по инновационному развитию, ФГУП «ФНПЦ НИИИС им. Ю.Е. Седакова» (г. Нижний Новгород) А.В. Бухнин - к.т.н., доцент, Нижегородский государственный технический университет им. Р.Е. Алексеева В.Р. Милов - д.т.н., профессор, зав. кафедрой, Нижегородский государственный технический университет им. Р.Е. Алексеева В.А. Кольцов зам. главного конструктора, ФГУП «ФНПЦ НИИИС им. Ю.Е. Седакова» (г. Нижний Новгород) А.А. Куранов - студент, Нижегородский государственный технический университет им. Р.Е. Алексеева
Аннотация:
Рассмотрен способ верификации и валидации моделей гибридных технических систем с применением технологий интеллектуального анализа процессов, позволяющих автоматически строить модели процессов по журналам событий, полученным в результате функционирования модели системы. Работоспособность предложенного способа продемонстрирована на примере моделирования простой гидравлической системы в среде Si-mInTech и верификации модели в системе ProM путем сравнения целевой и наблюдаемой моделей процессов, отражающих функционирование рассматриваемой системы.
Страницы: 19-25
Список источников

 

  1. Барсегян А.А.,Куприянов М.С., Холод И.И., Тесс М.Д., Елизаров С.И. Анализ данных и процессов: учеб. пособие. Изд. 3-е. СПб.: БХВ-Петербург. 2009. 512 с.
  2. Комяков А.В., Баранов В.Г., Вдовин Л.М., Милов В.Р., Горячева Т.И. Комплекс имитации и тестирования систем авиационной связи // Информационно-измерительные и управляющие системы. 2015. Т. 13. № 3. С. 5-11.
  3. Милов В.Р., Вдовин Л.М., Егоров Ю.С., Лунев В.А., Алексеев В.В., Милов Д.В. Программный комплекс автоматизированной верификации реализаций протокольных объектов // Системы управления и информационные технологии. 2014. Т. 58. № 4. С. 38 - 40.
  4. Мицюк А.А., Шугуров И.С. Синтез моделей процессов по журналам событий с шумом // Моделирование и анализ информационных систем 2014. Т. 21. № 4. С. 181-198.
  5. Пакулин Н.В.Динамическая верификация гибридных систем // Научно-технические ведомости СПбГПУ: Информатика. Телекоммуникации. Управление. 2014. Вып. 2 (193). C. 189 - 203.
  6. Aalst W.M.P. van der. Process mining: discovery, conformance and enhancement of business processes. Berlin Heidelberg: Springer-Verlag, 2011. 352 p.
  7. Khajehzadeh N. Data and process mining applications on a multi-cell factory automation testbed. Master-s theses, Tampere University of Technology. 2012. 76 p.
  8. Rozinat, A., Veloso, M., Aalst W.M.P. van der.Evaluating the quality of discovered process models / In: W. Bridewell, et al. (eds.) 2nd Intl. Workshop on the Induction of Process Models, Antwerp, Belgium. 2008. P. 45-52.