E hc лямбда что это за формула

Обновлено: 05.07.2024

Начнём мы с традиционного (но краткого) экскурса в историю. В 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))
Скобки явно указывают группировку действий.

Процесс вычисления

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

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

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

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

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

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

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

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

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

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

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

Суммарная ширина щели и штриха (a+b=d) – период решетки.

! d=((a+b)*N)/N=C/N!, где С –ширина решетки, N -число штрихов на ней.

на нем: Л- линза; Р – решетка; Э - экран

Максимумы, которые образуются на экране, после интерференции вторичных волн, идущих от узких щелей, удовлетворяют условию:

!d*sin фи = k*лямбда! - формула дифракционной решетки.

фи - угол дифракции (угол отклонения от прямолинейного направления);

k - порядок спектра;

лямбда - длина волны света, освещающего решетку,

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

Если решетку освещать белым светом, то центральный максимум будет белым, а остальные будут представлять собой чередование цветных полос плавно переходящих друг в друга, т. к. sin фи= k*лямбда/d - зависит от длины волны света. D = к/t - угловая дисперсия решетки. R =k*N - разрешающая способность.

Диффузия в жидкости. Уравнение Фика. Уравнение диффузии для мембран.

Диффузия - самопроизвольное проникновение молекул одного вещества между молекулами других.

Явление диффузии - важный элемент диффракционирования мембран. При диффузии происходит перенос массы вещества. В биофизике это называется транспорт частиц. Основным уравнением диффузии является уравнение Фика:

где I – плотность частиц при диффузии в жидкость.

D – коэффициент диффузии.

Коэффициент 1/3 возник ввиду трехмерного пространства и хаоса в движении молекул (в среднем в каждом из 3-х направлений перемещается 1/3 часть всех молекул)

сигма - средняя длина свободного пробега молекул

тау -среднее время оседлой жизни молекул

С- массовая концентрация молекул

Х- перемещение молекул вдоль оси X

- градиент массовой концентрации

Уравнение диффузии можно записать в виде:

n – концентрация молекул.

Градиент концентрации

R- универсальная газовая постоянная; Т- абсолютная температура градиент химического потенциала,

Тогда

С - концентрация частиц. А Эйнштейн показал, что D пропорционально Т. Дня биологических мембран уравнение Фика имеет вид:

- концентрация молекул внутри клеток

- коэффициент проницаемости

l – толщина мембраны.

Дифракция света на щелях.

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

Рассмотрим дифракцию от узкой щели (АВ)

MN – непрозрачная преграда;

АВ=а – ширина щели;

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

АD - перпендикуляр к направлению пучка вторичных волн. Разбили ВD на отрезки =лямда/2.

АА₁, А₁В - зоны Френеля. Вторичные волны, идущие от двух соседних зон Френеля, не гасят друг друга, так как отличаются по фазе на пи. Число зон, укладывающихся в щели, зависит от длины волны лямда и угла альфа.

Если щель АВ разбить при построении на нечетное число зон Френеля, а ВD на нечетное число отрезков, равных лямда/2, то в точке О₁ наблюдается максимум интенсивности света. ВD=а*sinα=+-(2k+1)*лямда/2.

Если щель разбить на четное число зон Френеля, то наблюдается минимум освещенности: а*sinα=+-2k*лямда/2=+-k*лямда.

Поэтому на экране получится система светлых (mах) и темных (min) полос симметричных относительно центра (альфа=треугольник - изменение) - наиболее яркой полосы.

Интенсивность остальных максимумов убывает с увеличением к.

3аконы излучения абсолютно чёрного тела (Стефана - Больцмана, Вина). Формула Планка. Использование термографии в диагностике.

Излучение чёрного тела имеет сплошной спектр. Графически это выглядит для разных температур так:

Существует максимум спектральной светимости, который при повышении

температуры смещается в сторону коротких волн.

По мере нагревания чёрного тела его энергетическая светимость (Re)

увеличивается: Re = опред интеграл от 0 до бескон от Eлямда*dлямда

Стефан и Больцман установили, что Re=сигма*T^4

Сигма = 5,6696*10^-8 Вт/K*м^2 - постоянная Стефана-Больцмана,

T=t+273 - абсолютная (термодинамическая) температура по шкале

Кельвина. Все замечали это на практике, чем выше температура спирали, нагретой печи, тем больше они излучают тепла.

Планк получил формулу для спектральной плотности абсолютно черного тела (Eлямда) и серого тела (r лямда) (лямда-индекс): Eлямда=2п*h*c^2/лямда^5 * 1/exp[h*c/k*T*лямда-1]

альфа - коэффициент поглощения

h - постоянная Планка;

С - скорость света в вакууме;

лямда - длина волны;

k - постоянная Больцмана;

Т - абсолютная температура.

2 Затухающие колебания и декремент затухания. Апериодические колебания.

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

Амплитуда колебаний с каждым разом убывает. Затуханию способствуют силы трения и сопротивления, возникающие в средах. Пусть r-коэффициент трения, характеризующий свойство среды оказывать сопротивление движению. Тогда БЕТТА= r/2m – коэффицент затухания.

Wo= корень(K/m) – циклическая частота собственных колебаний, тогда W^2=Wo^2-БЕТТА^2, где W – циклическая частота затухания колебаний.

Быстрота затухания колебаний определяется коэффициентом затухания. Уравнение затухающих колебаний имеет вид А=Ао*l в степени минус бета*t

Ao – первоначальная амплитуда, А-амплитуда затухающих через время t.

Лямда=lnA(t)/A(t+T)=lnAo*(e в степени минус бета*t)/Ao*e^-бета*(t+T)=ln(e^ бета*t) –логарифмический декрет затухания.

!Лямда=бета*Т!- связь логарифмического декремента затухания с коэффициентом затухания. При сильно затухании колебания становятся апериодическими (если бета^2>Wo^2)

№31 Импеданс полной цепи переменного тока. Сдвиг фаз. Резонанс напряжения.

Рассмотрим последовательно соединенные R, L, C.

При последовательном соединении:

1) Uвх=U0*cosW*t=Ur+Ul+Uc – входное напряжение.

2) I=I0*cos(W*t-фи) – сила тока в цепи.

Начертим векторную диаграмму:

Ur0 – совпадает по фазе с силой тока;

Ul0 – опережает на пи/2;

Uc0 – отстает от тока на пи/2.

По теореме Пифагора: (U0)^2=(U0r)^2+(U0l-U0c)^2

Сократив обе части уравнения на (I0)^2 получим выражение для полного сопротивления (Z):

Z=квадратный корень из (R^2+(W*L-1/W*c)^2) – импеданс.

Если сопротивление катушки Xl= W*L равно сопротивлению конденсатора Xc=1/W*c, то полное сопротивление Z=R; по закону Ома Iрез=U0/Z=U0/R (Iрез – резонансный ток) – сила тока резко возрастает – РЕЗОНАНС. При этом Ul=Uc>>U0 – резонанс напряжений. Это возможно, т.к. Ul и Uc сдвинуты по фазе между собой на пи:

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

№32 Импенданс тканей организма. Эквивалентная Электрическая схема. Оценка жизнеспособности тканей и органов но частотной зависимости к углу сдвига фаз.

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

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

1/Zв2=1/Rв2+1/корень(R1 в2+1/Wв2*Св2)!, где Z-полное сопротивление данной цепи, с - ёмкость.

При малых частотах: Z=R2 При больших частотах: Zmin=(R1*R2)/(R1+R2).

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

Сдвиг фаз между током и напряжением tg фи = R/Xc=RWC (1).

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

клетки (проводник) соединяется с межклеточной

жидкостью(проводник) и емкостные свойства ткани уменьшаются, а это значит, что и импенданс (Z) и сдвиг фаз (фи) меньше зависят от частоты. Мёртвая ткань обладает лишь омическим сопротивлением (R), и не зависит от частоты. Диагностический метод, основанный на регистрации изменения импенданса тканей и сдвига фаз называется РЕОГРАФИЕЙ.

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