- •Основные принципы имитационного моделирования.
- •Метод статистических испытаний в имитационном моделировании (метод Монтк-Карло)
- •Схемы построения имитационных моделей.
- •Моделирование вычислительных процессов и систем с использованием средств gpss.
- •Использование инструментальных средств для моделирования вычислительных процессов.
- •Входные параметры, характеризующие качество работы имитационной модели.
- •Функциональные блоки gpss World.
- •Стандартные числовые и логические атрибуты модели.
- •Модель однопроцессорного вычислительного устройства.
- •Имитационная модель однопроцессорной системы с неограниченной длиной очереди.
- •Модель вычислительной системы с ограниченным числом мест в очереди.
- •Моделирование параллельных вычислительных процессов.
- •Часть 1 Часть 1
- •Часть 2 Часть 2
- •Параметрический анализ сложного вычислительного процесса.
- •Использование библиотечных функций распределения для моделирования случайных процессов в вычислительных системах.
- •Структура имитационной модели последовательного вычислительного процесса с несколькими режимами обслуживания входных сообщений.
- •Структура сегментов для моделирования последовательного вычислительного процесса.
- •Функциональное моделирование (idef0) мкс
- •Концептуальная модель и ее представление контекстной диаграммой
- •Разновидности связей, реализуемых в функциональных диаграммах.
- •Наименование связей
- •Количественный анализ функциональных диаграмм.
- •Наиболее используемые команды bpWin.
- •Функциональная диаграмма процесса разработки бвм.
- •Результат работы экспертов с моделью «как есть» для построения модели «как должно быть»
- •Моделирование потоков данных в информационных системах в соответствии со стандартом dfd
- •Моделирование потоков работ, сопровождающих разработку, создание, эксплуатацию мкк (idef3).
- •Структура мкк.
- •Контекстная диаграмма модульной разработки мкк.
- •Декомпозиция idef3-диаграммы первого уровня
- •Возможности системы erWin по автоматизации разработки бд.
- •Инструменты erWin для создания логической модели бд.
- •Построение erd –диаграммы логической модели бд «ис сопровождения модульной сборки мкс», основанной на ключах. Диаграмма сущностей бд и их связей.
- •Этапы автоматизации разработки логической модели бд ис
- •Правила выбора атрибутов сущностей для включения первичных ключей:
- •Нормализация логической модели бд
- •Создание физической модели бд.
- •Создание erd -диаграммы пользователя бд
- •Логическое моделирование аппаратных средств цвт.
- •Сравнение восходящего и нисходящего подхода к проектирования.
- •Цикл проектирования специализированной сбис
- •Ввод символов моделируемой схемы.
- •Подготовка схемы к временному моделированию.
- •Пример временного моделирования работы клс.
- •Алгоритм временного моделирования электронных схем.
- •Использование временного анализатора.
- •Временное моделирование работы асинхронных элементов памяти.
- •Оценка установившихся и устойчивых состояний асинхронных элементов памяти.
Построение erd –диаграммы логической модели бд «ис сопровождения модульной сборки мкс», основанной на ключах. Диаграмма сущностей бд и их связей.
Контрагент – соучастник разработки БД, сообщающий экономические сведения.
Этапы автоматизации разработки логической модели бд ис
1. Определение и идентификация сущностей БД.
2. Определение типов связей между сущностями и идентификация этих связей
3. Задание для экземпляров сущностей атрибутов и их наименование.
4. Определение разновидностей pk.
5. Нормализация логической модели БД.
Правила выбора атрибутов сущностей для включения первичных ключей:
1. Первичный ключ выбирают так, чтобы по значению атрибута точно идентифицировался экземпляр сущности.
2. Никакой из атрибутов первичного ключа не должен иметь нулевого значения.
3. Значения атрибутов первичного ключа не должны меняться.
Разновидности первичных ключей:
АК – это потенциальный ключ не составивший первичный
(АК) – инверсные входы используют для обращения к экземплярам сущности не уникальным способом
(FK) – внешние ключи для связи в дочерней сущности.
Нормализация логической модели бд
Нормализация – процесс проверки и реорганизации сущностей и атрибутов для выполнения требований к реляционной модели данных.
Erwin
-Поддерживает корректность имён сущностей
-Не допускает ввода в сущность более одного FK
-запрещает использование неуникальных имён внутри одной модели
Создание физической модели бд.
Правила трансформации логической модели в физическую:
1. Сущности становятся таблицами
2. Атрибуты становятся столбцами таблица
3. Ключи становятся индексами
Создание erd -диаграммы пользователя бд
Для получения доступа к ресурсом системы моделирования МКК пользователь должениметь знания, умения и представления.
Построение физической модели включает следующие этапы:
1. Определение ключевых атрибутов и их типов.
2.Нормализация
1нф – все атрибуты содержат только атомарные значения
2нф – все неключевые атрибуты полностью зависят от pk
3нф – отсутствуют транзитивные зависимости неключевых атрибутов
3.построение физической модели БД
После нормализации до 3нф получается физическая модель, готовая для размещения в выбранную СУБД.
На этапе создания физической модели вводится правило валидации колонок, которые определяют список допустимых значений и значения по-умолчанию.
Если ядром ИС является СБД, то использование инструментальных средств BPWin и ERWin позволяет автоматизировать построение СБД.
Логическое моделирование аппаратных средств цвт.
Разработка СБИС требует проведения нескольких этапов моделирования, включающих функциональное моделирование, временное моделирование, комплексное моделирование разрабатываемых схем по выбранному критерию.
Сравнение восходящего и нисходящего подхода к проектирования.
Нисходящее проектирование позволяет:
-
реализовать заданную функцию на максимальной тактовой частоте работы.
-
Получить диаграмму задержек распространение сигнала в любых устройствах схемы.
-
Минимизировать потребление энергии.
-
Определить стоимостные затраты.
Различают формальное и неформальное описания устройства. К разновидностям формального описания относят:
-
блок-схема алгоритма
-
Направленный граф
-
Таблицы выходов и переходов
Неформализованным описанием является словесное.