Содержание - следующая глава
Cтраница 2
Подобные упрощения имеют общий характер и должны быть свойственны не только среде, ограниченной плоскостью, но и средам более сложной геометрии. В настоящей главе дается формальное решение задачи о расчете поля излучения в полупространстве, справедливое при произвольной зависимости мощности источников от глубины. Функции, через которые выражается решение, подробно исследуются и некоторые из них табулируются. Применение этих общих результатов к различным конкретным частным случаям, а также обсуждение физической стороны дела составляет содержание следующей главы. [16]
 |
Схема для оценки коэффициентов Винера. [17] |
В этой главе был исследован ряд методов идентификации, которые в прошлом использовались весьма эффективно. Рассмотрены различные процедуры: от простых численных алгоритмов решения уравнения свертки в разделе 2.2 до более сложной методики изучения реакции на синусоидальный входной сигнал для линейных нестационарных систем. Остальные главы книги посвящены исследованию так называемых современных подходов к задачам идентификации. Прежде чем заняться этим мы, однако, должны определить функции штрафа для задач идентификации, что и составляет содержание следующей главы. [18]
Исчисление предикатов мощнее, чем исчисление высказываний и дает возможность выразить многое из того, о чем мы хотели 6i говорить или рассуждать. Мы видели также, каким образом утверждения исчисления предикатов приводятся к нормальной форме и как использовать метод резолюции для доказательства их истинности и нахождения значений переменных ( связанных кванторами существования), которые удовлетворяют этим утверждениям. Эти методы составляют также основу языка Пролог, который мы рассмотрим в гл. Однако нам нужно иметь возможность манипулировать множествами данных, которые мы часто будем представлять в виде списков. До того, как формализовать это в исчислении предикатов, мы должны понять, как выполнять операции обработки списков с помощью рекурсии. Это делается обычно с помощью аппликативных языков, основанных на ламбда-исчислении, которые и составят содержание следующей главы. [19]
Страницы: 1 2