- •Лекция 1 Основные понятия теории моделирования систем Методологическая основа моделирования
- •Аксиомы теории моделирования
- •Системный подход к моделированию
- •Характеристики моделей систем
- •Цели и проблемы моделирования систем
- •Лекция 2 Классификация видов моделирования систем
- •Математическое моделирование
- •Лекция 3 Методология структурного анализа и проектирования
- •2.2. Блоки представляют функции
- •2.3. Блоки имеют доминирование
- •2.4. Дуги изображают объекты
- •2.1. Диаграммы содержат блоки и дуги
- •2.5. Дуги изображают взаимосвязи между блоками
- •Достоинства и недостатки sadt-моделей
- •Лекция 4. Сети Петри
- •Поведенческие свойства сетей Петри
- •1. Достижимость.
- •2. Ограниченность.
- •3. Активность.
- •4. Обратимость и базовое состояние.
- •Задача о конечности функционирования сети Петри
- •Пример использования сети Петри при анализе состояний дедлока.
- •Лекция 5. Детерминированные конечные автоматы Дискретно-детерминированные модели (f-схемы)
- •3. Привести полученный автомат к минимальному виду.
- •Для удобства дальнейшего описания переименуем состояния следующим образом:
- •Число – регистр значащей части числа (целое число).
- •Лекция 6. Вероятностные модели систем
- •I. Вероятностные автоматы (дискретно-стохастические модели)
- •II. Системы массового обслуживания (непрерывно-стохастические модели)
- •Лекция 7 Этапы машинного моделирования систем
- •1. Построение концептуальной модели системы и ее формализация
- •Построение и формализация концептуальных моделей систем
- •Лекция 8 Этапы машинного моделирования систем
- •2. Алгоритмизация моделей систем и их машинная реализация
- •3. Получение и интерпретация результатов моделирования систем Эксперименты с имитационными моделями
- •1. Необходимость планирования экспериментов.
2.1. Диаграммы содержат блоки и дуги
Каждая SADT-диаграмма содержит блоки и дуги. Блоки изображают функции моделируемой системы. Дуги связывают блоки вместе и отображают взаимодействия и взаимосвязи между ними (рис.2). Диаграмме дается название, которое располагается в центре нижней части ее бланка. На каждой диаграмме написана стандартно идентифицирующая ее информация: автор диаграммы, частью какого проекта является работа, дата создания или последнего пересмотра диаграммы, статус диаграммы. Вся идентифицирующая информация располагается в верхней части бланка диаграммы.
2.2. Блоки представляют функции
Функциональные блоки на диаграммах изображаются прямоугольниками. Блок представляет функцию или активную часть системы, поэтому названиями блоков служат глаголы или глагольные обороты. Например, названиями блоков диаграммы выполнить задание являются: определить степень выполнения задания, выбрать инструменты, подготовить рабочее место, обработать на станке и собрать, как показано на рис. 2.
Кроме того, SADT требует, чтобы в диаграмме было не менее трех и не более шести блоков. Эти ограничения поддерживают сложность диаграмм и модели на уровне, доступном для чтения, понимания и использования. Другими словами, SADT-диаграммы и SADT-модели наглядны.
В отличие от других графических методов структурного анализа в SADT каждая сторона блока имеет особое, вполне определенное назначение. Левая сторона блока предназначена для входов, верхняя - для управления, правая - для выходов, нижняя - для механизмов. Такое обозначение отражает определенные системные принципы: входы преобразуются в выходы, управление ограничивает или предписывает условия выполнения преобразований, механизмы показывают, кто, что и как выполняет функция. Например, четвертый блок диаграммы выполнить задание может быть интерпретирован следующим образом: детали, сырье и брак, обрабатываются на станке и собираются в результаты обработки с использованием оборудованного рабочего места.
2.3. Блоки имеют доминирование
Блоки SADT никогда не размещаются на диаграмме случайным образом. Они размещаются по степени важности, как ее понимает автор диаграммы. В SADT этот относительный порядок называется доминированием. Доминирование понимается как влияние, которое один блок оказывает на другие блоки диаграммы. Например, самым доминирующим блоком диаграммы может быть либо первый из требуемой последовательности функций, либо планирующая или контролирующая функция, влияющая на все
2.4. Дуги изображают объекты
Дуги на SADT-диаграмме изображаются одинарными линиями со стрелками на концах. Для функциональных SADT-диаграмм дуга представляет множество объектов. Мы вынуждены использовать здесь общее понятие "объекты", поскольку дуги в SADT могут представлять, например, планы, данные в компьютерах, машины и информацию. Дуги диаграммы выполнить задание на рис. 2 представляют материалы, написанные на бумаге (например, следующий шаг задания), физические материалы (например, сырье и заготовки), инструменты (например, набор инструментов), рабочие чертежи (например, чертежи и указания), рабочую среду (например, оборудованное рабочее место) и управленческую информацию (например, статус задания). Однако в системном анализе вместо термина "объекты" часто употребляют термин "данные". Это объясняется тем, что системному анализу ранее подвергались, как правило, системы программного обеспечения.
Так как в SADT дуги изображают объекты, они описываются (помечаются) существительными или существительными с определениями, располагающимися достаточно близко к линии дуги. Мы настоятельно рекомендуем размещать описания дуг, называемые метками, как можно ближе к линиям дуг, не нарушая, однако, читабельность диаграмм. Это устраняет неопределенность в том, к какой дуге относится метка, и исключается необходимость в дополнительных графических связях. Обратите внимание на то, что все метки дуг на диаграмме выполнить задание расположены вплотную к соответствующим дугам. Мы рекомендуем принять этот стиль описания дуг для того, чтобы ваши диаграммы были упорядоченными и простыми для чтения.
