CC BY
83
УДК 629.7
А. И. Годунов, Ю. Г. Квятковский, Н. К. Юрков
СИНТЕЗ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ ОЦЕНИВАНИЯ КАЧЕСТВА ПИЛОТИРОВАНИЯ НА АВИАЦИОННОМ ТРЕНАЖЕРЕ
Аннотация. Показано, что для создания формальных процедур оценивания качества эргатических систем «инструктор - тренажер - летчик» следует применять классические методы системного анализа и синтеза. Обоснована возможность создания формализованной процедуры для оценивания качества деятельности летчика на авиационном тренажере. Предложена структура автоматизированной системы оценки качества пилотирования, позволяющая эффективно реализовать методы автоматизированного решения задач оценки управления летательным аппаратом на авиационном тренажере. Осуществлен формализованный анализ системы «инструктор - тренажер - летчик» и ее основных компонентов с позиций теории системного анализа.
Ключевые слова: тренажер, система, инструктор, летчик, управление, решение задачи управления.
Abstract. According to the article, in order to establish formal procedures of rating the qualities of “instmctor-trainer-pilot"ergatic systems, one should apply classical techniques of system analysis and synthesis. The authors justify the possibility of establishing a formal procedure to evaluate the quality of pilot perfomance in an aviation Simulator. The researchers suggest an automated system structure for piloting quality evaluation that allows to effectively implement methods of automated evaluation of aircraft control in an aviation Simulator. The article adduces the results of a formal analysis of the instructor-trainer-pilot system and its main components from the position of system analysis theory.
Key words: trainer, instructor, pilot, management, control task solving.
Введение
В настоящее время для описания систем «человек - машина» наибольшее распространение получили методы, основанные на формализации теории множеств и общей теории систем [1]. Известно, что всякая система общего
вида S (рис. 1) может быть представлена формальным отношением над мно-
жеством входов U, выходов Y и состояний X:
S с UxXxY. (1)
Если S - динамическая система, то ее динамика описывается двумя семействами отображений:
р = (R: U x X ^ Y), (2)
ф = (F: U xX ^ X), (3)
где р - реакция системы (отображение «вход - состояние - выход»); ф - отображение перехода состояний (отображение «вход - состояние - состояние»).
На основании формул (1)-(3) под системой будем понимать пятерку компонентов ее динамического описания:
S = (Ц, X ^, Ф, р). (4)
Понятия входов и выходов динамической системы в литературе трактуются однозначно [2]. В понятие «состояние системы» в настоящее время вкладывается разный смысл, зависящий от специфики исследуемой предметной области. Примем следующую формулировку: «состояние системы - это совокупность ее внутренних переменных, значения которых в текущий момент времени содержат всю предысторию системы, а также позволяют определить текущие значения выходных переменных и к тому же необходимы для нахождения будущего поведения системы».
В работах отечественных и зарубежных авторов отражены результаты исследований отдельных классов динамических систем. Поскольку анализируемую нами систему «инструктор - тренажер - летчик» (СИТЛ) невозможно (как некий класс системы «человек - машина») отнести к какой-либо известной динамической системе, то для упрощения задачи выполним декомпозицию общего динамического описания сложной СИТЛ. Воспользуемся теоремой Крона - Роудза о декомпозиции систем [3], которая позволяет осуществлять анализ системы независимо от сложности ее поведения путем изучения сравнительно простых объектов, соединенных между собой с помощью конструкции декартового произведения, которая подробно изучена в работе [4] при исследовании формализма теории множеств. Там же показана связь между динамическим описанием системы вида (1) и ее описанием с помощью конструкции декартового произведения. Процесс функционирования исследуемой системы «инструктор - тренажер - летчик» можно рассматривать как некоторое подмножество множества формальных отношений (МФО) эргати-ческой части Sэ, характеризующей деятельность обучаемого, моделирующей части , характеризующей функционирование авиационного тренаже-
ра и инструкторской части Sи, характеризующей функционирование системы автоматизации деятельности инструктора, т.е. система определяется множеством формальных отношений состояний S согласно выражению
Б = Яэ хЯм хЯи. (5)
Тогда согласно упомянутой теореме Крона - Роудза МФО состояний компонентов системно-динамического описания СИТЛ (5), т.е. МФО состояний ее эргатической Xэ , моделирующей Xм и инструкторской Xи частей, могут рассматриваться независимо друг от друга:
хя = хэ и хм и хи; хэ П хм П хи = °. (6)
Выражение (6) позволяет описать процесс функционирования трех независимых по объектам состояний частей и осуществить их динамическое представление в терминах общей теории систем:
Яэ = Мэ, хэ ,Yэ, рэ, фэ), (7)
= (ММ, хМ, YМ, рМ, фМ ), (8)
=(иИ, хи , МИ, рИ, фИ ), (9)
где иэ, им , ии - МФО входов эргатической, моделирующей, инструкторской частей СИТЛ; мэ, мМ, МИ - МФО выходов части эргатической, моделирующей, инструкторской частей СИТЛ; рэ, рм, Ри - МФО семейства выходных функций эргатической, моделирующей, инструкторской частей СИТЛ; фэ, Фм, Фи - МФО семейства функций перехода состояний эргатиче-ской, моделирующей, инструкторской частей СИТЛ.
Рассмотрим свойства инструкторской части СИТЛ как динамической системы, описываемой соотношением (9).
Любая техническая система имеет конечное число состояний. Поэтому анализируемую систему автоматического оценивания следует представить конечным автоматом, описываемым динамическим уравнением вида
Я = (иИ Ми , хи , *И, ^И, ФИ ), (10)
где ии - входной алфавит ИЧ СИТЛ; Ми - выходной алфавит ИЧ СИТЛ; Xи - пространство состояний ИЧ СИТЛ; - семейство отображений
«вход - выход», определенное в пространстве состояний ИЧ СИТЛ; ^и -множество, индексирующее семейство отображений ^И; Фи - семейство отображений конструирования пространства состояний ИЧ СИТЛ.
Рассмотрим компоненты динамического описания ИЧ СИТЛ как конечного автомата.
Входной алфавит ИЧ СИТЛ (ии ) описывает МФО, отражающие входы
я э М
СИТЛ и И , а также выходы эргатической иИ и моделирующей иИ частей:
ии х иИ х ии = иМ
Выходной алфавит ИЧ СИТЛ (МИ) описывает МФО, отражающее выходы СИТЛ:
Ми с Мя . (12)
Особый интерес представляет рассмотрение состояния ИЧ СИТЛ как конечного автомата. С ним в теории систем связывают следующий набор компонентов описания:
а) семейство функций РИ, осуществляющих преобразования «вход -выход»:
РИ = (аИ : иИ х UH ^ % ); (13)
б) множество индексируемых параметров аи (а и е (И ^ при помощи
которых пронумерованы компоненты семейства функций, осуществляющих преобразование «вход - выход» конечного автомата. Индексирующие параметры аИ удовлетворяют следующему условию:
(аИ ^аИ ) ^ (% ^ );
аИ е ^И; аИ е ^И; UИ = Uи,
7И =фаИ (); Yi =фаИ (иИ); (14)
в) пространство состояний ИЧ СИТЛ Xи определяется множеством индексирующих параметров тех компонентов семейства функций (13), которые осуществляют необходимые в данный момент преобразования, т.е.:
хи=и Xи , хи={аи}; (15)
тсТ
под термином «конструирование пространства состояний» ниже понимается формирование множества XИ;
г) конструирование пространства состояний ИЧ СИТЛ осуществляет семейство функций РИ :
Ри = (:иИх(и хT ^ХИ). (16)
Таким образом, выражения (10)-(16) представляют собой строгое формализованное описание состояния ИЧ СИТЛ, т.е. автоматизированной системы оценивания качества (АСОК) пилотирования на авиационном тренажере как конечного автомата.
АСОК, будучи системой, должна удовлетворять основным принципам системотехники, а именно принципам автономности и целостности [5]. Принцип автономности требует независимости внутрисистемных законов функционирования АСОК от внешней по отношению к ней среды, т.е. от эр-гатической и моделирующей частей СИТЛ. В соответствии с принятым определением системных свойств системы автоматизированного оценивания учебно-методических задач под внешней средой будем понимать исходные данные об упражнениях, обрабатываемых на авиационном тренажере в процессе тренажерной подготовки.
Согласно современным представлениям о целевой деятельности летчика в контуре управления летательным аппаратом обобщенную структуру исходных данных о любом упражнении, обрабатываемом на авиационном тренажере, с позиций общей теории систем можно описать следующим соотношением:
иИ = иИпр X иИл х иИ х иИп, (17)
где и- МФО, характеризующие упражнение в целом; иИ - МФО, характеризующие элементы упражнения; иИ - МФО, характеризующие
участки элементов; и Ип - МФО, характеризующие параметры, оцениваемые на участках элементов упражнения.
Принцип целостности требует организации ее структуры на основе подсистем, каждая из которых обладает системным свойством. С точки зрения динамического описания АСОК эти принципы могут быть соблюдены, если компоненты состояния (13)-(16) будут удовлетворять следующему принципу организации ее структуры: при сохранении целостности состояния АСОК как конечного автомата ее структурная организация должна обеспечивать такое конструирование текущего состояния автомата, при котором реализуются конкретно необходимые в данный момент функции. Такой принцип структурной организации назовем функционально-модульным, а метод, реализующий данный принцип, назовем функционально-модульным методом организации структуры АСОК. Данный метод предполагает построение структуры АСОК на основе автономных модулей, каждый из которых ориентирован на реализацию одного из методов, применяемых для автоматизированного решения возложенных на АСОК задач.
Интерпретация компонентов динамического описания АСОК в контексте метода организации ее структуры состоит в следующем.
В соответствии с перечнем задач, возложенных на АСОК, отражает:
семейство функциональных модулей, обеспечивающих решение задачи оценивания результатов выполнения упражнения ; семейство функциональных модулей, обеспечивающих решение задачи оценивания результатов ^до :
^И = ^ор и ^до; ^ор П ^до = 0 (18)
где ^ор ={фаор }; ^до ={фадо }.
Тогда индексирующее множество Аи включает в себя индексирующие множества Аор, Адо содержащие параметры аор, адо, при помощи которых пронумерованы функциональные модули АСОК:
АИ = Аор и Адо; Дэр П Адо = 0;
аор ^ Аор ; а до ^ Адо . (19)
Согласно (19) пространство состояний АСОК XИ определяется
множествами индексирующих параметров аор, адо тех функциональных
модулей, которые осуществляют обработку отрабатываемого упражнения [6, 7]:
ХИ ={аор } и {адо }. (20)
Следовательно, конструирование пространства состояний АСОК должны осуществлять:
- функциональный модуль конструирования оценивания результатов выполнения упражнения Фор;
- функциональный модуль конструирования диагностики результатов оценивания Фдо;
Фи = Фор и Фдо; Фор П Фдо = 0, (21)
где
Фдо : иИ х Адо хТ ^Х1Т; Хдо ={адо}.
Фор : иИ х Дзр хТ ^ Х/А; Хор = {аор}.
Таким образом, реализация функционально-модульного метода в структуре АСОК предполагает:
- построение АСОК на основе автономных иерархически организованных функциональных модулей, ориентированных на автоматизированное решение задач оценивания результатов выполнения упражнений, диагностики результатов оценивания;
- реализацию метода автоматизированного решения возложенных на АСОК задач на основе функциональных модулей двух типов, а именно функциональных модулей, обеспечивающих конструирование задач, решаемых АСОК и функциональных модулей, осуществляющих преобразование типа «вход-выход» в контексте реализуемой задачи;
- унифицированное представление исходных данных, обеспечивающих автоматизированное решение задач оценивания результатов выполнения упражнения, диагностику результатов оценивания применительно к отрабатываемому упражнению в соответствии с требованиями используемой программы обучения (согласно выражению (21)).
Очевидно, что функционально-модульный метод организации структуры автоматизированной системы оценивания и диагностики управляющей деятельности летчика на авиационном тренажере обеспечит автоматизированное решение возложенных на нее задач на максимально возможном уровне автоматизации в процессе всего жизненного цикла АСОК.
Список литературы
1. Меерович, Г. Ш. Авиационные тренажеры и безопасность полетов / Г. Ш. Меерович, А. И. Годунов, О. К. Ермолов. - М. : Воздушный транспорт, 1990. - 343 с.
2. Зубов, Н. П. Применение тренажерных систем, реализующих активные методы профессиональной подготовки: проблемы и пути их решения / Н. П. Зубов, Н. О. Кобельков // Тренажерные технологии и обучение: новые подходы и задачи : сб. ст. Междунар. конф. - М. : ЦАГИ, 2003. - С. 115-124.
3. Касти, Д. Большие системы. Связность, сложность и катастрофы / Д. Касти. -М. : Мир, 1982. - 216 с.
4. Матвеевский, С. Ф. Основы системного проектирования комплексов летательных аппаратов / С. Ф. Матвеевский. - М. : Машиностроение, 1987. -240 с.
5. Юрков, Н. К. Модели и алгоритмы управления интегрированными производственными комплексами : моногр. / Н. К. Юрков. - Пенза : Инф.-изд. центр Пенз. гос. ун-та, 2003. - 198 с.
6. Красовский, А. А. Математическое моделирование динамики полета летательного аппарата : моногр. / А. А. Красовский, э. В. Лапшин, Н. К. Юрков. -Пенза :Изд-во Пенз. филиала РГУ ИТП, 2008. - 260 с.
7. Юрков, Н. К. Машинный интеллект и обучение человека : моногр. / Н. К. Юрков. - Пенза, Инф.-изд. центр ПензГУ, 2008. - 226 с.
Годунов Анатолий Иванович
доктор технических наук, профессор, кафедра автоматики и телемеханики, Пензенский государственный университет
E-mail: avitel@pnzgu.ru
Квятковский Юрий Григорьевич
кандидат технических наук, доцент, кафедра прикладной информатики, Пензенская государственная технологическая академия
E-mail: avitel@pnzgu.ru
Юрков Николай Кондратьевич
доктор технических наук, профессор, заведующий кафедрой конструирования и производства радиоаппратуры, Пензенский государственный университет
E-mail: yurkov_nk@mail.ru
Godunov Anatoly Ivanovich Doctor of engineering sciences, professor, sub-depatment of automation and remote control, Penza State University
Kvyatkovsky Yury Grigoryevich Candidate of engineering sciences, associate professor, sub-department of applied informatics, Penza State technological Academy
Yurkov Nikolay Kondratyevich Doctor of engineering sciences, professor, head of sub-depatment of radio equipment design and production,
Penza State University
УДК 629.7 Годунов, А. И.
Синтез автоматизированной системы оценивания качества пилотирования на авиационном тренажере / А. И. Годунов, Ю. Г. Квятковский, Н. К. Юрков // Известия высших учебных заведений. Поволжский регион. Технические науки. - 2012. - № 1 (21). - С. 58-64.
