Выполненное построение
Cтраница 3
Дифференциальные зависимости между изгибающим моментом, поперечной силой и интенсивностью сплошной нагрузки определяют связь между эпюрами М и Q, построенными при любой нагрузке. Эта взаимная связь имеет важное практическое значение для контроля правильности выполненного построения. [31]
Опишем теперь неформально некоторые семантические соглашения, характерные именно для интуиционистского понимания суждений. С интуиционистской точки зрения каждая формула представляет собой неполное сообщение о некотором выполненном построении. [32]
Примеры, приведенные в настоящем параграфе, иллюстрируют некоторые особенности построений, с которыми приходится часто сталкиваться при перспективных изображениях плоских фигур и трехмерных тел. Во многих из них применяется перспективное деление от-резка в данном отношении. Выполненное построение основано на том, что равным отрезкам прямой, параллельной плоскости картины, соответствуют равные отрезки на перспективе той же прямой. [33]
Эпюры выполняются с помощью чертежных инструментов: вначале карандашом с последующей обводкой всех основных построений тушью или пастой шариковой ручки. На тщательность построений должно быть обращено серьезное внимание. Небрежно выполненные построения не только снижают качество чертежа, но и приводят к неправильным результатам. [34]
 |
Перемещение ВНК при отношении вязкостей нефти и воды, близком к единице ( бобриковский горизонт Коробковского месторождения. [35] |
Это хорошо видно на рис. 148, где представлены профильные разрезы продуктивного пласта бобриковской залежи Коробковского месторождения с нанесенным положением текущего ВНК. Залежь разрабатывается при естественном водонапорном режиме и отношение вязкостей близко к единице. Достоверность определений текущего ВНК и выполненных построений подтверждается тем, что ВНК проведен на ряд дат - на начало 1971, 1972, 1973 и 1974 гг. Аналогичные условия установлены для Ярино-Каменнолож - ского, Малгобек-Вознесенского и многих других месторождений с малой вязкостью нефти. Характерно, что в этих условиях расчлененность пласта почти не оказывает влияния на характер перемещения ВНК, который наклоняется в сторону внутреннего контура во всех пропластках так же, как и в монолитном пласте. [36]
Он совпадает с наклоном фазовой траектории в точке Р1 ( поэтому из F, как из центра, радиусом РР с. Плавность фазовой траектории зависит от длины элемента окружности и может быть улучшена путем использования более коротких дуг. Аналогично, выбирая в качестве начальных точки Ра и Р3, получим решение задачи в виде траекторий / / и / / /, изображенных на рис. 5.5. На основании выполненного построения можно сделать вывод о том, что все фазовые траектории скручиваются к началу координат, которое является особой точкой типа устойчивого фокуса. Последнее доказывает асимптотическую устойчивость данной нелинейной системы. [38]
Но теперь в треугольнике ВМС известны все три стороны. Здесь ключ к решению задачи, остальное уже просто. Мы строим ( рис. 228, б) треугольник ВМС по трем сторонам ВМ с / 2, ВС а, СМ тс и продолжаем затем сторону ВМ на расстояние, равное с / 2, получая тем самым третью вершину А треугольника. Правильность выполненного построения ясна. [39]
Начальные окружности должны касаться друг друга в точке, расположенной на оси, соединяющей центры зубчатых колес. Одновременно проводятся окружности, соответствующие отверстиям для валов О, и / JB2, а также диаметры ступиц Drri и DCTa. Для построения фронтального разреза из точек пересечения окружностей с вертикальной линией центров проводят в направлении стрелок линии связи. После выполненных построений приступают к окончательному оформлению чертежа. [40]
Но теперь в треугольнике ВМС известны все три стороны. Здесь ключ к решению задачи, остальное уже просто. Мы строим ( рис. 228, б) треугольник ВМС по трем сторонам ВМс / 2, ВС а, СМ те и продолжаем затем сторону ВМ на расстояние, равное с / 2, получая тем самым третью вершину А треугольника. Правильность выполненного построения ясна. [41]
При построении интуиционистской математики обычные логические связки, употребляемые для формулировки математических суждений, истолковываются способом, отличным от классического. Суждение считается истинным, только если исследователь имеет возможность его доказать. Доказательство же всегда связано с построением некоторой мысленной конструкции. Дизъюнкция А VВ суждений А и В считается доказанной, только если исследователь располагает методом доказательства одного из суждений А или В. С этой точки зрения суждение вида А V - А может быть и не истинным, если проблема А не решена и не опровергнута к настоящему времени. Отсюда видно, что закон исключенного третьего неприемлем в интуиционистской математике в качестве логического принципа. Истинное математическое суждение представляет собой сообщение о выполненных построениях, и эффективный характер этих построений предполагает использование особой интуиционистской логики, отличной от классической. При этом эффективность в интуиционизме понимается достаточно широко, она не обязательно связана с наличием алгоритма в точном понимании этого термина и может носить, например, характер исторического наступления события, зависеть от фактического решения проблем, от физических факторов. [42]
Страницы: 1 2 3