DSpace Repository

Автоматизированная верификация алгоритмов управления сложными технологическими объектами на программных имитаторах

Show simple item record

dc.contributor.author Лях, Татьяна Викторовна ru_RU
dc.contributor.author Зюбин, Владимир Евгеньевич ru_RU
dc.contributor.author Гаранина, Наталья Олеговна ru_RU
dc.contributor.author Liakh, Tatiana Viktorovna en
dc.contributor.author Zyubin, Vladimir Evgenievich en
dc.contributor.author Garanina, Natalia Olegovna en
dc.creator Институт автоматики и электрометрии СО РАН ru_RU
dc.creator Институт систем информатики им. А. П. Ершова СО РАН ru_RU
dc.creator Institute of Automation and Electrometry SB RAS en
dc.creator A. P. Ershov Institute of Informatics Systems SB RAS en
dc.date.accessioned 2018-12-18T04:15:42Z
dc.date.available 2018-12-18T04:15:42Z
dc.date.issued 2018-12
dc.identifier.citation Лях Т. В., Зюбин В. Е., Гаранина Н. О. Автоматизированная верификация алгоритмов управления сложными технологическими объектами на программных имитаторах // Вестн. НГУ. Серия: Информационные технологии. 2018. Т. 16, № 4. С. 85–94. DOI 10.25205/1818-7900-2018-16-4-85-94 ru_RU
dc.identifier.citation Liakh T. V., Zyubin V. E. Garanina N. O. Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators. Vestnik NSU. Series: Information Technologies, 2018, vol. 16, no. 4, p. 85–94. (in Russ.) DOI 10.25205/1818-7900-2018-16-4-85-94 en
dc.identifier.issn 1818-7900 (Print)
dc.identifier.issn 2410-0420 (Online)
dc.identifier.uri https://lib.nsu.ru/xmlui/handle/nsu/15250
dc.description.abstract Статья посвящена проблеме проверки алгоритмов управления, созданных в рамках процесс-ориентированного подхода, на соответствие входным спецификациям. Представлена общая схема верификации алгоритма управления, приведены ее реализация в автоматизированном варианте и результаты практической апробации в проекте по автоматизации Большого солнечного вакуумного телескопа. ru_RU
dc.description.abstract The article is devoted to the analysis of process-oriented control algorithms, on the correspondence to input specifications. Article presents the general scheme of verification of the control algorithm, its implementation in an automated form and the results of practical approbation of the approach in the project for the automation of the Large Solar Vacuum Telescope. en
dc.description.sponsorship Работа выполнена при финансовой поддержке Федерального агентства научных организаций (государственная регистрация № АААА-А17-117060610006-6) и при финансовой поддержке РФФИ (проект № 17-07-01600). ru_RU
dc.language.iso ru ru_RU
dc.subject автоматизация ru_RU
dc.subject промышленные алгоритмы управления ru_RU
dc.subject верификация ru_RU
dc.subject процесс-ориентированные языки программирования ru_RU
dc.subject automation ru_RU
dc.subject industrial control algorithms en
dc.subject verification en
dc.subject process-oriented programming languages en
dc.title Автоматизированная верификация алгоритмов управления сложными технологическими объектами на программных имитаторах ru_RU
dc.title.alternative Automatic Verification of Control Algorithms for Complex Technological Objects on Software Simulators en
dc.type Article ru_RU


Files in this item

This item appears in the following Collection(s)

  • IT Выпуск 4 (2018)
    Вестник НГУ. Серия:Информационные технологии, 2018. Том 16, №4

Show simple item record

Search DSpace


Advanced Search

Browse

My Account