Cтраница 3
Тем самым наше доказательство сводится к тому, чтобы процедуру устранения критических формул надлежащим образом перестроить в процедуру совместного исключения критических формул и формул е-равенства. [31]
Поскольку реализуемая вычислительная процедура есть по существу процесс исключения, то в основу анализа ошибок положен анализ ошибок процедуры исключения. [32]
Разумеется, такая форма F0 ( q), если она где-нибудь проявляется, возникает в результате той же процедуры исключения атомных степеней свободы. [33]
Фондовая биржа самостоятельно утверждает процедуру листинга - включения в список ценных бумаг, допущенных к биржевым торгам, а также процедуру исключения их из списка - де. [34]
Предварительно необходимо в массиве данных, полученных в результате предыдущего этапа минимизации, выполнить некоторую рутинную обработку: во-первых, чтобы облегчить процедуру исключения избыточных имгашкант, во-вторых, чтобы одновременно обеспечить получение не только тупиковой, но и минимизированной формы функционала. Для этого следует освободиться от неопределенных ( факультативных) минтермов и импликант, которые были необходимы в режиме склеивания, но в конечном результате не должны проявляться. Для минимизации функционала желательно, чтобы одни и те же минтермы и импликанты входили в состав нескольких функций. [35]
К набору скомпилированных команд процедуры формирования сегмента должны быть добавлены команда занесения необходимого адреса в таблицу входных адресов и аналогичная команда удаления адреса для процедуры исключения сегмента. [36]
При устранении критических формул из какого-либо доказательства те критические формулы, которые относятся к термам sx ( xAQ) и ех ( х 0 0), процедуре исключения не подвергаются. Так как эти формулы имеют ранг 1 и степень 1, то при заменах, прои водимых для устранения остальных критических формул, они останутся без изменений. [37]
В случае, когда в заданном нормированном доказательстве наибольший ранг m имеют только критические формулы, а формул е-равенства с этим рангом нет, мы можем применить нашу прежнюю процедуру исключения критических формул. Она состоит, как мы помним, в том, что шаг за шагом последовательно уменьшается количество е-термов ранга т, связанных с какими-либо критическими формулами. Чтобы убедиться, что в рассматриваемой сейчас ситуации эта процедура тоже дает нужный результат, мы напомним, как при ее реализации производится текущий шаг устранения. [38]
Так же, как и в случае землетрясений Камчатки, из каталога были исключены афтершоки, составившие 5 % от всех событий. Процедура исключения афтершоков описана выше. [39]
В случае псевдоциклических координат использование преобразования Лежандра с соответствующим числом / приводит к понижению порядка системы на п - / единиц. Процедура исключения циклических координат посредством перехода к уравнениям Рауса носит название процедуры игнорирования циклических координат по Раусу. [40]
Отыскание соседнего меньшего элемента, замена им элемента, подлежащего исключению из дерева, и исключение соседнего меньшего элемента из занимаемой им ранее позиции в дереве выполняются блоками 17 - 24 Процедура поиска соседнего меньшего элемента можег быть упрощена, по сравнению с процедурой поиска элемента, подлежащего исключению из дерева, так как она требует только проверки адресов, но не проверки выполнения условия поиска. Процедура исключения соседнего меньшего элемента тоже может быть упрощена по сравнению с процедурой исключения заданного элемента, так как он не может оказаться полным узлом, а только неполным или концевым узлом. [41]
Заметим, что в последовательности описанных выше моделей одна за другой исключались из рассмотрения те детали, которые мы считали несущественными для критических явлений. Практическая необходимость процедуры исключения обусловлена тем, что при такого рода упрощении удается избежать возникновения чрезмерных математических трудностей. Поскольку вычисления зачастую практически невыполнимы, для определения параметров моделей часто используют экспериментальные данные. Не стоит и говорить, что заряд электрона в модели 1, например, является экспериментально определяемой величиной. [42]
Такое преобразование иррационального выражения называется исключением иррациональности соответственно из числителя или знаменателя иррационального дробного выражения. Таким образом, процедура исключения иррациональности из числителя или знаменателя дробного иррационального выражения сводится к нахождению дополнительного множителя для алгебраического выражения 5, содержащего радикалы. В общем случае трудно указать универсальный способ нахождения дополнительного множителя для произвольного иррационального выражения. [43]
Если скорость затухания недиагонального элемента 72 ] достаточно велика, мы можем предположить, что р2 быстро релаксиру-ет к своему квазистационарному значению. Поэтому можно использовать процедуру адиабатического исключения быстрых переменных ( разд. [44]
В ней описывается и используется вспомогательная процедура ИСКЛ исключения записи о сотруднике из одного ассоциативного списка. Как и в процедуре ВКЛ, параметром этой вспомогательной процедуры является указатель k места ссылок, относящихся к данному ассоциативному списку. [45]