БСЭ БСЭ - Большая Советская Энциклопедия (ПО)

Степень заводской готовности сборных элементов и здания (сооружения) в целом характеризуется соотношением затрат труда, связанных с изготовлением конструкций на заводе, и общих затрат труда (на заводе и на постройке). Чем выше доля заводских затрат, тем больший экономический эффект может быть достигнут в результате применения методов П. с. Степень заводской готовности современных полносборных жилых зданий составляет в среднем: при крупноблочной системе 30—35%; при крупнопанельной системе 40—60%, при строительстве из объёмных блоков 70—85% (в перспективе).

В жилищно-гражданском строительстве при «ячейковой» структуре плана жилого дома и небольших площадях помещений укрупнение сборных элементов здания (панелей, блоков) производится обычно до размеров на одну комнату, реже — на две комнаты. Элементы с такими размерами не выходят за пределы транспортных габаритов; их перевозят панелевозами или на грузовых платформах и непосредственно «с колёс» монтируют в здании башенными передвижными кранами.

При строительстве промышленных и др. большепролётных зданий с редко расположенными (в плане) опорами их покрытия и др. части зданий монтируют из сборных элементов (ферм, балок, настилов, панелей), размеры которых не превышают пределов, удобных для их изготовления и перевозки. При монтаже таких конструкций в ряде случаев целесообразно применять предварительную укрупнительную сборку конструктивных элементов. При этом методе конструкции и изделия, доставляемые с заводов на строительную площадку, на специально оборудованном полигоне собирают в звенья, узлы или части здания (отдельные участки покрытий, стен и т.д.) значительной протяжённости, а затем в готовом виде поднимают краном и устанавливают в проектное положение. Размеры монтируемых элементов (в зависимости от конструктивной и объёмно-планировочной систем здания и от мощности подъёмных механизмов) могут достигать нескольких сотен м 2. На рис. показан пример укрупнительной сборки и монтажа покрытия на строительстве большепролётного производственного здания завода промышленных тракторов в г. Чебоксары (1973). Укрупнённый элемент покрытия состоит из стальных решётчатых ферм и прогонов, уложенного по ним стального листового настила, слоя утеплителя и рулонной кровли. При строительстве в необжитых и труднодоступных районах (например, на Крайнем Севере) для доставки строительных грузов нередко используется воздушный транспорт; в этих условиях укрупнительную сборку целесообразно производить непосредственно на заводе — изготовителе конструкций. См. также Блок объёмный, Домостроительный комбинат, Индустриализация строительства, Крупнопанельные конструкции, Крупноблочные конструкции, Подъёма этажей метод.

Лит.: Кузнецов Г. Ф., Дома заводского производства, М., 1968; Научно-технический прогресс в строительстве, М., 1972; Белов В. П., Развитие объёмноблочного домостроения, М., 1973.

Г. Ф. Кузнецов.

Установка в проектное положение полностью собранного покрытия производственного здания.

Полнота', свойство научной теории, характеризующее достаточность для каких-либо определённых целей её выразительных и (или) дедуктивных средств.

Один из аспектов понятия П. — т. н. функциональная П. (ф. п.) — применительно к естественному языку представляет собой то (неформальное) его качество, благодаря которому на нём можно сформулировать любое осмысленное сообщение, могущее понадобиться для тех или иных целей. Например, английский язык функционально полон с точки зрения целей, которые имел в виду У. Шекспир, создавая «Гамлета» (если исходить из предположения, что ему удалось полностью реализовать свой замысел). Но и любой другой из «живых» языков, на который «Гамлет» переведён, полон в том же смысле: перевод как раз и служит свидетельством этой ф. п.

Аналогично (в математике), семейство функций, принадлежащих некоторому классу функций, является полным относительно этого класса (и относительно некоторого фиксированного запаса «допустимых» операций над функциями), если любую функцию этого класса можно выразить через функции данного семейства (с помощью допустимых операций). Так, любая из функций sin x или cos x составляет одноэлементный класс, полный для всех тригонометрических функций (относительно четырёх арифметических действий, возведения в квадрат и извлечения квадратного корня); три единичных вектора по осям координат образуют полный класс (относительно сложения, вычитания и умножения на действительное число) для множества всех векторов трёхмерного евклидова пространства.

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

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

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