Неконструктивность

Cтраница 1

Неконструктивность и нереалистичность наших устремлений в борьбе за многополюсный мир становятся особенно ясными, считает В.К. Соколов, если попытаться найти ответ на такой теоретический вопрос из гипотетической области ( хотя история не знает сослагательного наклонения): а что было бы, если бы холодная война закончилась победой социалистического лагеря, возглавляемого СССР, и поражением лагеря капиталистического, возглавляемого США. Если бы рассыпалась НАТО, а ее члены бросились в ОВД. [1]

Причина неконструктивности состоит в следующем. [2]

Радиаторы мощных полупроводниковых преобразователей. [3]

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

Основная проблема связана с неконструктивностью классического определения вещественной прямой. [5]

Доказательство этой теоремы существенно использует аксиому выбора и вызывало большие нарекания своей неконструктивностью. Но уже на множестве действительных чисел никакого конкретного полного порядка указать не удается, и доказав ( с помощью аксиомы выбора) его существование, мы так и не можем себе этот порядок представить. [6]

Сам Брауэр начал размышлять в этом направлении, в частности, потому, что очень придирчиво и болезненно относился к неконструктивности доказательства своей теоремы из области топологии, теоремы Брауэра о неподвижной точке. Эта теорема утверждает, что, если вы возьмете круг - то есть окружность вместе со всеми точками внутри нее - и будете непрерывно двигать его внутри области, где он находился изначально, то найдется по крайней мере одна точка круга, - называемая неподвижной точкой, - которая окажется точно там же, откуда она начала движение. Не ясно, где именно располагается эта точка, и может ли их быть несколько - теорема говорит только о существовании такой точки. Среди математических теорем существования, эта, на самом деле, носит довольно конструктивный характер. Трудность в случае Брауэра была аналогична той, что возникает в следующей задаче: найти точки, в которых / обращается в нуль, если известно, что / - действительная непрерывная функция действительной переменной, которая принимает как положительные, так и отрицательные значения. Стандартная процедура заключается в последовательном делении пополам отрезка, на котором функция меняет свой знак; но решение о том, какое именно промежуточное значение принимает функция ( положительное, отрицательное или нулевое), может оказаться неконструктивным в том смысле, которого требует Брауэр. [7]

Подобными рассуждениями доказывается ( хотя и не вполне конструктивно) содержательная непротиворечивость исчисления предикатов. Неконструктивность, о которой здесь идет речь, связана с неявно предполагавшейся возможностью перебора всех значений предметных переменных при определении тождественной истинности, что в случае бесконечной предметной области требует бесконечного числа шагов, не согласующегося с требованием финит-ности, обязательным для строго конструктивных построений. [8]

Достоинства такого прибора заключаются в простоте изготовления возможности получения очень низкой собственной частоты ( ниже 1 гц) и при наличии сильного магнита - высокой чувствительности. К недостаткам относятся неконструктивность форм и большие габариты. [9]

В этом случае свариваются между собой однородные металлы - сталь / со сталью и алюминий 2 с алюминием, но так, чтобы степень проплавления металла вставки не приближалась к границе схватывания более, чем это допустимо. Существенный недостаток таких соединений - неконструктивность сварных узлов. [10]

Варианты сварных соединений ири использовании вставок из проката биметалла. [11]

На рис. 175 показаны рекомендуемые варианты различных соединений с применением биметалла. Прочность сварного соединения в большой степени зависит от прочности сцепления слоев биметалла и, следовательно, от площади биметаллической вставки. Однако неконструктивность узлов соединения и отсутствие средств контроля качества сцепления слоев биметалла часто приводят к тому, что соединения этого типа не обладают вакуумной плотностью. [12]

На рис. 13.13 показаны рекомендуемые варианты различных соединений с применением биметалла. Прочность сварного соединения в большой степени зависит от прочности сцепления слоев биметалла и, следовательно, от площади биметаллической вставки. Однако неконструктивность узлов соединения и отсутствие средств контроля качества сцепления слоев биметалла часто приводят к тому, что соединения этого типа не обладают вакуумной плотностью. [13]

Отмечая важность результатов, полученных в [ 3, 4, б - 8, 49 ], следует также отметить, что как из-за ограниченного объема исследований, так и по причинам принципиального характера они не могут дать достаточно полного решения сложной задачи переноса излучения в разорванной облачности. Дело в том, что уравнения моментов интенсивности получены в неконструктивной модели разорванной облачности путем усреднения по пространству, а не по ансамблю. При выводе уравнений делается ряд предположений, которые либо не имеют ясного физического и вероятностного смысла, либо ограничивают область их применения, например, из рассмотрения исключается перенос пространственйо-ограниченных пучков искусственных источников излучения. Неконструктивность модели не позволяет корректно связать входные параметры с экспериментально определяемыми статистическими характеристиками облачного поля, что создает серьезные трудности при сравнивании теории с экспериментом и интерпретации зависимости статистических характеристик поля излучения от оптико-геометрических параметров облачности и условий освещения. [14]

Что общего у Афин п Иерусалима. Ввиду неконструктивности этого подхода Ориген предлагает др. решение: О. [15]

Страницы: 1