63459 (597593), страница 3
Текст из файла (страница 3)
Сущность машинного моделирования некоторой сложной системы состоит в проведении эксперимента с моделью, которая представляет программный комплекс, описывающей формально или алгоритмически поведение элементов системы в процессе её функционирования, т.е. взаимодействия друг с другом и с внешней средой.
Основные требования, предъявляемые к модели:
-
Полнота модели – модель должна предоставлять пользователю возможность получения необходимого набора характеристик, оценок системы с требуемой точностью и достоверностью.
-
Гибкость модели – модель должна давать возможность воспроизводить различные ситуации при варьировании структуры, алгоритмов и параметров модели. Причем, структура должна быть блочной, т.е. допускать возможные замены, добавления и исключения некоторых частей без переделки всей модели.
-
Компьютерная реализация модели должна соответствовать имеющимся технически ресурсам.
Процесс моделирования, включающий разработку и компьютерную реализацию модели, является итерационным. Этот итерационный процесс продолжается до тех пор, пока не будет получена некоторая модель, которую можно считать адекватной в рамках решения поставленной задачи.
Основные этапы моделирования больших систем
-
Построение концептуальной (описательной) модели некоторой системы и её формализация
-
Алгоритмизация модели и её программная реализация
-
Получение и интерпретация результатов моделирования
На первом этапе формулируется модель и строится её формальная схема. Основное назначение данного этапа – переход от содержательного описания объекта к его математической модели. Это наиболее ответственный и наименее формализованный этап. Исходный материал данного этапа – содержательное описание объекта.
-
Проведение границ между системой и внешней средой.
-
Исследование моделируемого объекта с точки зрения выделения основных составляющих процесса функционирования системы (по отношению к целям моделирования)
-
Переход от содержательного описания системы к формализованному описанию свойств процесса функционирования системы, т.е. к концептуальной модели. Переход от содержательного описания системы к её модели в данной ситуации сводится к исключению некоторых второстепенных элементов описания. Предполагается, что они не оказывают существенного влияния на ход процессов, исследуемых в системе с помощью модели.
-
Основные элементы модели группируются в блоки. Блоки I-ой группы представляют собой имитатор воздействия внешней среды. Блоки II-ой групп являются собственно моделью функционирования. Блоки III-ей группы носят вспомогательный характер для реализации I-ой и II-ой групп и для фиксации результатов моделирования.
-
Процесс функционирования системы разбивается на подпроцессы так, чтобы построение отдельных моделей подпроцессов было элементарным и не вызывало трудностей.
На втором этапе моделирования – этапе алгоритмизации модели и её машинной реализации, сформированная на первом этапе математическая модель реализуется в виде программы. Исходный материал – блочная логическая схема.
-
Разработка схемы моделирующего алгоритма.
-
Разработка схемы программы.
-
Выбор технического средства для реализации компьютерной модели.
-
Этап программирования модели (программирование и отладка).
-
Проверка достоверности модели на различных работающих тестовых примерах.
-
Составление технической документации (логические схемы, схемы программ, спецификации)
На третьем этапе (получение и интерпретация результатов) компьютер используется для проведения рабочих расчетов по готовой программе модели. Результат этих расчетов позволяет проанализировать и сделать выводы о характеристиках процесса функционирования моделируемой системы.
-
Планирование машинного эксперимента с моделью системы (активный и пассивный эксперименты). Необходимо составление плана проведения эксперимента с указанием комбинации переменных и параметров, для которых должен проводится эксперимент. Главная задача – дать максимальный объем информации об объекте моделирования при минимальных затратах машинного времени.
-
Проведение рабочих расчетов (контрольная калибровка модели)
-
Статистическая обработка результатов расчетов.
-
Интерпретация результатов моделирования, подведение итогов
-
Составление технической документации.
Различие стратегического и тактического планирования машинных экспериментов заключается в том, что в первом случае ставится задача построения оптимального плана эксперимента для достижения цели, поставленной перед моделированием (оптимизация структуры алгоритмов и параметров системы). Во втором случае, преследуются частные цели оптимальной реализации каждого конкретного эксперимента из множества необходимых экспериментов, заданных при стратегическом планировании.
Три основных класса ошибок:
-
Ошибка формализации – недостаточно подробное описание модели
-
Ошибка решения – некорректный или слишком упрощенный метод построения модели
-
Ошибка задания параметров.
Проверка адекватности модели.
Проверка адекватности модели заключается в анализе её соразмерности, а также равнозначности системы. Адекватность нарушается из-за идеализации внешних условий и пренебрежения некоторыми случайными факторами.
Считается, что модель адекватна с системой, если вероятность того, что отклонение параметров y не превышает некоторой предельной величины больше допустимой вероятности.
На практике использование данного критерия невозможно, т.к.:
-
Для проектирования или моделирования системы отсутствует информация о выходной характеристики y.
-
Как правило, система оценивается не по одной, а по множеству характеристик
-
Характеристики могут быть случайными величинами или функциями.
На практике оценка адекватности обычно проводится путем экспертного анализа разумности результатов моделирования.
Выдвигаются следующие виды проверки:
-
Проверка моделируемых элементов
-
Проверка внешних воздействий
-
Проверка концептуальной модели
-
Проверка формализованной математической модели
-
Проверка программной модели
-
Проверка способов измерения и вычисления выходных характеристик
Если модель неадекватна объекту, то выдвигаются следующие типы изменения:
-
Глобальные – возникают в случае обнаружения методических ошибок концептуальной или математической модели
-
Локальные – связаны с уточнением некоторых параметров и алгоритмов. Выполняются путем замены внешних воздействий на эквивалентные, но более точные.
-
Параметрические изменения некоторых специальных параметров, называемые калибровочными.
Завершается данный этап определением и фиксацией области пригодности модели - множество условия, при соблюдении которых точность результатов моделирования находится в допустимых пределах.
Схема взаимодействия технических этапов моделирования
Вычислительные системы как объект моделирования
Уровни проектирования:
-
Системное проектирование
Цель – определение производительности. Вычислительная система рассматривается целиком. Отдельные её элементы – ЦП, память и т.д.
ВС :=
-
Функционально-логический уровень проектирования
-
Подуровень регистровых передач.
-
Исследование команды.
-
Логическое проектирование.
Исследование на уровне логических элементов.
-
Схемотехнический уровень.
Вопросы конкретной реализации (например, как искажается сигнал).
-
Конструкторский уровень.
Оптимизация размещений (например, теплообмен).
Проектирование происходит сверху вниз.
Моделирование на системном уровне.
При моделировании новой или модернизации действующей ВС и сетей необходимо предварительно оценить эффективность их функционирования c учетом различных вариантов структурной организации. Эти варианты могут отличаться составом и характеристиками модулей (моделей устройств), структурой межмодульных связей, режимами работы, алгоритмами управления и т.д. Именно в таких случаях используются модели ВС.
Под Вычислительным Средством понимаем комплекс аппаратных и программных средств, которые в совокупности выполняют определенные обработочные функции.
Операционная Система – набор ручных и автоматических процедур, которые позволяют группе людей эффективно использовать вычислительную установку.