Лямбда (символ) — это… Что такое Лямбда (символ)?
- Лямбда (символ)
Λλ
Λ, λ (название: ля́мбда, греч. λάμδα) — 11-я буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 30. Происходит от финикийской буквы — ламед. От буквы «лямбда» произошли латинская буква L и кириллическая Л, а также их производные.
Использование
Прописная Λ
Строчная λ
Лямбда в культуре
- В вымышленной вселенной «Звездных Войн» существует космический корабль, известный как «корабль класса Лямбда», похожий на букву «λ», если смотреть вдоль оси симметрии.
- В серии популярных компьютерных игр логотипом «Комплекса Лямбда», части исследовательского центра Чёрная Меза, в котором изучаются технологии телепортации. Позднее в игре лямбда становится символом сопротивления людей против инопланетного Альянса. Символ также используется в логотипах игр серии, а строчная «λ» часто используется в названии «Half-Life», заменяя букву «a»( Hλlf-Life ). Этот символ присутствует и на костюме главного героя.
- В песне Михаила Щербакова «Австралия» лирический герой мечтал дать имя «Лямбда» своему так и не заведённому жирафу, муравьеду или кенгуру.
Wikimedia Foundation. 2010.
- Лямбда Большой Медведицы
- Лямблии
Смотреть что такое «Лямбда (символ)» в других словарях:
Лямбда (буква) — Греческий алфавит Α α альфа Β β бета … Википедия
Лямбда — Греческий алфавит Αα Альфа Νν Ню … Википедия
Лямбда-исчисление с типами — Типизированное λ исчисление это типовый формализм, использующий символ абстракции «λ» для записи выражений, обозначающих безымянные функции. Типовые λ исчисления являются фундаментальными примитивными языками программирования, которые… … Википедия
Типизированное лямбда-исчисление — Типизированное λ исчисление это типовый формализм, использующий символ абстракции «λ» для записи выражений, обозначающих безымянные функции. Типовые λ исчисления являются фундаментальными примитивными языками программирования, которые… … Википедия
Альянс гей-активистов — Символ альянса гей активистов Альянс гей активистов (англ. Gay Activists Alliance) правозащитная организация, созданная 21 декабря 1969 года в Нью Йорке … Википедия
Символика ЛГБТ-движения — Портал ЛГБТ ЛГБТ Гомосексуальность · Гендер · Бисексуальность … Википедия
ЛГБТ-символы — Радужный флаг … Википедия
Гордон Фримен — У этого термина существуют и другие значения, см. Фримен. Гордон Фримен англ. Gordon Freeman … Википедия
Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… … Википедия
Λ — Греческий алфавит Α α альфа Β β бета … Википедия
что такое лямбда и L в физике за 8 класс?
Какое количество теплоты выделится при конденсации водяного пара массой 3 кг при температуре 100оС? Удельная теплота парообразования воды равна 2,3∙10 … 6 Дж/кг. 2,3 МДж 6,9МДж 3 МДж 23 МДж
Погрешность измерения тока I специальным амперметром, рассчитанным на токи до Imax=50 мА, определяется только погрешностью считывания и равна ΔI=1 мА. … У вас в распоряжении много таких амперметров. Какое наименьшее количество амперметров нужно использовать, чтобы можно было измерить ток 1 А с наименьшей относительной погрешностью? Чему равна относительная погрешность измерения такого тока? Ответ выразите в процентах, округлите до целого числа.
222. Первую треть пути автомобиль проехал с постоянной скоростью 10 км/ч, вторую треть со скоростно 60 км/ч, третью 30 км/ч. Вычислите среднюю скорост … ь автомобиля на всем пути. (С РЕШЕНИЕМ!!!) Спасибо!!!!!
Извините, я не уловил мысль. Помогите понять, что имелось ввиду. «Как и в случае равномерного движения, можно пользоваться формулой [tex]s \: = ut[/t … ex]для определения пути, пройденного за данный промежуток времени при определённой средней скорости, и формулой [tex]t \: = \frac{s}{u} [/tex]для определения времени, за которое пройден данный путь с данной средней скоростью. Но пользоваться этими формулами можно только для того участка пути и для того промежутка времени, для которых эта средняя скорость была рассчитана. Например, зная среднюю скорость на участке пути AB и зная длину AB, можно определить время, за которое был пройден этот участок, но нельзя найти время, за которое была пройдена половина участка АВ, т.к. средняя скорость на половине участка при неравномерном движении, вообще говоря, не будет равна средней скорости на всём участке.Что имеется ввиду под предпоследним предложением? Объясните просторно и понятно, даю 40 баллов
ПОЖАЛУЙСТА, СРОЧНО! 1). Известно, что нота «до» первой октавы имеет частоту 262 Hz. Также известно, что частоты двух одноимённых нот соседних октав от … личаются ровно в 2 раза. В какой октаве находится звук, порождённые колебаниями, ищображенными на графике? (график приложен) 2). Нарисовать график 3). Определить музыкальный инструмент
Для того, чтобы быстрее остудить кастрюлю с горячей водой, Вам предложили: 1) поставить кастрюлю на лёд, 2) положить лёд на крышку кастрюли. Выберите … один из вариантов и обоснуйте его.
В системе, показанной на рисунке, все нити невесомы и находятся в вертикальном положении. Верхний груз в два раза легче нижнего. Верхняя нить натянута … с силой T1=19 Н, нижняя — с силой T3=10 Н. Определите силу натяжения средней нити T2 .
28. На полиці стоять дві бронзові статуетки, одна з яких є учетверо зменшеною копією другої. У скільки разів відрізняються тиски, що створюють ці стат … уетки на полицю? 29. Знайти максимальну висоту колони, яку можна збудувати з каменю, що має межу міцності на стискання 5 МПа і густину 5000 кг/м3. Вважати g = 10 м/с2. 30. Який тиск чинить вода на нижню поверхню плоскої крижинки площею 20 см2 та масою 500 г?
Визначити омічний опір коливального контуру, індуктивність якого 1 Гн, якщо за час 0,01 с амплітуда напруги на конденсаторі зменшуєтся в 4 рази
Решите пожалуйста 3 задачи
Лямбда зонд в авто — что это такое и как работает
Грамотных автолюбителей такими терминами как ABS, ESP, катализатор, инжектор не удивишь. Расскажем что такое лямбда зонд в машине, для чего нужен и принцип его работы.
Жесткие экологические нормы узаконили применение на автомобилях каталитических нейтрализаторов – устройств, способствующих снижению содержания вредных веществ в выхлопных газах. Катализатор вещь хорошая, но эффективно работает лишь при определенных условиях. Без постоянного контроля состава топливно-воздушной смеси обеспечить катализаторам «долголетие» невозможно – тут приходит на помощь датчик кислорода, он же лямбда зонд.Что это такое
Название датчика лямбда зонд происходит от греческой буквы λ, которая в автомобилестроении обозначает коэффициент избытка воздуха в топливно-воздушной смеси. По сути, это датчик для измерения состава выхлопных газов, чтобы поддерживать оптимальный состав топлива и воздуха. При оптимальном составе этой смеси, когда на 14,7 части воздуха приходится одна часть топлива — лямбда равна 1. Обеспечить такую точность возможно только с помощью систем питания с электронным впрыском топлива и при использовании в цепи обратной связи лямбда-зонда.На некоторых моделях автомобилей имеется еще один лямбда-зонд. Расположен он на выходе катализатора. Этим достигается большая точность приготовления смеси и контролируется эффективность работы катализатора.
Принцип работы
Схема лямбда зонда на основе диоксида циркония, расположенного в выхлопной трубе.1 – твердый электролит ZrO2; 2, 3 – наружный и внутренний электроды; 4 – контакт заземления; 5 – «сигнальный контакт»; 6 – выхлопная труба.
Эффективное измерение остаточного кислорода в отработавших газах лямбда-зонд обеспечивает после разогрева до температуры 300 – 400°С. Только в таких условиях циркониевый электролит приобретает проводимость. Разница в количестве атмосферного кислорода и кислорода в выхлопной трубе ведет к появлению на электродах лямбда-зонда выходного напряжения.
Особенность циркониевого лямбда-зонда — при малых отклонениях состава смеси от идеального напряжение на его выходе изменяется скачком в интервале 0,1 — 0,9 В.
Зависимость напряжения лямбда-зонда от коэффициента избытка воздуха при температуре датчика 500-800°С
Для повышения чувствительности лямбда-зондов при пониженных температурах и после запуска холодного двигателя используют принудительный подогрев. Нагревательный элемент расположен внутри керамического тела датчика и подключается к электросети автомобиля.
Если не работает
В этом случае ЭБУ начинает работать по усредненным параметрам, записанным в его памяти: при этом состав образующейся топливно-воздушной смеси будет отличаться от идеального. В результате появится повышенный расход топлива, неустойчивая работа двигателя на холостом ходу, увеличение содержания СО в выхлопе, снижение мощности. Но машина при этом остается на ходу. Перечень неисправностей лямбда зонда достаточно большой и некоторые из них самодиагностикой автомобиля не фиксируются. Поэтому окончательное решение о замене датчика можно принять только после его тщательной проверки, которую лучше поручить специалистам. Отметим, что попытки замены неисправного устройства имитатором или применение обманок ни к чему не приведут. ЭБУ не распознает «чужие» сигналы и не использует их для коррекции состава приготавливаемой горючей смеси, т.е. попросту «игнорирует».Лямбда зонд – наиболее уязвимый датчик машины. Его ресурс составляет 60 – 120 000 км в зависимости от условий эксплуатации и исправности двигателя. Особенно чувствителен к качеству топлива – после нескольких плохих заправок он «умирает» и больше не работает.
Как проверить и заменить лямбда-зонд
Лямбда-зонд или датчик кислорода — один из важнейших элементов системы выпуска отработавших газов автомобиля. Он проверяет, чтобы в топливной смеси было нужное количество кислорода для эффективного и не наносящего вред окружающей среде сгорания топлива. В этом посте мы вкратце расскажем, что такое лямбда-зонд, как он работает, когда его нужно проверять и как его заменить.
Что такое лямбда-зонд?
Лямбда-зонд расположен внутри выпускного коллектора рядом с двигателем. В автомобилях с системой бортовой самодиагностики EOBD II (европейские автомобили после 2001 г.) в каждом каталитическом нейтрализаторе есть еще один датчик, который проверяет эффективность работы каталитического нейтрализатора. Этот датчик измеряет процент несгоревшего кислорода, проверяя, чтобы его не было слишком много (слишком бедная воздушно-топливная смесь) или слишком мало (слишком богатая воздушно-топливная смесь). Результаты передаются в электронный блок управления двигателем (ECU), который регулирует количество топлива, подаваемого в двигатель, чтобы обеспечить оптимальное соотношение всех компонентов воздушно-топливной смеси. Соотношение компонентов постоянно изменяется в зависимости от различных факторов, включая нагрузки на двигатель (например, при подъеме), ускорение, температуру двигателя и длительность прогрева.
На рынке встречаются лямбда-зонды трех типов. Самые ранние по технологии и самые распространенные — лямбда-зонды на основе оксида циркония. Датчики этого типа есть в разных конфигурациях (с одним, двумя, тремя и четырьмя проводами). Это зависит от того, есть ли в датчике предварительный нагрев или нет. Второй тип — это лямбда-зонды на основе оксида титана. Они тоже бывают четырех видов (см. на рисунке). Датчики этого типа легко отличить, поскольку диаметр резьбы у них меньше, чем у датчиков на основе оксида циркония (визуально у таких датчиков есть желтый и красный провода). И, наконец, третий тип — это так называемый широкополосный лямбда-зонд, который также имеет название «датчик с 5 проводами». Это самый технологически новый и самый точный датчик. Широкополосный лямбда-зонд чаще других используется в новых автомобилях, оснащенных двумя лямбда-зондами в каталитическом нейтрализаторе.
Как работает лямбда-зонд?
Лямбда-зонд используется для регулировки воздушно-топливной смеси. Блок управления двигателем получает данные от датчика и определяет необходимое количество топлива. Это означает, что воздушно-топливная смесь постоянно колеблется между бедной и богатой, позволяя каталитическому нейтрализатору работать максимально эффективно, одновременно обеспечивая сбалансированность воздушно-топливной смеси и уменьшая вредные выбросы.
Если блок управления двигателем не получает данные от датчика, например, когда двигатель только что запустился или датчик неисправен, то блок управления двигателем использует постоянную богатую смесь, что увеличивает расход топлива и токсичность выбросов. Если лямбда-зонд или электропроводка неисправны или изношены, автомобиль будет постоянно работать на богатой смеси, что увеличит расход топлива и подвергнет возможной неисправности другие элементы системы снижения токсичности выбросов, такие как каталитические нейтрализаторы.
Когда нужно проверять лямбда-зонды?
Как правило, лямбда-зонд служит долго, но может также выйти из строя. Если вы заметили один из следующих признаков, разумно будет проверить лямбда-зонд:
- Неравномерность холостого хода
- Жесткий звук работы двигателя
- Высокий расход топлива и низкая эффективность
- Высокая токсичность выбросов
- Черный дым и сажа вокруг выхлопной трубы
- Неисправность лямбда-зонда может иметь различные причины, в том числе:
- Использование герметизирующей пасты с силиконом на элементах выпускной системы перед лямбда-зондами
- Загрязненное топливо или присадки, содержащие свинец
- Двигатель начал сжигать масло, от чего на датчике появляются отложения сажи
- Внешнее загрязнение, например, соль с дорожного покрытия, материалы антикоррозионной защиты или химические вещества
- Срок службы датчика закончился
Как проверить лямбда-зонд на основе оксида циркония
Для этого проверьте напряжение на сигнальном проводе (обычно черного цвета). Как правило, когда двигатель прогрет и работает нормально, измерения должны показывать значение в диапазоне от 0,1 до 0,9 В примерно два раза в секунду при 2000 об/мин.
Если лямбда-зонд с нагревом (три или четыре провода), измерьте сопротивление цепи нагрева датчика при помощи омметра. Цепь нагрева датчика — это два провода одного цвета, обычно белого или черного. Рекомендуется всегда сверяться со схемой электрооборудования автомобиля и проводить измерения при нормальной рабочей температуре двигателя.
Как проверить лямбда-зонд на основе оксида титана (легко определить, поскольку диаметр резьбы меньше, чем у датчика на основе оксида циркония, и всегда присутствует желтый и красный провод)
Измеренное напряжение на сигнальном проводе аналогично напряжению датчика на основе оксида циркония. Низкое напряжение соответствует бедной смеси, а высокое напряжение (около 1 В) соответствует богатой смеси. В некоторых блоках управления двигателем измерения проводятся другим способом, в зависимости от их конструкции.
Как диагностировать широкополосный лямбда-зонд
Для диагностики широкополосного лямбда-зонда вам понадобится сканер или осциллограф.
Как снять и заменить лямбда-зонд
Используйте специальный ключ для облегчения демонтажа лямбда-зонда. Проверьте правильность подбора по каталогу. Похожие элементы могут иметь другое время отклика, т. е. они не одинаковы. Нанесите смазку вокруг резьбы нового датчика, чтобы его легко было установить сейчас и демонтировать позднее. Датчик можно вкрутить на место рукой и затянуть специальным ключом с необходимым усилием, указанным в руководстве по обслуживанию автомобиля.
Смотрите больше с Garage Gurus
Узнайте больше об этой процедуре: специалист Garage Gurus покажет вам точно, как проверить, снять и установить лямбда-зонд.
лямбда (единица измерения)
Время Динамическая вязкость Кинематическая вязкость Давление, механическое напряжение Длина и расстояние Объем данных Скорость передачи данных Количество вещества Концентрация вещества Массовая концентрация Молярная концентрация Крутящий момент Магнитная индукция Магнитный поток Магнитодвижущая сила Напряженность магнитного поля Масса Момент инерции Мощность Объем, емкость Площадь Мощность поглощенной дозы ионизирующего излучения Радиация. Поглощённая доза Радиация. Экспозиционная доза Радиоактивность. Радиоактивный распад Расход массовый Расход молярный Расход объемный Свет, фотометрия Освещенность Сила света Яркость Сила Линейная скорость Угловая скорость (скорость вращения) Ускорение линейное Ускорение угловое Твердость Температура Коэффициент теплоотдачи Термическое сопротивление Удельная теплопроводность Удельная теплота сгорания (по массе) Удельная теплота сгорания топлива (по объему) Удельная теплоёмкость Энергетическая экспозиция, мощность теплового излучения Углы Уровень звука Частота Индуктивность Линейная плотность заряда Напряжённость электрического поля Объемная плотность заряда Поверхностная плотность заряда Поверхностная плотность тока Удельная электрическая проводимость Удельное электрическое сопротивление Электрическая емкость Электрическая проводимость Электрический заряд Электрический ток Электрическое сопротивление Электростатический потенциал и напряжение Энергия и работа Разрешение в компьютерной графике
Что такое лямбда? 11-я буква греческого алфавита
В настоящее время древнегреческий язык утратил многие признаки категории живого языка. Однако до сих пор на страницах школьных учебников, монастырских и церковных книг можно обнаружить древнегреческие слова и символы, используемые в качестве обозначения определенных величин.
За время своего существования древнегреческий язык сыграл большую роль в развитии мировой письменности и предопределил развитие некоторых мировых языков.
Интерес к языку подпитывается нередкими исследованиями алфавита, правил правописания и произношения. В данной статье узнаем, что представляет собой 11-я буква греческого алфавита – лямбда.
Наука и Греция
Алфавит, изобретенный греками, основан на финикийской и древнегреческой азбуке. Его основная особенность заключается в содержании двух типов букв – согласных и гласных. Прошло более двух десятков веков, но алфавит сохранился.
В научной среде греческий алфавит занимает прочное место. Во многих отраслях знаний его буквы можно обнаружить в качестве обозначения некоторых показателей. В математике синус угла обозначается α, используется знак суммы Σ. В астрономии в названии самых крупных звезд ярких созвездий упоминается α (альфа Большого Пса). В биологии при изучении групп особей активно используются понятия омега-самка и альфа-самец. В разделе ядерной физики можно встретиться с понятиями гамма-частицы и альфа-излучения. На страницах учебников химии и физики в качестве постоянных величин фигурируют ρ и λ, которыми обозначают плотность материала и длину волны соответственно. О последней букве расскажем подробнее, то есть ответим на вопросы о том, как пишется лямбда, откуда берет происхождение и где применяется.
Правописание
В первых версиях греческого алфавита внешний вид лямбды отличался от современного представления, хотя общее сходство наблюдалось. Большинство вариаций написания были представлены двумя прямыми линиями, одна из которых незначительно короче другой, а их концы сходятся. В восточном алфавите угол соединения находился в верхнем углу, в западном – в левом нижнем. Впоследствии римляне определились, что угол у них будет внизу слева, а греки решили, что он будет сверху. Последующий вариант содержал в себе вертикальный штрих с наклонной линией, уходящей вправо. В настоящее время букву лямбду прописную пишут согласно последнему описанному варианту, а заглавная выглядит в виде перевернутого знака V. На основе греческой лямбды образовалась латинская лямбда, заглавный символ которой представлен в виде перевернутого Y.
Значение
Лямбда образовалась от буквы финикийского алфавита – ламед. Данному символу в числовой алфавитной системе соответствовало число 30, которое в Греции приписывали справа сверху около вертикальной линии символа. На основании буквы лямбды образовались кириллическая Л и латинская L, а после и производные последних.
Использование прописной буквы
Области применения прописной версии буквы довольно обширны. Раньше символ можно было обнаружить на щитовых узорах спартанских войск. Сейчас он сохранился при обозначении вида частиц в физике, а в математике он представляет собой диагональную матрицу из собственных значений и выступает вводимыми операторами. Такое описание поясняет, что такое лямбда прописная и где она используется.
Строчная лямбда
Строчная буква λ закрепилась и занимает прочное место в физических формулах алгебры, физики, химии, информатики. Удельная теплота плавления, постоянная распада, длина волны, значение Ламе, линейная плотность электрического заряда – это те переменные, которые для простоты заменены этим символом. В биологии изучается вирус фаг лямбда. В информатике функциональные выражения производят в λ-исчислении. В самолетостроении при удлинении крыла вводится буква лямбда. В линейной алгебре найденные корни дифференциального уравнения также обозначаются через нее.
Каждый современный автомобилист знаком с лямбда-зондом, установленным в его транспортном средстве. Прибор измеряет количество образуемого углекислого газа в выхлопе. Оснащение автомобиля данным датчиком произошло по причине того, что власти многих стран заботятся об экологической составляющей и здоровье нации и таким образом регулируют количество выделяемого автомобилем СО2. В случае критичности значения этого показателя, то есть его превышения относительно допустимой величины, в качестве жесткой меры выписывается штраф. Этот датчик также необходим для соблюдения оптимального и экономного расхода топлива.
Связь с культурной сферой
Что такое лямбда в культурной среде? В известном кинофильме «Звездные войны» путешествовал космический корабль класса лямбда. Буква также используется в компьютерных играх под эмблемой «Комплекс Лямбда». По мере развития сюжета игры она применяется в качестве знака противоборства между населением и альянсом. Символ существует и в эмблеме игр, строчная буква лямбда нередко фигурирует в слове Half-Life, в итоге получается Hλlf-Life.
В романтической песне под названием «Австралия» Михаила Щербакова герой мечтал завести кенгуру, муравьеда или жирафа по имени Лямбда.
В 1970 году, когда регулярно стали проходить гей-парады, значок лямбда был впервые использован в Нью-Йорке в качестве обозначения правозащитной организации «Альянс гей-активистов». Через четыре года в Шотландии Международным конгрессом прав геев «λ» признана интернациональным знаком движения за свободу и права людей с нетрадиционной ориентацией.
В настоящее время под знаком лямбды в культуре понимают объединение именно таких людей. Активисты при объяснении, почему именно этот символ выбран ключевым для описания их движения, ссылаются на физическое понятие длины волны. Они видят аналогию с волной, направленной в пространство и бесконечность, и считают, что лямбда является удачным обозначением для описания предстоящих изменений в социуме, в котором лиц нетрадиционной ориентации должны принять.
Сакральное значение
Что такое лямбда в эзотерическом плане? Лямбда заключает в себе принцип органического роста и переход системы на возвышенный уровень. Это подтверждается примерами двух видов прогрессий, ключевых числовых последовательностей древнегреческой математики, где используется знак. В теоретическом плане буква символизирует возрастание числовых рядов, которыми описывается любая система физических явлений. Каждый, рассматривая руны, обозначающие возвышение и означающие звук «Л» или древнееврейский знак ламед, обнаружит сходство с исследуемой буквой.
В данной статье было рассмотрено, что такое лямбда, и где ее можно встретить в окружающем мире.
Источник: Navolne
Кислородные датчики: подробное руководство — Denso
Вы наверняка знаете, что в вашем автомобиле установлен кислородный датчик (или даже два!)… Но зачем он нужен и как он работает? На часто задаваемые вопросы отвечает Стефан Верхоеф (Stefan Verhoef), менеджер DENSO по продукту (кислородные датчики).
B: Какую работу выполняет датчик кислорода в автомобиле?
O: Датчики кислорода (также называемые лямбда-зондами) помогают контролировать расход топлива вашего автомобиля, что способствует снижению объема вредных выбросов. Датчик непрерывно измеряет объем несгоревшего кислорода в выхлопных газах и передает эти данные в электронный блок управления (ЭБУ). На основании этих данных ЭБУ регулирует соотношение топлива и воздуха в топливовоздушной смеси, поступающей в двигатель, что помогает каталитическому нейтрализатору (катализатору) работать более эффективно и уменьшать количество вредных частиц в выхлопных газах.
B: Где находится датчик кислорода?
O: Каждый новый автомобиль и большинство автомобилей, выпущенных после 1980 г., оснащены датчиком кислорода. Обычно датчик установлен в выхлопной трубе перед каталитическим нейтрализатором. Точное местоположение датчика кислорода зависит от типа двигателя (V-образное или рядное расположение цилиндров), а также от марки и модели автомобиля. Для того чтобы определить, где расположен датчик кислорода в вашем автомобиле, обратитесь к руководству по эксплуатации.
В: Почему состав топливовоздушной смеси нужно постоянно регулировать?
O: Соотношение «воздух — топливо» крайне важно, поскольку оно влияет на эффективность работы каталитического нейтрализатора, который снижает содержание оксида углерода (CO), несгоревших углеводородов (CH) и оксида азота (NOx) в выхлопных газах. Для его эффективной работы необходимо наличие определенного количества кислорода в выхлопных газах. Датчик кислорода помогает ЭБУ определить точное соотношение «воздух — топливо» в смеси, поступающей в двигатель, передавая в ЭБУ быстроизменяющийся сигнал напряжения, который меняется в соответствии с содержанием кислорода в смеси: слишком высокого (бедная смесь) или слишком низкого (богатая смесь). ЭБУ реагирует на сигнал и изменяет состав топливовоздушной смеси, поступающей в двигатель. Когда смесь слишком богатая, впрыск топлива уменьшается. Когда смесь слишком бедная — увеличивается. Оптимальное соотношение «воздух — топливо» обеспечивает полное сгорание топлива и использует почти весь кислород из воздуха. Оставшийся кислород вступает в химическую реакцию с токсичными газами, в результате которой из нейтрализатора выходят уже безвредные газы.
В: Почему на некоторых автомобилях устанавливаются два кислородных датчика?
O: Многие современные автомобили дополнительно кроме датчика кислорода, расположенного перед катализатором, оснащаются и вторым датчиком, установленным после него. Первый датчик является основным и помогает электронному блоку управления регулировать состав топливовоздушной смеси. Второй датчик, установленный после катализатора, контролирует эффективность работы катализатора, измеряя содержание кислорода в выхлопных газах на выходе. Если весь кислород поглощается химической реакцией, происходящей между кислородом и вредными веществами, то датчик выдает сигнал высокого напряжения. Это означает, что катализатор работает нормально. По мере износа каталитического нейтрализатора некоторое количество вредных газов и кислорода перестает участвовать в реакции и выходит из него без изменений, что отражается на сигнале напряжения. Когда сигналы станут одинаковыми, это будет указывать на выход из строя катализатора.
В: Какие бывают датчики?
О: Существует три основных типа лямбда-сенсоров: циркониевые датчики, датчики соотношения «воздух — топливо» и титановые датчики. Все они выполняют одни и те же функции, но используют при этом различные способы определения соотношения «воздух — топливо» и разные исходящие сигналы для передачи результатов измерений.
Наибольшее распространение получила технология на основе использования циркониево-оксидных датчиков (как цилиндрического, так и плоского типов). Эти датчики могут определять только относительное значение коэффициента: выше или ниже соотношение «топливо — воздух» коэффициента лямбда 1.00 (идеальное стехиометрическое соотношение). В ответ ЭБУ двигателя постепенно изменяет количество впрыскиваемого топлива до тех пор, пока датчик не начнет показывать, что соотношение изменилось на противоположное. С этого момента ЭБУ опять начинает корректировать подачу топлива в другом направлении. Этот способ обеспечивает медленное и непрекращающееся «плавание» вокруг коэффициента лямбда 1.00, не позволяя при этом поддерживать точный коэффициент 1.00. В итоге в изменяющихся условиях, таких как резкое ускорение или торможение, в системах с циркониево-оксидным датчиком подается недостаточное или избыточное количество топлива, что приводит к снижению эффективности каталитического нейтрализатора.
Датчик соотношения «воздух — топливо» показывает точное соотношение топлива и воздуха в смеси. Это означает, что ЭБУ двигателя точно знает, насколько это соотношение отличается от коэффициента лямбда 1.00 и, соответственно, насколько требуется корректировать подачу топлива, что позволяет ЭБУ изменять количество впрыскиваемого топлива и получать коэффициент лямбда 1.00 практически мгновенно.
Датчики соотношения «воздух — топливо» (цилиндрические и плоские) впервые были разработаны DENSO для того, чтобы обеспечить соответствие автомобилей строгим стандартам токсичности выбросов. Эти датчики более чувствительны и эффективны по сравнению с циркониево-оксидными датчиками. Датчики соотношения «воздух — топливо» передают линейный электронный сигнал о точном соотношении воздуха и топлива в смеси. На основании значения полученного сигнала ЭБУ анализирует отклонение соотношения «воздух — топливо» от стехиометрического (то есть Лямбда 1) и корректирует впрыск топлива. Это позволяет ЭБУ предельно точно корректировать количество впрыскиваемого топлива, моментально достигая стехиометрического соотношения воздуха и топлива в смеси и поддерживая его. Системы, использующие датчики соотношения «воздух — топливо», минимизируют возможность подачи недостаточного или избыточного количества топлива, что ведет к уменьшению количества вредных выбросов в атмосферу, снижению расхода топлива, лучшей управляемости автомобиля.
Титановые датчики во многом похожи на циркониево-оксидные датчики, но титановым датчикам для работы не требуется атмосферный воздух. Таким образом, титановые датчики являются оптимальным решением для автомобилей, которым необходимо пересекать глубокий брод, например полноприводных внедорожников, так как титановые датчики способны работать при погружении в воду. Еще одним отличием титановых датчиков от других является передаваемый ими сигнал, который зависит от электрического сопротивления титанового элемента, а не от напряжения или силы тока. С учетом данных особенностей титановые датчики могут быть заменены только аналогичными и другие типы лямбда-зондов не могут быть использованы.
В: Чем отличаются специальные и универсальные датчики?
O: Эти датчики имеют разные способы установки. Специальные датчики уже имеют контактный разъем в комплекте и готовы к установке. Универсальные датчики могут не комплектоваться разъемом, поэтому нужно использовать разъем старого датчика.
B: Что произойдет, если выйдет из строя датчик кислорода?
O: В случае выхода из строя датчика кислорода ЭБУ не получит сигнала о соотношении топлива и воздуха в смеси, поэтому он будет задавать количество подачи топлива произвольно. Это может привести к менее эффективному использованию топлива и, как следствие, увеличению его расхода. Это также может стать причиной снижения эффективности катализатора и повышения уровня токсичности выбросов.
B: Как часто необходимо менять датчик кислорода?
O: DENSO рекомендует заменять датчик согласно указаниям автопроизводителя. Тем не менее следует проверять эффективность работы датчика кислорода при каждом техобслуживании автомобиля. Для двигателей с длительным сроком эксплуатации или при наличии признаков повышенного расхода масла интервалы между заменами датчика следует сократить.
Ассортимент кислородных датчиков
• 412 каталожных номеров покрывают 5394 применения, что соответствует 68 % европейского автопарка.
• Кислородные датчики с подогревом и без (переключаемого типа), датчики соотношения «воздух — топливо» (линейного типа), датчики обедненной смеси и титановые датчики; двух типов: универсальные и специальные.
• Регулирующие датчики (устанавливаемые перед катализатором) и диагностические (устанавливаемые после катализатора).
• Лазерная сварка и многоэтапный контроль гарантируют точное соответствие всех характеристик спецификациям оригинального оборудования, что позволяет обеспечить эффективность работы и надежность при длительной эксплуатации.
В DENSO решили проблему качества топлива!
Вы знаете о том, что некачественное или загрязненное топливо может сократить срок службы и ухудшить эффективность работы кислородного датчика? Топливо может быть загрязнено присадками для моторных масел, присадками для бензина, герметиком на деталях двигателя и нефтяными отложениями после десульфуризации. При нагреве свыше 700 °C загрязненное топливо выделяет вредные для датчика пары. Они влияют на работу датчика, образуя отложения или разрушая его электроды, что является распространенной причиной выхода датчика из строя. DENSO предлагает решение этой проблемы: керамический элемент датчиков DENSO покрыт уникальным защитным слоем оксида алюминия, который защищает датчик от некачественного топлива, продлевая срок его службы и сохраняя его рабочие характеристики на необходимом уровне.
Дополнительная информация
Более подробную информацию об ассортименте кислородных датчиков DENSO можно найти в разделе Кислородные датчики, в системе TecDoc или у представителя DENSO.
Лямбда как символ прав геев / лесбиянок
Энциклопедия гомосексуализма имеет следующую запись о Лямбда :В начале 1970-х, после восстания Стоунволл, Нью-Йорк Альянс городских гей-активистов выбрал греческую букву лямбда, которая член Том Дёрр предложил с точки зрения научного использования обозначить кинетический потенциал, как его эмблема. (Любопытно, что в каком-то древнегреческом граффити появляется заглавная лямбда со значением феллате, представляет собой первую букву либо lambazein , либо laikazein .) Из-за воинственных ассоциаций лямбда-символ распространился По всему миру. Иногда появляется в виде амулета. повесить на шею как тонкий знак узнавания, который может пройти среди ничего не подозревающих гетеросексуалов просто украшение. Такие эмблемы могут отражают тенденцию среди гомосексуалистов к трайбализации как отдельный сегмент общества, воспринимаемый как квазиэтническая группа.
В книге «Человеком больше, чем ты когда-либо» Джозеф П.Гудвин (Университет Индианы Press: Bloomington, 1989) на странице 26 Гудвин пишет:
. Строчная греческая буква лямбда имеет несколько значений. Первый из все это представляет собой весы, а значит, и баланс. Греки считали баланс, чтобы быть постоянной корректировкой, необходимой для противостояния силы от преодоления друг друга. Крючок внизу справа отрезок лямбды представляет собой действие, необходимое для достижения и поддержания баланс. Для спартанцев лямбда означала единство. Они чувствовали, что общество никогда не должно посягать на чью-либо индивидуальность и свободу.Римляне приняли букву, чтобы обозначить « свет знания. пролить во тьму невежества. «Наконец, в физике символ обозначает и изменение энергии. Таким образом, лямбда со всеми ее значениями является особенно подходящим символом освободительного движения геев, которое энергично ищет баланс в обществе и стремится к просвещение для обеспечения равных прав для гомосексуалистов.
Что означает LAMBDA? Бесплатный словарь
Основная цель исследования фазы 2 — оценить безопасность, переносимость и эффективность лечения двумя уровнями доз монотерапии лямбда.Методология исследования состоит из изучения литературы с акцентом на стандарт C ++ 14, который позволяет реализовать лямбда-исчисление. Братство обвиняет группу «неаффилированных студентов-геев» в Калифорнийском университете в Санта-Крузе в конференции 2005 года, посвященной проблемам геев и столкнулись с представителями Delta Lambda Phi, что побудило студентов Санта-Крус сформировать Delta Lambda Psi в своем кампусе. Можно сказать, что использование закрытых лямбда-терминов для объяснения того, что говорил Фреге, анахронично.Доминик Ветри, профессор юридического факультета Университета Орегона, специализирующийся на правах геев, говорит, что Lambda особенно хороша в отборе дел, которые впоследствии устанавливают положительные правовые прецеденты, хотя такие частицы, известные как лямбды, были замечены в ядер раньше, это первый раз, когда ядра с парами этих экзотических частиц были созданы дюжиной, говорят ученые. Плоткин разработал лямбда-исчисление по значению [Lambda.sub.v], чтобы смоделировать некоторые рабочие свойства языки программирования, особенно вызовы процедур.Дулан впоследствии стал одним из основателей Gamma Rho Lambda, первого женского общества лесбиянок ASU [см. Врезку]. Кэтин немедленно позвонила юристам из Фонда правовой защиты и образования Lambda в Нью-Йорке, которые начали разрабатывать стратегию для этого дела. о моде или кулинарии — группа по защите прав геев Lambda Legal Defense and Education Fund хочет, чтобы мир знал, что геи хороши в отношениях, в ответ на Неделю защиты гомосексуальных браков, одобренную президентом Бушем в октябре, Lambda организовала «Queer Eye for The Straight Couple », форум, на котором гетеросексуальные пары просят совета по электронной почте от однополых пар, которые уже давно вступили в брак.Фонд правовой защиты и образования Lambda из Нью-Йорка подал жалобы на нарушение этики как против Мура, так и против Вилкерсона.Определение лямбда по Merriam-Webster
баранина · да | \ ˈLam-də \2 : незаряженная нестабильная элементарная частица, масса которой в 2183 раз больше массы электрона, и которая обычно распадается на нуклон и пион.
Лямбда-символи его значение — греческий лямбда-знак и его использование
Сегодня, в следующей статье из нашей серии о греческих символах, мы исследуем лямбда-символ.Что означает символ лямбда? Что это означает и как используется в науке? Прочтите ответы на эти вопросы в нашем посте о греческом лямбда-символе , его значениях и происхождении.
Лямбда (произносится: лам-дух) — одиннадцатый знак в системе греческих алфавитов. Ему предшествует буква каппа, а за ней — буква мю.
Как и в различных греческих алфавитах, таких как бета, эпсилон, тета и т. Д., Лямбда чувствительна к регистру. Однако, хотя для представления лямбда в верхнем и нижнем регистрах используются разные символы, вы заметите, что два знака лямбда очень похожи друг на друга.Они показаны ниже.
- Символ, используемый для обозначения лямбда в верхнем регистре, — Λ
- Символ, используемый для обозначения лямбда в нижнем регистре, — это λ
В системе греческих цифр (с использованием разных алфавитов для представления разных чисел) лямбда соответствует числовому значению 30.
Лямбда-символ, одиннадцатая буква греческого алфавита — © Niakris6, ShutterStockВ индоевропейских языках, включая древнегреческий и современный, лямбда-символ используется для обозначения звука «l».
Лямбда-символ используется в различных областях науки и техники. Он используется в математике, физике, химии и даже космологии для иллюстрации различных идей и концепций.
Но прежде чем мы подробно обсудим использование лямбда-буквы, давайте взглянем на историю этого символа.
Происхождение символа лямбдаИсторики считают, что символ лямбда был адаптирован из финикийского алфавита, называемого «ламед» или «ламед».’
Ламед / ламед — двенадцатая буква в семитской системе абджад — типе доисторических систем письма, в которых глифы или грубые рисунки использовались для обозначения разных согласных. Ламед выглядел как слегка наклоненная версия латинского алфавита «L», который мы используем в современном английском языке. Если вы повернете его на 90 градусов по часовой стрелке так, чтобы две стороны были направлены вниз и в противоположную сторону, символ будет соответствовать лямбда-букве, используемой в верхнем регистре.
Говорят, что хромой знак был вдохновлен побуждением.Рог был типом пастырского посоха, который традиционно использовался для ведения домашнего скота на поле (например, для загона крупного рогатого скота или продольных быков, которые вспахивали землю).
Однако другие семиотики предполагают, что лямбда-символ в греческом алфавите происходит от слова «Лам» на древнеарабском языке. Вероятно, это связано с тем, что лам очень похож на перевернутую букву «Л» и, следовательно, финикийский язык также имеет ламинат.
Интересно, что вариации лямбда-символа можно найти и в других древних языках.Например, в кириллице одиннадцатая буква Эль (обозначается символом Л) считается производной от греческой лямбды. Кроме того, римская буква L также была адаптирована из лямбда-символа.
Значение и использование символа лямбда — как знак лямбда используется в науке?Лямбда-символ использовался для различных целей в течение очень долгого времени. Он имеет разные значения для математиков, ученых, инженеров, астрологов и им подобных.
Проще говоря, точное значение лямбда-символа зависит от контекста, в котором он используется.
Некоторые из наиболее распространенных вариантов использования лямбда-символа указаны ниже.
Строчный символ лямбда и его использованиеВ современной физике или даже математике и технике в этом отношении лямбда в нижнем регистре официально признана сокращенным обозначением длины волны, т. Е. Соответствует кратчайшему расстоянию между двумя последовательными точками на волны, которые находятся в фазе друг с другом.
Может также использоваться для обозначения линейной плотности заряда. В ядерных исследованиях маленький лямбда-символ относится к константе радиоактивного или экспоненциального распада, тогда как в микроэлектронике лямбда относится к модуляции длины канала в полевых МОП-транзисторах (тип транзисторных устройств).
Лямбда-частица, иногда также называемая лямбда-гипероном, — это термин, используемый в физике элементарных частиц. Это соответствует незаряженной частице, имеющей массу, эквивалентную массе 2 183 электронов, объединенных вместе.
Лямбда-символ также используется в статистике. Это один из основных параметров для расчета распределения Пуассона, где он указывает вероятность наступления определенного события в заданный период времени.
Строчная буква лямбда — это символ скрытой теплоты в химии.
Вы можете быть удивлены, узнав, что знак лямбда также используется в криминологии. Он показывает общее количество раз, когда человек совершал правонарушение.
С 1970 года знак лямбда ассоциируется с движением за гражданские права геев.Его использование для обозначения прав сообщества геев и лесбиянок было впервые популяризировано Томом Дорром, который выбрал лямбду в качестве символа Альянса гей-активистов в Нью-Йорке.
Вы можете встретить людей, носящих лямбда-символ на подвесках и браслетах с подвесками, чтобы выразить солидарность или идентифицировать себя как членов ЛГБТ-сообщества.
Лямбда-символ в верхнем регистре и его использованиеЗнак лямбда в верхнем регистре изначально отображался на щитах спартанских солдат.С тех пор это было связано с военным правлением. Вы можете увидеть заглавную лямбду, нарисованную на транспортных средствах НАТО, хотя иногда вместо этого используется перевернутый символ.
Этот знак лямбда также отображает собственные значения или собственный вектор в линейной алгебре. Химики используют символы лямбда и дельта, чтобы указать, что две сложные молекулы изомеры по своей природе. Он также используется для обозначения проводимости раствора электролита.
Как ввести символ лямбда в WordУчитывая его широкое использование в академических кругах, весьма вероятно, что вам, возможно, придется вводить символ лямбда в Word при выполнении задания или написании статьи.
Это можно сделать двумя способами. Чтобы добавить знак лямбда в документы Word, выполните указанные ниже действия.
Метод 1. Использование текста в Юникоде- Поместите курсор в то место, куда вы хотите вставить знак лямбда.
- Введите буквенно-цифровое слово 039B (для лямбда в верхнем регистре) или 03BB (для лямбда в нижнем регистре).
- Теперь нажмите Alt + X
- Код автоматически изменится на соответствующий знак лямбда.
- Поместите курсор в то место, куда вы хотите вставить знак лямбда.
- На главной панели инструментов в MS Word выберите опцию Insert рядом с кнопкой «Домой».
- Перейдите к значку Symbols и щелкните по нему. Если вы не видите лямбда-сигнала в списке, который сразу отображается, щелкните More Symbol ниже.
- Откроется диалоговое окно. На панели «Подмножество» выберите «Греческий и коптский» из предложенных вариантов.
- Выберите нужный знак лямбда из значков, отображаемых ниже, дважды щелкнув его.
- Закройте диалоговое окно.
Ознакомьтесь с другими нашими статьями о греческих символах, если вам понравился наш пост о лямбда-символе / знаке и его значении. У нас есть раздел с очень большими символами и значениями, к которому вы можете перейти через верхнее меню. Спасибо, что прочитали Mythologian!
Определение лямбда
Что такое лямбда?
В торговле опционами лямбда — это греческая буква, присвоенная переменной, которая сообщает коэффициент кредитного плеча, предоставляемого опционом при изменении цены этого опциона.Эту меру также называют коэффициентом левериджа или, в некоторых странах, эффективным заемным путем.
Ключевые выводы
- Лямбда-значения определяют величину кредитного плеча, используемого для опциона.
- В финансовой литературе считается одним из «малых греков». Эту меру обычно находят при работе с дельтой.
- Показатель чувствителен к изменениям волатильности, но рассчитывается не так, как Vega.
Понимание лямбды
Лямбда сообщает, какой коэффициент кредитного плеча предоставит опцион при изменении цены базового актива на 1%.Лямбда — это измерение, которое считается одним из «малых греков», и оно широко не используется, потому что большую часть того, что оно идентифицирует, можно обнаружить, используя комбинацию других вариантов греков. Однако информация, которую он предоставляет, полезна для понимания того, какое кредитное плечо трейдер использует при торговле опционами. Если кредитное плечо является ключевым фактором для конкретной сделки, лямбда становится полезным показателем.
Полное уравнение лямбды выглядит следующим образом:
λ знак равно ∂ C / C ∂ S / S знак равно S C ∂ C ∂ S знак равно ∂ пер C ∂ пер S куда: C знак равно Цена опции S знак равно Цена базовой ценной бумаги ∂ знак равно Изменять \ begin {align} & \ lambda = \ frac {\ partial C / C} {\ partial S / S} = \ frac {S} {C} \ frac {\ partial C} {\ partial S} = \ frac { \ partial \ text {ln} C} {\ partial \ text {ln} S} \\ & \ textbf {где:} \\ & C = \ text {Цена опциона} \\ & S = \ text {Цена опциона базовая безопасность} \\ & \ partial = \ text {Изменить} \ end {выровнено} Λ = ∂S / S∂C / C = CS ∂S∂C = ∂ ln S∂ ln C, где: C = цена опциона S = цена базовой ценной бумаги ∂ = изменение
Упрощенный расчет лямбда сводится к значению дельты, умноженному на отношение цены акции к цене опциона.Дельта является одним из стандартных греков и представляет собой сумму, на которую ожидается изменение цены опциона, если базовый актив изменится на один доллар в цене.
Лямбда в действии
Предполагая, что акция торгуется на уровне 100 долларов, а опцион колл «при деньгах» со страйк-ценой 100 долларов и торгуется на 2,10 доллара, а также предполагая, что показатель дельты равен 0,58, тогда значение лямбда можно рассчитать с помощью следующего уравнения:
Лямбда знак равно 0,58 × ( 100 2,10 ) знак равно 27,62 \ text {Lambda} = 0.58 \ times \ left (\ frac {100} {2.10} \ right) = 27,62 Лямбда = 0,58 × (2,10100) = 27,62
Это значение лямбда указывает на сопоставимое кредитное плечо опциона по сравнению с акцией. Следовательно, увеличение стоимости пакетов акций на 1% приведет к увеличению на 27,62% той же долларовой стоимости, содержащейся в опционе.
Подумайте, что происходит с долей в 1000 долларов в этой акции стоимостью 100 долларов. Трейдер владеет 10 акциями, и если акция в этом примере вырастет на 1% (со 100 до 101 доллара за акцию), доля трейдера вырастет в цене на 10 долларов до 1010 долларов.Но если трейдер держал аналогичную долю в опционе на сумму 1050 долларов (пять контрактов по 2,10 доллара), итоговое увеличение стоимости этой доли будет сильно отличаться. Поскольку стоимость опциона увеличится с 2,10 доллара до 2,68 доллара (на основе значения дельты), то стоимость 1050 долларов, содержащихся в этих пяти опционных контрактах, вырастет до 1340 долларов, что на 27,62% больше.
Лямбда и волатильность
В некоторых случаях в академических статьях лямбда и вега приравниваются. Путаница, вызванная этим, предполагает, что вычисления их формул одинаковы, но это неверно.Однако, поскольку влияние подразумеваемой волатильности на цены опционов измеряется с помощью веги, и поскольку это влияние отражается в изменении значений дельты, лямбда и вегета часто указывают на одинаковые или похожие результаты в изменении цен.
Например, значение лямбды тем выше, чем дальше находится срок действия опциона, и уменьшается по мере приближения даты истечения срока. Это наблюдение верно и для веги. Лямбда изменяется при значительном движении цены или повышенной волатильности базового актива, поскольку это значение отражается в цене опционов.Если цена опциона повышается по мере роста волатильности, то его лямбда-значение будет уменьшаться, поскольку большая стоимость опциона означает уменьшение кредитного плеча.
Лямбда логотип | Энциклопедия Half-Life
| Эта статья еще не была доведена до более высокого стандарта качества. |
| Вы можете помочь, исправив орфографию и грамматику, удалив фактические ошибки, переписав разделы, чтобы они были четкими и краткими, и переместив некоторые элементы, когда это необходимо.Посетите наш Cleanup Project для получения более подробной информации и, пожалуйста, уведомите администраторов перед удалением этого шаблона. |
Логотип Lambda, взятый из логотипа Lambda Complex.
Логотип Lambda ( λ ) — это символ, часто встречающийся во вселенной Half-Life . Он представляет собой греческую букву «Λ» (строчная буква «λ») и представляет собой константу радиоактивного распада, используемую в уравнении периода полураспада. «Λ» — 11-я буква греческого алфавита.
Матчи
Half-Life сюжетная линияЛоготип комплекса «Лямбда-реактор».
В оригинальном Half-Life , костюм HEV, товарный знак Гордона Фримена, был отмечен логотипом Lambda на груди, как и другие костюмы HEV. Часть Черной Мезы, посвященная исследованиям телепортации, также называлась «Лямбда-комплекс», и ее можно было узнать по логотипу Лямбда на входе.
Half-Life 2 сюжетная аркаЛоготип, используемый для обозначения области Сопротивления или тайника с оружием Сопротивления.
Лямбда-логотип Гордона на его костюме и работа Лямбда-комплекса стали чем-то вроде легендарного символа товарного знака Сопротивления Альянсу, ссылаясь на действия Гордона Фримена во время инцидента в Черной Мезе. Повстанцы красят его возле тайников с припасами, баз и убежищ сопротивления, таких как Белый лес, Восточная Черная Меза и Лаборатория Кляйнера. Бойцы Сопротивления также носят этот символ на своих повязках. Они также используются для идентификации дружественного Сопротивлению оружия Комбинации, такого как Хоппер Мины и Сторожевые турели, которые можно увидеть по краске, нанесенной на них после перепрограммирования.
Логотип Lambda можно увидеть на некоторых транспортных средствах, например на оранжевом фургоне, который Дог бросает в Цитадель в первом эпизоде, хотя на любом транспортном средстве типа фургон, независимо от цвета, есть логотип Lambda под правым задним фонарем. Его также можно увидеть в граффити и пропагандистских плакатах в Сити 17. Собака держит его в спине. Огромный логотип Lambda также можно найти на люке ракеты, а меньший — на кнопке, используемой для ее запуска в Белом лесу.
Интересные факты
- В ядерной физике лямбда используется в уравнении периода полураспада для представления константы распада (т.е.е. скорость радиоактивного распада в элементе).
- Лямбда также используется для обозначения длины волны звука или излучения света.
- Лямбда используется в некоторых языках программирования и частях математики для обозначения функции.
- Логотип Lambda можно найти как пасхальное яйцо в обеих играх серии Left 4 Dead . В Left 4 Dead Фрэнсис выбрил себе это волосы. В Left 4 Dead 2 зомби-зарядник висит на столбах в позе, подобной лямбда-логотипу.
Галерея
Внешние ссылки
Лямбда-исчисление | Блестящая вики по математике и науке
α \ alphaα Эквивалентность:
Эквивалентностьα \ alphaα утверждает, что любая связанная переменная является заполнителем и может быть заменена ( переименована в ) другой переменной при условии отсутствия конфликтов.
(λy1.y1) (λx. (xx)) (\ lambda y_1. y_1) \ big (\ lambda x. (x x) \ big) (λy1 .y1) (λx. (xx)) λy1.(λx. (xx)) \ лямбда y_1. \ big (\ lambda x. (x x) \ big) λy1. (λx. (xx)) λz. (λy. (z (+ yz))) \ lambda z. \ Big (\ lambda y. \ Big (z (+ y z) \ big) \ Big) λz. (Λy. (Z (+ yz))) (λy1.y1) x (\ lambda y_1. y_1) x (λy1 .y1) xλx.x \ лямбда x. xλx.x и λy.y \ lambda y. yλy.y α \ alphaα эквивалентны.
Однако это не всегда так просто.Рассмотрим выражение λx. (Λx.x) \ lambda x. (\ lambda x. x) λx. (λx.x). Это α \ alphaα эквивалентно λy. (Λx.x) \ lambda y. (\ lambda x. x) λy. (λx.x), но не λy. (λx.y) \ lambda y. (\ lambda x. y) λy. (λx.y).
Кроме того, преобразование α \ alphaα не может привести к тому, что переменная будет захвачена другим примером. Например, λx. (Λy.x) ≠ αλy. (Λy.y). \ лямбда х. (\ lambda y. x) \ neq _ {\ alpha} \ lambda y. (\ лямбда у. у). λx. (λy.x) = α λy. (λy.y). Преобразование α \ alphaα происходит не только в лямбда-исчислении.n_ {j = m} f (j) ∑i = mn f (i) = ∑j = mn f (j). Это тоже то же самое.
Какое из следующих выражений можно упростить до
(λx.х) х? (\ лямбда х.х) х? (λx.x) х?
Вы знаете, что такое λ \ lambdaλ исчисление?
Давайте продвинемся вперед и формализуем эту идею.
Для любого выражения M \ mathscr {M} M и любого y \ mathscr {y} y таких, что
- x = y, x = y, x = y или
- x \ mathscr {x} x и y \ mathscr {y} y не связаны в M, \ mathscr {M}, M, а y \ mathscr {y} y не свободен в M, \ mathscr {M}, М,
λx.M = αλy. (M {y / x}).\ lambda \ mathscr {x}. \ mathscr {M} = _ \ alpha \ lambda \ mathscr {y}. \ big (\ mathscr {M} \ left \ {\ mathscr {y} / \ mathscr {x} \ right \} \ big). λx.M = α λy. (M {y / x}).
То есть все экземпляры x \ mathscr {x} x будут заменены на y \ mathscr {y} y.
Если бы M {y / x} \ mathscr {M} \ left \ {\ mathscr {y} / \ mathscr {x} \ right \} M {y / x} было обобщено, нужно было бы определить M { u / x} \ mathscr {M} \ left \ {u / \ mathscr {x} \ right \} M {u / x} для всех λ \ lambda λ-функций uu u. Но замена всех экземпляров x \ mathscr {x} x на uuu не имеет смысла, поскольку λu.M {u / x} \ lambda u. \ mathscr {M} \ left \ {u / \ mathscr {x} \ right \} λu.M {u / x} не может быть определено (в случае, если uuu не является переменной).
Таким образом, может возникнуть соблазн заменить все вхождения x \ mathscr {x} x на uuu , кроме , непосредственно следующих за λ \ lambdaλ
(\ Big ((т.е. (λx.M) {u / x} = αλx . (M {u / x})). (\ Lambda x. \ Mathscr {M}) \ left \ {u / \ mathscr {x} \ right \} = _ \ alpha \ lambda x. \ Big (\ mathscr {M} \ left \ {u / \ mathscr {x} \ right \} \ big) \ Big). (Λx.M) {u / x} = α λx. (M {u / x})).
Но в этом случае, если u = yu = \ mathscr {y} u = y, тот факт, что y \ mathscr {y} y не встречается в M \ mathscr {M} M, больше не достаточен, как показано в следующий пример:
λx.(λx⋅x) ⏟M {y / x} ≠ αλx. (λx⋅y) λx. (λx⋅y) ⏟M {y / x} ≠ αλx. (λx⋅x). \ lambda x. \ underbrace {(\ lambda x · x)} _ {\ mathscr {M}} \ left \ {\ mathscr {y} / \ mathscr {x} \ right \} \ neq_ \ alpha \ lambda x. (\ лямбда х · у) \\ \ lambda x. \ underbrace {(\ lambda x · y)} _ {\ mathscr {M}} \ left \ {\ mathscr {y} / \ mathscr {x} \ right \} \ neq_ \ alpha \ lambda x. (\ лямбда х · х). λx.M (λx⋅x) {y / x} = α λx. (λx⋅y) λx.M (λx⋅y) {y / x} = α λx. ( λx⋅x).
Вот почему мы должны убедиться, что
- x = y, x = y, x = y или
- x \ mathscr {x} x и y \ mathscr {y} y не связаны в M \ mathscr {M} M, а y \ mathscr {y} y не является свободным в M.\ mathscr {M} .M.
β \ betaβ Уменьшение:
β \ betaβ сокращение является центральной идеей исчисления λ \ lambdaλ. Он рассказывает нам, как работают упрощения абстракций.
Давайте применим тождественную функцию (λx.x) (\ lambda xx) (λx.x) к свободной переменной, скажем, y: y: y: (λx.x) y. (\ Lambda xx) y. (Λx. х) у. Следующее, что должно произойти, это то, что функция должна подействовать на аргумент , что и есть β \ betaβ: (λx.x) y = βy. (\ lambda x.{\ mathrm {\ beta}}} (\ lambda y .y). (λx.x) (λy.y) ⟶β (λy.y). Это просто, функция идентичности, применяемая к функции идентичности, является самой функцией идентичности.
Здесь следует упомянуть важную особенность: уменьшение β \ betaβ не может привести к захвату свободной переменной другой абстракцией.
ххх ггг λx.х \ лямбда x.xλx.x Ни один из вышеперечисленных(λx.λy. (xy)) (λx.λy. (xy)) \ big (\ lambda x. \ lambda y. (xy) \ big) \ big (\ lambda x. \ lambda y. (xy) \ большой) (λx.λy. (xy)) (λx.λy. (xy))
Наш первый шаг — вставить второе выражение как xxx в первое.Но делаем ли мы это так:
(λy ((λx.λy. (xy)) y))? \ bigg (\ lambda y \ Big (\ big (\ lambda x. \ lambda y. (x y) \ big) y \ Big) \ bigg)? (λy ((λx.λy. (xy)) y))?
Нет! Потому что мы ошибаемся между исходными yyy и yyy второй абстракции. Если пойти дальше по неверному корню, получим:
λy.λy. (гг). \ lambda y. \ lambda y. (г г). λy.λy. (yy).
Это правильный путь:
(λx.λy. (xy)) (λx.λy. (xy)) ⟶βλy ′. ((Λx.λy.{\ mathrm {\ beta}}} \ lambda у ‘. \ lambda y. (у-у). (λx.λy. (xy)) (λx.λy. (xy)) ⟶βλy ′. ((λx.λy. (xy)) y ′) ⟶βλy′.λy. (y′y).
Какой из вариантов можно упростить для следующего выражения λ \ lambdaλ?
(λx. (Λx.x)) y (\ lambda x. \ Big (\ lambda x.x) \ big) y (λx. (Λx.x)) y
Вдохновение: λ \ lambdaλ исчисление
Давайте формализуем это с помощью понятия подстановки (избегания захвата) свободных переменных.
Замена без захвата N \ mathscr {N} N для свободных вхождений x \ mathscr {x} x в M \ mathscr {M} M — M [N / x] \ mathscr {M} [\ mathscr {N } / \ mathscr {x}] M [N / x] в символах — определяется следующим образом:
x [N / x] ≡Ny [N / x] ≡y (x ≠ y) (MP) [N / x] ≡ (M [N / x]) (P [N / x]) (λx.M ) [N / x] ≡ (λx.M) (λy.M) [N / x] ≡λy. (M [N / x]) (x ≠ y, y не является свободной переменной в N) (λy. M) [N / x] ≡λy ′. (M {y ′ / y} [N / x]). (X ≠ y, y — свободная переменная в N, y ′ — новая переменная) \ begin {align } \ mathscr {x} [\ mathscr {N} / x] & \ Equiv \ mathscr {N} \\\\ \ mathscr {y} [\ mathscr {N} / x] & \ Equiv \ mathscr {y} \ qquad (\ mathscr {x} \ neq \ mathscr {y}) \\\\ (\ mathscr {MP}) [\ mathscr {N} / \ mathscr {x}] & \ Equiv \ big (\ mathscr {M} [\ mathscr {N} / \ mathscr {x}] \ big) \ big ( \ mathscr {P} [\ mathscr {N} / \ mathscr {x}] \ big) \\\\ (\ лямбда \ mathscr {х}.\ mathscr {M}) [\ mathscr {N} / \ mathscr {x}] & \ Equiv (\ lambda \ mathscr {x}. \ mathscr {M}) \\\\ (\ lambda \ mathscr {y}. \ mathscr {M}) [\ mathscr {N} / \ mathscr {x}] & \ Equiv \ lambda \ mathscr {y}. \ big (\ mathscr {M} [\ mathscr {N} / \ mathscr {x}] \ big) && (\ mathscr {x} \ neq \ mathscr {y}, \ mathscr {y} \ text {не является свободная переменная в} \ mathscr {N}) \\\\ (\ lambda \ mathscr {y}. \ mathscr {M}) [\ mathscr {N} / \ mathscr {x}] & \ Equiv \ lambda \ mathscr {y ‘}. \ Big (\ mathscr {M} \ left \ {\ mathscr {y ‘} / \ mathscr {y} \ right \} [\ mathscr {N} / \ mathscr {x}] \ Big).&& (\ mathscr {x} \ neq \ mathscr {y}, \ mathscr {y} \ text {- свободная переменная в} \ mathscr {N}, \ mathscr {y ‘} \ text {- новая переменная}) \ end {align} x [N / x] y [N / x] (MP) [N / x] (λx.M) [N / x] (λy.M) [N / x] (λy.M) [N / x] ≡N≡y (x = y) ≡ (M [N / x]) (P [N / x]) ≡ (λx.M) ≡λy. (M [N / x] ) ≡λy ′. (M {y ′ / y} [N / x]). (X = y, y не является свободной переменной в N) (x = y, y — свободная переменная в N, y ′ — новая переменная)
Обратите внимание, что связанные переменные не могут быть заменены, как мы обсуждали ранее.
(λx.{\ mathrm {\ beta}}} \ mathscr {M} [\ mathscr {N} / \ mathscr {x}] (λx.M) N⟶βM [N / x]
Два члена, которые могут быть сведены друг к другу с нулевым или большим числом сокращений β \ betaβ или обратным ему, эквивалентны β \ betaβ.
