Формальное обоснование

Cтраница 2

В первом томе ( см. разд. II - 6A - Е) рассматриваются формальное обоснование и экспериментальное подтверждение теорий, основанных на представлениях о л-олектронах; обсуждаются природа л-электронного приближения, предсказания электронных спектров и распределение заряда в гетеромолекулах. Экспериментальное определение дипольных моментов органических молекул, находящихся в возбужденных состояниях, обсуждается в разд. Эти величины могут быть использованы для сравнения с результатами расчетов возбужденных состояний по методу МО с открытыми оболочками. Экспериментальные данные приведены для растворов. Кроме того, недавно для газообразного состояния были измерены дипольные моменты сравнительно небольших молекул ( подобных формальдегиду), находящихся в возбужденном состоянии. [16]

Однако наша цель состоит в том, чтобы найти уравнения для величин a, k и А, которые могут изменяться. Опишем соответствующую процедуру на основании интуитивных аргументов; ее формальное обоснование будет сделано ниже. [17]

Такой подход часто бывает удобным при анализе ВШП. Он также соответствует модели дельта - функций из § 4.1 и дает формальное обоснование этой модели. [18]

Эти положения реализованы в процедуре COLLINEAR ( /, к, т, a, L), представленной в виде алгоритма 12.1. Шаг 1а ориентирован на особый случай и может быть опущен, если появление таковых не ожидается. Алогоритм можно упростить, исключив из него шаги 6, 7 и все остальные операции с d0 и С. Формальное обоснование данного подхода можно получить, рассматривая проверку коллинеарности как проверку некоторой гипотезы, однако обсуждение этой интерпретации выходит за пределы с задач нашей книги и мы предлагаем использовать область допустимых значений, приведенную на рис. 12.5, в качестве некоторой эвристики. [19]

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

Во многих курсах множества используют для введения или - на более высокой ступени - для обоснования понятия натурального числа. Выше уже разъяснялось, что для этого множества не годятся. Здесь важно отметить, что при введении натуральных чисел количественный аспект вскоре вытесняется и что формальное обоснование и без того является чужеродным телом. Это означает, что понятие множества служит в оперативном отношении лишь очень не на долго; оно становится ненужным и в следующих разделах курса больше не появляется. Или того хуже: автор напрягает все силы, чтобы снова вернуться к понятию множества, и все возможное, а порой и невозможное, излагает теоретико-множественным языком; некоторые примеры нелепостей приведены выше. [21]

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

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

Уравнение (3.4) дает выражение полуклассического принципа Франка - Кондона. Если распределение Ра ( х) рассчитано с помощью классической статистики, то (3.4) превращается в классический принцип Франка - Кондона. Иначе говоря, равенство (3.4) означает, что вероятность поглощения кванта ftv в интервале d ( / ГУ) равна вероятности перехода МЬа ( х) J2 при конфигурации х, умноженной на вероятность осуществления этой конфигурации Ра ( х) при условии сохранения энергии Е ( х) - / ГУ. Вильяме фактически использовал принцип Франка - Коп дона именно в таком виде, но не дал ему формального обоснования. [24]

Нумерация атомов при расчетах методом ЛКАО-МО. [25]

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

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

Ергина [18], связанные с установлением не только даты, но и обстоятельств начала промышленной истории мировой нефтедобычи. Следовательно, с фактом бурения скважин, хотя и не очень глубоких и пробуренных примитивными способами, люди были знакомы. С другой стороны, людям было известно вещество, давно получившее название нефть. Было также известно, что нефть обладает хорошими осветительными свойствами и полезна при использовании в медицине. Конечно, количество добываемой ( или, правильнее сказать, собираемой) нефти было сравнительно незначительно. Руководствуясь такой мыслью, в пятидесятых годах XIX века в Пенсильвании была создана небольшая компания, члены которой поставили своей задачей попытаться освоить бурение нефтяных скважин. Одним из особо деятельных членов этой компании был находившийся в бессрочном отпуске бывший железнодорожный кондуктор тридцативосьмилетний Эдвин Дрейк. Отправляя в конце 1858 г. Дрейка в командировку в весьма глухое место вблизи небольшой деревни Тайтусвил ( считавшееся перспективным в Пенсильвании для целей бурения нефтяной скважины), компания снабдила его деньгами и рекомендательным письмом, в котором, только для важности, не имея для этого никаких формальных обоснований, назвала его полковником. Кстати сказать, сам Дрейк против такого наименования не возражал и поэтому в литературе, часто и до сего времени, Дрейка продолжают именовать полковником. [28]

Страницы: 1 2