| 11652078 12288 3054 948 1использовании в неск. фильмах однажды снятого события, для печатания чёрно-белых фильмов с цветных оригиналов, при нек-рых способах получения комбинированных изображений .
Лит.: Иофис., Киноплёнки и их обработка, М., 1964; Блюмберг И. Б., Технология обработки фотокиномате-риалов, 2 изд., М., 1967. Е. А. Иофис.
КОНТРАФАГОТ (итал. contrafagotto), духовой муз. инструмент. Разновидность фагота', более низкий по звучанию. Создан в нач. 17 в. нем. мастером Г. Шрайбе-ром, усовершенствован в нач. 20 в. нем. конструктором В. Геккелем. Длина канала К. ок. 5 м. Диапазон: Ci - f. Применяется в симфонич. и духовых оркестрах.
КОНТРАФАКЦИЯ (позднелат. contrafactio - подделка, от лат. contra -против и facio - делаю), в буржуазном праве использование отд. фирмами на своих товарных знаках обозначений, помещаемых на популярных товарах других фирм, в целях недобросовестной конкуренции и введения в заблуждение покупателей.
КОНТРАЦЕПЦИЯ (новолат. contraceptio - противозачатие, от лат. contra - против и concept ?? - зачатие), методы и средства предупреждения беременности. Различают физиологич. и искусственную К. Дни "физиологической стерильности" имеются во время каждого менструального цикла: при 21-дневном цикле это 1-й и 15-21-й дни, при 28-дневном - 1-6-й и 22-28-й дни цикла и т. д.; однако К., основанная на этих физиологич. особенностях, не вполне надёжна, т. к. сроки овуляции могут варьировать. Временная стерильность (невозможность зачатия) наступает также у мн. женщин при кормлении грудью, особенно в первые месяцы после родов. Искусственная К. включает применение механич., химич., биологич., хирургич. и комбинированных средств и методов. К. имеет большое социальное значение как один из осн. методов профилактики аборта, планирования семьи, регулирования роста народонаселения в отд. странах и т. п. Подробнее см. Противозачаточные средства.
КОНТРБАТАРЕЙНАЯ БОРЬЗА, организация и ведение огня артиллерией и миномётами с целью подавления и уничтожения арт. и миномётных батарей противника. В 1-ю мировую войну 1914-18 и во 2-ю мировую войну 1939-45 для выполнения задач К. б. выделялись спец. арт. группы. В современных условиях для подавления и уничтожения артиллерии противника могут быть использованы артиллерия, тактические ракеты и авиация.
КОНТРВАЛАЦИОННАЯ ЛИНИЯ (от контр... и позднелат. vallatio - укрепление, вал, от лат. vallo - укрепляю валом, ограждаю), непрерывная линия укреплений, к-рую сооружали осаждающие войска (до 19 в.), чтобы не дать возможности осаждённым прорваться из крепости или производить вылазки для разрушения осадных работ.
КОНТРГАЙКА, вторая гайка, навинчиваемая рядом с основной на тот же болт и препятствующая её самоотвинчиванию (см. также Замок гаечный).
КОНТРГРЕЙФЕР, устройство для точной установки киноплёнки в кадровом окне фильмового канала киноаппарата после её перемещения на шаг кадра.
КОНТРДАНС (франц. contredanse, от англ, countrydance, букв.-деревенский танец), народный англ, танец. Возник в 17- 18 вв. Позднее как бальный танец получил распространение в др. европ. странах, в 19 в. слился с кадрилью. Вначале состоял из одной фигуры, затем из 5-6. Характерные муз. размеры 24, 68 Первые муз. обработки К. сделал Дж. Плейфорд в танц. сб. "Английский танцевальный учитель" (1651). Как муз. форма К. представлен в творчестве В. А. Моцарта, Л. Бетховена, П. И. Чайковского и др.
КОНТРЕЙЛЕР [от лат. con (cum) - вместе, заодно и англ, trailer - тащущий, волочащий], контейнер, оборудованный колёсным ходом с пневматическими баллонами автомоб. типа. Предназначен для смешанных (комбинированных) автомобильно-железнодорожных, автомобильно-водных или автомобильно-водно-же-лезнодорожных перевозок грузов. К. изготовляется, как правило, в виде автомоб. полуприцепа с закрытым или открытым кузовом (универсальным или специализированным) ёмкостью св. 15 м3 и грузоподъёмностью от 6 до 30 т. Буксировка по автомоб. дорогам, а также установка и снятие К. с ж.-д. платформ и спец. судов производятся автотягачами седельного типа. К. бывают с постоянной и подкат-ной ходовой частью (тележкой), к-рая может быть одноосной, двухосной и трёхосной. К. с постоянной ходовой частью на ж.-д. платформах крепятся спец. устройствами; К. со съёмными Контрейлеры грузоподъёмностью 15-18 т на железнодорожной платформе.
тележками крепления, как правило, не требуют. Разновидность К. - стриктейнеры (К. с сочленёнными кузовами). Известны также транспортные средства с комбинированной ходовой частью, приспособленной для движения по автомоб. дорогам и рельсовым путям (что достигается взаимозаменяемостью ж.-д. и автомоб. колёс или укреплением спец. стальных бандажей с ребордами на автомоб. колёсах). Их нередко называют роудрейлерами. Массовое развитие перевозок грузов в крупнотоннажных контейнерах показало, что их применение более экономично и перспективно, чем применение К. Лит. см. при ст. Контейнеровоз.
И. И. Батищев.
КОНТРЕ КСЕВИЛЬ (Contrexeville), бальнеологический курорт во Франции, в деп. Вогезы. Климат мягкий, умеренно влажный. Лето тёплое (ср. темп-ра июля 19 0С), зима мягкая, почти без снежного покрова (ср. темп-pa янв. 2-30С); осадков 780 мм за год. Леч. средства: холодные маломинерализованные источники сульфатно-гидрокарбонатно-каль-циевого типа, вода в к-рых с хим. составом (источник Great Source)
[1307-3.jpg]
применяется для питьевого лечения и ванн. Лечение больных с заболеваниями почек и мочевыводящих путей, печени и желчного пузыря, желудочно-кишечного тракта, нарушениями обмена веществ и др. Ванное здание, курзал, питьевые галереи, отели, пансионаты, различные спортивные сооружения.
1305.htm
КОНСТРУКТИВНАЯ МАТЕМАТИКА, абстрактная наука о конструктивных процессах, человеческой способности осуществлять их и о их результатах - конструктивных объектах. Абстрактность К. м. проявляется прежде всего в том, что в ней систематически применяются две абстракции: абстракция потенциальной осуществимости и абстракция отождествления. Абстракцию потенциальной осуществимости используют, когда отвлекаются от прак-тич. ограничений конструктивных возможностей в пространстве, времени и материале. Абстракцию отождествления используют, когда говорят о двух в том или ином смысле одинаковых объектах как об одном и том же объекте. В К. м. не применяется характерная для теоретико-множественной математики абстракция актуальной бесконечности, связанная с рассмотрением никогда не завершаемых процессов как бесконечно продолженных и тем самым как бы завершённых.
Конструктивный процесс, результатом к-рого является объект, одинаковый с А, наз. построением объекта А. Высказывания, связанные с человеческой способностью осуществлять конструктивные процессы, часто формулируются в К. м. в виде теорем существования, утверждающих, что существует объект, удовлетворяющий каким-то требованиям. Под этим подразумевают, что построение такого объекта потенциально осуществимо, т. е. что владеют способом его построения. Это понимание теорем существования отличается от их понимания в теоретико-множественной математике, что вынуждает строить для К. м. свою логику, отличную от обслуживающей теоретико-множественную математику классической математич. логики, - конструктивную математич. логику.
Понятия конструктивного процесса и конструктивного объекта не определяются в К. м. В таких общих определениях и нет надобности, поскольку в К. м. обычно имеют дело не с конструктивными процессами и конструктивными объектами вообще, а с определёнными видами тех и других.
Простейшим видом конструктивных объектов являются слова в фиксированном алфавите, т. е. ряды букв этого алфавита (слово "буква" понимается здесь как "элементарный знак", т. е. как "знак, частями к-рого мы не интересуемся"; алфавит - это набор букв). Конструктивный процесс, результатом к-рого является слово, состоит в данном случае в выписывании этого слова буква за буквой. Частным случаем слов являются натуральные числа, к-рые мы рассматриваем как слова в алфавите 01, начинающиеся с нуля и, кроме того, нуля не содержащие, т. е. как слова 0, 01, 011, 0111,... Добавляя к этому алфавиту знак минус "-" и знак дроби "/", получают возможность строить рациональные числа как нек-рые слова в алфавите 01 - /. Т. о., рациональные числа оказываются конструктивными объектами.
Естественно, возник вопрос о построении действительных чисел в рамках К. м. и, далее, вопрос о включении математического анализа в эти рамки. Эти цели достигнуты на основе уточнённого понятия алгоритма. Каким из известных уточнений этого понятия (Тьюринга машина, рекурсивные функции, нормальные алгорифмы) здесь пользоваться, при этом несущественно. В дальнейшем под "алгорифмом" будет пониматься нормальный алгорифм.
Конструктивной последовательностью рациональных (натуральных) чисел будет называться алгорифм, перерабатывающий всякое натуральное число в рациональное (натуральное) число. Без существенного ограничения общности можно считать конструктивную последовательность рациональных чисел алгорифмом в алфавите 01 - /ab. Запись такого алгорифма будет осуществляться как слово в алфавите 01. О конструктивной последовательности рациональных чисел говорят, что она регулярно сходится, если для всякого натурального числа ? соблюдается условие
[1305-1.jpg]
Записи регулярно сходящихся последовательностей рациональных чисел наз. конструктивными действительными числами (КДЧ). Естественным образом определяются равенство двух КДЧ, порядковые отношения между ними, а также арифметич. действия над ними и операция взятия абсолютной величины. Арифметич. операции оказываются алгорифмическими: имеется, напр., алгорифм, перерабатывающий всякую пару КДЧ в сумму этих КДЧ. С другой стороны, невозможен алгорифм, распознающий КДЧ среди слов в алфавите 01; невозможен алгорифм, распознающий равенство КДЧ.
Далее, на основе алгоритмов теории можно определить понятие конструктивной последовательности КДЧ. Для всякой такой последовательности оказывается возможным построить КДЧ, не равное ни одному члену этой последовательности. Это - конструктивный аналог теоремы Кантора о несчётности континуума.
Могут быть определены понятия конструктивной сходимости конструктивной последовательности КДЧ в себе и к КДЧ. Имеет место теорема полноты, утверждающая, что всякая конструктивная последовательность КДЧ, конструктивно сходящаяся в себе, конструктивно сходится к нек-рому КДЧ. Однако конструктивный аналог известной теоремы о сходимости ограниченной возрастающей последовательности опровергается на примере.
Согласно определению, КДЧ - слова в алфавите 01. Алгорифмы над этим алфавитом можно применять к КДЧ, что открывает возможность строить функцию от действительного переменного как алгорифм, перерабатывающий КДЧ в КДЧ. Надо только, чтобы такой алгорифм был согласован с равенством - равные КДЧ он должен перерабатывать в равные КДЧ. Т. о., получается следующее определение - алгорифм F над алфавитом 01 есть конструктивная функция действительного переменного, если соблюдаются следующие условия: 1) F перерабатывает всякое КДЧ, к к-рому он применим, в КДЧ; 2) всякий раз, когда F применим к к.-л. КДЧ х, он применим и ко всякому КДЧ у, равному х, и КДЧ F(x) и F(y) равны.
На основе этого определения была разработана конструктивная теория функций действительного переменного. Одним из наиболее интересных её результатов является теорема о непрерывности конструктивных функций: всякая конструктивная функция действительного переменного непрерывна всюду, где она определена. Вместе с тем выяснено, что в теории конструктивных функций не имеют место аналоги классич. теорем Вейерштрасса и Кантора о непрерывных функциях на сегменте. В частности, были построены: 1) неограниченная конструктивная (и потому непрерывная) функция на сегменте [0,1]; 2) ограниченная на этом сегменте конструктивная функция, не имеющая точной верхней границы; 3) конструктивная функция, имеющая на сегменте [0,1] точную верхнюю границу, но не до |
