Cтраница 2
К выводу любой формулы без переменных может быть применена операция исключения кванторов при помощи е-формулы 2), а вслед за тем - операция возвратного переноса подстановок в исходные формулы и операция исключения свободных переменных. [16]
Так называемый основной алгоритм минимизации состоит в последовательном применении операции исключения недостижимых состояний, операции нормализации и, если потребуется, операции исключения недостижимых состояний в полученной нор. Иногда удобно все такие оо-классы называть начальными состояниями нормальной формы А. [17]
Из соотношения (3.19) видно, что симметрия в коэффициентах после операции исключения сохраняется. Поэтому преобразование матрицы К в треугольную может быть проведено с использованием только коэффициентов, находящихся на главной диагонали и выше ее, так что достаточно запоминать только верхнюю треугольную часть матрицы, включая члены на главной диагонали. [18]
Операция включения в набор применима только в случае ручного или необязательного членства, а операция исключения - только в случае необязательного членства. [19]
Обозначим через а и b инвариантные тензоры, полученные из соответствующих индифферентных тензоров а и b операцией исключения поворота. [20]
Соответствующая потоковая сеть показана на рис. 8.7. На этом примере видно, что фильтры следует использовать в сочетании с операцией исключения. [21]
Так называемый основной алгоритм минимизации состоит в последовательном применении операции исключения недостижимых состояний, операции нормализации и, если потребуется, операции исключения недостижимых состояний в полученной нор. Иногда удобно все такие оо-классы называть начальными состояниями нормальной формы А. [22]
![]() |
Схема создания списка. [23] |
При работе со списковыми структурами данных чаще всего возникает потребность в операции включения новой записи вслед за записью, на которую указывает заданная ссылка, и операции исключения из списковой структуры записи, на которую указывает заданная ссылка. [24]
Топологический метод, тесно связанный с матричным, новые понятия унистора, тиристора, гиратора, топологические понятия пути, контура, петли и их передач, операции исключения, расщепления и растяжения узлов схем и составление линейных графов дают возможность достигнуть очень большой экономии времени при расчетах. Во многих случаях топологический метод позволяет по виду анализируемой схемы непосредственно написать уравнения передачи тока, напряжения, а также выражения входного, выходного и передающего сопротивлений. [25]
К выводу любой формулы без переменных может быть применена операция исключения кванторов при помощи е-формулы 2), а вслед за тем - операция возвратного переноса подстановок в исходные формулы и операция исключения свободных переменных. [26]
Другое важное следствие, вытекающее из анализа уравнения (V.25), это то, что при значительных концентрационных эффектах ( большие AS) экстраполяция экспериментальных данных к t - оо не означает операции исключения диффузионного расширения седиментационной концентрационной границы. [27]
Очередь скрывает внутреннее представление данных, в котором каким-то образом предусмотрено отслеживание элементов, ожидающих в очереди в настоящее время, и предлагает своим клиентам набор операций, а именно операцию постановки в очередь и операцию исключения из очереди. Клиентов не интересует реализация очереди. Клиенты просто хотят, чтобы очередь функционировала как обещалось. Когда клиент ставит в очередь новый элемент, очередь должна принять этот элемент и как-то поместить его в некоторую структуру данных FIFO. Когда клиенту нужен следующий элемент из начала очереди, очередь должна удалить этот элемент из своего внутреннего представления и передать его внешнему миру в порядке FIFO, т.е. при выполнении оператора исключения из очереди следующим должен быть возвращен элемент, находившийся в очереди наибольшее время. [28]
В первом из них учет ленточной структуры позволяет экономить как память, так и время, поскольку запоминаются только значения r / ft, для которых I / - tfe sg: m, где m ( d - 1) / 2; и операции исключения про-11 шодятся только с втими числами, причем в процессе исключения ширина ленты не изменяется. ЭВМ в виде прямоугольной матрицы: с числом строк п и столбцов d, причем при переходе от, 11М1ты к прямоугольному массиву изменяется система нн - iiiMccos элементов. [29]
Для получения одних лишь приведенных систем простых импликант в дизъюнктивном представлении импликантной таблицы нужно, очевидно, произвести исключение тех термов, которые содержат в своем составе другие термы того же представления. Операция исключения более сложных термов при наличии более простых называется обычно операцией элементарного поглощения термов. [30]