Cтраница 4
Метод прогонки и итерационные схемы, в которых он используется, эффективны для решения задач без ограничений на управление. Однако его применяют и в более общем случае. Метод прогонки используется и для решения нелинейных краевых задач. [46]
Алгоритм прогонки называют устойчивым, если прогоночные коэффициенты a i по модулю не больше единицы - в этом случае ошибки округления в процессе вычислений не возрастают. [47]
Метод прогонки с небольшими модификациями можно распространить на табличные зависимости, однако табло, получаемое в результате прогонки над табличными зависимостями, может оказаться бесконечным. Хотя у нас и есть гарантия того, что выигрывающая строка будет порождена после конечного числа шагов ( если импликация имеет место), однако прогонка не может служить основой для алгоритма проверки выводимости табличных зависимостей. Можно себе представить разрешающую процедуру, при которой одновременно проводится прогонка в попытке доказать импликацию и ищутся контрпримеры к импликации. Однако этот план также может провалиться, если окажется, что конечного контрпримера не существует, хотя есть бесконечный. [48]
Обобщение прогонки на GF-зависимости довольно просто. [49]
Формулы прогонки можно применять, если знаменатели дробей ( 8) и ( 10) не обращаются в нуль. [50]