Отображается для всех ч…

Автор AD
_ admin около 2 часов назад Обновлено AD
_ admin 27 минут назад

DGEN 380
ТРДД - турбореактивный двухконтурный двигатель.

DGEN (двигатель ГПД) - это семейство реактивных двигателей, разработанных компанией

Safran Aircraft Engines. Они предназначены для применения в небольших и средних
самолетах. DGEN использует технологии, такие как дополнительный воздухозаборник и
цифровое управление, чтобы повысить эффективность и надежность, а также снизить шум
и выбросы. В настоящее время существует две модели двигателей DGEN: DGEN 380 и DGEN
390.

Аббревиатура DGEN означает "Dual-Channel, Geared, Efficient and NeutraL" (Двуканальный,

приводимый в движение через редуктор, эффективный и нейтральный) и относится к
технологии, используемой в турбореактивных двухконтурных двигателях, разработанных
компанией Pratt & Whitney Canada. Эта технология позволяет снизить уровень шума,
повысить экономичность и обеспечить более надежную работу двигателя.

Некоторые из основных технических характеристик двигателей DGEN включают в себя:

- исполнение в форме турбовентиляторного двигателя,

- использование цифровой электроники для управления системами и мониторинга

состояния двигателя,

- применение высокотемпературной керамики для создания лопаток турбины,

- наличие трехступенчатого компрессора со ступенями низкого, среднего и высокого

давления.

Реактивные двигатели DGEN имеют высокую экономическую эффективность, благодаря

использованию передовых технологий в их производстве. Они обеспечивают высокую
мощность при небольшом расходе топлива, что делает их привлекательным выбором для
коммерческих авиалиний и бизнес-авиации. Однако, конкретные показатели
экономической эффективности зависят от многих факторов, таких как тип самолета,
дальность полета, стоимость топлива и другие эксплуатационные расходы.

---

"Price Induction" - французская компания, проектирующая и производящая турбореактивные

двигатели DGEN, применяемые в разработке самолетов легкого типа (на 4/6 пассажиров) -
PLJ (Personal Light Jet).

Программа DGEN направлена на разработку семейства ТРДД - DGEN 380 и 390,

предназначенных для оснащения 4/6-местных самолетов в двухдвигательной
конфигурации с максимальной взлетной массой от 1400 и 2150 кг. Газовые двигатели
признаны единственными турбовентиляторными установками, предназначенными для
полетов авиации общего назначения (высота менее 25 000 футов, скорость менее 0,35
Маха). Газовые двигатели имеют архитектуру, типичную для турбовентиляторных
установок гражданской авиации, и сочетают в себе такие инновации, как мотор-
редукторный вентилятор и полностью электрическую концепцию.

Двигатель DGEN был представлен на Парижском авиасалоне, выставке General Aviation

Aero Expo (2010) во Фридрихсхафене и выставке EAA AirVenture Oshkosh.

---

Стабильность и управление газотурбинными двигателями представляют интерес для

исследователей и инженеров с самых разных точек зрения.

Некоторую литературу, связанную с управлением двигателем, можно найти в [1, 2, 3, 4, 5, 6,

7, 8, 9]. Для облегчения анализа устойчивости нелинейных систем, таких как газотурбинные
двигатели, эффективным методом является их аппроксимация линейным, изменяющимся
во времени.

Система (LTV). Один из подходов к проектированию управления, который, возможно,

является одним из самых популярных в нелинейном проектировании управления подходы
и широко и успешно применяется в самых разных областях - от аэрокосмической
промышленности до управления технологическими процессами [10, 11], является
планирование усиления. Газотурбинные двигатели не являются исключением, и
исследование по планированию усиления газотурбинных двигателей представлено в [12,
13, 14, 15, 16, 17, 18, 19].

Когда работа системы управления крайне важна из-за факторов безопасности человека
или высокой стоимости сбоя в поврежденном капитале или продуктах, разработчикам
программного обеспечения приходится прилагать больше усилий для проверки своего
программного обеспечения, прежде чем оно может быть выпущено. При выполнении
критически важных полетов валидация и верификация являются частью процесса
сертификации полетов [20]. Сертификация программной системы сопряжена со многими
проблемами, включая необходимость сертификации системы на уровне функциональных
требований, уровней кода и двоичных файлов, необходимости обнаружения ошибок во
время выполнения и необходимости подтверждения временных свойств конечной
скомпилированной системы [21, 22].

Доказуемая стабильность работы в замкнутом контуре является важным атрибутом

систем управления, особенно когда речь идет о безопасности человека, как во многих
авиационных системах, таких как газотурбинные двигатели. Мотивированный такими
приложениями, существует множество теорем, поддерживающих стабильность и
производительность системы при различных предположениях [23]. Критерии стабильности
применяются к классу динамических систем, для которых установлено доказательство
устойчивости; и теория устойчивости Ляпунова играет решающую роль в этом отношении.
Знания предметной области системы управления, в частности, теоретические
доказательства стабильности и производительности по Ляпунову, могут быть перенесены в
машиночитаемые и поддающиеся проверке сертификаты [23, 24]. Некоторые из недавних
результатов исследований по верификации управляющего программного обеспечения с
использованием доказательства стабильности по Ляпунову можно просмотреть в [21, 23,
24, 25, 26, 27, 28, 29].

Процесс верификации программного обеспечения для аэрокосмических систем описан в

RTCA DO-178B: Соображения по программному обеспечению в Сертификация бортовых
систем и оборудования" [30]. В настоящее время не существует подробного теоретического
процесса верификации программного обеспечения; и верификация в основном
выполняется путем запуска программного обеспечения достаточно долго, чтобы убедиться,
что оно работает должным образом для данной системы. С момента публикации DO-178B
[30] был накоплен опыт и научные достижения в области формальных методов, их
применения и инструментов. Формальные методы - это математически обоснованные
методы спецификации, разработки и верификации аспектов программного обеспечения
цифровых систем [31]. \RTCA/DO-333: Формальные методы Дополнение к DO-178C и DO-
278A" [31] содержит руководство для заявителей по облегчению использования
формальных методов в аэрокосмических системах.

В этой статье мы стремимся сделать первые шаги к более тщательному процессу

верификации программного обеспечения для систем управления газотурбинными
двигателями, разработав доказательства стабильности для всей архитектуры управления
двигателем с использованием теории устойчивости Ляпунова. Этот подход помогает нам в
построении набора инвариантов эллипсоида [32, 33], который будет использоваться в
качестве эффективного инструмента для анализа стабильности управляющего кода.

Остальная часть этого документа организована следующим образом. В разделе 2

описывается турбовентиляторный двигатель DGEN 380 и его виртуальный испытательный
стенд. В разделе 3 представлен надежный процесс автокодирования и верификации кода
контроллера. В разделе 4 представлен поддающийся проверке дизайн контроллера и
разработка для движка DGEN. В разделе 5 представлен анализ стабильности системы
двигателя с замкнутым контуром с регулятором по расписанию усиления. В разделе 6
представлены некоторые выходные данные поддающегося проверке кода из процесса
надежного автокодирования. В разделе 7 представлены результаты моделирования
поддающегося проверке кода контроллера, выполненного на виртуальный испытательный
стенд двигателя. Раздел 8 завершает статью.

---
---

Вложения 6

PDF PDF PDF PDF

kulagin01_0220 VerifiableTurbin Григорьев В.А. elibrary_371743

18str eEngineContro… Малоразмерн… 17_77777078

PDF

elibrary_466546
16_76601540