Cтраница 2
Программист может предотвратить ошибки Пролога, проверив, относятся или нет аргументы вызова к требуемому типу. Перечисление встроенных предикатов проверки типа терма приведено на рис. 4.2. Каждый из них, будучи вызванным в качестве цели, успешно согласуется, если его аргумент относится к указанному типу, и дает отказ в противном случае. [16]
Величина Q вообще одинакова для всех типов терма атомного или ионного остатка. Поэтому вычисление QCep, Qcep, Qcep значительно упрощается. [17]
Это определение - ключевое для доказательства теоремы - не элементарно. В пункте Ь) индуктивного определения по построению типа терма употребляется содержательный квантор общности по всем корректным термам меньшего типа. [18]
Согласно последнему конфигурации с п эквивалентными электронами приводят к тем же типам термов, что и конфигурация N - л, где N - число электронов, заполняющих рассматриваемую оболочку. [19]
Полиуретановые мастики для нанесения в полевых условиях при отрицательных температурах практически непригодны из-за длительного периода полимеризации. Поэтому из многочисленного списка к настоящему времени можно остановиться на ограниченном числе материалов, для трассовой изоляции, например, нужны ленты типа Лиам, для базовой - термоусаживающиеся ленты отечественного производства типа Терма, для заводской изоляции - трехслойное полиэтиленовое покрытие. [20]
Операнды оператора языка ассемблера строятся из выражений, а выражения - из термов. Терм представляет собой некоторое значение. Допускается пять типов термов: имя, самоопределенный терм, значение счетчика адреса, характеристика длины имени, литерал. [21]
Рассмотрим эту процедуру на примере молекулы типа шарового волчка, например, С12Н4, группа симметрии Td. Вращательные уровни шарового волчка вырождены по 27 - f 1 направлениям момента / относительно молекулы. Разрешено три типа термов: 5Л2, 3F, IE. Поведение вращательных функций может быть определено только по отношению к поворотам вокруг осей. [22]
Всякое вхождение терма в данный терм назовем его подтермом. Нетрудно усмотреть, что анализ терма единственен и что по терму можно восстановить его тип. Мы не будем упоминать о типе терма в случаях, когда это не может привести к недоразумению. [23]
Векторная модель молекулы принимает во внимание также вращение молекулы, в результате которого возникает внутримолекулярное магнитное поле. При систематике молекулярных термов учитывается, что электрическое поле молекулы, обусловливающее расщепление соответствующих атомных термов, не всегда настолько сильно, чтобы нарушить связь L, и S - в отдельных атомах. Это обобщение систематики молекулярных термов приводит к трем типам гундовских термов двухатомной молекулы. [24]
Самоопределенный терм - это абсолютный терм, значение которого заключено в нем самом. Обычно это число или набор знаков алфавита мнемокода. Самоопределенные термы используют для записи адресов и непосредственных данных. В языке ассемблера ЕС ЭВМ существует четыре типа самоопределенных термов: десятичный, шестнадцатеричный, двоичный, знаковый. [25]
Наконец, следует отметить интересную качественную аналогию между диаграммами различных d - систем, возникающую вследствие обращения порядка расположения уровней при переходе от окта-эдрического поля к тетраэдрическому и при замене конфигурации d на конфигурацию dlu-n. При переходе от d - системы в октаэдрическом окружении к d - системе в тетраэдре картина расщепления термов Расселла - Саундерса обращается. Такое же обращение происходит при изменении конфигурации d в октаэдрическом ( тетраэдрическом) поле на конфигурацию d10 в октаэдрическом ( тетраэдрическом) поле. Если при этом учесть, что свободные ионы d и d10 имеют одинаковое число одинаковых по типу термов Расселла-Саундерса с одинаковой относительной ( но не абсолютной) энергией, то становится ясно, что при одновременном изменении и конфигурации иона ( dn на d10 -), и его окружения ( октаэдр на тетраэдр) качественный характер диаграммы энергетических уровней должен остаться тем же. [26]
Прежде чем знакомиться с дальнейшим применением диаграмм соотношения энергетических уровней, следует отметить, что хотя они дают весьма удовлетворительные сведения о переходе электронов при образовании молекулы, однако не всегда точно осуществляются в действительности. Строго говоря, эти соотношения являются надежными только тогда, когда снаружи законченных оболочек находится один электрон, и хотя они могут применяться в том случае, когда мы имеем два или более подобных электронов в молекуле, но тогда, повидимому, встречаются соотношения энергетических уровней, не допускаемые соответствующими диаграммами. Далее будут упомянуты один или два примера подобного рода. Однако даже в этих случаях g - и м -, и и - свойства симметрии электронных состояний как целого сохраняются, так же как и значения А и S; таким образом, тип терма находится в соответствии с предсказанием. Поэтому соотношения энергетических уровней в большей степени применимы ко всему состоянию, чем к индивидуальным электронам. [27]