Моделирование (эмулирование) управляющей программы

Эта функция позволяет проверить работоспособность управляющей программы и ее поведение при различных параметрах. Таким образом, можно получить оптимизированный исполнительный код и выгрузить его в модуль LOGO.

Для начала моделирования необходимо нажать кнопку Simulation (Моделирование) на панелиинструментов, которая запускает режим моделирования, во время которого под стандартнойпанелью инструментовпоявятся специальные кнопки для управляющих ключей. Для выхода из режима моделирования необходимо выбрать другой режим, нажав на любую другую кнопку на панелиинструментов. Пример пользовательского интерфейса управляющей программы в режиме моделирования представлен ниже.

Работа с диском

1. Сохранение программы: File->Save… или File->Save as… или на стандартнойпанелиинструментовнажать кнопку Save (Сохранить).

2. Открытие программы: File->Open… или нажать кнопку Open (Открыть).

Блочный метод синтеза комбинационных дискретных автоматов с использованием матриц Карно

При блочном методе синтезируемый конечный автомат разбивается на блоки, соответствующие каждой выходной функции. Для каждого блока (функции) выбираются существенные переменные, т.е. те переменные, которые непосредственно изменяют состояние выходных функций. Для выбранных существенных переменных строится матрица Карно, в которой по графу функционирования прослеживаются все изменения состояний выходной функции в зависимости от состояния входов.

Если при очередном переходе по матрице Карно возникает противоречие, т. е. одному и тому же значению входных переменных соответствуют разные значения выходной функции, то тогда на данном участке выбирается дополнительная квазисущественная переменная, которая меняет своё состояние на данном участке нечетное число раз (1, 3 и т.д.). При этом матрица расширяется и процесс синтеза начинается сначала.

Когда все переходы по матрице Карно по всему циклу осуществились без противоречий, то выделяют подкубы (наборы соседних клеток с единичными и безразличными значениями функций), по которым определяют уравнения выходных функций в соответствии с методикой [3].

Процесс синтеза комбинационного конечного автомата рассмотрим на примере.

___ ___ ___ А – В – А – С – В – С

Пусть задана формула алгоритма включения трёх силовых пневмоцилиндров с путевым контролем с помощью двух концевых датчиков положения.

Реверсирование силовых пневмоцилиндров осуществляется двухпозиционными четырехходовыми пневмораспределителями с односторонним электромагнитным управлением:

Все три механизма А, В и С имеют одинаковую функциональную схему.

Производим кодирование и нумерацию исполнительных механизмов (электромагнитов распределителей, которые являются выходными функциями) и датчиков (входных переменных), контролирующих положение штоков цилиндров. Для рабочего органа А - соответственно Y1 и S1, S2, для В – Y2 и S3, S4, для С – Y3 и S5, S6.

По формуле алгоритма включения цилиндров строим граф функционирования.

Производим определение функции Y1. Для неё существенными переменными являются S5 (включающая) и S4 (выключающая). Строим матрицу Карно для этих переменных и производим обход по клеткам матрицы в соответствии с графом функционирования от начала цикла.

Y1{ S5, S4}

Y1 = S5 · S4

Для Y2 существенными переменными будут S2 и S6. Строим матрицу Карно.

Однако на участке графа S2 - S2 возникает противоречие. Выбираем квазисущественную переменную S4, меняющую на этом участке свое состояние один раз.

---

Дата добавления: 2015-07-19