Лямбда критическая что это

Обновлено: 05.07.2024

Оптическая лямбда, как термин в телекоммуникациях, имеет два значения:

оптическая пассивная лямбда;
оптическая активная лямбда.

Оптической пассивной лямбдой называют окно прозрачности (диапазон длин волн оптического излучения с малым затуханием) ОВ (оптическое волокно), согласно стандартным частотам создаваемым посредством пассивных устройств, CWDM или DWDM фильтрами.

Через это окно прозрачности можно передавать посредством подключения соответствующих оптических CWDM или DWDM трансиверов, работающих на соответствующей этому окну прозрачности частоте.

При этом по оптический лямбде можно передавать, подключая различные типы CWDM или DWDM оптических модулей, различные протоколы различной производительности, например, 4G Fiber Channel, 8G Fiber Channel, 16G Fiber Channel, 32G Fiber Channel, 1G Ethernet, 2,5G Ethernet, 10G Ethernet, 40G Ethernet, 100G Ethernet, 200G Ethernet, 400G Ethernet и т.д.

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

Оптическая активная лямбда — это пассивная лямбда к которой подключены оптические CWDM или DWDM трансиверы. Т.е. оптическая активная лямбда — это L1 канал организованный с применением технологий спектрального уплотнения: CWDM или DWDM.

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

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

Содержание

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

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

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

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

β-редукция

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

$(\lambda x. 2\cdot x + 1)\ 3$

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

$(\lambda x.t)\ a = t[x:=a],$

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

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

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

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

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

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

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

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

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

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

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

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

В лямбда-исчислении, Y g — неподвижная точка g; продемонстрируем это:

Теперь, чтобы определить факториал, как рекурсивную функцию, мы можем просто написать g (Y g) n, где n — число, для которого вычисляется факториал. Пусть n = 4, получаем:

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

В языках программирования

Латиноамериканский мотив

Бразильские генетики обратили внимание на новую мутацию S-белка в этом варианте: Δ246-252. Ее опасность пока не оценена. Перуанские ученые также выражают беспокойство по поводу этой мутации. Они написали, что другие мутации в белке-шипе коронавируса связаны с распространенными инфекциями у пациентов с подавленным иммунитетом.

Эпидемиолог Михаил Щелканов — о возможности формирования супермутантов SARS-CoV-2 и рисках заражения человека новыми коронавирусами от животных

Вооружен и очень опасен

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

Узнай первым о выходе нового полезного контента

Читайте также: