Что значит лямбда


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

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

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

Прописная Λ

Строчная λ

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

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

Примечания

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

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

Λλ

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

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

Прописная Λ

Строчная λ

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

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

Wikimedia Foundation. 2010.

  • Лямбда Большой Медведицы
  • Лямблии

Полезное


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

  • Лямбда (буква) — Греческий алфавит Α α  альфа Β β  бета …   Википедия

  • Лямбда — Греческий алфавит Αα Альфа Νν Ню …   Википедия

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

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

  • Альянс гей-активистов — Символ альянса гей активистов Альянс гей активистов (англ. Gay Activists Alliance)  правозащитная организация, созданная 21 декабря 1969 года в Нью Йорке …   Википедия

  • Символика ЛГБТ-движения — Портал ЛГБТ ЛГБТ Гомосексуальность · Гендер · Бисексуальность …   Википедия

  • ЛГБТ-символы — Радужный флаг …   Википедия

  • Гордон Фримен — У этого термина существуют и другие значения, см. Фримен. Гордон Фримен англ. Gordon Freeman …   Википедия

  • Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… …   Википедия

  • Λ — Греческий алфавит Α α альфа Β β бета …   Википедия

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


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


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

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

Λλ

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

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

Прописная Λ
Строчная λ

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

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

Wikimedia Foundation. 2010.

  • Windows Internet Name Service
  • Кеторолак
Смотреть что такое "Лямбда (буква)" в других словарях:
  • буква — Знак (азбучный), письмена (множ. ч.), иероглиф (гиероглиф), каракуля, руны. Нагородил какие то каракули, и читай. .. Ср. знак... Словарь русских синонимов и сходных по смыслу выражений. под. ред. Н. Абрамова, М.: Русские словари, 1999. буква …   Словарь синонимов

  • Буква Л — Буква кириллицы Л Кириллица А Б В Г Ґ Д …   Википедия

  • лямбда — сущ., кол во синонимов: 1 • буква (103) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • Лямбда — Греческий алфавит Αα Альфа Νν Ню …   Википедия

  • Лямбда (символ) — Греческий алфавит Α α альфа Β β бета …   Википедия

  • Лямбда-барион — Лямбда барионы (Λ барионы, Λ частицы) группа элементарных частиц, представляющих собой барион с изотопическим спином 0, содержащих ровно два кварка первого поколения (u и d кварк). В состав Λ барионов входит ровно один кварк второго или третьего… …   Википедия

  • Лямбда — (Ламбда, Λ, λ) одиннадцатая буква греческого алфавита; как числовой знак 30. Название от семитического lamed острие (жало) …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • лямбда — (др.–греч. Λ, λ λαμβδα) 11 я буква греческого алфавита; с верхним штрихом справа обозначала число 30 , со штрихом внизу слева 30000 …   Словарь лингвистических терминов Т.В. Жеребило

  • Люди (буква) — Буква кириллицы Л Кириллица А Б В Г Ґ Д …   Википедия

  • Альфа (буква) — У этого термина существуют и другие значения, см. Альфа (значения). Греческий алфавит Αα Альфа …   Википедия

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

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

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

Прописная Λ
Строчная λ

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

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

Примечания

λ - Греческая строчная буква лямбда (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

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

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

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

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

Вступление

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

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

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

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

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

Синтаксис

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

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

Термы:

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

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

  • Применение функции левоассоциативно. Т.е. s t u — это тоже самое, что (s t) u
  • Аппликация (применение или вызов функции по отношению к заданному значению) забирает себе всё, до чего дотянется. Т.е. λx. λy. x y x означает то же самое, что λx. (λy. ((x y) 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. Лекции по функциональному программированию

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


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

Λλ

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

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

Прописная Λ
Строчная λ

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

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

Wikimedia Foundation. 2010.

  • Лямбда Большой Медведицы
  • Лямблии
Смотреть что такое "Лямбда (символ)" в других словарях:
  • Лямбда (буква) — Греческий алфавит Α α  альфа Β β  бета …   Википедия

  • Лямбда — Греческий алфавит Αα Альфа Νν Ню …   Википедия

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

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

  • Альянс гей-активистов — Символ альянса гей активистов Альянс гей активистов (англ. Gay Activists Alliance)  правозащитная организация, созданная 21 декабря 1969 года в Нью Йорке …   Википедия

  • Символика ЛГБТ-движения — Портал ЛГБТ ЛГБТ Гомосексуальность · Гендер · Бисексуальность …   Википедия

  • ЛГБТ-символы — Радужный флаг …   Википедия

  • Гордон Фримен — У этого термина существуют и другие значения, см. Фримен. Гордон Фримен англ. Gordon Freeman …   Википедия

  • Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… …   Википедия

  • Λ — Греческий алфавит Α α альфа Β β бета …   Википедия

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

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

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

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

  • Абстракция или λ-абстракция (лат. abstractio — отвлечение, отделение) в свою очередь строит функции по заданным выражениям. Именно, если t≡t[x]{\displaystyle t\equiv t[x]} — выражение, свободно[en] содержащее x{\displaystyle x}, тогда запись  λx.t[x]{\displaystyle \ \lambda x.t[x]} означает: λ{\displaystyle \lambda } функция от аргумента x{\displaystyle x}, которая имеет вид t[x]{\displaystyle t[x]}, обозначает функцию x↦t[x]{\displaystyle x\mapsto t[x]}. Таким образом, с помощью абстракции можно конструировать новые функции. Требование, чтобы x{\displaystyle x} свободно входило в t{\displaystyle t}, не очень существенно — достаточно предположить, что λx.t≡t{\displaystyle \lambda x.t\equiv t}, если это не так.

Основная форма эквивалентности, определяемая в лямбда-термах, это альфа-эквивалентность. Например, λ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.
  • Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика: Пер. с англ. — М.: Мир, 1985. — 606 с.

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

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

Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 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].

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

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

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

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

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

  • λ=1 — стехиометрическая (теоретически идеальная) смесь;
  • λ>1 — бедная смесь;
  • λ<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

Примечания

Ссылки

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Значение

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

В основу λ-исчисления положены две фундаментальные операции: аппликация и абстракция. Аппликация означает применение или вызов функции по отношению к заданному значению. Её обычно обозначают , где 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.

Литература

  • Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика: Пер. с англ. — М.: Мир, 1985. — 606 с.

Wikimedia Foundation. 2010.

Лямбда зонд в авто - что это такое и как работает

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

Жесткие экологические нормы узаконили применение на автомобилях каталитических нейтрализаторов – устройств, способствующих снижению содержания вредных веществ в выхлопных газах. Катализатор вещь хорошая, но эффективно работает лишь при определенных условиях. Без постоянного контроля состава топливно-воздушной смеси обеспечить катализаторам «долголетие» невозможно – тут приходит на помощь датчик кислорода, он же лямбда зонд.

Что это такое

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

Избыток воздуха в смеси измеряется весьма оригинальным способом – путем определения в выхлопных газах содержания остаточного кислорода (О2). Поэтому лямбда зонд и стоит в выпускном коллекторе перед катализатором. Электрический сигнал датчика считывается электронным блоком управления системы впрыска топлива (ЭБУ). Тот в свою очередь оптимизирует состав смеси путем изменения количества подаваемого в цилиндры топлива.

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

Принцип работы

Схема лямбда зонда на основе диоксида циркония, расположенного в выхлопной трубе.
1 – твердый электролит ZrO2; 2, 3 – наружный и внутренний электроды; 4 – контакт заземления; 5 – «сигнальный контакт»; 6 – выхлопная труба.

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

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

Особенность циркониевого лямбда-зонда - при малых отклонениях состава смеси от идеального напряжение на его выходе изменяется скачком в интервале 0,1 - 0,9 В.

Зависимость напряжения лямбда-зонда от коэффициента избытка воздуха при температуре датчика 500-800°С

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

Если не работает

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

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

Лямбда зонд – наиболее уязвимый датчик машины. Его ресурс составляет 60 – 120 000 км в зависимости от условий эксплуатации и исправности двигателя. Особенно чувствителен к качеству топлива – после нескольких плохих заправок он "умирает" и больше не работает.

Краткая история Лямбды, или почему Итан привирает / Хабр

В очередном

опусе

Итана Сигеля резанула фраза


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

И нет, с переводом всё в порядке, в оригинале ещё желтее:


By observing distant supernovae and measuring how the Universe had expanded over billions of years, astronomers discovered something remarkable, puzzling and entirely unexpected

wat?

О какой неожиданности может идти речь? Там ведь совершенно шикарная история длиной в 80 лет с яркими открытиями и закрытиями. История про то, как на самом деле делается настоящая наука. История скорее про физиков, чем про физику.

О чём вообще весь сыр-бор?

Первую версию Общей Теории Относительности (ОТО) Альберт Эйнштейн представил публике 25 ноября 1915 года. В оригинале уравнения ОТО Эйнштейна выглядели вот так:

или, в современной записи, вот так:

Для неумеющего в тензоры читателя понятнее уравнение (1) в оригинальной записи Эйнштейна. Там написано, что энергия-импульс материи G равен кривизне пространства R плюс тензор Риччи S. (Этот самый тензор Риччи тоже есть кривизна, только в более другой форме).
Сейчас, решая уравнение ОТО, энергию-импульс обычно считают известным, а ищут как раз кривизну. Поэтому в современной записи стороны уравнения поменяли местами. Заодно поменяли буковки: G → T, S → Rμν.

Откуда есть пошла лямбда

Одним из первых серьёзных математиков, который занялся проверкой выкладок Эйнштейна, стал Эли Жозеф Картан (не путать с его сыном Анри, тоже известным математиком).

Картан-папа нашёл у Эйнштейна ряд технических ошибок, в частности, такую, которая современному поколению ЕГЭ известна под кодовым названием «потерять константу при интегрировании». Сегодня эту потерянную константу обозначают заглавной греческой буквой лямбда, Λ.

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

Хотя ниже вы увидите, насколько мало Эйнштейн знал о Вселенной в те годы, но тогда, в 1916, такие основания у него были. Альберт Германович точно знал, что звёзды не попадали друг на друга и совершенно не собираются этого делать в обозримом будущем. Однако, в ОТО-1915 было только притяжение, которое нужно было чем-то сбалансировать.

Вводимая в уравнения лямбда как раз отвечала за отталкивание. Поэтому в 1917 Эйнштейн опубликовал «дополненную и улучшенную» версию ОТО с космологической постоянной Λ. В современной записи уравнение выглядит так:

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

Возьмём уравнение ОТО-1917 и вынесем за скобки метрический тензор

. Тогда внутри скобок у нас останется выражение (R/2 — Λ). Здесь R без индексов — это обычная, «школьная» скалярная кривизна. Если на пальцах — это число, обратное радиусу окружности/сферы. Плоскому пространству соответствует R = 0.

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

Что там не так с измерениями кривизны

На сегодняшний день измеренная кривизна пространства Вселенной таки равна нулю, но с очень паршивой точностью, порядка 0.4%. И не очень-то видно способов эту точность улучшить.

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

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

Вторая проблема сложнее и носит персональное название «проблема систем отсчёта». Смысл там вот в чём.

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

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

Но вот для далёких галактик всё плохо. Мы не знаем их точных координат. И кривизну пространства на больших масштабах мы тоже не знаем. И даже пачки фотографий у нас нет: на таких масштабах можно считать, что все они сделаны практически из одной точки. Поэтому за пределами Млечного Пути мы не можем быть уверены ни в координатах, ни в кривизне.
И в силу универсальности гравитации это касается не только собственно «фотографий», но абсолютно любых измерений удалённых объектов.

Поэтому измерить кривизну наблюдаемой Вселенной в целом мы можем только из очень окольных соображений.


Вселенная Фридмана

Meanwhile in Russia, не смотря на войны и революции, над теорией ОТО бился прапорщик (и по совместительству профессор) Александр Александрович Фридман. Он рассмотрел все варианты лямбд и выяснил следующее:

При Λ < 0 имеют место лишь силы притяжения, как гравитационные, так и вызванные кривизной впуклоговогнутого пространства. Рано или поздно звёзды и галактики в таком мире таки попадают друг на друга. Причём конец будет неожиданно быстрым и очень горячим.

При Λ > 0 на больших расстояниях заруливает геометрия, а звёзды и галактики ускоренно разлетаются «с горки» (вариант Эйнштейна-1917). При достаточно большой лямбде на небе может вообще ни остаться ни одной звезды кроме Солнца, при умеренном значении — останется только наша галактика, слившаяся с ближайшими соседями.

Но самое интересное происходит при Λ = 0. Здесь всё зависит от начальных условий — т.е. координат и скоростей конкретных галактик. Возможны три варианта: большое сжатие, большой разлёт и стационарный вариант, когда галактики разлетаются, но с относительно небольшими скоростями и без ускорения.

Сегодня вышеописанные ситуации называются космологическими решениями Фридмана.

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

За свою работу Фридман вполне мог претендовать на Нобелевку.

Но

Летом 1925 он женился, поехал в свадебное путешествие в Крым, съел там немытую грушу, заразился тифом и в сентябре — умер.

Из решений Фридмана вытекало, что у Вселенной может быть начало. Эту идею подхватили многие физики, а возглавил то, что позже назвали «теорией Большого Взрыва», русско-американец Георгий Гамов, полагавший Λ = 0.

И да, статья Итана про примерно такой график (конкретно на этом учтены данные на 2010 год):


Здесь по горизонтали отложено z — это красное смещение, по вертикали наблюдаемая яркость сверхновых особого типа Ia, которые всегда выделяют одно и то же количество энергии. Вообще, это два способа измерения одного и того же расстояния, но, так сказать, в разные моменты времени.

Серые палки — наблюдавшиеся события с их погрешностью измерений. Синим пунктиром отложено предсказание при Λ = 0, красной линией — аппроксимация фактически наблюдаемых значений. Отклонение красной линии от прямой означает, что Вселенная расширяется ускоренно. Но Эйнштейн об этом так и не узнал.

Вселенная Каптейна

Перейдём к экспериментальной части.

Голландский астроном Якобус Корнелиус Каптейн открыл звезду Каптейна в 1897, после чего приступил к opus magnum всей своей жизни. Объединяя огромное количество наблюдений разных обсерваторий, он попытался создать первую карту Вселенной. По его карте выходило, что вселенная имеет форму вращающегося (sic!) диска крышесносящего по тем временам размера 40000 световых лет, причём Солнце находится отнюдь не в центре, а вполне себе на задворках. Закончена и опубликована эта работа была только в 1922.

Для понимания уровня тогдашних знаний: то, что Каптейн считал невероятно огромной Вселенной, сегодня считается совершенно рядовой, ничем не примечательной среди миллиардов таких же… галактикой Млечный Путь. Тем не менее, заслуга Каптейна в том, что он открыл её вращение и приблизительно вычислил её центр.

Наблюдения Хаббла (астронома, а не телескопа)

Если говорить про астрономов, то больше всех для истории лямбды сделал Эдвин Хаббл. Он чувствовал, что с туманностями что-то не так, и в 1922 предположил, что часть из них — не облака газа, а очень удалённые объекты. Проверяя свою теорию, в 1924 он первым в мире разглядел отдельные звёзды в туманности Андромеды (да, ему всю жизнь везло на очень хорошие телескопы. И после смерти — продолжило везти). Именно Хаббл предложил термин «галактика» — собственно, это «млечный путь» по-гречески.

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

Хаббл не унимался и прикрутил к телескопу ещё и спектрометр. Анализируя красное смещение галактик, он выяснил, что галактики разбегаются, а Вселенная, соответственно, расширяется. Заодно он открыл закон имени себя с константой имени себя (впрочем, закон был предсказан Леметром), и описал всё это в статьях к концу 20-ых годов. Согласно его наблюдениям, оказалась верна модель Фридмана для Λ = 0.

Это выбило из-под лямбды теперь уже и экспериментальные основания её существования.

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

Так что, кроме всех своих открытий, Хаббл также невольно «закрыл» лямбду. На целых 70 лет.

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

Стационарная Вселенная Хойла

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

Оффтоп про Хойла, углерод и три альфы

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

Это значит, что альфа-частица не может присоединить дополнительные протоны или другую альфа-частицу иначе как случайно: это просто-напросто энергетически невыгодно. А в ядрах звёзд ничего кроме протонов и альфа-частиц и нет.

Возникал резонный вопрос: а откуда, собственно, взялись химические элементы тяжелее гелия?

Ближайшее ядро, в которое может превращаться гелий-4, это углерод-12. Но для этого нужно объединить три альфа-частицы.

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

И вот весной 1953 года в Калтех приехал британец Фред Хойл, тогда ещё без приставки «сэр», и сразу отправился к местному завлабу Уильяму Фаулеру.

Там он с порога спросил: может ли углерод-12 обладать энергетическим уровнем, равным 7,69 МэВ? Фаулер сначала подумал, что к нему припёрся очередной сумасшедший, но решил спросить — «вообще-то нет, а вам, собственно, зачем?» На что Хойл ответил: ну, я же существую, значит, у ядра углерода должен быть такой энергетический уровень. Отличная аргументация!

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

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

Сегодня такое возбуждённое состояние углерода-12, когда три альфа-частицы фактически выстраиваются по линии, называется хойловским. Соответствующая статья Хойла, Фаулера и супругов-астрономов Джефри и Маргерит Бёрбиджей является краеугольным камнем современных теорий звёздного нуклеосинтеза и настолько часто цитируется, что обозначается просто B²FH, без ссылок и расшифровок.

И — да, на сегодня это чуть ли не единственное известное успешное предсказание на основе антропного принципа.

Хойл был вполне авторитетным учёным в области космологии, причём, в отличие от многих коллег, так сказать «прикладной», т.е. относительно просто проверяемой, космологии. Именно он объяснил, как из однородных разреженных облаков газа путём гравитационного сжатия образуются звёзды и галактики. Также именно Хойл придумал название «Большой взрыв», причём использовал это название в ругательном смысле.

Хойлу и его соавторам — Бонди и Голду — очень не нравился «большой хлопок» (более корректный перевод фразы big bang), при котором у Вселенной есть начало. Они считали, что так же, как равноправны все точки пространства, должны быть равноправны и все точки во времени. У такой Вселенной нет ни начала, ни конца, и при этом она постоянно, хотя и очень медленно расширяется.

Однако, из квантовых флуктуаций постоянно рождается новое вещество, причём так, что средняя плотность материи остаётся одинаковой. Расчёты показывают, что в одном кубическом километре пространства должен рождаться всего-навсего один протон раз в 300000 лет (а так же один электрон или что-то типа того для сохранения электрического заряда). Прекрасное число, чтобы исключить любую возможность какой-либо экспериментальной проверки!

Теория стационарной Вселенной серьёзно рассматривалась как альтернатива теории Большого Взрыва в 50-х и начале 60-х. Но экспериментальное открытие в 1964 году предсказанного ТББ реликтового излучения поставило на ней крест.

Хойл, впрочем, не унимался и совершенствовал свою теорию до самого выхода на пенсию. Последняя редакция, разработанная на пару с его другом Джефри Бёрбиджем в 1993, так называемая «квази-стационарная Вселенная», предполагает локальные мини-взрывы и объясняет примерно все наблюдаемые факты, но какой-либо популярностью не пользуется. И да, она подозрительно похожа на общепринятую на сегодня теорию инфляции (но отличается знаками плюс-минус в некоторых местах).

За статью B²FH дали Нобелевку. Но только Фаулеру, который распорядился провести десятидневный эксперимент. Ни супругам Бёрбиджам, проводившим длительные астрономические наблюдения и собственно написавшим статью, ни автору идеи Хойлу нобелевку не дали — за упорствование в космологической ереси.

Самое интересное, что Хойл дожил до экспериментального подтверждения ускоренного разбегания галактик в 1998. Но даже это не стало поводом для нобелевского комитета исправить очевидную ошибку.

Квантовая лямбда

Вернёмся к уравнению ОТО.

Слева (в современной записи) стоит кривизна пространства, сиречь гравитация по ОТО. Справа — тензор энергии-импульса. Под этим тензором стоит жутко сложный матан, но суть в следующем: там учтена вся-вся-вся материя Вселенной во всех видах и состояниях. И обычное вещество, и всякие хитрые частицы, и все виды излучений (кроме гравитации, которая слева).

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

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

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

Возникает, правда, маленькая техническая проблемка. Если всё аккуратно посчитать, расчётный результат отличается от наблюдаемого на 120 — нет, не раз, на 120 порядков. В 100 миллиардов миллиардов гуглов раз! Это по праву считается «худшим предсказанием в истории теоретической физики».

Вторая возможность: физики всё-таки забыли что-то посчитать, когда вычисляли тензор энергии-импульса. Это «что-то» должно быть весьма странным (давать отрицательное давление), ничего похожего мы пока не знаем, так что тут скорее ситуация «не знал — не знал, и забыл». Сейчас это «что-то» называется «тёмная энергия», и этой энергии должно быть примерно в два раза больше, чем энергии у обычной и тёмной материи вместе взятых. ← современная физика находится здесь.

Вместо заключения

Звоночки о ненулевом значении лямбды начали появляться на рубеже 90-ых — из точных измерений реликтового излучения и т.д., и к 1997 превратились в набат. Совсем неудивительно, что сразу две группы физиков вооружились современными инструментами и бросились перепроверять дедушку Хаббла. Поэтому, когда Итан пишет про «совершенно неожиданно», он, мягко говоря, привирает.

И пока для объяснения лямбды у нас нет ничего лучше «тёмной энергии», эта история будет продолжаться.

Спасибо за внимание!

Что такое лямбда-зонд или кислородный датчик

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

При чем тут лямбда?

Название "лямбда-зонд" не случайно происходит от греческой литеры "лямбда" (λ) – в автомобилестроении она обозначает коэффициент избытка воздуха в топливно-воздушной смеси (соотношении топлива и воздуха). Когда ее состав оптимален – а таким принято считать 14,7 кг воздуха к 1 кг топлива – то коэффициент избытка воздуха равен единице, а смесь считается стехиометрической и обеспечивает полное сгорание топлива. В зависимости от коэффициента существует три вида топливно-воздушной смеси – это упомянутая выше оптимальная стехиометрическая, "богатая" с избытком топлива (в данном случае λ < 1) и "бедная" с не оптимально большим содержанием воздуха (λ > 1).

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

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

Где расположен кислородный датчик

Лямбда-зонд находится в выпускном тракте (проще говоря, он вкручен в систему) и соседствует с каталитическим нейтрализатором. У современных автомобилей кислородный датчик установлен как перед ним (называется верхний лямбда-зонд), так и на выходе катализатора (нижний лямбда-зонд). Конструктивно они идентичны, но выполняют несколько разные замеры. Так, верхний датчик отслеживает, сколько кислорода содержится в отработавших газах. Сигнал с него отправляется в электронный управляющий блок двигателя и тот считывает характеристики топливно-воздушной смеси – проще говоря, понимает, стехиометрическая ли она, обогащенная или обедненная. В зависимости от результата, происходит корректировка объемов подаваемого в цилиндры топлива для приготовления смеси с оптимальным составом. Что касается нижнего кислородного датчика, то он нужен для контроля работы каталитического нейтрализатора и более точной корректировки. Отметим, что в стародавние времена гораздо менее строгих экологических норм нижние лямбда-зонды не применялись.

Как устроен кислородный датчик

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

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

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

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

Можно ли заменить самостоятельно

Как видите, неисправность кислородного датчика не только делает езду на автомобиле проблематичной, но в ряде ситуаций способна повлечь за собой другие поломки. Поменять датчик можно самостоятельно, если до него получиться добраться. Перед этим следует обесточить автомобиль и снять с датчика колодку. Дальше – самое интересное: далеко не всегда удается выкрутить прикипевший лямбда-зонд с первого раза, поэтому следует проявить осторожность, чтобы не сломать. Если вывернуть удалось, то не забудьте перед установкой нового очистить резьбу в выпускной системе.

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

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

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

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

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

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

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

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

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

Значение

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Источник: Navolne

Лямбда-теплопроводность и изоляция дома

Одним словом, в данном случае действует «обратная» логика, а именно: чем меньше, чем ниже значение коэффициента, тем лучше. Некоторые люди также утверждают, что этот параметр не очень важен, потому что значащие цифры (кроме нуля) находятся во 2-м и 3-м десятичных разрядах. Нет ничего более плохого.

Между лямбдой 0,045 и 0,031 Вт / мК огромная разница. Прежде всего, следует отметить, что при одинаковой толщине пластины с разной лямбдой термическое сопротивление различается на целых 45%!

Например: для получения наилучших параметров теплоизоляции необходимо заменить серый полистирол с λ = 0,031 толщиной 10 см на полистирол низкого качества толщиной 15 см! В результате мы увеличиваем внешнюю поверхность фасада, которую мы должны покрыть штукатуркой, используем более длинные шпильки (увеличение затрат), и все эти обработки означают, что мы ограничиваем количество естественного света, проникающего в наши красивые интерьеры.

Зачем вообще нужна эта лямбда? Действительно ли термическое сопротивление важно?

В наших климатических условиях дом с площадью стен около 250 м2, в зимний день, с внешней температурой -20 ° C и внутренней температурой + 20 ° C, утепленный полистиролом низкого качества с лямбда 0,045, будет излучают на 550 Вт больше энергии, чем тот же дом с улучшенной изоляцией из полистирола o лямбда 0,031 Вт / мК. Именно лямбда определяет, какими будут наши счета за электроэнергию.

Вы уверены, что хотите использовать 5 лампочек мощностью 100 Вт каждый день в течение зимы и всех последующих лет? Как видите, лямбда наиболее важна и зависит от плотности полистирола.При покупке просто обращайте внимание на вес изделия, ведь велика вероятность того, что плиты с невысокой плотностью не имеют заявленной теплоизоляции.

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

Марцин Феликс
Технический советник Austrotherm
, фото: Austrotherm

.

Минеральная вата какой коэффициент выбрать? Лямбда или коэффициент теплопроводности. - Блог

02.02.2021

Если вам интересно, что это такое и как выбрать коэффициент лямбда для минеральной ваты, не покидайте наш сайт.

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

В нашем тексте мы рассматриваем такие вопросы, как:

  • Минеральная вата - какой фактор выбрать?
  • Какова теплопроводность минеральной ваты?
  • Что такое лямбда-фактор?
  • Какая шерсть и какой коэффициент для мансарды?

Минеральная вата - какой фактор выбрать?

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

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

Однако отдельные виды шерсти могут значительно отличаться друг от друга, поэтому мы подготовили для вас это краткое руководство по покупке.

Что такое коэффициент теплоотдачи и почему он так важен?

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

Мы также можем встретить немного более физическое обозначение, то есть W / (mK). Так как же распознать материал с хорошими изоляционными свойствами?

Короче говоря, чем ниже значение лямбда, тем лучше изоляция будет обеспечена материалом.В настоящее время чаще всего встречается лямбда в диапазоне от 0,032 до 0,038.

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

Однако специалисты все чаще советуют покупать изоляцию с более высокими характеристиками. Да, минеральная вата с коэффициентом лямбда 0,031 будет дороже, чем с параметром 0,036, но помните, что мы строим дом на несколько десятков лет, а не на несколько сезонов.

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

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

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

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

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

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

Теплопроводность и толщина минеральной ваты

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

Чем больше толщина изоляционного слоя, тем меньше тепла он будет передавать.

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

Благодаря этому мы значительно «уменьшим» изоляционный слой без ухудшения его изоляционных свойств.

Как это работает на практике?

Изоляционный слой из минеральной ваты толщиной 19 сантиметров с коэффициентом лямбда 0,038 соответствует своим техническим параметрам при использовании минеральной ваты толщиной 15 см с коэффициентом лямбда 0,031. Это более 20% разницы в толщине изоляции!

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

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

Как выбрать вату с подходящим лямбда-коэффициентом для утепления дома?

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

Однако следует помнить, что есть определенные требования, которым должна соответствовать шерсть . Лямбда-коэффициент , а точнее его минимальное значение, регулируется заявлением министра инфраструктуры и развития, указывающим на стандарт PN-B-02421: 2000.

В настоящее время в современном строительстве все чаще используется минеральная вата с коэффициентом теплопроводности менее 0,035 Вт / м 2 K, что гарантирует очень хорошую теплоизоляцию.

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

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

Однако следует помнить, что с 2021 года нам придется вводить более жесткие технические требования. Вновь построенные дома должны иметь коэффициент теплопроводности не более 0,2 Вт / м 2 K для внешних стен и 0,15 Вт / м 2 90 116 K для крыши.

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

Минеральная вата - стекло или камень?

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

В настоящее время мы можем встретить два вида минеральной ваты - стеклянную и каменную.Их приложения мы рассмотрим ниже.

Стекловата

Этот тип ваты изготавливается из мелко разбитого стекла и смеси песка, доломита, кальцинированной соды и буры. Сырье тщательно перемешивается, а затем плавится в специальных печах при температуре до 1500 ° C.

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

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

Стекловата менее плотная и поэтому легче. Поэтому он идеально подходит для утепления легких построек.

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

Минеральная вата

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

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

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

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

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


Надеемся, наша статья оказалась для вас полезной. Мы рекомендуем вам посетить наш интернет-магазин (правый верхний угол).

.

что это такое и какое это имеет значение?

Лямбда - что это такое и какое это имеет значение?

Лямбда - это коэффициент теплопроводности. Чем он меньше, тем лучше. Материал с более низким коэффициентом теплопроводности менее способен проводить тепло, т. Е. Изолирует от потерь тепла.Так что на практике, вопреки законам математики, в случае лямбда 0,033> 0,040.

А теперь немного практики, которую мы представим на примере Purinova Purios E - это пена с открытыми ячейками с коэффициентом старения 0,037 Вт / м2К. Прежде чем мы покажем все в цифрах, несколько слов о старении лямбды. Пену PUR часто обвиняют в том, что ее лямбда за короткое время ухудшается. Это не совсем ложь и неправильная интерпретация, часто возникающая из-за незнания и незнания продукта.Пена с открытыми порами сразу после распыления достигает лямбда-коэффициента 0,033 Вт / м2К. Из-за открытых ячеек углекислый газ испаряется, и пена достигает лямбды 0,037 (в случае пены Puriova Purios E). Это стареющая лямбда. Важным моментом является то, что этот процесс занимает не годы, а всего несколько секунд после нанесения пены. Это реальная величина, которую необходимо учитывать при выборе толщины утеплителя. Когда пена PUR достигает лямбда-коэффициента старения, ее теплоизоляционные свойства не изменяются в течение длительного времени, и нет причин беспокоиться о том, что пена со временем станет менее эффективной.Производители пенопласта уверены в этом, поэтому дают 25-летнюю гарантию на постоянство параметров пенопласта! Ух ты! Во время оценки важно спросить специалиста, является ли лямбда, которую он предоставляет, устаревшей. Это очень сильно влияет на цену. На данный момент Puriova предлагает продукт с коэффициентом теплопроводности 0,033 Вт / м2К (продукт Purinova Purios FR), но он намного дороже. При толщине 25 см за пену Purinova Purios E (лямбда 0,037), в зависимости от факторов, мы будем платить 65-75,00 зл / м2 нетто, а за пену Purinova Purios FR 85-95,00 зл / м2 нетто.Если посмотреть на расчеты, то окажется, что 22 см пены Purinova Purios FR соответствуют 25 см пены Purinova Purios E, поэтому пену Purinova Purios FR чаще всего используют в невысоких помещениях, где каждый сантиметр взвешен в золоте.
Ладно, вернемся к расчетам. С 2021 г. коэффициент U для крыши должен быть не более 0,15 Вт / м2К, к 2021 году он составит 0,18 Вт / м2К. Многие покупатели задаются вопросом, что это значит и какую толщину выбрать. Ниже мы представляем краткий и упрощенный метод расчета толщины кровли:

Расчет кровельной перегородки из пенопласта Purionva Purios E толщиной 25 см
R = d / λ
u = 1 / R
d - утеплитель толщина в м - в данном случае 25 см = 0,25 м
λ - теплопроводность
R - термическое сопротивление
R = 0,25 / 0,037
R = 6,757
u = 1 / 6,757
u = 0,1480 - изоляция соответствует требованиям на 2021 год

Расчет перегородки из пенопласта Purinoa Purios FR толщиной 22 см
R = d / λ
u = 1 / R
d - толщина изоляции в м - в данном случае 22 см = 0,22 м
λ - теплопроводность коэффициент
R - термическое сопротивление
R = 0,22 / 0,033
R = 6,667
u = 1 / 6,667
u = 0,1499 - изоляция соответствует требованиям на 2021 год

Однако следует помнить, что в расчетах мало что делать с реальностью в случае некачественной и неаккуратной работы.Пенополиуретан - отличное решение для сложных крыш, потому что он достигает даже самых труднодоступных углов, благодаря чему мы избегаем тепловых мостов. Тепловые мосты - это важные места, через которые тепло выходит из дома, и холод проникает внутрь (зимой) или холод выходит, а тепло проникает внутрь (летом). Даже самый качественный материал не справится с некачественной обработкой. Не забудьте:
- покрыть стропила пеной не менее 3/4 см;
- для утепления стены;
- не покидать малоизолированные помещения;
- избегайте больших перепадов толщины изоляции.
Обратимся к последнему пункту. Из-за того, что пена наносится распылением и имеет очень быстрое время запуска, невозможно требовать такой гладкой поверхности, как, например, штукатурка. Компании, которые предоставляют аэрозольную изоляцию, имеют допуск по толщине, указанный в контракте, часто также в сторону уменьшения, что означает, что вместо согласованных, например, 25 см, заказчик может получить гораздо меньшую толщину на большей части поверхности. У наших клиентов есть гарантия согласованной толщины, а это значит, что сантиметров утеплителя будет не меньше согласованного.Это важно учитывать при установке вешалок из гипсокартона, но мы расскажем об этом в другой статье под названием «Как подготовить крышу для нанесения пенополиуретана». У наших клиентов установка подвесов и подвесов для встраиваемых ГК включена в стоимость, поэтому им можно не беспокоиться об этом.
Для получения максимально эффективного утеплителя и небольших отклонений по толщине пену укладывают слоями, благодаря чему пена выглядит намного эстетичнее и, проще говоря, лучше поддерживает температуру в помещениях.Мы рекомендуем вам ознакомиться с нашими реализациями и посетить наш профиль на фб: https://www.facebook.com/PIANAPURAF

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

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

Вы ищете подрядчика по утеплению кровли, потолка, фундамента, холлов, холодильных камер и т. Д.? Звоните 691230391.

.

Какие параметры пенополистирола нужно учитывать? | Лямбда коэффициент теплопроводности полистирола


Обозначения и свойства полистирола

Свойства полистирола как материала для теплоизоляции зданий определены стандартом PN EN 13163: 2013-05 - с указанием правил классификации, свойств и методов испытаний. Этот стандарт также определяет метод маркировки пенополистирольных плит. Помимо наименования, которое никак не стандартизировано, товар должен быть отмечен буквой m.в коэффициент теплопроводности, так называемый Заявленная лямбда (λD) - это один из важнейших параметров полистирола. Толщина полистирола также важна, поскольку она определяет уровень термического сопротивления R, создаваемого этим разделительным слоем. Чем больше толщина пенополистирола, тем лучше изоляция!

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

Лямбда-коэффициент теплопередачи

Коэффициент теплопроводности , т.е. лямбда , который находится в диапазоне от 0,030 до 0,045 Вт / (м * К), определяет способность полистирола проводить тепло.Это актуально для всех видов пенополистирола, как для утепления фасадных стен, так и для утепления полов или стен фундамента. В тех же условиях больше тепла будет проходить через полистирол с более высоким коэффициентом теплопроводности. Следовательно, полистирол с низкой лямбдой и относительно небольшой толщиной может изолировать здание лучше, чем более толстый полистирол с более высокой лямбдой. По возможности выбирайте полистирол с наименьшим значением лямбда. Самое низкое значение лямбда будет иметь пенополистирол, смешанный с графитом, с высокой плотностью.Но не всегда материал с более низкой лямбдой будет лучше. Важны и другие параметры (прочность на разрыв, прочность на изгиб и водопоглощение).

Прочие важнейшие параметры пенополистирола

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

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

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

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

.

Определение и синонимы слова lambda в словаре

LAMBDA - Определение и синонимы слова lambda в словаре немецкий языка

Файлы cookie Educalingo используются для персонализации рекламы и для получения статистики посещаемости веб-сайта. Мы также передаем информацию об использовании вами веб-сайта нашим партнерам по социальным сетям, рекламе и аналитике.

ПРОИЗВОДСТВО ЛЯМБДЫ

ГРАММАТИЧЕСКАЯ КАТЕГОРИЯ ЛЯМБДЫ

ЧТО ДЕЛАЕТ ЛЯМБДА НА НЕМЕЦКОМ ЯЗЫКЕ

Щелкните, чтобы увидеть , чтобы увидеть исходное определение слова «лямбда» в словаре.Щелкните, чтобы увидеть , чтобы увидеть автоматический перевод определений

лямбда

лямбда

Лямбда - это 11-я буква греческого алфавита, которой предшествует каппа, а затем мю. Произведено от буквы Ламда финикийского алфавита, она является предком буквы L латинского алфавита и буквы Л кириллицы. Лямбда - это 11 букв греческого алфавита, предварительная информация о каппе и суив.Dérivée de la lettre lamda de l'alphabet phénicien, elle est l'ancêtre de la lettre L de l'alphabet latin и de la lettre L de l'alphabet cyrillique.
Значение слова lambda в словаре
Определение лямбда в словаре - одиннадцатая буква греческого алфавита, с учетом текучести, соответствующей французскому l.

La définition de lambda dans le dictionnaire est onzième lettre de l'alphabet grec notant la liquide Соответствующий au l français.

Щелкните, чтобы увидеть , чтобы увидеть исходное определение слова «лямбда» в словаре. Щелкните, чтобы увидеть , чтобы увидеть автоматический перевод определений

СЛОВ, РИФМУЮЩИХСЯ СО СЛОВОМ LAMBDA

Синонимы и антонимы слова lambda в словаре синонимов

СИНОНИМЫ СЛОВА "ЛАМБДА"

Следующие слова имеют такое же или идентичное значение слову «лямбда» и относятся к той же грамматической категории.

Перевод слова «лямбда» на 25 языков

ПЕРЕВОД ЛЯМБДА

Узнайте, как можно перевести лямбда на 25 языков с помощью нашего многоязычного переводчика на малайский язык. Перевод слова лямбда на другие языки в этом разделе был получен с помощью автоматического статистического перевода, основной единицей перевода которого является слово «лямбда».
Переводчик французского - Китайский
拉姆达

1,325 млн человек

Переводчик французского - Испанский
лямбда

570 млн человек

Переводчик французского - Английский
лямбда

510 млн человек

Переводчик французского - Хинди
लैम्ब्डा

380 млн человек

Переводчик французского - Арабский

280 млн человек

Переводчик французского - Русский
лямбда

278 млн человек

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

270 млн человек

Переводчик французского - бенгальский
ল্যামডা

260 млн человек

Французский
лямбда

220 млн человек

Переводчик с французского - малайский
лямбда

190 млн человек

Переводчик французского - Немецкий
Лямбда

180 млн человек

Французский переводчик - Японский
ラ ム ダ

130 млн человек

Переводчик французского - Корейский
람다

85 млн человек

Переводчик французского - Яванский
лямбда

85 млн человек

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

80 млн человек

Переводчик французского - Тамильский
லேம்டாவுடன்

75 млн человек

Переводчик французского - маратхи
लॅम्डा

75 млн человек

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

70 млн человек

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

65 млн человек

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

50 млн человек

Переводчик французского - Украинский
лямбда

40 млн человек

Переводчик французского - Румынский
лямбда

30 млн человек

Переводчик французского - Греческий
λάμδα

15 млн человек

Переводчик французского - африкаанс
лямбда

14 млн человек

Переводчик французского - Шведский
лямбда

10 млн человек

Переводчик французского - Норвежский
лямбда

5 млн человек

Тенденции использования слова lambda

ТЕНДЕНЦИИ ИСПОЛЬЗОВАНИЯ ТЕРМИНА «ЛЯМБДА»

ЧАСТОТА

Очень широко используется

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

ПЕРИОДИЧНОСТЬ ИСПОЛЬЗОВАНИЯ ТЕРМИНАЛА "ЛЯМБДА" ЗА ВРЕМЯ

График показывает эволюцию частоты использования слова «лямбда» в за последние 500 лет.Его реализация основана на анализе частотности слова «лямбда» в оцифрованных печатных источниках с 1500 года по сегодняшний день.

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

КНИГ ПО «ЛЯМБДА»

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

1

Paraphrase de la métaphysique d'Aristote (livre Lambda ).

Entre lui et l'epoque d'Averroes, d'Albert le Grand, de Thomas d'Aquin, rien ne nous est reste sur Lambda. Фемистий перефразирует текст и мелкие отступления. L'original grec est perdu.

Фемистий, Реми Браг, 1999

2

Métaphysique, Лямбда 7

Le chapitre 7 du livre Lambda de la Métaphysique d'Aristote a fait l'objet des commentaires les plus admiratifs, pour son content propre et pour la manière dont il est réputé achever la recherche d'une science des premiers Principes de...

Аристот, Рене Лефевр, 1999

3

Википедия, média de la connaissance démocratique?: Quand le ...

Просмотрите результаты, чтобы проверить Google ... на первой странице результатов, целиком и полностью, в предыдущей статье в Википедии.

4

Les pensées ordinaires du quidam лямбда

Les Pensées ordinaires du Quidam Lambda Jpfg Les Pensées ordinaires du Quidam Lambda Том 2 Лес.

5

Les Tribulations D'un Francais Лямбда

Жан Кюмон. Nous étions sous les ordres du Caporal, шеф-повар Бернар Ледиг, оон Эльзасский де Вилле-пре-де-Кольмар. Il n'était pas trop dur avec nous. Il aimait bien la Plaisanterie, mais en tant que chef de chambre il devait se montrer ferme.

6

Itinéraire lambda от l'Algérie de papa à l'O.В КАЧЕСТВЕ.

Le déclenchement de la rébellion algérienne, ler novembre 1954, percute l'auteur à l'orée de sa vie familiale et Professionalnelle.

7

L 'Université Laurentienne: Une histoire

12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 «Лаврентьевский образ жизни: отчет об опросе, проведенном в университетах Онтарио », Lambda , 10 ноябрь 1988 г. Национальная неделя осведомленности об алкоголе, Lambda , 21 октября 1999 г.

8

LES IMMUNOGLOBULINES LAMBDA MURINES: РЕГУЛИРОВАНИЕ DE LA ...

ANALYZE DE L'ACTIVATION DU LOCUS LAMBDA: L'ETUDE DE LA CONFIGURATION DES GENES KAPPA DANS DES HYBRIDOMES LAMBDA MONTRE QUE LE REARRANGEMENT DU LOCUS LAMBDA NE SE PRODUIT QU'APRES DES FRARRANGEMENTS.

9

Visual Basic.Net (VB.Net): разработка с помощью Visual Studio 2008

г. Выражения. лямбда . Выражение лямбда сопоставимо по функции sans nom effectuant un traitement et retournant une simple valeur. Elles Peuvent être utilisées partout où un délégué est serveu.

10

Recueil de petits problèmes en Scheme

1 (énoncé page 58) Suivant la grammaire de mini-Scheme, une expression Удовлетворяет ли предварительный синтаксис - выражение? si elleisfait un des cinq predicats syntax- переменная ?, номер синтаксиса ?, комбинация синтаксиса?, синтаксис лямбда -выражение? ОУ на бис...

К. Кейннек, Д. Риббенс, М. Серрано, 1999

новостей, содержащих термин "лямбда"

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

Apple Watch: 97% удовлетворительных результатов - CNET France

De plus, le taux de удовлетворение, le plus élevé n'est pas atteint chez les "Tech Insider" mais bien avec l'utilisateur lambda .A lire aussi: Près de 2 ... «CNET Франция, 15 июля»

Сорти-де-тюрьма, блогер redécouvre Интернет: «Ça m'a brisé le…

Un paragraphe Absolument génial rédigé par une personne lambda peut très bien être dédaigné par le stream, tandis que les élucubrations ... «Rue89, Jul 15»

Эрудит франкоязычный: чемпион мира по нео-зеландии…

Un joueur lambda come vous et moi compterait sur son наблюдения du jeu, sa stratégie, sa mémoire et son лексика.«L'Obs, 15 июля»

Объектив: la période estivale, un casse-tête pour les Association de…

Et les personnes lambda , que peuvent-elles faire pour aider un SDF en été? «Comme tout le monde, les SDF ont besoin de s'hydrater. «La Voix du Nord, 15 июля»

Instagram se dote enfin d'un champ de recherche pour le web

Un visiteur lambda ne pourra pas en profiter.À première vue, l'ajout d'une option de recherche n'a rien d'extraordinaire. Mais pour un site ... «Numerama, 15 июл»

Husqvarna 350 FE 2016: L'enduro idéale? - Мото-станция

Un moteur costaud qui sait mélanger fun et efficacité tout en restant available à l'enduriste lambda , c'est quand même pas mal! On n'est pas ... «Мотостанция, 15 июля»

Мали: Soumaila Cissé fait des emules: Il n'est pas jamais trop tard…!

Du Malien lambda au ministre c'est le sauve qui peut ……… Ces images parlent d'elles mêmes! Усман КУЛИБАЛИ.Источник: Зенит Бале ... «Мали Акту, 15 июля»

Wordpress: 5 плагинов для естественного использования - MemoClic

Parce que ces 2 element peuvent être sémantiquement très proches et alourdir ainsi la lecture pour le visiteur lambda . Pour offrir un meilleur ... «MemoClic, 15 июля»

Образец Volkswagen Passat GTE hybride с аккумулятором…

Qu'un automobiliste lambda serait bien en peine de l'égaler, sauf à circuitler dans un monde utopique régi par les règles du protocole de Calcul... «Challenges.fr, 15 июл»

Подтверждение Blazblue Chrono Phantasma Extend в Европе

Côté content, on rappelle que Celica et Lambda -11 feront partie du casting (Qui contiendra 28 personnages au total) et que le mode "Histoire" ... «Jeux Actu, Jul 15»


ИСТОЧНИК

«EDUCALINGO. Lambda [онлайн].Доступно на . Декабрь 2021 ».

Вы откроете для себя все, что скрывают слова

© Educalingo, 2021

bndeenesfrhiitjajvkomrmsplptrorutatrukzh

.

Лямбда-коэффициент, что такое коэффициент теплопроводности?

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

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

Что такое лямбда-коэффициент? Определение лямбда-коэффициента?

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

О чем говорит нам лямбда-коэффициент и почему его стоит проверить?

Лямбда-фактор - это загадочно звучащий термин для многих людей.Между тем, размер наших счетов за отопление в наибольшей степени зависит от его стоимости. Рассчитываем его как для стройматериалов, из которых возводятся стены, перекрытия и кровля здания, так и для теплоизоляционных материалов. Значение этого коэффициента показывает, в какой степени данный строительный материал проводит тепло, то есть выводит его из здания. Проще говоря, величина, указанная в единице λ, определяет, сколько лет будет теплу при использовании определенного строительного материала. На практике, чем ниже коэффициент λ, тем меньше потери тепла и меньше счета за отопление.

Какое значение имеет лямбда-коэффициент в строительстве?

Значение коэффициента лямбда для отдельных строительных материалов определяет теплопотери в здании. Это влияет на сумму счетов за отопление, а также на энергоэффективность здания. Стоит помнить, что вновь построенные дома должны соответствовать очень строгим стандартам энергосбережения. Итак, дома, построенные в 2021 году, не могут превышать потребность в невозобновляемой энергии в размере 70 кВтч / м2, а коэффициент теплопередачи через внешние стены не может быть выше 0,2 Вт / м2К, окна и двери 0,9 Вт / м2К и мансардные окна.На величину спроса на невозобновляемую энергию очень сильно влияет старое тепло, связанное с его проводимостью через отдельные строительные материалы, и, следовательно, значение коэффициента лямбда.

Как распознать изоляционные материалы с низким лямбда?

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

Как определить строительные и строительные материалы с низким значением лямбда?

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

Коэффициент теплопроводности и коэффициент теплопередачи - различия

При покупке стройматериалов стоит обращать внимание не только на коэффициент лямбда λ (теплопроводность), но и на коэффициент теплопередачи, обозначаемый как U.Разница между ними в том, что λ сообщает нам значение теплопроводности для данного материала (группы материалов), а U - о передаче тепла через определенную перегородку. Обе концепции тесно связаны друг с другом, поскольку значение U влияет на значение λ.

Формула лямбда-коэффициента, или как рассчитать лямбда-коэффициент?

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

λ = (Q / t) · (d / S ΔT)

λ, то есть коэффициент теплопроводности

ΔQ - это количество тепла, протекающего через тело

T - время истечения, то есть: λ = (Q / t) · (d / S ΔT)

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

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

Для каких строительных материалов λ a для какого U?

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

Как уменьшить счета за отопление?

В готовом здании замените окна и двери на окна и двери с наименьшим возможным коэффициентом теплопередачи, значение, отмеченное символом «U».Строения, которые еще предстоит возвести, должны быть построены из ячеистых блоков и ячеистого кирпича (с отверстиями), которые имеют очень низкий коэффициент теплопроводности. Использование таких строительных и изоляционных материалов позволяет снизить счета за отопление до 30%.

Лямбда-коэффициент для строительных и изоляционных материалов, таблица

Лямбда-коэффициент, Вт / м · К

1

МАТЕРИАЛ

ЗНАЧЕНИЕ λ

2

МИНЕРАЛЬНАЯ ШЕРСТЬ

0,031–0,045

3

ДЕРЕВЯННАЯ ШЕРСТЬ

от 0,038 м до 0,08

3

КОНСОЛЬНАЯ ШЕРСТЬ

0,04

5

ПОЛИСТИРОЛ БЕЛЫЙ

0,038-0,045

6

ПОЛИСТИРОЛ ГРАФИТ

0,031-0,033

7

AIRGEL

0,014 до 0,017

8

ПОЛИУРЕТАНОВАЯ ПЕНА

0,022-0,040

9

ВОЗДУХ

0,025

10

ЭКСТРУДИРОВАННЫЙ ПОЛИСТИРОЛ

0,028-0,040

11

БЕТОН

0,095-0,18

12

ПОЛНЫЙ КИРПИЧ

0,7

13

БЕТОН

1,3–1,7

14

ДЕРЕВО

0,17-0,30

15

РАЗЪЕМ

0,037-0,045

16

ПРИРОДНЫЙ КАМЕНЬ

2-3,5

17

ПОРИЗОВАННАЯ КЕРАМИКА

0,14–0,16

18

сталь

58

.

Значения лямбда-коэффициента - коэффициента теплопроводности строительных материалов

ЗНАЧЕНИЯ ЛЯМБДА [λ]

Теплопроводность - это информация о потоке энергии, который проходит через единицу поверхности слоя материала толщиной 1 м с разницей температур с обеих сторон этого слоя 1 К (1 ° C). Коэффициент теплопроводности материала λ [Вт / (м • K)] является характерным значением для данного материала. Это зависит от его химического состава, пористости, а также от влажности.

Важно:

Чем меньше значение λ, тем лучше теплоизоляционные свойства.

таблица коэффициента λ для материалов (средняя влажность)

Битум

λ [Вт / (м • К)]

Битум нефтяной

0,17

Мастика асфальтобетонная

0,75

Асфальтобетон

1,00

Битум войлок

0,18

Бетон

λ [Вт / (м • К)]

Бетон на простом каменном заполнителе

плотность 2400 кг / м3

1,70

плотность 2200 кг / м3

1,30

плотность 1900 кг / м3

1,00

Бетон на известковом заполнителе

плотность 1600 кг / м3

0,72

плотность 1400 кг / м3

0.60

плотность 1200 кг / м3

0,50

Тощий бетон

1,05

Цементная стяжка

1,00

Железобетон напр.потолок

1,70

Дерево и древесные материалы

λ [Вт / (м • К)]

Сосна и ель

по зерну

0,16

по крупицам

0,30

Бук и дуб

по зерну

0,22

по крупицам

0,40

Фанера

0,16

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

0,06

Картон твердый

0,18

Опилки древесные, сыпучие

0,09

Стружка уплотненная

0,09

Сыпучая щепа

0,07

Гипс и гипсовые изделия

λ [Вт / (м • К)]

Газогипс

0,19

Гипсокартон

0,23

Гипсовая стяжка чистая

1,00

Гипсовая стяжка с песком

1,20

Плиты и блоки гипсовые

0,35

Камни природные

λ [Вт / (м • К)]

Мрамор, гранит

3,50

Песчаник

2,20

Пористый известняк

0,92

Известняк компактный

1,15

Щебень стеновой вкл.Растворы 35% 9000 5

2,50

Строительные материалы:

λ [Вт / (м • К)]

Стена из ячеистого бетона с тонкой противопожарной защитой (500)

0,17

Бетонная кладка ячеистаядля тонкой шапочки (600)

0,21

Стена из ячеистого бетона с тонкой противопожарной защитой (700)

0,25

Стена из ячеистого бетона с тонкой противопожарной защитой (800)

0,29

Стена из композитного бетона под керамзит-вап (500)

0,25

Бетонная кладка ячеистаяпо приглашению ce-wap (600)

0,3

Стена из композитного бетона для плиты ce-wap (700)

0,35

Стена из композитного бетона для плиты ce-wap (800)

0,38

Стена из керамического кирпича, отверстие

0,62

Стена из полнотелого керамического кирпича

0,77

Стена пустотелая

0,64

Клинкерный стеновой

1,05

Кирпичная стена в клетку

0,56

Стена полнотелая

0,77

Стена пустотелая из силикатного кирпича

0,80

Стена из силикатного кирпича

0,90

Теплоизоляционные материалы:

λ [Вт / (м • К)]

Пенополистирол

0,031–0,045

Минеральная вата

0,033–0,045

Доски пробковые вспененные

0,045

Плиты пробковые асфальтные

0,070

Соломенная доска

0,080

Пластины язычковые

0,070

ДСП

0,15

Полиуретан (PUR / PIR)

0,023–0,029

Воздух (неподвижный)

0,02

Пеностекло белое

0,12

Пеностекло черное

0,07

Защитные материалы

λ [Вт / (м • К)]

Цементная штукатурка

1

Штукатурка известковая

0,70

Цементно-известковая штукатурка

0,82

Тонкослойная штукатурка

0,70

Прочие

λ [Вт / (м • К)]

Алюминий

200

цинк

110

Изоляционный войлок

0,060

Глина

0,85

Песчаная глина

0,70

Земля

0,90

Медь

370

Битум войлок

0,18

Бумага

0,25

Песок средний

0,40

Керамическая облицовочная плитка, терракота

1,05

Картон

0,14

Сталь конструкционная

58

ACERMANA потолок 15см

0,9

ACERMANA потолок 18см

1

ACERMANA потолок 22см

1,14

Оконное стекло

0,80

Органическое стекло

0,19

Чугун

50

Печной шлак

0,28

Гравий

0,90

Напольное покрытие ПВХ

0,20

.

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


Оцените статьюПлохая статьяСредненькая статьяНормальная статьяНеплохая статьяОтличная статья (проголосовало 13 средний балл: 5,00 из 5)