Cтраница 4
Оно заключается в определении общего вида правила, формирующего результат вывода, и в последующей корректировке входящих в него параметров, зависящих от конкретных данных. В ней выводятся новые правила путем коррекции уже заложенных в БЗ продукций. [46]
В этих методах делается попытка добиться более высокой чувствительности в результате более быстрого вывода данных. [47]
Рассмотрим еще раз отдельную бабочку. Структуры БПФ на рисунках 4.8 4.9, 4.11 и 4.12 являются прямым результатом вывода алгоритмов с прореживанием по времени и по частоте. Хотя сначала это не очевидно, но показатели степени поворачивающих множителей, приведенные на этих рисунках, распределены по определенной системе. [48]
Если пользователь печатает п, то how-describer заканчивает работу, так как пользователь удовлетворен ответом. Если пользователь печатает к имя-узла, то начинает действовать одно из двух других предложений how-explain, перечисляющее результаты вывода, влияющего на узел, о котором сделан запрос. Эти сложные версии how-explain всегда заканчивают свою работу неудачей, потому что необходимо произвести возврат. Таким образом выявляются все возможные выводы, если для поддержки текущего узла использовалось более одного правила. [49]
Рассмотрим теперь теплообмен излучением двух поверхностей, расположенных одна в другой. Будем при этом исходить из того, что внутренняя поверхность выпуклая и не образует впадин, что исказило бы результаты выводов. [50]