Теоретическое доказательство

Cтраница 1

Новое теоретическое доказательство в пользу того, что с помощью рентгеновской голограммы можно получить исключительно высокие пространственные разрешения, значительно выше тех, которые ранее считались предельными. Реальная перспектива достижения коэффициента увеличения свыше 1 106 делает возможным получение рентгеновских изображений с высоким разрешением. [1]

Теоретическое доказательство неизбежности сингулярностей ( теоремы Хокинга - - Пенроуза), а также наблюдательное подтверждение горячей модели Вселенной ( открытие реликтового излучения) и существования черных дыр свидетельствуют о наличии в природе сильных гравитационных полей. В таких полях должны быть существенными квантовые эффекты других полей: рождение частиц и поляризация вакуума. [2]

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

Но теоретическое доказательство неизбежно рождало новый вопрос. [4]

Квадратно-волновая и интермодуляционная квадратно-волновая полярограммы свинца ( II и кадмия ( II в 1 М НС104 с быстрой разверткой напряжения. [5]

Без строгого теоретического доказательства утверждалось, что чувствительность очень низка как для полностью необратимых, так и для истинно обратимых процессов, причем чувствительность максимальна для квазиобратимых электродных процессов. К сожалению, экспериментально подтвердилась только низкая чувствительность к необратимым процессам. [6]

Первую попытку теоретического доказательства второго начала термодинамики Больцман предпринял в 1866 г. Следует отдать должное пониманию молодым ученым ( ему в это время было 22 года) актуальных задач физики. Само название ояботы О механическом смысле второго начала термодинамики говорит о многом. Больцмав действует пока еще полностью в духе своего времени, поскольку механика и механистическое мировоззрение достигли в то время наибольшего расцвета. Характер теплового движения он представляет следующим образом. Атомы описывают замкнутые траектории, причем периоды их теплового движения по ним практически одинаковы При медленном нагревании атомы переходят с одной орбиты на близко к ней расположенную другую. [7]

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

Как пример анализа логической структуры доказательства рассмотрим теоретическое доказательство того, что все тела падают с одинаковой скоростью. Опровергая утверждение Аристотеля, что более тяжелые тела падают с большей скоростью, Галилей приводит следующие рассуждения. Допустим, Аристотель прав, и тяжелое тело падает быстрее. Скрепим два тела - легкое и тяжелое. Тяжелое тело, стремясь двигаться быстрее, будет ускорять легкое, а легкое, стремясь двигаться медленнее, будет тормозить тяжелое. Поэтому скрепленное тело должно двигаться с промежуточной скоростью. [9]

Этот вывод по существу не подкреплен в работе [584] никакими теоретическими доказательствами. Учитывая, что молекула С12 имеет большое число других отталкивательных состояний, коррелирующих с диссоциационным пределом 2Р 2Р, по-видимому, невозможно дать однозначную интерпретацию диффузных полос, тем более что их отнесение к переходу из состояния 3IIig с Те - 67 700 см 1 также остается проблематичным. [10]

Существуют два принципиально отличных способа убедиться в правильности программы: теоретическое доказательство правильности и экспериментальная проверка, получившая название тестирования. Теоретические методы доказательства правильности достаточно сложны и пока недоступны рядовому программисту. Кроме того, методы теоретического доказательства разработаны для сравнительно простых программных модулей. Практическое применение теоретические доказательства могут иметь при разработке типовых программных средств, при разработке методики программирования. Надо отметить, что доказательство правильности существенно упрощается при применении для построения программных текстов типовых управляющих конструкций. При разработке конкретных программ, особенно при их массовом производстве, наиболее эффективным методом проверки правильности программ оказывается их тестирование. [11]

Объяснение происходит при помощи построения причинно-следственных ( каузальных) моделей, которые получают теоретическое доказательство и эмпирическое подтверждение. Считается, что в физике с этим обстоит все нормально, но в социологии строгие каузальные модели построить невозможно. Здесь преобладают описательные схемы, а вместо логического доказательства используется очень похожий на него прием - интерпретация. Интерпретации представляют специфический класс обобщений, встречающихся только в социальных науках. [12]

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

Этой короткой фразой он ошарашил математиков, которые вот уже 350 лет пытаются найти теоретическое доказательство утверждения, получившего многочисленные эмпирические подтверждения. [14]

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

Страницы: 1 2 3