Алгоритм - проверка
Cтраница 4
Несколько ранее ( 1877 г.) Раусом был предложен алгоритм проверки устойчивости, сводящийся к заполнению некоторой таблицы в результате выполнения ряда операций над коэффициентами полинома. Этот критерий менее удобен, поскольку требует дополнительных вычислений для получения таблиц. Формально критерий Гурвица можно получить из критерия Рауса. Поэтому критерий Гурвица справедливо называют критерием Рауса-Гурвица. Если выполнено необходимое условие - положительность коэффициентов полинома, то из положительности определителей А. Шипаром ( 1914 г.) и позволяет сократить число проверяемых условий. Модифицированный критерий Рауса-Гурвица иногда называют критерием Льенара-Шипара. [46]
Прежде, чем приступить к построению инвариантных асимптотических байесовских алгоритмов, рассмотрим синтез алгоритмов проверки гипотез (2.216) при совместном применении принципа инвариантности и классического байесовского метода. [47]
Ранее для класса линейно-автоматных функций L, рассматриваемых вместе с операциями композиции, был получен алгоритм проверки полноты конечных систем, описаны все предполные классы. Далее автором была решена проблема выразимости в L по операциям композиции через системы линейно-автоматных функций, содержащие сумматор, и получен эффективно проверяемый критерий выразимости сумматора через линейно-автоматные функции. Оказалось, что на множестве одноместных линейно-автоматных функций, сохраняющих нулевую последовательность, индуцированное этим оператором замыкание сводится к замыканию по операциям композиции вообще говоря другого множества автоматных функций. В докладе приведено описание А-замкнутых конечнопорожденных классов линейно-автоматных функций, содержащих сумматор, получены достаточные условия для алгоритмической разрешимости проблемы А-выразимости. [48]
Теперь рассмотрим алгоритмы собственно расчетных схем оптимизации, которые состоят из описанного выше объединенного алгоритма и алгоритмов проверки выполнения других требований к системам по процедурам, изложенным ранее. [49]
 |
Система координат и направление обхода узлов элемента Slide Line.| Диалоговое окно задания свойств элемента Slide Line. [50] |
Выбор опции Unsymmetrical Penetration ( Slave Only - Несимметричное проникновение или Symmetrical Penetration - Симметричное проникновение) определяет алгоритм проверки контакта. Этот алгоритм допускает проникновение Master-узлов за 5 / яуе-линию. В симметричном алгоритме проверяется взаимопроникновение Master - и Slave-узлов. Очевидно, что второй алгоритм требует больших вычислительных затрат. [51]
Страницы: 1 2 3 4