Cтраница 2
Разработать алгоритм проверки того, что две автоматные алгебры порождают одно и то же многообразие. [16]
Существуют более практичные алгоритмы проверки вхождения подцепочки в слово с той же временной оценкой. Наиболее известен алгоритм Кнута - Морриса - Пратта. [17]
Блок-схема алгоритма проверки перебора с обращением к алгорит - условия склеивания листов в па-му проверки условия склеивания, нель. [18]
Синтез алгоритмов проверки гипотез опирается на ряд определений и положений, касающихся этих последовательностей. [19]
Существует также алгоритм проверки того, что из числа извлекается нацело корень Ar - й степени. Это можно сделать, найдя достаточно точно приближенное значение корня и возведя ближайшее к нему целое число в k - ю степень. [20]
Физический смысл алгоритма проверки условия склеивания заключается в том, что к отобранным коммуникациям всегда добавляется такая, чтобы оставшиеся разрешенные коммуникации создавали как можно больше склеиваемых комбинаций. [21]
Физический смысл алгоритма проверки условия склеивания листов заключается в том, что к уже отобранным элементам в набор объекта всегда выбирается такой элемент с, чтобы матрица объекта содержала как можно больше склеиваемых комбинаций. Это способствует скорейшему получению хотя бы одного замкнутого маршрута из единиц при наименьшем ветвлении, т.е. оптимально решает задачу проверки условия склеивания ( выбранных допустимым решением) листов в многослойную пластину. [22]
Конечно, как алгоритм проверки, так и алгоритм выбора опорного элемента должны быть составлены так, чтобы за конечное число шагов можно было найти решение или определить, что его не существует. [23]
Для того чтобы алгоритм проверки координат приводил к истинному решению, должно выполняться следующее очевидное условие. [24]
Таким образом, алгоритмы проверки исходных данных позволяют выявить большую часть ошибок в исходной информации на этапе ее занесения в dasy данных. Разумеется, всегда могут быть ошибки ( например, аЦ к гда на самом деле такое крепление невозможно), выявить которые может только человек. [25]
Ленстра [16] предложил усовершенствованный алгоритм проверки простоты, использующий суммы Гаусса и суммы Якоби, ассоциированные с числовыми характерами. За счет этого удается избежать использования символов Якоби в кольцах алгебраических чисел и высших законов взаимности, что приводит к теоретическим и алгоритмическим упрощениям. [26]
Следствие 5.12 дает алгоритм проверки наличия полиномиального тождества в автоматной алгебре. [27]
На первом этапе алгоритма проверки трассировки составляется таблица сегментов. Сегментами называются участки трассируемого пути, разделенные межсловными переходами и контактными площадками. [28]
Например, в алгоритме проверки корректности, использующей таблицу W, изменяются правила преобразования этой таблицы: нужно не отождествлять элементы таблицы, а добавлять строки в соответствии с применяемой зависимостью. [29]
Для структурированной модели анализа алгоритм проверки адекватности включает следующие этапы. Во избежание ошибки при коррекции пустого набора данных, а также при удалении записи из пустой таблицы, база данных проверяется на отсутствие заполненных записей. Для пустых, т.е. не введенных значений параметров процесса, которые используются в расчетах, присваивается нулевое значение во избежание при расчете ошибки несоответствия типов. [30]