Cтраница 3
В дальнейшем при появлении описаний стандартов на сервис с помощью языка LOTOS возможны автоматическая генерация допустимых последовательностей и их автоматическое сравнение с последовательностями, получаемыми из дерева достижимых состояний. Так как число всех последовательностей может быть очень велико, метод получения возможных последовательностей должен дополняться методами редукции дерева достижимых состояний в зависимости от типов анализируемых примитивов. [31]
Четвертое направление связано с методом математического программирования. Укажем здесь на разработанный метод вариации точек переключения, предназначенный для поиска оптимальных управлений в классе кусочно-постоянных функций. Наиболее отчетливо особенности рассматриваемого направления проявляются в методе редукции исходной бесконечной задачи к конечномерной задаче нелинейного программирования. В данной работе приведены убедительные примеры эффективности этого подхода. Отметим, кроме того, что преимущества направления очевидны для параметрических задач оптимального управления. Таким образом, все методы четвертого направления могут быть рекомендованы для решения рассматриваемой задачи оптимального управления. [32]
Таким образом, в данном пункте сформулирована задача оптимального управления для нахождения оптимальной ( гарантирующей) стратегии объекта Q и доказано утверждение 8.5 существования этой задачи. Аналитическое решение этой задачи не удается, вследствие чего принята ориентация на использование известных численных методов решения задач оптимального управления. На основе краткого обзора известных приближенных методов оптимального управления показана возможность использования для поставленной задачи методов перебора в пространстве фазовых координат и прежде всего метода редукции исходной задачи к задаче нелинейного программирования. [33]
Всякая прямая Р в ортогональных проекциях Монжа определяется двумя ее проекциями Н и V на двух взаимно перпендикулярных плоскостях хОу и xOz ( фиг. Дополнительно к этому отмечаются также две точки Z и V - следы пересечения этой прямой с указанными плоскостями. В этом построении Монжа вертикальная проекция прямой V получается искаженной. При изображении прямой или вектора по методу редукции вертикальной проекцией не пользуются, а заменяют ее проекцией Z на вертикальную ось Oz. Чтобы определить величину пространственного вектора в этом случае, на одной горизонтальной плоскости и притом без искажения, достаточно соединить следы Z к V прямой линией ZV и провести через конец горизонтали другую линию, параллельную первой. [34]
Вторую тему книги составляют проекционные методы решении уравнений в свертках. Методы функционального анализа позволяют и здесь построить общую схему. Абстрактной основой этой схемы опять служит упомянутое неклассическое операционное исчисление. Среди рассмотренных проекционных методов особое внимание уделяется методу Галеркина и методу редукции. [35]
В классической теории инвариантов рассматриваются задачи поиска инвариантов для следующих математических объектов: вектора, матрицы, линейные и квадратичные формы. Редуцированная модель получается в результате простого вычеркивания малозначащих пар независимых инвариантов. Следуя работам [1, 38] перечислим те инварианты, на основе которых ниже описаны методы редукции. [36]
MPI, владеет некоторой парадигмой, дозволяющей ему интерпретировать профиль личности по MMPI. Такую парадигму необходимо было осознать, осмыслить и выявить. Для этой цели и была создана методика, описываемая ниже. Известно, что интервьюирование не является формальным способом работы с экспертом, однако данная методика носит о бщий характер благодаря некоторой формальной стратегии. В качестве такой стратегии был использован известный Б литературе метод редукции ( метод сведения к подзадачам), или способ выбора дерева целей. Состоит он в следующем. [37]