Cтраница 4
Конечно, при реализации этого возникает уже известная проблема остановки подобно общему методу обратного вывода. Отметим, однако, что большинство систем, основанных на методе резолюции, не использует такой грани. Они либо используют более совершенные условия остановки, действующие на основе динамического поведения программы ( например, метод QSQ, описанный в части III данной книги), либо совсем не используют условий остановки, отвергая полноту. [46]
Второй способ фиксации Т заключается в использовании комбинированного подхода, состоящего из прямого и комбинаторного подходов. Такая комбинация двух подходов обычно осуществляется в виде двухуровневых методов. На верхнем уровне фиксируются WT и Т, на нижнем уровне комбинаторным методом ищется оптимальная схема теплообмена, затем на верхнем уровне изменяются NT и Т в соответствии с каким-то методом нелинейного программирования. При новых фиксированных NT и Т на нижнем уровне снова определяется оптимальная схема, происходит переход на верхний уровень и так далее до тех пор, пока не будет удовлетворено какое-то условие остановки на верхнем уровне. [47]
Пятая задача дальнейшего исследования касается остановки разрушения. Из различных стадий разрушения менее всего известно об условии его остановки. Это происходит потому, что остановка разрушения в значительной степени зависит от того, как в процессе разрушения поддерживается нагружение. Таким образом, по-видимому, условия остановки разрушения постоянно связаны с типом конструкции и способом ее нагружения. Цель этого исследования состоит в обобщении условий остановки разрушения, а не отдельного изучения каждой индивидуальной конструкции и ее нагружения. [48]
Способ обхода дерева, используемый для отыскания всех деревьев опровержения цели, зависит от реализации и не определяется принципом резолюции. Большинство систем используют поиск сначала вглубь. Аналогично условия остановки являются также системно-зависимыми. Некоторые системы, такие, как интерпретаторы Пролога, не используют каких-либо условий остановки вообще. В таких системах отсутствуют гарантии полноты; вопросы полноты и завершения решаются программистом. [49]