Cтраница 3
Для диссипативной модели анализа алгоритм проверки адекватности более важен, так как представление производства в виде технологической цепочки должно быть строго формализовано: у каждого компонента должен быть свой индивидуальный номер, который не должен дублироваться, а таблица связей должна соответствовать номерам элементов и не иметь дублирования связей. [31]
Напрашивается поэтому идея расширения алгоритма проверки типов таким образом, чтобы он мог выводить типы кортежей непосредственно, и если мы сделаем такое расширение, то сможем обойтись без рассмотренных выше глобальных допущений. Требуется только одно дополнительное правило для W, очевидное в свете наших предыдущих обсуждений. [32]
На первом этапе разработки алгоритма проверки работоспособности любого технического устройства определяются существенные признаки, по которым с высокой степенью точности и достоверности можно было бы судить о состоянии всего устройства и о каждом его элементе. Второстепенные признаки при этом отбрасываются. В результате реальное техническое устройство заменяется моделью. Эта модель должна быть достаточно абстрактной, чтобы можно было ее применять для анализа целого класса технических устройств, и в то же время она должна позволять учитывать все существенные особенности конкретных устройств и способы поиска в них отказавших элементов. [33]
Предположим, что в алгоритме проверки на планарность цикл С, все сегменты, находящиеся перед S ( текущий сегмент), и первый путь р в S успешно уложены. Покажите, что S - р может быть уложено тогда и только тогда, когда подграф SyC пленарный. [34]
Фрост и Уиттейкер [42] предложили алгоритм проверки некоторого класса ограничений, выраженных с помощью бинарных отношений так, что никакой член не содержит функциональных символов, но этот алгоритм работает не слишком быстро. [35]
Администратор базы данных может задать алгоритм проверки достоверности элементарного данного. [36]
На рис. 1.12 изображена блок-схема алгоритма проверки исправности установки. [37]
Приводится теоретически и алгоритмически упрощенная версия алгоритма проверки простоты чисел, недавно полученного Адлеманом и Румели. Новый алгоритм хорошо работает на практике. Это первый существующий тест проверки простоты, который без труда исследует числа с сотнями десятичных цифр. [38]
Приводится теоретически н алгоритмически упрощенная версия алгоритма проверки простоты чисел, недавно полученного Адлеманом и Румели. Новый алгоритм хорошо работает на практике. Это первый существующий тест про-иерки простоты, который без труда исследует числа с сотнями десятичных цифр. [39]
Было бы неуместно вдаваться здесь в подробности компьютерных алгоритмов проверки чисел на простоту, работающих необычайно быстро, или алгоритмов разложения составных чисел на простые множители, способных вывести из себя своей медленной работой. [40]
В § § 1.1.7 и 1.1.8 были описаны алгоритмы проверки выполнимости и общезначимости логических формул. В § 1.1.10 было введено понятие эквивалентной нормальной формы и предложен ( теорема 1.1) алгоритм преобразования произвольной логической формулы в эквивалентную ей нормальную форму. Цель этого параграфа состоит в. [41]
Эта ошибка не может быть выявлена с помощью алгоритма проверки корректности. Тем не менее, смонтировав элементы [ I, 9 ], [3, 7], мы убедимся, что продолжать монтаж невозможно, так как для каждого из несмонтированных элементов условия монтажа не выполняются. [42]
Схема использования алгоритмов системы Каскад-22. [43] |
Преобразованная в соответствии с алгоритмом обработки информация поступает в алгоритм проверки на достоверность. В отличие от аналогичного алгоритма системы Каскад для проверки расходов используется не только информация, переданная телеметрическими устройствами, но и информация от дублирующих частотных датчиков, сигналы которых поступают непосредственно в вычислительную машину. [44]
Область асимптотической устойчивости на плоскости X и р. [45] |