Cтраница 3
Черчу, янляется понятие мнения, выражающее отношение между человеком и суждением. Возможным уточнением вводимого Черчем понятия может быть указание на нек-рый класс субъектов, обладающих определ. [31]
Когда выше мы определили понятие частично упорядоченного множества, было отмечено, что типичным примером этого понятия является система множеств, частично упорядоченная включением. Конечно, это было сказано довольно-таки приблизительно-ведь смысл слова типичный имеет так много разных оттенков. Одно из возможных уточнений может быть дано в виде следующего важного утверждения: каждое частично упорядоченное множество изоморфно некоторой системе множеств, частично упорядоченной включением. [32]
При двухстадийном проектировании на стадии технического проекта определяют стоимость строительства и технико-экономические показатели проектируемых объектов в целом и их основных частей. В техническом проекте решаются основные технические вопросы. Рабочие чертежи разрабатывают на основе технического проекта с учетом возможных уточнений технических данных. При выполнении рабочих чертежей могут быть внесены отдельные исправления некоторых конструктивных решений. [33]
При двухстадийном проектировании на стадии технического проекта определяют стоимость строительства и технико-экономические показатели проектируемых объектов в целом и их основных частей. В техническом проекте решаются основные технические вопросы. Рабочие чертежи разрабатывают на основе технического проекта с учетом возможных уточнений технических данных. При выполнении рабочих чертежей могут быть внесены отдельные исправления некоторых конструктивных решений. Проектирование объектов на всех рассмотренных стадиях ведут специальные проектно-изыскательские организации. [34]
АН УССР выгодно отличаются от обычных ( со сплошной стенкой) труб прежде всего тем, что для их производства не требуется применение дорогостоящих сталей с дефицитными легирующими добавками. Кроме того, многослойные трубы обладают повышенной сопротивляемостью лавинным разрушениям. Обладая повышенными эксплуатационными свойствами, многослойные трубы по отдельным показателям строительной технологичности несколько уступают обычным. В связи с этим перед исследователями, занятыми вопросами трубопроводного строительства, возникла важная инженерная задача: оценить возможность ис-лользования типовых технологических схем строительства применительно к прокладке трубопроводов из многослойных труб, а также дать количественную оценку несущей способности этих труб на действие монтажных нагрузок с целью возможного уточнения отдельных параметров технологических схем строительного процесса. [35]
Поэтому при рассмотрении вопросов общей алгебры, связанных с идеями конструктивности, естественно встает вопрос: какую алгебру следует считать конструктивной. Ответ более или менее однозначный - алгебра 31 конструктивна, если ее основное множество А состоит из конструктивных элементов и конструктивно задано, а основные операции fi также являются конструктивными. Однако здесь скрывается некоторая неопределенность. Как известно, понятие конструктивности необходимо уточнить, а это уточнение можно производить весьма различными способами, начиная с классических уточнений Геделя - Черча - Клини и кончая бо-л § е новыми А. А. Маркова [10], А. Н. Колмогорова [3] и рядом других. Соответственно этому и понятие конструктивной алгебры допускает ряд возможных уточнений. [36]
В этом пункте в упоминавшейся книге Крокко и Чжена ( а также в статьях названных авторов в периодической литературе) допускается неточность. Они пользуются приближенным соотношением типа (52.22) для произвольного положения фронта горения и делают ряд упрощающих предположений, законность которых не вполне ясна. В результате полученные ими границы устойчивости ( фиг. Это видно, в частности, из такого примера. В книге же Крокко и Чжена такому положению фронта горения соответствует устойчивость. Надо заметить, что возможные уточнения могут изменить лишь количественную, но не качественную сторону выводов Крокко и Чжена. [37]