Пример. Доопределение модели: y должен быть максимизирован, при условии x ≥ 2.5

Модель: y = – x ² + 4 x – 3.

Вопрос: x =?

Доопределение модели: y должен быть максимизирован, при условии x ≥ 2.5.

Так как y должен быть максимизирован, то мы должны стараться двигаться вдоль графика функции (рис. 1.11) и следить, чтобы значение x не стало меньше 2.5. Как видно из рисунка, значение y станет максимальным при x = 2.5. Ответ: y = 0.75, x = 2.5.

Рис. 1.11. Графическая иллюстрация
решения задачи с ограничениями

В процессе исследований различают два вида моделей пра-модель (pra-model) и супра-модель. На рис. 1.12 показана пирамида моделей, различных по степени прогностичности.

Уровень «Пра-модель» потребляет на входе данные, перерабатывает их и возвращает тоже данные, то есть это модели более низкого уровня.

Уровень «Супра-модель» потребляет на входе модели в виде объектов и операций, перерабатывает их и возвращает модели (примером таких супра-моделей могут служить грамматики, способные преобразовывать модели (уравнения). Пирамида на рис. 1.12 представлена в виде функциональных уровней; это означает, что каждый последующий уровень мощнее предыдущего, то есть он позволяет получить больший, более мощный качественный результат.

Рис. 1.12. Соотношение типов моделей
по степени прогностичности

На рис. 1.13 представлены этапы построения модели.

Рис. 1.13. Этапы процесса моделирования

Спираль, которая была рассмотрена на рис. 1.7, представлена на рис. 1.13 как виток. Но обратите внимание на возможность возвращения с каждого этапа на более ранний (или более ранние) при обнаружении ошибки. Спираль имеет достаточно сложный вид, прошита дополнительными связями.

Отметим, что самые трудные и ответственные этапы моделирования — первые. Здесь от исследователя требуется больше интуитивных решений. И ошибка на более ранних этапах больше сказывается на дальнейших решениях, возвращаться и переделывать приходится гораздо больше, чем на последних этапах. Очевидно, что первые этапы решают менее формализованные задачи, а последующие — все более формальные.

Поскольку формальные методы легко автоматизируются, то последние этапы схемы поддержаны программными продуктами и легко доступны конечным пользователям, но наибольший интерес сегодня представляют программные продукты, поддерживающие первые этапы — системы, помогающие формализовать задачи. А также системы, обеспечивающие сквозное проектирование, доведённое до моделирования и конечной реализации.

Сложность задачи часто диктует тот способ представления модели, который будет использоваться при её описании. Покажем это на примере простейшей задачи.

Задача 1. Пусть два объекта (например, пешеход и велосипедист) движутся друг другу навстречу (рис. 1.14) со скоростями V ₁ и V ₂ соответственно. Необходимо узнать: когда и где встретятся эти объекты?

Рис. 1.14. Задача о встрече

Дата добавления: 2014-01-03