Большая Советская Энциклопедия (КВ) - Большая Советская Энциклопедия "БСЭ" - Страница 51

  Охлаждение К. у. производится жидким гелием в криостатах. Трудности, связанные со сжижением, транспортировкой и переливкой жидкого гелия из транспортных сосудов в криостаты, ограничивают возможность применения К. у., осложняют и удорожают их эксплуатацию. Разработаны небольшие холодильные машины с замкнутым циклом движения охлаждающего вещества. Масса такой машины, рассчитанной на охлаждение К. у. до 40 К, составляет 10—20 кг. Машина, рассчитанная на получение 4 К, весит более чем 200 кг и потребляет мощность в несколько квт.

  Лит.: Карпов Н. В., Маненков А. А., Квантовые усилители, М., 1966; Сигмен А., Мазеры, пер. с англ., М., 1966; Квантовая электроника. Маленькая энциклопедия, М., 1969; Штейншлейгер В. Б., Мисежников Г. С., Лифанов П. С., Квантовые усилители СВЧ (мазеры), М., 1971.

  А. В. Францессон.

Рис. 1. Распределение частиц по уровням энергии в условиях термодинамического равновесия: а — при температуре T1; б — при температуре T2 < T1; N — населённость уровней энергии, DN — равновесная разность населённостей уровней энергии Е1 и Е2.

Рис. 6. Отражательный усилитель с 3 резонаторами.

Рис. 3. Энергетические уровни парамагнитного иона во внешнем магнитном поле H расщепляются на несколько магнитных подуровней, число которых зависит от величины спина иона S; a) S = 1/2; б) S = 1; в) S = 3/2.

Рис. 2. Возникновение инверсии населённостей для уровней энергии Е2 и Е3 в системе 3 уровней Е1, Е2, Е3 под действием накачки: а — при температуре вещества T1; б — при температуре T2 < T1. Пунктир показывает распределение частиц по уровням энергии при термодинамическом равновесии.

Рис. 4. Объёмный резонатор с активным веществом.

Рис. 7. Схема квантового усилителя проходного типа с 3 резонаторами.

Рис. 5. Схематическое изображение отражательного квантового усилителя с одним резонатором.

Квантор

Ква'нтор (от лат. quantum — сколько), логическая операция, дающая количественную характеристику области предметов, к которой относится выражение, получаемое в результате её применения. В обычном языке носителями таких характеристик служат слова типа «все», «каждый», «некоторый», «существует», «имеется», «любой», «всякий», «единственный», «несколько», «бесконечно много», «конечное число», а также все количественные числительные. В формализованных языках, составной частью которых является исчисление предикатов, для выражения всех подобных характеристик оказывается достаточным К. двух видов: К. (все) общности (оборот «для всех х», обозначается через "x, ("x), (x) (Ax),

) и К. существования («для некоторых х», обозначения: $x, ($x), (Ех),

С помощью К. можно записать четыре основных формы суждений традиционной логики: «все А суть В» записывается в виде "x [A (x)É ÉB (x)], «ни одно A не есть B» — в виде "x [A (x)É

B (x)], «некоторые А суть B» — в виде $x [A (x)&B (x)], «некоторые А не суть В» — в виде $x [A (x)& B (x)] (здесь А (х) означает, что х обладает свойством A, É — знак импликации,  — отрицания, & — конъюнкции).

  Часть формулы, на которую распространяется действие каких-либо К., называется областью действия этого К. (её можно указать с помощью скобок). Вхождение какой-либо переменной в формулу непосредственно после знака К. или в область действия К., после которого стоит эта переменная, называется её связанным вхождением. Все остальные вхождения переменных называются свободными. Формула, содержащая свободные вхождения переменных, зависит от них (является их функцией); связанные же вхождения переменных можно «переименовывать»; например, записи $x (x = 2y) и $z (z = 2y) означают одно и то же, чего нельзя сказать о $x (x = 2y) и $x (x = 2t). Применение К. уменьшает число свободных переменных в логическом выражении и превращает (если К. не «фиктивный», т. е. относится к переменной, действительно входящей в формулу) трёхместный предикат в двухместный, двухместный — в одноместный, одноместный — в высказывание. Употребление К. кодифицируется специальными «постулатами квантификации» (присоединение которых к исчислению высказываний по существу и означает расширение его до исчисления предикатов), например, следующими «постулатами Бернайса»: аксиомами A (t) É $xA (x) и "xA (x) É A (t) и правилами вывода «если доказано С ÉА (х) É С, то можно считать доказанным и С É "хA (х)» и «если доказано А (х) ÉС, то можно считать доказанным и $ хA (x) É C» (здесь х не входит свободно в С).

  К К. общности и существования сводятся и др. виды К., например вместо так называемого К. единственности $! x («существует единственный х такой, что») можно писать «обычные» К., заменяя $! xA (x) на

$xA (x) &"y"z [A (y)&A (z) É y = z].

Аналогично, К., «ограниченный» каким-либо одноместным предикатом P (x)($xP (x), читается как «существует x, удовлетворяющий свойству Р и такой, что», а "xp (x) — «для всех х, удовлетворяющих свойству Р, верно, что»), легко выразить через К. общности и существования и операторы импликации и конъюнкции:

$xp (x) A (x) º $x [P (x)&A (x)] и

"xp (x) A (x) º "x [P (x)ÉA (x)].

  Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, с. 72—80, 130—138; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М., 1960, с. 42—48.

  Ю.А. Гастев.

Квантун

Кванту'н, встречающееся в литературе на русском языке название юго-западной оконечности Ляодунского полуострова в Китае; см. Гуаньдун.