Текст книги "Большая Советская Энциклопедия (МН)"

Многозначная логика

Многозна'чная ло'гика, раздел математической логики , изучающий математические модели логики высказываний . Эти модели отражают две основные черты последней – множественность значений истинности высказываний и возможность построения новых, более сложных высказываний из заданных при помощи логических операций, которые позволяют также по значениям истинности исходных высказываний устанавливать значение истинности сложного высказывания. Примерами многозначных высказываний являются суждения с модальным исходом («да», «нет», «может быть») и суждения вероятностного характера, а примерами логических операций – логической связки типа «и», «или», «если..., то». В общем случае модели М. л. представляют собой обобщения алгебры логики . Важно отметить, что в алгебре логики высказывания принимают только два значения истинности («да», «нет»), в связи с чем она в общем случае не может отразить всего многообразия логических построений, встречающихся на практике. При достаточно широком толковании М. л. в неё иногда включают также логические исчисления .

  Исторически первыми моделями М. л. явились двузначная логика Дж. Буля (называемая также алгеброй логики), трёхзначная логика Я. Лукасевича (1920) и m -значная логика Э. Поста (1921). Изучение этих моделей составило важный этап в создании теории М. л. М. л. обладает определённой спецификой, состоящей в рассмотрении задач и подходов, возникающих при исследовании М. л. с позиций математической логики, теоретической кибернетики и алгебры . Так, с позиций теоретической кибернетики, модели М. л. рассматриваются как языки, описывающие функционирование сложных управляющих систем, компоненты которых могут находиться в некотором числе различных состояний; а с точки зрения алгебры, модели М. л. представляют собой алгебраические системы, имеющие наряду с прикладным и чисто теоретический интерес.

  Построение моделей М. л. осуществляется по аналогии с построением двузначной логики. Так, индивид, высказывания логики, разбитые на классы с одним и тем же значением истинности, приводят к понятию множества Е – констант модели, которые фактически отождествляют все индивидуальные высказывания, заменяя их соответствующими значениями истинности; переменные высказывания – к переменным величинам x₁, x₂ , ..., которые в качестве значений принимают элементы из множества Е ; логической связки – к множеству М элементарных функций (операций), которые, как и их аргументы, принимают значения из Е . Сложные высказывания, построенные из индивидуальных и переменных высказываний, а также логических связок, приводят к множеству <М > формул над М . Значение истинности из Е сложного высказывания является функцией от соответствующих значений истинности высказываний, входящих в данное сложное высказывание. В модели эта функция приписывается формуле, соответствующей данному сложному высказыванию; говорят также, что формула реализуют эту функцию. Множество формул <М > приводит к множеству [М ] функций, реализуемых формулами из <М > и называемых суперпозициями над М . Множество [М ] называется замыканием множества М . Задание конкретной модели М. л. считается эквивалентным указанию множеств Е, М , <М > и [М ]; при этом говорят, что модель порождается множеством М . Эта модель называется формульной моделью, а также m -значной логикой, где m обозначает мощность множества Е .

  Своеобразие подхода математической кибернетики к М. л. состоит в рассмотрении моделей М. л. как управляющих систем. Элементарные функции при этом являются элементами, производящими определённые операции, а формулы интерпретируются как схемы, построенные из элементов и также осуществляющие переработку входной информации в выходную. Такого рода управляющие системы, известные в кибернетике как схемы из функциональных элементов, широко используются в теоретических и практических вопросах кибернетики. Вместе с тем существует ряд задач логики и кибернетики, который связан с изучением соответствий между множествами М и [М ] и при котором роль множества <М > несколько затушёвывается, сводясь к способу определения второго множества по первому. В этом случае приходят к другой модели М. л., которая представляет собой алгебру, элементами которой являются функции, принимающие в качестве значений, как и их аргументы, элементы из Е . В качестве операций в этих алгебрах обычно используется специальный набор операций, эквивалентный в смысле соответствий М и [М ] множеству формул, построенных из функций множества М , т. е. получению сложных функций из заданных путём подстановки одних функций вместо аргументов других.

  К числу задач, характерных для формульной модели М. л., относится задача «об описании», т. е. вопрос об указании для заданного множества М₂ Í [M₁ ] всех формул из <M₁ >, реализующих функции из М₂ . Частным случаем такой задачи является важный вопрос математической логики об указании всех формул, реализующих заданную константу, что, например, для исчисления высказываний эквивалентно построению всех тождественно истинных высказываний. Пограничным вопросом между математической логикой и алгеброй, примыкающим к задаче об описании, является задача о тождественных преобразованиях. В ней при заданном множестве М требуется выделить в некотором смысле простейшее подмножество пар равных (т. е. реализующих одну и ту же функцию) формул из <М >, позволяющее путём подстановки выделенных равных формул одной вместо другой получить из любой формулы все формулы, равные ей. Аналогичное место занимает один из важнейших вопросов для М. л. – т. н. проблема полноты, состоящая в указании всех таких подмножеств M₁ заданного замкнутого, т. е. совпадающего со своим замыканием, множества М , для которых выполнено равенство [M₁ ] = М , т. е. имеет место свойство полноты M₁ в М . Глобальной задачей для М. л. является описание структуры замкнутых классов данной модели М. л.

  Характерный для теории управляющих систем вопрос о сложности этих систем естественно возникает и по отношению к формулам и функциям из М. л. Типичной при таком подходе является следующая задача о сложности реализации. На множестве всех элементарных формул некоторым способом вводится числовая мера (сложность формул), которая затем распространяется на множество всех формул, например, путём суммирования мер всех тех элементарных формул, которые участвуют в построении заданной формулы. Требуется для заданной функции указать ту формулу (простейшую), которая реализует эту функцию и имеет наименьшую сложность, а также выяснить, как эта сложность зависит от некоторых свойств рассматриваемой функции. Исследуются различные обобщения этой задачи. Широкий круг вопросов связан с реализацией функций формулами с наперёд заданными свойствами. Сюда относятся задача о реализации функций алгебры логики дизъюнктивными нормальными формами и связанная с этим задача о минимизации; а также задача о реализации функций формулами в некотором смысле ограниченной глубины (т. е. такими формулами, в которых цепочка подставляемых друг в друга формул имеет ограниченную длину, такое ограничение связано с надёжностью и скоростью вычислений).

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

  К числу наиболее важных примеров М. л. относятся конечнозначные логики (т. е. m -значные логики, для которых m конечно). Среди них наиболее глубоко исследован случай m = 1. Важнейшим результатом здесь является полное описание структуры замкнутых классов и получение для них важной информации по задаче о сложности реализации. Установлено, что при m > 2 у конечнозначных логик возникает ряд особенностей, существенно отличающих их от двузначного случая. Таковы, например, континуальность множества замкнутых классов (при m = 2 их счётное число), особенности решения задачи о сложности реализации и ряд других. Общим результатом для конечнозначных логик является эффективное решение задачи о полноте для замкнутых классов, содержащих все функции со значениями в Е . Решение остальных проблем для конечнозначных логик продвинуто в различной степени. Особая значимость конечнозначных логик связана ещё и с тем, что они позволяют описывать работу самых различных реальных вычислительных устройств и автоматов.

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

  Лит.: Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б., Функции алгебры логики и классы Поста, М., 1966; Яблонский С. В., Функциональные построения в k-значной логике, «Тр. Матем. института АН СССР», 1958, т. 51, с. 5—142.

  В. Б. Кудрявцев.

Многозначная функция

Многозна'чная фу'нкция, функция, принимающая несколько значений для одного и того же значения аргумента. М. ф. появляются при обращении однозначных функций, повторяющих свои значения. Так, функция x² принимает каждое положительное значение дважды (при значениях аргумента, различающихся только знаком); обращение её даёт двузначную функцию  Функция sinх принимает каждое своё значение бесконечное множество раз; обращение её даёт бесконечнозначную функцию Arcsinх . Существенную роль М. ф. играют в теории аналитических функций комплексного переменного. В комплексной области  имеет n значений при любом z ¹ 0; f (z ) = Lnz при z ¹ 0 – бесконечное число значений.

Многозначность слова

Многозна'чность сло'ва, полисемия, наличие у слова более чем одного значения, т. е. способность одного слова передавать различную информацию о предметах и явлениях внеязыковой действительности. Например, у слова горло 4 значения: передняя часть шеи; полость позади рта; верхняя суженная часть сосуда; узкий выход из залива, устье. Во многих языках, в том числе в русском, многозначные слова преобладают над однозначными. М. с. принято отграничивать от омонимии , т. к. значения многозначного слова связаны общими семантическими элементами (семантическими признаками) и образуют определённое семантическое единство (семантическую структуру слова). Различаются первичные и вторичные (производные) значения, которые иногда понимаются как прямые и переносные значения. Первичные значения, как правило, наименее контекстно обусловленны. Соотношение между первичными и вторичными значениями с течением времени может меняться. У разных типов слов существуют различные типы М. с., например относительно регулярная и нерегулярная М. с. – слова, обозначающие населённые пункты (город, деревня, село, посёлок и т. д.), могут иметь в русском языке также значение «жители данного населенного пункта», т. е. следуют определённой семантической формуле, в то время как вторичные значения, например обозначения животных (лев, лиса и т. д.) в применении к людям индивидуальны. Особенности объединения значений в пределах одного слова во многом определяют своеобразие словарного состава каждого языка. Многозначными могут быть также грамматические формы слова и синтаксические конструкции.

  Лит.: Виноградов В. В., Основные типы лексических значений слова, «Вопросы языкознания», 1953, № 5; Ахманова О. С., Очерки по общей и русской лексикологии, М., 1957; Курилович Е., Заметки о значении слова, в его кн.: Очерки по лингвистике, пер. с польск., англ., франц., нем., М., 1962; Üllmann S., The principles of semantics, 2 ed., Glasgow, 1959.

  Д. Н. Шмелев .

Многозуб

Многозу'б (Polyodon spathula), рыба семейства веслоносов отряда осетрообразных.

Многозубые белозубки

Многозу'бые белозу'бки (Suncus), род млекопитающих семейства землероек отряда насекомоядных. Длина тела 3—15 см, хвоста – 2,5—10 см. Представитель рода – малая белозубкa (S. etruscus) – самое маленькое млекопитающее. Около 20 видов. Распространены в Африке, Южной Европе, Южной Азии на В. до Филиппин и Новой Гвинеи. Отдельные виды обитают на лугах и в заболоченных местах, иногда селятся в постройках человека. Питаются главным образом насекомыми, нередко мясом, хлебом. Активны ночью. Размножаются круглый год. В помёте 2—5 детёнышей.

Малая белозубка.

Многокамерный ракетный двигатель

Многока'мерный раке'тный дви'гатель,жидкостный ракетный двигатель (ЖРД) с несколькими камерами и общими системами подачи топлива и управления. М. р. д. отличается от однокамерного той же тяги меньшими размерами (длиной), что позволяет выиграть в массе ракеты в целом; имеет преимущества в доводке камеры ракетного двигателя, однако конструкция его сложнее. Иногда несколькими камерами снабжается твердотопливный ракетный двигатель для ступенчатого изменения тяги.

Многоканальная связь

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

  В основу построения систем М. с. положен принцип уплотнения линий связи. Наиболее распространено частотное уплотнение, при котором каждому каналу связи отводится определённая часть области частот, занимаемой трактом групповой передачи сообщений. В качестве стандартного канала принимается канал тональной частоты (ТЧ), обеспечивающий передачу речевого (телефонного) сообщения с эффективной полосой частот 300—3400 гц. С учётом защитных промежутков между каналами каждому из них отводится номинальная полоса частот 4 кгц. При построении М. с. с частотным уплотнением используется метод объединения стандартных каналов в стандартные групповые тракты. Вначале образуют первичный групповой тракт из 12 стандартных каналов, занимающий полосу частот 60—108 кгц (рис. ). Для этого каждый канал посредством своего индивидуального преобразователя частоты (модулятора) переносится в соответствующую область полосы частот первичного тракта. Из 5 первичных групповых трактов аналогичным образом формируется вторичный и т. д. В практике встречаются системы М. с. на 12, 60, 120, 180, 300, 600, 900, 1920, 10 800 стандартных каналов. Такой метод не только существенно облегчает реализацию электрических фильтров , но также обеспечивает более широкие возможности унификации оборудования и другие технические преимущества. Образование групповых трактов обеспечивает также передачу таких видов информации, которые требуют более широкой полосы частот, чем полоса частот стандартного канала: например, при передаче звукового вещания с полосой частот 50—10 000 гц объединяются 3 стандартных канала, при передаче черно-белого и цветного телевизионного изображений используется полоса частот всего четвертичного тракта (900 стандартных каналов). Для передачи сообщений, требующих полосы частот более узкой, чем полоса частот стандартного канала ТЧ (например, при уплотнении стандартного канала ТЧ низкоскоростными каналами передачи данных ), последний с помощью аппаратуры уплотнения разделяют на 24—48 узкополосных каналов. При этом стандартный канал ТЧ становится уплотнённым каналом связи. Такое уплотнение часто называют вторичным.

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

  Лит.: Назаров М. В., Кувшинов Б, И., Попов О. В., Теория передачи сигналов, М., 1970; Многоканальная связь, под ред. И. А. Аболица, М., 1971.

  М. В. Назаров.

Схема образования первичного группового тракта.

Многоклеточные

Многокле'точные организмы, животные и растения, тело которых состоит из многих клеток и их производных (различные виды межклеточного вещества). Характерный признак М. – качественная неравноценность слагающих их тело клеток , их дифференцировка и объединение в комплексы различной сложности (ткани, органы), выполняющие разные функции в целостном организме . Для М. характерно также индивидуальное развитие (онтогенез ), начинающееся в большинстве случаев (исключая вегетативное размножение ) с делений и дифференцировки одной клетки (половой клетки, споры или др.). Ср. Одноклеточные .

Многоковшовый экскаватор

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

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

  Лит. : Домбровский Н. Г., Многоковшовые экскаваторы, М., 1972.

  Ю. Д. Буянов.

Многокоренник

Многокоре'нник (Spirodela), род водных растений семейства рясковых. Включает 1 вид – М. обыкновенный (S. polyrrhiza) – многолетнее растение с округлым видоизменённым стеблем – листецом, плавающим на поверхности воды и несущим пучок мелких корней (отсюда название). Цветки однополые, без околоцветника, собраны в соцветие из 1 пестичного и 1 тычиночного цветков. Плод односемянный, невскрывающийся. М. цветёт очень редко; размножается ветвлением листеца. Произрастает в Северном полушарии; в СССР – почти повсеместно, кроме Крыма и Средней Азии, в стоячих и медленно текущих водах. Служит кормом для свиней, гусей, уток, кур.

Многократного экспонирования метод

Многокра'тного экспони'рования ме'тод, метод комбинированной киносъёмки , основанный на совмещении в кадре нескольких изображений с помощью последоват. съёмки различных объектов на одну и ту же киноплёнку. Для этого съёмочный аппарат должен иметь хорошую устойчивость изображения в кадровом окне, обратный ход для отмотки киноплёнки, счётчик метров и кадров отснятой киноплёнки. Многократным экспонированием получают изображения в кадрах, в которых одни объекты как бы просвечивают через другие (рис. ). Эту особенность используют как изобразительный приём для показа воспоминаний, сновидений, а также для плавного перехода в кинофильме от одного монтажного плана или кадра к другому. Для предохранения определённых участков кадра от повторного экспонирования при М. э. м. применяется различного рода маскирование, например с использованием чёрного фона, неподвижных и подвижных масок. Маски и контрмаски нужной формы изготавливаются из плотной чёрной бумаги или тонкого картона и устанавливаются в специальном маскодержателе перед объективом аппарата. В простейшем варианте съёмки на чёрном фоне получают несколько изображений одного и того же объекта в разных участках кадра. Применение маски, неподвижной по отношению к кадровому окну аппарата, даёт возможность съёмки одного актёра в нескольких ролях и соединения в кадре естественного объекта с рисунком или макетом (см. Неподвижной маски метод ). Широко применяются также подвижные, или блуждающие, маски, посредством которых при съёмке кинофильмов решаются сложные постановочные и изобразительные задачи (см. Блуждающей маски метод ).

  Б. Ф. Плужников.

Кадр из кинофильма «Александр Матросов», иллюстрирующий метод многократного экспонирования.

Назад к карточке книги "Большая Советская Энциклопедия (МН)"