- •5033.4350.0000-Пз
- •Введение
- •Теория алгоритмов
- •Исходные положения
- •Общее содержание второй части задания
- •Виды текстов алгоритмов
- •Ациклические двухполюсные структуры алгоритмов
- •Исходные условия
- •Комплект текстов алгоритмов
- •Этап э1: Подготовка стандартной полной формы формулы
- •Стандартная форма формулы алгоритма
- •Этап э2: Построение структурной схемы
- •Структурная схема алгоритма
- •Э21: Построение основной схемы – без оболочек
- •Э22: Группирование элементов
- •Э23: Проверочная нумерация оболочек
- •Э25 Повышение явного соответствия формул и схем
- •Э251 Явная операция разделения потоков
- •Э252 Разделение парных операций
- •Э253 Двухмерные структурные формулы
- •Э254 Псевдографика структурной схемы
- •Э255 Набор схемы графического тренажера
- •Этап э3: Работа с временной диаграммой алгоритма
- •Э31 Задание длительности исполнения команд
- •Э32 Построение временной диаграммы сетевого типа
- •Э33 Графический расчет длительности алгоритма
- •Э34 Аналитический расчет длительности алгоритма
- •Э4: Подготовка вербальных текстов алгоритма
- •Вта: Вербальные тексты алгоритмов
- •Дополнительные функциональные обозначения
- •ИнФ: Инфиксная форма
- •ИнФ': Неявная инфиксная форма
- •ПрФ: Префиксная форма
- •Ациклические многополюсные структуры алгоритмов
- •Исходные условия
- •Комплект текстов алгоритмов
- •Этап э1: Подготовка стандартной полной формы формулы
- •Стандартная форма формулы алгоритма
- •Этап э2: Построение структурной схемы
- •Структурная схема алгоритма
- •Построение основной схемы (без оболочек)
- •Этап э3: Работа с временной диаграммой алгоритма
- •Э31 Задание длительности исполнения команд
- •Э32 Построение временной диаграммы сетевого типа
- •Э33 Графический расчет длительности алгоритма
- •Э34 Аналитический расчет длительности алгоритма
- •Э4: Подготовка вербальных текстов алгоритма
- •Вта: Вербальные тексты алгоритмов
- •Дополнительные функциональные обозначения
- •Переключательные ациклические структуры алгоритмов
- •Концептуальная модель команды
- •Функции модели
- •Блок функций аппаратной модели команды
- •Индексация обозначений
- •Работа модели
- •Уточнение функции индикации
- •Работа с программной моделью команды в средеMathLab
- •Вывод схемы модели на экран
- •Построение временной диаграммы
- •Настройки дополнительных параметров диаграммы
- •Концептуальная модель алгоритма
- •Ациклические двухполюсные структуры алгоритмов
- •Модельная схема алгоритма
- •Функциональная система алгоритма
- •Программная модель алгоритма в средеMathLab
- •Подготовка файла модели
- •Формирование схемы моделиEnvMpma
- •Построение временной диаграммы
- •Заключение
Работа с программной моделью команды в средеMathLab
Выполняется освоение работы с типовой программной моделью команды в среде MathLab(для последующих построений моделей алгоритмов).
Программный продукт MathLab(версия 6.1) – это среда модельного программирования, поддерживающаяLanguageofTechnicalComputing:
Язык технических вычислений (комплекс разных языков подобного типа).
В данной работе используется библиотека функций Simulink, предназначенная для визуального программирования – автоматического формирования программных моделей (функций) аппаратуры различного назначения по заданной схеме аппаратных объектов ("схемотехническое программирование").
Используются средства моделирования временных булевых функций.
Вывод схемы модели на экран
EnvMPMZ: Среда объектаMPMZ// среда модели командыZ
// Объект среды объекта MPMZ– надсистема (прогона) модели командыZ
ССО: Структурная схема объекта // схема среды объекта Z
MPMZ: Метрическая потенциальная модель командыZ
БСО: Блок-схема объекта
Построение временной диаграммы
Выполняется установка основных параметров и вывод диаграммы.
1) Установка параметров источника ступенчатого сигнала:
двойным кликом блока StepмоделиEnvMPMZвыводится диалоговое окно параметров блокаStep.
установка необходимых параметров, включая начало отсчета:
Sampletime(сдвиг ступени сигнала относительно нуля).
Например: Sample time = 50
2) Установка параметров элемента задержки:
двойным кликом блока элемента TransportDeleyвыводится диалоговое окно параметров блока;
в окне TimeDelay(Задержка времени) устанавливается заданная длительность исполнения команды.
Номер зачетной книжки: 025350
ДИК: Длительность исполнения команды mz= 350.
3) Вывод временной диаграммы
двойным кликом по блоку ScopeмоделиEnvMPMZвыводится окноScopeвременной диаграммы;
4) Горячей клавишей Startsimulation(Запуск имитации) окна схемыEnvMPMZзадается построение графиков временной диаграммы:
горячая клавиша: ►(черный треугольник, направление направо).
ДИК: Диаграмма исполнения команды
Настройки дополнительных параметров диаграммы
1) При необходимости выполняется установка (или проверка) параметров диаграммы по числу и длине осей диаграммы и т.п. Для этого:
включить горячую клавишу Parametrs окна Scope (вторая сверху);
выводится диалоговое окно 'Scope' parameters настройки параметров;
на вкладке General (Общие параметры) установить необходимые данные:
Number of exes = 3 (Число осей):
Time range = YYY (Диапазон времени): YYY > XXX – соответственно величине задержки mz = XXX (с учетом граничных полей графиков):
Tick lable = all (метки делений: все).
2) При необходимости устанавливаются дополнительные свойства отдельных полей графиков осей диаграммы. Для этого:
кликом правой клавиши в нужном поле оси выводится контекстное меню;
например, клик в поле оси переменной xz;
в контекстном меню кликом команды Exes properties (свойства осей) выводится диалоговое окно 'Scope' properties (свойства просмотра);
устанавливаются необходимые параметры по высоте поля оси (Y-min, Y-max) и обозначению оси (метки сигнала); например: %<SignalLabel>xz.
3) Дополнительно необходимо установить (или проверить) параметры прогона модели:
кликом команды Simulation \ Simulation parameters общего меню окна модели EnvMPMZ выводится окно:
Simulation parameters: EnvMPMZ (Параметры моделирования);
на вкладке Solver ( ) устанавливаются необходимые параметры времени моделирования (Simulation time):
Например: Start time = 0.0 (Время начала), Stop time = 10.0 (Время окончания).
Анализ:
синтаксис
семантика
прагматика – субъекты (автомат, персонал), присубъекты
Выводы