Cтраница 1
Случаи зацикливания могут встретиться и в задачах более высокой размерности. Если на очередном шаге исключению подлежит вновь полученная вершина, то это и служит сигналом о возникновении зацикливания. В этом случае размеры симплекса изменяются и поиск продолжается до обнаружения нового зацикливания. [1]
Случаи зацикливания могут встретиться и в задачах более высокой размерности, для которых установление момента зацикливания представляет определенные трудности. Для обнаружения зацикливания при этом часто применяется следующий прием. Нсли после построения п 1 симплексов одна или несколько вершин исходного симплекса оказываются неисключеппыми, то размеры последнего симплекса изменяются п поиск продолжается с новым отсчетом исключаемых вершин. [2]
В случае зацикливания отлаживаемой программы, при возникновении ошибок, а также во многих других случаях пользователю может потребоваться информация о ходе выполнения программы или отдельных ее частей. [3]
Во-вторых, возможен так называемый случай зацикливания. [4]
Использование этого параметра позволяет прекратить задание в случае зацикливания программы. Если параметр опущен, то устанавливается стандартное значение, определенное в процедуре системного ввода. [5]
Так как для множества переписывающих правил может быть бесконечно много упорядочений термов и возможна такая ситуация, что мы выбрали упорядочение, которое работает для исходного множества правил, но оказывается непригодным, когда порождаются более сложные правила, то мы можем снова получить свойство нетеровости, выбрав более хорошее упорядочение. Подобную технику можно использовать также в случае зацикливания процедуры пополнения: если после порождения ряда правил появляется вероятность, что алгоритм не закончит работу в приемлемое время, то мы можем остановить процесс и поискать полезные примеры среди уже порожденных правил или изменить некоторые правила ( не изменяя теории), добавить эти новые правила и начать процесс заново. Разумеется, такой массаж требует человеческой изобретательности, и получающиеся доказательства поэтому не полностью автоматические. Тем не менее алгоритм оказывается полезным для уточнения деталей и порождения большинства правил. [6]
Параметр TIME указывает верхний предел времени выполнения задания центральным процессором, по истечении которого задание снимается. Это позволяет избежать потерь машинного времени в случае зацикливания. [7]
Параметр TIME, задаваемый в виде TIME ( u, v), указывает верхний предел времени ( и мин. По истечении этого времени ОС снимает задание с выполнения, что позволяет избежать напрасных затрат машинного времени в случае зацикливания какой-либо программы, используемой в задании. [8]
Ключевой параметр TIME ( время) устанавливает предельное значение интервала времени, на котором задание может использовать центральный процессор системы. По истечении этого времени задание снимается. Это необходимо на случай зацикливания программы. [9]
Ключевой параметр TIME ( время) устанавливает предельное значение интервала времени, на котором задание может использовать центральный процессор системы. По истечении этого времени задание снимается. Это необходимо на случай зацикливания программы. [10]
Хотя во многих случаях для теории существует каноническая система, обратная ситуация также может иметь место. Поэтому требование наличия канонической переписывающей системы для данной теории представляется довольно сильным. Как было уже упомянуто, если процедура пополнения Кнута - Бендикса не дает канонической системы для эквациональной теории, то происходит это вследствие двух причин: зацикливания, когда алгоритм порождает бесконечно много правил, или авоста, когда он порождает критическую пару с несравнимыми термами. В данном разделе мы приведем стратегию для случая зацикливания, а случай авоста обсудим позднее. [11]