RU (495) 989 48 46
Пленка на бампер

АНТИГРАВИЙНАЯ ЗАЩИТА БАМПЕРА

 

Лямбда что это


Лямбда (буква) - это... Что такое Лямбда (буква)?


Лямбда (буква)

Лямбда (буква)

Λλ

Λ, λ (название: ля́мбда, греч. λάμδα) — 11-я буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 30. Происходит от финикийской буквы — ламед. От буквы «лямбда» произошли латинская буква L и кириллическая Л, а также их производные.

Использование

Прописная Λ

Строчная λ

Лямбда в культуре

  • В вымышленной вселенной «Звездных Войн» существует космический корабль, известный как «корабль класса Лямбда», похожий на букву «λ», если смотреть вдоль оси симметрии.
  • В серии популярных компьютерных игр Half-Life лямбда является логотипом «Комплекса Лямбда», части исследовательского центра Чёрная Меза, в котором изучаются технологии телепортации. Позднее в игре лямбда становится символом сопротивления людей против инопланетного Альянса. Символ также стал символом серии Half-life и часто используется в названии «Half-Life», заменяя букву «a»( H λ L F - L I F E ). Помимо этого, Лямбда заменят букву "А" в названиях модов и различных роликов. Этот символ присутствует и на костюме главного героя - Гордона Фримена.
  • В песне Михаила Щербакова «Австралия» лирический герой мечтал дать имя «Лямбда» своему так и не заведённому жирафу, муравьеду или кенгуру.
  • Строчная буква лямбда используется в качестве одного из символов ЛГБТ-движения. В 1970 году она была выбрана как символ кампании за легализацию гомосексуальных отношений.

Wikimedia Foundation. 2010.

Смотреть что такое "Лямбда (буква)" в других словарях:

dic.academic.ru

Лямбда - это... Что такое Лямбда?

Λ, λ (название: ля́мбда, греч. λάμδα) — 11-я буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 30. Происходит от финикийской буквы — ламед. От буквы «лямбда» произошли латинская буква L и кириллическая Л, а также их производные.

Использование

Прописная Λ

Строчная λ

Лямбда в культуре

Примечания

dic.academic.ru

λ - Греческая строчная буква лямбда (U+03BB) lambda

Описание символа

Лямбда — 11-я буква греческого алфавита (использовалась также в коптском). В ионийской системе счисления соответствовала значению 30. Произошла от финикийской буквы Ламд. От самой лямбды произошли многие буквы, такие как L или Л.

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

Этот текст также доступен на следующих языках: English;

Похожие символы

Кодировка

Кодировка hex dec (bytes) dec binary
UTF-8 CE BB 206 187 52923 11001110 10111011
UTF-16BE 03 BB 3 187 955 00000011 10111011
UTF-16LE BB 03 187 3 47875 10111011 00000011
UTF-32BE 00 00 03 BB 0 0 3 187 955 00000000 00000000 00000011 10111011
UTF-32LE BB 03 00 00 187 3 0 0 3137536000 10111011 00000011 00000000 00000000

Наборы с этим символом:

unicode-table.com

история и теория / Habr

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

UPD: в текст внесены некоторые изменения с целью сделать его более понятным. Смысловая составляющая осталась прежней.

Вступление

Возможно, у этой системы найдутся приложения не только
в роли логического исчисления. (Алонзо Чёрч, 1932)

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

Начнём мы с традиционного (но краткого) экскурса в историю. В 30-х годах прошлого века перед математиками встала так называемая проблема разрешения (Entscheidungsproblem), сформулированная Давидом Гильбертом. Суть её в том, что вот есть у нас некий формальный язык, на котором можно написать какое-либо утверждение. Существует ли алгоритм, за конечное число шагов определяющий его истинность или ложность? Ответ был найден двумя великими учёными того времени Алонзо Чёрчем и Аланом Тьюрингом. Они показали (первый — с помощью изобретённого им λ-исчисления, а второй — теории машины Тьюринга), что для арифметики такого алгоритма не существует в принципе, т.е. Entscheidungsproblem в общем случае неразрешима.

Так лямбда-исчисление впервые громко заявило о себе, но ещё пару десятков лет продолжало быть достоянием математической логики. Пока в середине 60-х Питер Ландин не отметил, что сложный язык программирования проще изучать, сформулировав его ядро в виде небольшого базового исчисления, выражающего самые существенные механизмы языка и дополненного набором удобных производных форм, поведение которых можно выразить путем перевода на язык базового исчисления. В качестве такой основы Ландин использовал лямбда-исчисление Чёрча. И всё заверте…

λ-исчисление: основные понятия

Синтаксис

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

Мы с вами рассмотрим его наиболее простую форму: чистое нетипизированное лямбда-исчисление, и вот что конкретно будет в нашем распоряжении.

Термы:

переменная: x
лямбда-абстракция (анонимная функция): λx.t, где x — аргумент функции, t — её тело.
применение функции (аппликация): f x, где f — функция, x — подставляемое в неё значение аргумента

Соглашения о приоритете операций:

Может показаться, будто нам нужны какие-то специальные механизмы для функций с несколькими аргументами, но на самом деле это не так. Действительно, в мире чистого лямбда-исчисления возвращаемое функцией значение тоже может быть функцией. Следовательно, мы можем применить первоначальную функцию только к одному её аргументу, «заморозив» прочие. В результате получим новую функцию от «хвоста» аргументов, к которой применим предыдущее рассуждение. Такая операция называется каррированием (в честь того самого Хаскелла Карри). Выглядеть это будет примерно так:

f = λx.λy.t Функция с двумя аргументами x и y и телом t
f v w Подставляем в f значения v и w
(f v) w Эта запись аналогична предыдущей, но скобки явно указывают на последовательность подстановки
((λy.[x → v]t) w) Подставили v вместо x. [x → v]t означает «тело t, в котором все вхождения x заменены на v»
[y → w][x → v]t Подставили w вместо y. Преобразование закончено.

И напоследок несколько слов об области видимости. Переменная x называется связанной, если она находится в теле t λ-абстракции λx.t. Если же x не связана какой-либо вышележащей абстракцией, то её называют свободной. Например, вхождения x в x y и λy.x y свободны, а вхождения x в λx.x и λz.λx.λy.x(y z) связаны. В (λx.x)x первое вхождение x связано, а второе свободно. Если все переменные в терме связаны, то его называют замкнутым, или комбинатором. Мы с вами будем использовать следующий простейший комбинатор (функцию тождества): id = λx.x. Она не выполняет никаких действий, а просто возвращает без изменений свой аргумент.
Процесс вычисления

Рассмотрим следующий терм-применение:

(λx.t) y

Его левая часть — (λx.t) — это функция с одним аргументом x и телом t. Каждый шаг вычисления будет заключаться в замене всех вхождений переменной x внутри t на y. Терм-применение такого вида носит имя редекса (от reducible expression, redex — «сокращаемое выражение»), а операция переписывания редекса в соответствии с указанным правилом называется бета-редукцией.

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

(λx.x) ((λx.x) (λz. (λx.x) z)),

который для простоты можно переписать как

id (id (λz. id z))

(напомним, что id — это функция тождества вида λx.x)

В этом терме содержится три редекса:

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

  2. Нормальный порядок вычислений. Первым всегда сокращается самый левый, самый внешний редекс.

  3. Вызов по имени. Порядок вычислений в этой стратегии аналогичен предыдущей, но к нему добавляется запрет на проведение сокращений внутри абстракции. Т.е. в нашем примере мы останавливаемся на предпоследнем шаге:

    Оптимизированная версия такой стратегии (вызов по необходимости) используется Haskell. Это так называемые «ленивые» вычисления.
  4. Вызов по значению. Здесь сокращение начинается с самого левого (внешнего) редекса, у которого в правой части стоит значение — замкнутый терм, который нельзя вычислить далее.

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

Если в терме больше нет редексов, то говорят, что он вычислен, или находится в нормальной форме. Не каждый терм имеет нормальную форму, например (λx.xx)(λx.xx) на каждом шаге вычисления будет порождать самоё себя (здесь первая скобка — анонимная функция, вторая — подставляемое в неё на место x значение).

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

(λx.λy. x) z ((λx.x x)(λx.x x))

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

Ещё одна тонкость связана с именованием переменных. Например, терм (λx.λy.x)y после подстановки вычислится в λy.y. Т.е. из-за совпадения имён переменных мы получим функцию тождества там, где её изначально не предполагалось. Действительно, назови мы локальную переменную не y, а z — первоначальный терм имел бы вид(λx.λz.x)y и после редукции выглядел бы как λz.y. Для исключения неоднозначностей такого рода надо чётко отслеживать, чтобы все свободные переменные из начального терма после подстановки оставались свободными. С этой целью используют α-конверсию — переименование переменной в абстракции с целью исключения конфликтов имён.

Так же бывает, что у нас есть абстракция λx.t x, причём x свободных вхождений в тело t не имеет. В этом случае данное выражение будет эквивалентно просто t. Такое преобразование называется η-конверсией.

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

Список источников

  1. «What is Lambda Calculus and should you care?», Erkki Lindpere
  2. «Types and Programming Languages», Benjamin Pierce
  3. Вики-конспект «Лямбда-исчисление»
  4. «Учебник по Haskell», Антон Холомьёв
  5. Лекции по функциональному программированию

habr.com

Лямбда (символ) - это... Что такое Лямбда (символ)?


Лямбда (символ)

Λλ

Λ, λ (название: ля́мбда, греч. λάμδα) — 11-я буква греческого алфавита. В системе греческой алфавитной записи чисел имеет числовое значение 30. Происходит от финикийской буквы — ламед. От буквы «лямбда» произошли латинская буква L и кириллическая Л, а также их производные.

Использование

Прописная Λ

Строчная λ

Лямбда в культуре

  • В вымышленной вселенной «Звездных Войн» существует космический корабль, известный как «корабль класса Лямбда», похожий на букву «λ», если смотреть вдоль оси симметрии.
  • В серии популярных компьютерных игр логотипом «Комплекса Лямбда», части исследовательского центра Чёрная Меза, в котором изучаются технологии телепортации. Позднее в игре лямбда становится символом сопротивления людей против инопланетного Альянса. Символ также используется в логотипах игр серии, а строчная «λ» часто используется в названии «Half-Life», заменяя букву «a»( Hλlf-Life ). Этот символ присутствует и на костюме главного героя.
  • В песне Михаила Щербакова «Австралия» лирический герой мечтал дать имя «Лямбда» своему так и не заведённому жирафу, муравьеду или кенгуру.

Wikimedia Foundation. 2010.

Смотреть что такое "Лямбда (символ)" в других словарях:

dic.academic.ru

Лямбда-исчисление — Википедия

Ля́мбда-исчисле́ние (λ-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем для формализации и анализа понятия вычислимости.

Чистое λ-исчисление, термы которого, называемые также объектами («обами»), или λ-термами, построены исключительно из переменных применением аппликации и абстракции. Изначально наличие каких-либо констант не предполагается.

В основу λ-исчисления положены две фундаментальные операции:

Основная форма эквивалентности, определяемая в лямбда-термах, это альфа-эквивалентность. Например, λx.x{\displaystyle \lambda x.x} и λy.y{\displaystyle \lambda y.y}: альфа-эквивалентные лямбда-термы и оба представляют одну и ту же функцию (функцию тождества). Термы x{\displaystyle x} и y{\displaystyle y} не альфа-эквивалентны, так как они не находятся в лямбда-абстракции.

Поскольку выражение λ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=t[x:=a],{\displaystyle (\lambda x.t)\ a=t[x:=a],}

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

η{\displaystyle \eta }-преобразование выражает ту идею, что две функции являются идентичными тогда и только тогда, когда, будучи применёнными к любому аргументу, дают одинаковые результаты. η{\displaystyle \eta }-преобразование переводит друг в друга формулы λx.f x{\displaystyle \lambda x.f\ x} и f{\displaystyle f} (только если x{\displaystyle x} не имеет свободных вхождений в f{\displaystyle f}: иначе, свободная переменная x{\displaystyle x} после преобразования станет связанной внешней абстракцией или наоборот).

Функция двух переменных x{\displaystyle x} и y{\displaystyle y} f(x,y)=x+y{\displaystyle f(x,y)=x+y} может быть рассмотрена как функция одной переменной x{\displaystyle x}, возвращающая функцию одной переменной y{\displaystyle y}, то есть как выражение  λx.λy.x+y{\displaystyle \ \lambda x.\lambda y.x+y}. Такой приём работает точно так же для функций любой арности. Это показывает, что функции многих переменных могут быть выражены в λ{\displaystyle \lambda }-исчислении и являются «синтаксическим сахаром». Описанный процесс превращения функций многих переменных в функцию одной переменной называется карринг (также: каррирование), в честь американского математика Хаскелла Карри, хотя первым его предложил М. Э. Шейнфинкель (1924).

Семантика бестипового λ{\displaystyle \lambda }-исчисления[править | править код]

Тот факт, что термы λ{\displaystyle \lambda }-исчисления действуют как функции, применяемые к термам λ{\displaystyle \lambda }-исчисления (то есть, возможно, к самим себе), приводит к сложностям построения адекватной семантики λ{\displaystyle \lambda }-исчисления. Чтобы придать λ{\displaystyle \lambda }-исчислению какой-либо смысл, необходимо получить множество D{\displaystyle D}, в которое вкладывалось бы его пространство функций D→D{\displaystyle D\to D}. В общем случае такого D{\displaystyle D} не существует по соображениям ограничений на мощности этих двух множеств, D{\displaystyle D} и функций из D{\displaystyle D} в D{\displaystyle D}: второе имеет бо́льшую мощность, чем первое.

Эту трудность в начале 1970-х годов преодолел Дана Скотт, построив понятие области D{\displaystyle D} (изначально на полных решётках[1], в дальнейшем обобщив до полного частично упорядоченного множества со специальной топологией) и урезав D→D{\displaystyle D\to D} до непрерывных в этой топологии функций[2]. На основе этих построений была создана денотационная семантика[en] языков программирования, в частности, благодаря тому, что с помощью них можно придать точный смысл таким двум важным конструкциям языков программирования, как рекурсия и типы данных.

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

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} }, каждое рекурсивное определение может быть выражено как лямбда-выражение. В частности, мы можем определить вычитание, умножение, сравнение натуральных чисел рекурсивно.

В языках программирования под «λ{\displaystyle \lambda }-исчислением» зачастую понимается механизм «анонимных функций» — callback-функций, которые можно определить прямо в том месте, где они используются, и которые имеют доступ к локальным переменным текущей функции (замыкание).

  1. Scott D.S. The lattice of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp. 311—372.
  2. Scott D.S. Lattice-theoretic models for various type-free calculi. — In: Proc. 4th Int. Congress for Logic, Methodology, and the Philosophy of Science, Bucharest, 1972.

ru.wikipedia.org

Лямбда-выражение — Википедия

Материал из Википедии — свободной энциклопедии

Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 7 апреля 2018; проверки требуют 5 правок. Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 7 апреля 2018; проверки требуют 5 правок.

Лямбда-выражение в программировании — специальный синтаксис для определения функциональных объектов, заимствованный из λ-исчисления. Применяется как правило для объявления анонимных функций по месту их использования, и обычно допускает замыкание на лексический контекст, в котором это выражение использовано. Используя лямбда-выражения, можно объявлять функции в любом месте кода.

Лямбда-выражения поддерживаются во многих языках программирования (Common Lisp, Ruby, Perl, Python, PHP, JavaScript (начиная с ES 2015), C#, F#, Visual Basic .NET, C++, Java, Scala, Kotlin, Object Pascal (Delphi), Haxe, Dart[1] и других).

Лямбда-выражения принимают две формы. Форма, которая наиболее прямо заменяет анонимный метод, представляет собой блок кода, заключенный в фигурные скобки. Это — прямая замена анонимных методов. Лямбда-выражения, с другой стороны, предоставляют ещё более сокращенный способ объявлять анонимный метод и не требуют ни кода в фигурных скобках, ни оператора return. Оба типа лямбда-выражений могут быть преобразованы в делегаты.

Во всех лямбда-выражениях используется лямбда-оператор =>, который читается как «переходит в» (в языках Java, F# и PascalABC.NET используется оператор ->). Левая часть лямбда-оператора определяет параметры ввода (если таковые имеются), а правая часть содержит выражение или блок оператора. Лямбда-выражение x => x * 5 читается как «функция x, которая переходит в x, умноженное на 5»[2].

ru.wikipedia.org

зонд - это... Что такое Лямбда-зонд?

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

Датчик основан на свойствах оксида циркония — ZrO2 и начинает работать только при температурах более 350 °C. Для ускорения прогрева датчика в него монтируют электронагреватель, потому обычно датчик имеет пару сигнальных проводов и пару от подогревателя.

Рабочий элемент датчика — пористый керамический материал на основе двуокиси циркония, покрытый методом напыления платиной. Выхлопные газы обтекают рабочую поверхность. Датчик реагирует на разницу между уровнем кислорода в выхлопных газах и в атмосфере, вырабатывая на выходе соответствующую разность потенциалов. Первые «лямбда-зонды» были резистивными, то есть изменяли свое сопротивление. Современные датчики работают как пороговые элементы.

Сигнал используется системой управления для поддержания оптимального (стехиометрического, около 14,7:1) соотношения воздух/бензин в камерах сгорания. В стехиометрии — λ = (реальное к-во воздуха) / (необходимое к-во воздуха).

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

Датчик на основе оксида циркония

В датчике на основе оксида циркония происходит реакция восстановления двуокиси циркония ZrO2 до окиси циркония ZrO, инициируемая платиновым катализатором, покрывающим чувствительный элемент датчика и являющаяся причиной возникновения ЭДС. На поверхности датчика окислительные процессы чередуются с восстановительными, что обеспечивает автоматическое поддержание работоспособности λ-зонда и его высокую чувствительность к изменению концентрации окисляемых компонентов.

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

Широкополосный датчик на основе оксида циркония

Разновидность датчика на основе оксида циркония.

Основная разница зонда с широкой панелью LSU 4 по отношению к обычным λ-зондам — это комбинация сенсорных ячеек и так называемых накачиваемых кислородом ячеек. Ячейки разделены диффузионным зазором шириной от 0,01 до 0,05 мм. Состав его газового содержимого постоянно соответствует λ=1, что для сенсорной ячейки значит напряжение в 450 милливольт. Поддерживается содержание газа и вместе с ним напряжение сенсора посредством различных напряжений сенсора накачиваемых элементов. При бедной смеси и напряжении сенсора ниже 450 милливольт ячейка выкачивает кислород из диффузионного отверстия. Если смесь влажная и напряжение лежит выше 450 милливольт, ток меняет свое направление, и накачивающие ячейки транспортируют кислород в диффузионные расщелины. При этом интегрированный нагревающий элемент устанавливает температуру области от 700 до 800 градусов.

При отказе датчика система переходит в аварийный режим без коррекции содержания воздуха в смеси.

Одной из основных причин отказа датчика в России являлось отравление тетраэтилсвинцом. По мере перехода на качественный неэтилированный бензин эта проблема уходит в прошлое.

Ток широкополосного датчика Ipn и соответствующие значения λ[1]:

Ipn, мА -5.000 -4.000 -3.000 -2.000 -1.000 -0.500 0.000 0.500 1.000 1.500 2.000 2.500 3.000 4.000
λ 0.673 0.704 0.753 0.818 0.900 0.948 1.000 1.118 1.266 1.456 1.709 2.063 2.592 5.211

Примечания

Ссылки

dic.academic.ru

Значение слова ЛЯМБДА. Что такое ЛЯМБДА?

Источник: Википедия

Делаем Карту слов лучше вместе

Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать Карту слов. Я отлично умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!

Спасибо! Я обязательно научусь отличать широко распространённые слова от узкоспециальных.

Насколько понятно значение слова починать (глагол), починает:

Кристально
понятно

Понятно
в общих чертах

Могу только
догадываться

Понятия не имею,
что это

Другое
Пропустить

kartaslov.ru

Что такое лямбда? 11-я буква греческого алфавита :: SYL.ru

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

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

Интерес к языку подпитывается нередкими исследованиями алфавита, правил правописания и произношения. В данной статье узнаем, что представляет собой 11-я буква греческого алфавита – лямбда.

Наука и Греция

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

В научной среде греческий алфавит занимает прочное место. Во многих отраслях знаний его буквы можно обнаружить в качестве обозначения некоторых показателей. В математике синус угла обозначается α, используется знак суммы Σ. В астрономии в названии самых крупных звезд ярких созвездий упоминается α (альфа Большого Пса). В биологии при изучении групп особей активно используются понятия омега-самка и альфа-самец. В разделе ядерной физики можно встретиться с понятиями гамма-частицы и альфа-излучения. На страницах учебников химии и физики в качестве постоянных величин фигурируют ρ и λ, которыми обозначают плотность материала и длину волны соответственно. О последней букве расскажем подробнее, то есть ответим на вопросы о том, как пишется лямбда, откуда берет происхождение и где применяется.

Правописание

В первых версиях греческого алфавита внешний вид лямбды отличался от современного представления, хотя общее сходство наблюдалось. Большинство вариаций написания были представлены двумя прямыми линиями, одна из которых незначительно короче другой, а их концы сходятся. В восточном алфавите угол соединения находился в верхнем углу, в западном – в левом нижнем. Впоследствии римляне определились, что угол у них будет внизу слева, а греки решили, что он будет сверху. Последующий вариант содержал в себе вертикальный штрих с наклонной линией, уходящей вправо. В настоящее время букву лямбду прописную пишут согласно последнему описанному варианту, а заглавная выглядит в виде перевернутого знака V. На основе греческой лямбды образовалась латинская лямбда, заглавный символ которой представлен в виде перевернутого Y.

Значение

Лямбда образовалась от буквы финикийского алфавита – ламед. Данному символу в числовой алфавитной системе соответствовало число 30, которое в Греции приписывали справа сверху около вертикальной линии символа. На основании буквы лямбды образовались кириллическая Л и латинская L, а после и производные последних.

Использование прописной буквы

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

Строчная лямбда

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

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

Связь с культурной сферой

Что такое лямбда в культурной среде? В известном кинофильме «Звездные войны» путешествовал космический корабль класса лямбда. Буква также используется в компьютерных играх под эмблемой «Комплекс Лямбда». По мере развития сюжета игры она применяется в качестве знака противоборства между населением и альянсом. Символ существует и в эмблеме игр, строчная буква лямбда нередко фигурирует в слове Half-Life, в итоге получается Hλlf-Life.

В романтической песне под названием «Австралия» Михаила Щербакова герой мечтал завести кенгуру, муравьеда или жирафа по имени Лямбда.

В 1970 году, когда регулярно стали проходить гей-парады, значок лямбда был впервые использован в Нью-Йорке в качестве обозначения правозащитной организации «Альянс гей-активистов». Через четыре года в Шотландии Международным конгрессом прав геев "λ" признана интернациональным знаком движения за свободу и права людей с нетрадиционной ориентацией.

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

Сакральное значение

Что такое лямбда в эзотерическом плане? Лямбда заключает в себе принцип органического роста и переход системы на возвышенный уровень. Это подтверждается примерами двух видов прогрессий, ключевых числовых последовательностей древнегреческой математики, где используется знак. В теоретическом плане буква символизирует возрастание числовых рядов, которыми описывается любая система физических явлений. Каждый, рассматривая руны, обозначающие возвышение и означающие звук «Л» или древнееврейский знак ламед, обнаружит сходство с исследуемой буквой.

В данной статье было рассмотрено, что такое лямбда, и где ее можно встретить в окружающем мире.

www.syl.ru

Лямбда исчисление - это... Что такое Лямбда исчисление?

Ля́мбда-исчисле́ние (λ-исчисление, лямбда-исчисление) — формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости.

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

λ-исчисление реализовано Джоном Маккарти в языке Лисп. В начале реализация идей λ-исчисления была весьма громоздкой. Но по мере развития Лисп-технологии (прошедшей этап аппаратной реализации в виде Лисп-машины) идеи получили ясную и четкую реализацию.

Чистое λ-исчисление

Это простейший из семейства прототипных языков программирования, чистое λ-исчисление, термы которого, называемые также объектами (обами), или λ-термами, построены исключительно из переменных применением аппликации и абстракции. Изначально наличия каких-либо констант не предполагается.

Аппликация и абстракция

В основу λ-исчисления положены две фундаментальные операции: аппликация и абстракция. Аппликация означает применение или вызов функции по отношению к заданному значению. Её обычно обозначают , где f — функция, а a — значение. Это соответствует общепринятой в математике записи f(a), которая тоже иногда используется, однако для λ-исчисления важно то, что f трактуется как алгоритм, вычисляющий результат по заданному входному значению. В этом смысле аппликация f к a может рассматриваться двояко: как результат применения f к a, или же как процесс вычисления . Последняя интерпретация аппликации связана с понятием β-редукции.

Абстракция или λ-абстракция в свою очередь строит функции по заданным выражениям. Именно, если — выражение, свободно содержащее x, тогда обозначает функцию . Таким образом, с помощью абстракции можно конструировать новые функции. Требование, чтобы x свободно входило в t, не очень существенно — достаточно предположить, что , если это не так.

β-редукция

Поскольку выражение обозначает функцию, ставящую в соответствие каждому x значение , то для вычисления выражения

,

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

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

η-преобразование

η-преобразование выражает ту идею, что две функции являются идентичными тогда и только тогда, когда, будучи применённые к любому аргументу, дают одинаковые результаты. η-преобразование переводит друг в друга формулы и f (в обратную сторону — только если x не имеет свободных вхождений в f: иначе свободная переменная x после преобразования станет связанной внешней абстракцией).

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

Каррирование (карринг)

Функция двух переменных x и y f(x,y) = x + y может быть рассмотрена как функция одной переменной x, возвращающая функцию одной переменной y, то есть как выражение . Такой приём работает точно также для функций любой арности. Это показывает, что функции многих переменных могут быть без проблем выражены в λ-исчислении и являются «синтаксическим сахаром». Описанный процесс превращения функций многих переменных в функцию одной переменной называется карринг (также: каррирование), в честь американского математика Хаскелла Карри, хотя первым его предложил М. И. Шейнфинкель (1924).

Семантика бестипового λ-исчисления

Тот факт, что термы λ-исчисления действуют как функции, применяемые к термам λ-исчисления (то есть, возможно, к самим себе) приводит к сложностям построения адекватной семантики λ-исчисления. Можно ли приписать λ-исчислению какой-либо смысл? Желательно иметь множество D, в которое вкладывалось бы его пространство функций D → D. В общем случае такого D не существует по соображениям ограничений на мощности этих двух множеств, D и функций из D в D: второе имеет большую мощность, чем первое.

Эту трудность преодолел Д.С. Скотт, построив понятие области D (полной решётки[1] или, более общо, полного частично упорядоченного множества со специальной топологией) и урезав D → D до непрерывных (в имеющейся топологии) функций[2]. После этого также стало понятно, как можно строить денотационную семантику языков программирования. Это произошло благодаря тому, что с помощью конструкций Скотта можно придать значение также двум важным конструкциям языков программирования — рекурсии и типам данных.

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

См. также

Ссылки

  1. Scott D.S. The lattice of flow diagrams.-- Lecture Notes in Mathematics, 188, Symposium on Semantics of Algorithmic Languages.-- Berlin, Heidelberg, New York: Springer-Verlag, 1971, pp. 311-372.
  2. Scott D.S. Lattice-theoretic models for various type-free calculi. -- In: Proc. 4th Int. Congress for Logic, Methodology, and the Philosophy of Science, Bucharest, 1972.

Литература

Wikimedia Foundation. 2010.

dic.academic.ru


Смотрите также