Лямбда-исчисление

Содержание:

Вместо введения

Для начала определимся с терминологией: лямбдой мы называем lambda-expression – это выражение C++, определяющее объект замыкания (closure object). Вот цитата из стандарта C++:

Тип объекта замыкания – это уникальный безымянный класс.

«Безымянный» в данном случае означает, что тип замыкания нельзя явно указать в коде, но получить его можно, чем мы ниже будем активно пользоваться. «Уникальный» означает, что каждая лямбда порождает новый тип замыкания, т. е. две абсолютно одинаковые с синтаксической точки зрения лямбды (будем называть такие лямбды однородными) имеют разные типы:

Аналогично этот принцип распространяется и на обобщённый код, зависящий от типов замыканий:

Это свойство не позволяет, например, складывать объекты замыканий в контейнеры (например, в std::vector<>).

Конструктивные параметры широкополостного лямбда зонда

Место установки датчика на патрубке выходного коллектора перед блоком каталитического нейтрализатора. Для более четкого контроля за составом выхлопного газа и работой катализатора, после блока нейтрализатора может устанавливается второй кислородник. Конструкция широкополостного элемента.

  1. Камера электролизного (ионного) насоса.
  2. Опорные электроды (платиновое покрытие).
  3. Нагревательная пластина.
  4. Эталонный проход.
  5. Керамический блок (ZrO2).
  6. Диффузионная щель.
  7. Измерительная (опорная) камера.
  8. Платиновые электроды измерительной камеры.
  9. Электроды ионной электролизной камеры (насоса).

Широкополостные конструкции выдают значение лямбда (идеальная или стехиометрическая ТВС) в виде гиперболы по мере увеличения амперности. Циркониевые и титановые измерители лишены возможности точно отслеживать изменение параметров топливной смеси из-за особенности конструкции, единственный показатель, который доступен таким датчикам передавать на ЭБУ сигнал о состоянии ТВС в значениях:  «Обогащенная», «Обедненная».

Функции и принцип действия датчика лямбда.

Для обеспечения идеального коэффициента конверсии каталитического нейтрализатора требуется обеспечить оптимальное сгорание топливо-воздушной смеси. В случае бензинового двигателя это достигается при соотношении воздух-топливо, равном 14,7 кг воздуха на 1 кг топлива, такой состав называется стехиометрическая топливная смесь.

Стехиометрическая смесь — это состав смеси в таких пропорциях топлива и воздуха, при которых происходит полное сгорание смеси без остатка избыточного кислорода. Теоретический коэффициент избытка воздуха топливной стехиометрической смеси равен единице.

Эта оптимальная смесь обозначается греческой буквой λ (лямбда). Лямбда используется для выражения соотношения воздуха между теоретическим потреблением воздуха и фактическим потоком воздуха:

λ = поток подаваемого воздуха: теоретический поток воздуха равен единице.

λ = 14,7 кг: 14,7 кг = 1

Принцип лямбда-датчика основан на измерении сравнения кислорода. Это означает, что оставшееся содержание кислорода в выхлопных газах (приблизительно 0,3–3%) сравнивается с содержанием кислорода в окружающем воздухе (около 20,8%).

Если остаточное содержание кислорода в выхлопных газах составляет 3% (обедненная смесь), возникает напряжение 0,1 V из-за разницы по сравнению с содержанием кислорода в окружающем воздухе.

Если оставшееся содержание кислорода составляет менее 3% (богатая смесь), напряжение датчика возрастает до 0,9 V пропорционально увеличению разницы. Содержание оставшегося кислорода измеряется с помощью нескольких лямбда-зондов.

Исправность лямбда-зондов обычно проверяют во время испытания на выбросы выхлопных газов. Поскольку он подвержен определенному износу, его следует регулярно проверять, чтобы убедиться, что он работает должным образом.

Как часто нужно проверять лямбда-зонд? Ответ: приблизительно каждые 30 000 км, например, при проведении техобслуживания в автосервисе.

За ужесточением законов, направленных на сокращение выбросов выхлопных газов, последовало усовершенствование технологии последующей обработки выхлопных газов.

Ресурс кислородника и его неисправности

Лямбда-зонд – один из наиболее быстро изнашиваемых датчиков. Это связано с тем, что он постоянно контактирует с отработавшими газами и его ресурс напрямую зависит от качества топлива и исправности двигателя. Например, циркониевый кислородник имеет ресурс порядка 70-130 тысяч километров пробега.

Поскольку работа обоих кислородных датчиков (верхнего и нижнего) контролируется системой бортовой диагностики OBD-II, при выходе из строя любого из них будет зафиксирована соответствующая ошибка, а на панели приборов загорится контрольная лампа неисправности “Check Engine”. Диагностировать неисправность в данном случае можно с помощью специального диагностического сканера

Из бюджетных вариантов стоит обратить внимание на Scan Tool Pro Black Edition

Сканер Scan Tool Pro Black Edition

Данный сканер корейского производства отличается от аналогов высоким качеством сборки и возможностью диагностики всех узлов и агрегатов автомобиля, а не только двигателя. Также он способен отслеживать показания всех датчиков (в том числе и кислородного) в режиме реального времени. Сканер совместим со всеми популярными диагностическими программами и, зная допустимые по вольтажу значения, можно судить об исправности датчика.

Сигнал исправного кислородного датчика

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

Основные неисправности кислородного датчика:

  • износ в процессе эксплуатации (“старение” датчика);
  • обрыв электрической цепи нагревательного элемента;
  • загрязнение.

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

Признаки неисправности кислородника:

  • Индикация сигнальной лампы неисправности на приборной панели.
  • Потеря мощности.
  • Слабый отклик на педаль газа.
  • Неровная работа двигателя на холостых оборотах.

Принцип работы лямбда-зонда

Как известно, в настоящее время пока ещё не изобретено способов, как повысить КПД технического устройства до 100%. Автомобильный двигатель не является исключением – в этом сложном агрегате существует немало узлов, в которых происходят энергетические потери. В частности, сгорание топливовоздушной смеси в цилиндрах происходит не полностью, о чём свидетельствует наличие в выхлопном газе остатков кислорода и углеводородов.

Так вот, лямбда-зонд как раз и представляет собой датчик, в задачи которого входит определение химсостава выхлопа. А если быть точнее – содержимого в нём кислорода. В норме этот показатель должен находиться в пределах 0.1-0.3%. Увеличение данного значения будет свидетельствовать о переобогащённой смеси, что для ДВС так же плохо, как и работа на обеднённой ТВС.

Лямбда-зонд в большинстве случаев устанавливается в оконечной части системы выпуска отработанных газов, перед и после выпускного коллектора (следует отметить, что вместо обычного глушителя в таких случаях присутствует его модифицированная разновидность – каталитический нейтрализатор).

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

Если перечислить, на что влияет лямбда-зонд в машине, то окажется, что улучшение качественного состава ТВС – это отнюдь не самоцель. Благодаря более эффективному горению смеси удаётся заметно увеличить общий ресурс силового агрегата, добиться ощутимого снижения расхода топлива, а также решить проблему нестабильной работы мотора на ХХ.

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

Проще говоря, кислородные датчики в режиме реального времени отсылают данные в ЭБУ (вернее, в блок бортового компьютера, специализирующийся на управлении работой топливной системой), а уже там происходит анализ этих данных. Он заключается в усреднении полученной информации и сравнении результата с эталонным значением. В качестве таковой принято считать стехиометрическую топливовоздушную смесь, в которой на 1 объёмную часть горючего приходится 14.7 объёмных частей атмосферного воздуха. Такое соотношение обозначается буквой λ и принимается за единицу. Если лямбда (вот и ответ на вопрос, почему устройство называется лямбда-зондом) меньше единицы – смесь обогащённая, то есть объёмная доля топлива больше единицы. В противном случае говорят об обеднённой ТВС.

ЭБУ корректирует работу топливной системы таким образом, чтобы коэффициент λ всегда был равен единице, благоприятствуя самому эффективному сгоранию топлива и повышению КПД двигателя до максимально возможного значения.

Если отключить лямбда-зонд, даже при идеально настроенном механизме подачи ТВС, со временем он будет сбиваться. А неоптимизированное сгорание горючего – это следующие неприятные моменты:

  • перегрев силового агрегата;
  • более быстрый износ всех компонентов системы выхлопа, включая каталитический нейтрализатор;
  • увеличенный расход технических жидкостей (масла, горючего, ОЖ);
  • быстрое прогорание клапанов, поршней, колец;
  • заметное снижение мощности (тяги) мотора на всех режимах.

Поэтому так важно поддерживать кислородные датчики в исправном состоянии

Как продлить срок службы лямбда-зондов и когда его менять

Зная, на что влияет лямбда-зонд, довольно просто определить неисправность этого элемента. Например, если вы заметили, что:

  • на холостых оборотах или на малом газу мотор неустойчиво работает или вовсе глохнет;
  • расход топлива значительно увеличился;
  • динамические характеристики авто резко ухудшились;
  • после выключения двигателя появилось своеобразное потрескивание в области катализатора, сопровождающееся неприятным запахом сероводорода (или как говорится в простонародье «тухлых яиц»);

то, скорее всего, пришло время менять ЛЗ и продлить «жизнь» этому элементу не получится. Однако, если все системы работают исправно то увеличить срок службы датчика можно если:

  • Использовать только качественный бензин, рекомендованный для вашего автомобиля.
  • Выбирать проверенные жидкости с присадками, сопровождающиеся сертификатами соответствия.
  • Никогда не использовать герметики для фиксации датчиков (особенно это касается силиконовых составов).
  • Не запускать двигатель многократно за короткий отрезок времени.
  • При проверке работоспособности цилиндров, не отключать свечи зажигания.
  • Не перегревать выхлопную систему машины (кислородные датчики способны выдерживать только до 950 градусов).
  • Не использовать для обработки наконечников датчиков химически активные составы.
  • Следить, чтобы место соединения датчика и трубы оставалось герметичным.

Придерживаясь этим советам, вы сможете дольше эксплуатировать ЛЗ на своем автомобиле.

Для чего нужен лямбда зонд?

В ситуации поломки автомобиля знание принципа работы механизма не помешает никому. Во-первых, так механику будет сложнее одурачить владельца авто, приписывая к смете ненужные услуги. Во-вторых, водитель обладая знаниями технических особенностей деталей своего авто может сам поставить «диагноз», а возможно и устранить неполадку.

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

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

%rtb-4%

Также предназначение лямбда зонда определяет его месторасположение – перед катализатором в выпускном коллекторе. Установленный на этом участке, лямбда зонд вычисляет объем излишек кислорода в топливно-воздушной смеси. При появлении дисбаланса прибор дает сигнал в блок управления впрыска. Но, порой одного датчика становится недостаточно, поэтому в последних моделях автомобилей все чаще предусмотрено два датчика кислорода, между которыми располагается катализатор. При такой конструкции контроля точность анализа выхлопа топлива увеличивается в разы.

В основе лямбда зонда гальванические элементы с твердым керамическим электролитом из диоксида циркония. Поверх покрытия нанесен слой оксида иттрия и напыление из токопроводящих пористых платиновых электродов. Электроды на поверхности механизма действуют по принципу забора выхлопа и воздуха из атмосферы. Лямбда зонд начинает работать только после того, как прогрев достигнет 300 градусов по Цельсию. Высокая температура приводит в действие циркониевый электролит, который пропускает сигнал об уровне выходного напряжения. При заведении непрогретого двигателя, датчики кислорода не работают, а их нагрузку при низкой температуре выполняют другие датчики двигателя.

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

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

%rtb-4%

Функции нескольких переменных

Для того чтобы использовать функции нескольких переменных добавим в исчисление новую операцию ` add ` : она применяется к двум аргументам и является синтаксическим сахаром для следующих вычислений: ` (lambda x. lambda y. add \ x y) E_1 E_2 -> ([E_1 // x] lambda y. add \ x y) E_2 = ` ` (lambda y. add \ E_1 y) E_2 -> ` ` [E_2 // y] add \ E_1 y = add \ E_1 E_2 `

Как результат мы получили функцию от одного аргумента, которая возвращает еще одну функцию от одного аргумента. Такое преобразование называется каррирование (в честь Хаскелла Карри назвали и язык программирования, и эту операцию), а функция, возвращающая другую, называется функцией высшего порядка.

Как определить неисправность датчика кислорода

Существует ряд методов для проверки состояния лямбда датчика и его питающих/сигнальных цепей.

Специалисты компании BOSCH советуют проверять соответствующий датчик каждые 30 тысяч километров пробега, либо при выявлении описанных выше неисправностей.

Что нужно сделать в первую очередь при диагностике?

  1. Необходимо оценить количество сажи на трубке зонда. Если ее слишком много — датчик будет работать некорректно.
  2. Определить цвет отложений. Если на чувствительном элементе датчика имеются белые или серые отложения — это означает, что используются присадки к топливу или к маслу. Они негативно сказываются на работе лямбда зонда. Если на трубке зонда имеются блестящие отложения — это говорит о том, что в используемом топливе очень много свинца, и от использования такого бензина лучше отказаться, соответственно, сменить марку бензозаправки.
  3. Можно попытаться очистить сажу, однако это не всегда возможно.
  4. Проверить мультиметром целостность проводки. В зависимости от модели конкретного датчика он может иметь от двух до пяти проводов. Один из них будет сигнальным, а остальные — питающими, в том числе, для питания элементов подогрева. Для выполнения процедуры проверки вам понадобится цифровой мультиметр, способный измерять постоянное электрическое напряжение и сопротивление.
  5. Имеет смысл проверить сопротивление нагревателя датчика. В разных моделях лямбда зонда оно будет находиться в пределах от 2 до 14 Ом. Значение питающего напряжения должно быть около 10,5…12 Вольт. В процессе проверки также нужно обязательно проверить целостность всех проводов, подходящих к датчику, а также значение сопротивления их изоляции (как попарно между собой, так и каждого на «массу»).

Как проверить лямбда-зонд видео

Обратите внимание, что нормальная работа датчика кислорода возможна лишь при его нормальной рабочей температуре, равной +300°С…+400°С. Это обусловлено тем, что лишь в таких условиях циркониевый электролит, нанесенный на чувствительный элемент датчика, становится проводником электрического тока. Также при такой температуре разница атмосферного кислорода и кислорода в выхлопной трубе приведет к тому, что на электродах датчика появится электрический ток, который и будет передаваться на электронный блок управления двигателем

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

Так как проверка кислородного датчика во многих случаях подразумевает снятие/установку то стоит учесть такие нюансы:

  • Лямбда — устройства очень хрупкие, поэтому при проверке нельзя подвергать их механическим нагрузкам и/или ударам.
  • Резьбу датчика необходимо обработать специальной термопастой. При этом нужно следить, чтобы паста не попала на его чувствительный элемент, поскольку это приведет к его некорректной работе.
  • При закручивании необходимо соблюдать значение крутящего момента, и пользоваться для этих целей динамометрическим ключом.

Точная проверка лямбда зонда

Точнее всего определить неисправность датчика концентрации кислорода позволит осциллограф. Причем использовать профессиональный аппарат необязательно можно снять осциллограмму используя программу-симулятор на ноутбуке либо другом гаджете.

График правильной работы датчика кислорода

На первом рисунке в данном разделе представлен график правильной работы датчика кислорода. В этом случае на сигнальный провод поступает сигнал, похожий на ровную синусоиду. Синусоида в данном случае означает, что контролируемый датчиком параметр (количество кислорода в выхлопных газах) находится в предельно допустимых границах, и просто происходит его постоянная и периодическая проверка.

График работы сильно загрязненного датчика кислорода

График работы датчика кислорода на обедненной топливной смеси

График работы датчика кислорода на обогащенной топливной смеси

График работы датчика кислорода на бедной топливной смеси

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

β-редукция

Поскольку выражение λx.2⋅x+1{\displaystyle \lambda x.2\cdot x+1} обозначает функцию, ставящую в соответствие каждому x{\displaystyle x} значение 2⋅x+1{\displaystyle 2\cdot x+1}, то для вычисления выражения


(λx.2⋅x+1) 3{\displaystyle (\lambda x.2\cdot x+1)\ 3},

в которое входят и аппликация и абстракция, необходимо выполнить подстановку числа 3 в терм 2⋅x+1{\displaystyle 2\cdot x+1} вместо переменной x{\displaystyle x}. В результате получается 2⋅3+1=7{\displaystyle 2\cdot 3+1=7}. Это соображение в общем виде записывается как

(λx.t) a=tx:=a,{\displaystyle (\lambda x.t)\ a=t,}

и носит название β-редукция. Выражение вида (λx.t) a{\displaystyle (\lambda x.t)\ a}, то есть применение абстракции к некому терму, называется редексом (redex). Несмотря на то, что β-редукция по сути является единственной «существенной» аксиомой λ{\displaystyle \lambda }-исчисления, она приводит к весьма содержательной и сложной теории. Вместе с ней λ{\displaystyle \lambda }-исчисление обладает свойством полноты по Тьюрингу и, следовательно, представляет собой простейший язык программирования.

Связь с рекурсивными функциями

Рекурсия — это определение функции через себя; на первый взгляд, лямбда-исчисление не позволяет этого, но это впечатление обманчиво. Например, рассмотрим рекурсивную функцию, вычисляющую факториал:

f(n) = 1, if n = 0; else n × f(n - 1).

В лямбда-исчислении, функция не может непосредственно ссылаться на себя. Тем не менее, функции может быть передан параметр, связанный с ней. Как правило, этот аргумент стоит на первом месте. Связав его с функцией, мы получаем новую, уже рекурсивную функцию. Для этого аргумент, ссылающийся на себя (здесь обозначен как r{\displaystyle r}), обязательно должен быть передан в тело функции.

g := λr. λn.(1, if n = 0; else n × (r r (n-1)))
f := g g

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

Существует несколько определений комбинаторов неподвижной точки. Самый простой из них:

Y = λg.(λx.g (x x)) (λx.g (x x))В лямбда-исчислении, Y g{\displaystyle \operatorname {Y\ g} } — неподвижная точка g{\displaystyle \operatorname {g} }; продемонстрируем это:
Y g
(λh.(λx.h (x x)) (λx.h (x x))) g
(λx.g (x x)) (λx.g (x x))
g ((λx.g (x x)) (λx.g (x x)))
g (Y g).Теперь, чтобы определить факториал, как рекурсивную функцию, мы можем просто написать g (Y g)⁡n{\displaystyle \operatorname {g\ (Y\ g)} n}, где n{\displaystyle n} — число, для которого вычисляется факториал. Пусть n=4{\displaystyle n=4}, получаем:
g (Y g) 4
   (λfn.(1, if n = 0; and n·(f(n-1)), if n>0)) (Y g) 4
   (λn.(1, if n = 0; and n·((Y g) (n-1)), if n>0)) 4
   1, if 4 = 0; and 4·(g(Y g) (4-1)), if 4>0
   4·(g(Y g) 3)
   4·(λn.(1, if n = 0; and n·((Y g) (n-1)), if n>0) 3)
   4·(1, if 3 = 0; and 3·(g(Y g) (3-1)), if 3>0)
   4·(3·(g(Y g) 2))
   4·(3·(λn.(1, if n = 0; and n·((Y g) (n-1)), if n>0) 2))
   4·(3·(1, if 2 = 0; and 2·(g(Y g) (2-1)), if 2>0))
   4·(3·(2·(g(Y g) 1)))
   4·(3·(2·(λn.(1, if n = 0; and n·((Y g) (n-1)), if n>0) 1)))
   4·(3·(2·(1, if 1 = 0; and 1·((Y g) (1-1)), if 1>0)))
   4·(3·(2·(1·((Y g) 0))))
   4·(3·(2·(1·((λn.(1, if n = 0; and n·((Y g) (n-1)), if n>0) 0))))
   4·(3·(2·(1·(1, if 0 = 0; and 0·((Y g) (0-1)), if 0>0))))
   4·(3·(2·(1·(1))))
   24

Каждое определение рекурсивной функции может быть представлено как неподвижная точка соответствующей функции, следовательно, используя Y{\displaystyle \operatorname {Y} }, каждое рекурсивное определение может быть выражено как лямбда-выражение. В частности, мы можем определить вычитание, умножение, сравнение натуральных чисел рекурсивно.

ВЛИЯНИЕ НЕИСПРАВНОСТИ КИСЛОРОДНОГО ДАТЧИКА ЛЯМБДА: ПРИЧИНА ОТКАЗА

Существует несколько причин, по которым лямбда датчик может выйти из строя:

  • Внутренние и внешние замыкания лямбда зонда.
  • Нет заземления / напряжения.
  • Перегрев зонда.
  • Нагар / загрязнение.
  • Механическое повреждение датчика
  • Использование этилированного топлива / присадок

Существует ряд типичных неисправностей лямбда-датчиков, которые происходят наиболее. В следующем списке приведены причины неисправностей выявленных в результате диагностики:

Неисправности лямбда датчика Причины
Защитная трубка или корпус зонда забиты остатками масла Несгоревшее масло попало в выхлопную систему, например, из-за неисправных поршневых колец или маслосъёмных колпачков
Нет доступа к эталонному воздуху, воздух не поступает. Зонд установлен неправильно, контрольное отверстие для воздуха заблокировано
Повреждение в результате перегрева Температура превысила 950 °C из-за неправильно выставленного зажигания или проблемы с регулировкой клапанов
Плохое соединение на контактах Окисление проводов датчика
Обрыв проводки Плохо проложенные провода, перетирание кабеля, укусы грызунов
Отсутствие заземления Окисление, коррозия в выхлопной системе
Механические повреждения При установке перетянут датчик. Момент затяжки превышен.
Химическое старение Частые непродолжительные поездки
Свинцовые отложения Использование этилированного топлива

Диагностика неисправностей для датчика кислорода Лямбда: основные принципы

Автомобили, оснащенные системой самодиагностики, могут обнаруживать неисправности, возникающие в цепи управления, и сохранять их в памяти неисправностей. Обычно это отображается через индикаторную лампу двигателя – «чек», «check engine». Память неисправностей затем может быть считана с помощью сканера через разъём OBD-2. Однако некоторые системы не могут определить, относится ли эта неисправность к неисправному датчику или это неисправность кабеля. В таком случае дальнейшие испытания должны быть выполнены механиком в автосервисе.

Для более точной диагностики через EOBD, мониторинг при компьютерной диагностике лямбда-датчика был расширен, чтобы считывать следующие пункты диагностики:

  • Разомкнутая цепь;
  • Эксплуатационная готовность;
  • Короткое замыкание на массу блока управления;
  • Короткое замыкание на плюс;
  • Обрыв кабеля и срок службы датчика кислорода лямбда.

Для диагностики сигналов от лямбда-датчика блок управления использует форму частоты сигнала. Для этого блок управления рассчитывает следующие данные:

  • Максимальное и минимальное обнаруженное значение напряжения датчика кислорода;
  • Время между положительным и отрицательным положением,
  • Лямбда-контроллер, регулирующий соотношение в топливо-воздушной смеси – богатая или бедная;
  • Определение порога лямбда-контроля,
  • Напряжение датчика и длительность периода.

О чем говорят максимальные и минимальные напряжения датчика кислорода?

При запуске двигателя все старые максимальные / минимальные значения в электронном блоке управления удаляются. Во время работы минимальные / максимальные значения отображаются в определенном диапазоне нагрузки / скорости

Амплитуда напряжения датчика: максимальное и минимальное значение больше не достигается, обнаружение насыщенности / обеднения топливной смеси больше невозможно.

Время отклика на изменение напряжения

Если напряжение датчика превышает контрольный порог, начинается измерение времени реакции между положительным и отрицательным состоянием. Если напряжение датчика не достигает контрольного порога, измерение времени прекращается. Период времени между началом и концом измерения времени измеряется счетчиком.

Время отклика: если датчик реагирует слишком медленно на изменение состава смеси то не отображает состояние в нужное время.

Определение старого или загрязненного лямбда зонда

Кислородный датчик может быть неисправенесли он старый, выработал ресурс или загрязнен, например, присадками к топливу. Это можно определить при диагностике зонда. Сигнал лямбда зонда сравнивается с сохраненным шаблоном. Медленный зонд определяется как неисправность, например, через длительность периода сигнала.

Время отклика: частота зонда слишком низкая, оптимальное управление больше невозможно.

Признаки и причины неисправности лямбда зонда

Неисправности лямбда зонда проявляются так же, как проблемы с топливной аппаратурой или каталитическим нейтрализатором. Поэтому точно определить, какой элемент сломан, можно только путём диагностики в автосервисе. Есть ряд симптомов, которые косвенно говорят о выходе лямбды из строя:

  • Плавающие обороты при холостой работе ДВС. При поломке лямбда зонда они постоянно меняются, опускаются до 400-600. Происходит это из-за обеднения топливной смеси. Её недостаточно для устойчивой работы мотора в режиме ХХ. Лямбда зонд отвечает за дозирование топлива в смеси.
  • Падение мощности двигателя. Бедная смесь понижает мощность ДВС. Его обороты начнут медленно набираться при нажатой педали акселератора, машина будет хуже ехать в гору, разгон станет медленнее.
  • Повышенный расход топлива. Потребление горючего может возрасти на 25-30%!
  • Изменение цвета и запаха выхлопных газов. Выхлоп почернеет. В нем явно будет ощущаться запах бензина, который не догорает в катализаторе.
  • Цвет свечей. На них при переобогащении смеси будет черный налет.
  • Неравномерное ускорение с рывками. Быстро и равномерно машина разгоняться не сможет.
  • Индикатор «Check Engine» на приборной панели. Если считать ошибку сканером и расшифровать ее, будет явно указано, что сломался лямбда зонд. Если же ошибку просто стереть, она будет постоянно появляться до устранения неисправности.

Популярные марки:

Ford Focus, Toyota Corolla

Типичные причины поломки таковы:

  • Использование топлива низкого качества. Пожалуй, это самая распространенная причина. Излишки вредных примесей, сгорая, оседают на рабочей поверхности нагревательного элемента, что приводит к его засорению.
  • Естественный износ по сроку эксплуатации. Менять «лямбду» необходимо ближе к 150 тыс. км пробега. Срок может быть увеличен, если заливать качественное топливо. Неоригинальный или дешевый датчик прослужит меньше.
  • Проблемы проводки. Для подключения «лямбды» к ЭБУ используют обычную медную проволоку, которая позже начнёт окисляться или переламываться.

Вычисление лямбда-выражений

Вычисление выражений заключается в последовательном применении подстановок. Подстановкой ` E’ ` вместо ` x ` в ` E \ ` (запись: ` [E’//x]E ` ) называется выполнение двух шагов:

  1. Альфа-преобразование. Переименование связанных переменных в ` E ` и ` E’ ` , чтобы имена стали уникальными.
  2. Бета-редукция. По сути единственная значимая аксиома исчисления. Подразумевает замену ` x ` на ` E’ ` в ` E ` .
    Рассмотрим несколько примеров подстановок:
  • Преобразование к тождественной функции. ` (lambda f. f (lambda x. x)) (lambda x. x) -> ` (пишем подстановку) ` -> [lambda x. x // f] f ( lambda x. x)) = ` (делаем альфа-преобазование) ` = [(lambda x. x) // f] f (lambda y. y)) = ` (производим бета-редукцию) ` = (lambda x. x) (lambda y. y) -> ` (еще одна подстановка) ` -> [lambda y. y // x] x = lambda y. y `
  • Бесконечные вычисления. ` (lambda x. x x)(lambda x. x x) -> [lambda x. x x // x]x x = [lambda y. y y // x] x x = ` ` = (lambda y. y y)(lambda y. y y) -> … `
  • Также небольшой пример, почему нельзя пренебрегать альфа-преобразованием. Рассмотрим выражение ` (lambda x. lambda y. x) y ` . Если не выполнить первый шаг, результатом будет тождественная функция ` lambda y. y ` . Однако, после правильного выполнения подстановки с заменой ` y ` на ` z ` мы получим совсем другой результат ` lambda z. y ` , то есть константную функцию.
Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *

Adblock
detector