
- •324 Серия «Авторское приложение» Приложение «гиперсистема»
- •Оглавление
- •Введение
- •Назначение
- •Ограничения
- •Условия применения
- •Структура приложения «Гиперсистема»
- •Работа с приложением «Гиперсистема»
- •Комплексное логическое моделирование
- •Ввод данных модели
- •Запись блок-схем на языке Геракл
- •Краткое содержательное описание языка Геракл
- •Металингвистическое описание языка Геракл
- •Структурные диаграммы языка Геракл Пример записи алгоритма на языке Геракл
- •Преобразование блок-схем на язык Геракл
- •Ввод табличных данных тз
- •Верификация Логических функций
- •Логические функции
- •Команды управления
- •Сигналы срабатывания таймеров
- •Внешние соединители
- •Запуск алгоритмов
- •Синтез_модели
- •Конструкции-шаблоны приложения «Гиперсистема»
- •Связи конструкций-шаблонов с программными конструкциями
- •Отработка предметных конструкций модели
- •Отработка конструкции Логические_функции
- •Отработка конструкции Внешние_соединители
- •Пакетное моделирование
- •Функциональная схема
- •Список фс
- •Дерево фс
- •Граф управления фс
- •Моделирование и Отображение вMsVisio.
- •Моделирование и Отображение в тз.
- •Логическое моделирование аварийных режимов.
- •Речевое оповещение
- •Моделирование с продолжением
- •Представление алгоритмов на sfc
- •Язык последовательных функциональных схем - sfc
- •РеализацияSfCвIsaGraf6
- •Программа Gerakl To sfc Converter Принцип работы программы
- •Подготовка исходных данных
- •Работа с программой
- •Визуальное моделирование алгоритмов управления
- •Представление функций на ld Язык релейных диаграмм - ld
- •РеализацияLDвIsaGraf6
- •Программа Функции_ld Принцип работы программы
- •Подготовка исходных данных
- •Работа с программой
- •Визуальное моделирование логических функций
- •Подача команд на диаграмме ld
- •Использование списков наблюдения
- •Представление функций на fbd
- •Язык функциональных блоков - fbd
- •РеализацияFbDвIsaGraf6
- •Программирование функциональных блоков
- •Списки наблюдения
- •Браузер перекрестных ссылок (на примереDemo_energy)
- •Макетное программирование мк Работа с программой pice-196
- •Генерация с-кода
- •Экспорт c_кода в Project_96
Пакетное моделирование
Рассмотрим примеры моделирования.
Пример 1. Моделирование набора команд и входов.
На шаге 57 Zцпм2 работает «самоубийственно». Невероятно, но в реальном ТЗ в функции Zцпм2 вместо запоминающего элемента (самоблока) Zцпм2 записано его отрицание ^ Zцпм2! Исправим эту ошибку, так элементарно выявленную моделированием в приложении «Гиперсистема»!
Пример 2. Моделирование набора команд для запуска алгоритмов и таймеров.
Анализ
Подлежащие анализу результаты моделирования предоставляются пользователю в следующих формах:
Список Выходы для команд;
Список Выходы для входов;
Список Функциональная схема (ФС).
Списки Выходы для команд и Выходы для входов подробно описаны выше.
Функциональная схема
Функциональная схема (ФС) в приложении «Гиперсистема» представляется в четырех формах:
Список (компонент в окне программы);
Дерево (компонент в окне программы);
Текстовый файл;
Граф управления.
Вначале ФС в процессе моделирования записывается в список, а затем копируется в текстовый файл. Далее этот текстовый файл загружается в компонент Дерево и в окно приложения Граф управления. Прямая запись ФС в текстовый файл невозможна по следующей причине. В приложении «Гиперсистема» наряду с обычными событиями обрабатываются события срабатывания таймеров, которые генерируются API-функцией TIMER с самым низким приоритетом, в результате чего возникают конфликты при записи ФС в текстовый файл.
Список фс
Дерево фс
Граф управления фс
Рассмотрим примеры использования команды Найти узел.
Моделирование и Отображение вMsVisio.
Автоматизированное построение списков компонентов, соединений и индексов соединений в базе данных ТЗ
Перечисленные списки формируются в результате обработки данных ТЗ, представленных в Предметных конструкциях модели.
В результате выполнения макрокоманды Формирование_структурной_схемы_Visio (VBA Excel) формируются списки:
Список компонентов (фрагмент)
426
Входные_контакты
Хку00
1
114
Входные_контакты
Хку01
1
113
Входные_контакты
Хку02
1
112
Входные_контакты
Хку03
1
111
Список соединений (фрагмент)
732
Zвд5
Хку00
Zвд5
Хку01
СДСДОП_00
Хку01
СДСДОП_01
Хку01
СДСДОП_02
Хку01
СДСДОП_03
Хку01
СДСДОП_04
Хку01
СДСДОП_05
Хку01
СДСДОП_06
Хку01
СДСДОП_07
Хку01
СДСДОП_08
Список индексов соединений (фрагмент)
Zвд5
Хку00
427
Zвд5
Хку01
428
СДСДОП_00
Хку01
429
СДСДОП_01
Хку01
430
СДСДОП_02
Хку01
431
СДСДОП_03
Хку01
432
СДСДОП_04
Хку01
433
СДСДОП_05
Хку01
434
СДСДОП_06
Хку01
435
СДСДОП_07
Хку01
436
СДСДОП_08
Хку01
437
Визуализация списков и построение Структурной схемы ТЗ в MS Visio
Построение Структурной схемы ТЗ выполняется командой Создание структурной схемы ТЗ
В результате выполнения макрокоманды Формирование_структурной_схемы_Visio (VBA Visio) по ранее сформированным спискам строится Структурная схема ТЗ
В этой Структурной схеме ТЗ отображены все компоненты и все соединения между ними. Соединения являются ориентированными и задают направления передачи сигналов между компонентами.
Структурная схемы базы данных в виде документа MS Visio используется для наглядного представления логических и функциональных связей между компонентами на всех этапах отработки ТЗ. Структурная схема MS Visio строится в виде совокупностей столбцов компонентов в порядке их формирования на страницах Базы данных. Для изменения порядка расположения столбцов достаточно изменить расположение страниц базы данных. Внутри столбца компоненты располагаются так же в соответствии с базой данных.
В структурной схеме MS Visio отображаются так же вся информация базы данных в виде таблицы внешних данных. Это отображение строится автоматически и обеспечивает двухстороннюю связь между визуальным представлением компонентов и их параметрами.
При структурном анализе ТЗ отображаются только соединения выбранного пользователем компонента.
При функциональном анализе ТЗ отображаются только соединения между компонентами, изменившими свое состояние на заданном шаге моделирования.
Преобразование Структурной схемы ТЗ в формат DXF.
Выполняется стандартными средствами MS Visio.