СИНТЕЗ АВТОМАТНИХ МОДЕЛЕЙ КОНТРОЛЮ

Автор(и)

  • І. Е. Райчев Національний авіаційний університет

DOI:

https://doi.org/10.18372/2306-1472.13.13678

Анотація

Розглянуто питання застосування скінченних автоматів для оброблення інформації параметричних бортових реєстраторів. Наведено аналіз етапів синтезу скінченних автоматів, які зображають алгоритми контролю польотів повітряних суден

Біографія автора

І. Е. Райчев, Національний авіаційний університет

асист.

Посилання

Малежик А. И. Основы компьютерных технологий оперативного контроля полетов воздушных судов по полетной информации. - К: КМУГА, 1996. - 124 с.

Малежик А. И., Харченко А. Г. Математическое обеспечение автоматизированных систем контроля полетов. - К.: КНИГА, 1986. - 60 с.

Яцков Н. А. Основы построения автоматизированных систем контроля полетов воздушных судов. - К.: КНИГА, 1989. - 344 с.

Райчев И. Э., Харченко А. Г. Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов // Вісн. НАУ. - 2001. - №3. - С.136-140.

Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. - М.: Мир, 1979.-654 с

Вельбицкий И. В., Ходакоескии В. Н., Шолмов Л. И. Технологический комплекс производства программ на машинах ЕС ЭВМ, БЭСМ-6. - М: Статистика, 1980 - 263 с.

Вельбицкий И. В. Технология программирования. - К: Техника, 1984. - 279 с.

Глушков В. М. Синтез цифровых автоматов. - М: Физматгиз, 1962. - 476 с.

Кобринский Н. Е., Трахтенброт Б. А. Введение в теорию конечных автоматов. - М: Физматгиз, 1962 -404 с.

Горбатов В. А. Основы дискретной математики. - М.: Высш. шк., 1986. - 311 с.

Глушков В. М. Теория автоматов и формальные преобразования микропрограмм // Кибернетика. - 1965,-№5.-С. 1-10.

Антонов А. Н. Язык описания цифровых устройств Altera HDL. - М.: ИП Радиософт, 2002. - 224 с.

Райчев И. Э., Харченко А. Г., Яцков Н. А. Исследование методов тестирования программных модулей обработки полетной информации // Вісн. КМУЦА. - 2000. - №1-2. - С. 127-133.

Downloads

Як цитувати

Райчев, І. Е. (2021). СИНТЕЗ АВТОМАТНИХ МОДЕЛЕЙ КОНТРОЛЮ. Вісник Національного авіаційного університету, 13(2), 43–52. https://doi.org/10.18372/2306-1472.13.13678

Номер

Том 13 № 2 (2002)

Розділ

Інформаційно-діагностичні системи

Ліцензія

Автори, які публікуються у цьому журналі, погоджуються з такими умовами:

  1. Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons Attribution License, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.

  2. Автори мають право укладати самостійні додаткові угоди щодо неексклюзивного розповсюдження роботи у тому вигляді, в якому вона була опублікована цим журналом (наприклад, розміщувати роботу в електронному сховищі установи або публікувати у складі монографії), за умови збереження посилання на першу публікацію роботи у цьому журналі.

  3. Політика журналу дозволяє і заохочує розміщення авторами в мережі Інтернет (наприклад, у сховищах установ або на особистих веб-сайтах) рукопису роботи, як до подання цього рукопису до редакції, так і під час його редакційного опрацювання, оскільки це сприяє виникненню продуктивної наукової дискусії та позитивно позначається на оперативності та динаміці цитування опублікованої роботи (див. The Effect of Open Access).